使用者貢獻
2024年11月24日 (星期日)
2024年11月19日 (星期二)
《創客精神》心得
建立內容為「{{nav}} {{isbn|9789860777642}} 這是《流言終結者》主持人針對各種工藝創作(比如說廣告影片等道具製作)歷程的回憶錄。 其…」的新頁面
首頁
雜項、生活
+31
首頁
雜項、生活
+25
2024年11月17日 (星期日)
2024年10月20日 (星期日)
2024年10月17日 (星期四)
2024年10月16日 (星期三)
2024年10月8日 (星期二)
2024年10月7日 (星期一)
2024年10月6日 (星期日)
《詐騙社會學》心得
無編輯摘要
+42
《詐騙社會學》心得
建立內容為「{{Nav|社會學}} {{isbn|9786263581661}},孫中興著 我以前大學時期曾一度對社會學感興趣,甚至還修人社系的社會學課程。這本…」的新頁面
社會學
無編輯摘要
+55
2024年10月5日 (星期六)
在地化
無編輯摘要
在地化
Caja臺文化ê個人翻譯詞彙(稿)
+27
迴圈轉遞迴(稿)-文字檔
無編輯摘要
+83
檔案:迴圈轉遞迴(稿).pdf
無編輯摘要
迴圈轉遞迴(稿)-文字檔
無編輯摘要
−37
在地化
無編輯摘要
+209
2024年10月1日 (星期二)
2024年9月11日 (星期三)
Programming Rust筆記
無編輯摘要
+673
型別理論與形式證明筆記
2.8-2.13
檔案:型別理論與形式證明筆記Sec2.8-2.10.pdf
Tankianting移動頁面檔案:型別理論與形式證明筆記Sec2.8-2.10.pdf至檔案:型別理論與形式證明筆記Sec2.8-2.13.pdf:擴充內容
檔案:型別理論與形式證明筆記Sec2.8-2.13.pdf
Tankianting移動頁面檔案:型別理論與形式證明筆記Sec2.8-2.10.pdf至檔案:型別理論與形式證明筆記Sec2.8-2.13.pdf:擴充內容
小檔案:型別理論與形式證明筆記Sec2.8-2.13.pdf
Tankianting 上傳了新版本的 檔案:型別理論與形式證明筆記Sec2.8-2.10.pdf
型別理論與形式證明筆記
2.8-2.10
+6
2024年9月10日 (星期二)
型別理論與形式證明筆記
1.9 Normal form and confluence(合流)
+297
型別理論與形式證明筆記
無編輯摘要
+392
型別理論與形式證明筆記
第1章:無型別lambda運算(untyped lambda calculus)
+277
Programming Rust筆記
無編輯摘要
+307
2024年9月3日 (星期二)
Programming Rust筆記
無編輯摘要
+40
Programming Rust筆記
Ch2 Rust特性簡單導覽
+420
Programming Rust筆記
無編輯摘要
+229
檔案:型別理論與形式證明筆記Sec2.8-2.13.pdf
無編輯摘要
+84
型別理論與形式證明筆記Sec2.8-2.10.pdf/原始碼
建立內容為「檔案:型別理論與形式證明筆記Sec2.8-2.10.pdf的Typst原始碼。 <pre> #show regex("\p{sc=Hani}+"): set text(font: ("Noto Serif CJK TC"), lang: "…」的新頁面
型別理論與形式證明筆記
2.7 well-typedness 於lambda→
+90
檔案:型別理論與形式證明筆記Sec2.8-2.13.pdf
無編輯摘要
+44
檔案:型別理論與形式證明筆記Sec2.8-2.13.pdf
Type Theory and Formal Proof: An Introduction型別理論與形式證明筆記Sec2.8-2.10
2024年7月30日 (星期二)
型別理論與形式證明筆記
無編輯摘要
+2,483
投資學-第2章:風險與投資
建立內容為「{{Nav|財經|投資學}} ;第2章:風險與投資 * 期間報酬率 = (期末價 - 期初價 +其他期間收益)/期初價 * 報酬率 = 收益/成本 * 100%…」的新頁面
2024年7月29日 (星期一)
投資學
建立內容為「{{Nav|財經}} *投資學(謝劍平著,{{ISBN|9789574377558}},8/e)筆記 ** Ch.2 投資學-第2章:風險與投資 ** Ch.14 :OCRed-PDF:投資學Ch…」的新頁面
財經
無編輯摘要
−190
Programming Rust筆記
無編輯摘要
+23
Programming Rust筆記
無編輯摘要
+73
Programming Rust筆記
建立內容為「{{Nav|程式語言、邏輯學|Rust筆記}} ==Ch1概論== *系統程式語言有「未定義行為」。 *使用者輸入的內容可能會導致程式漏洞。…」的新頁面