使用者貢獻
2024年7月29日 (星期一)
Rust筆記
Programming Rust筆記
−2,000
Rust筆記
Ch2 Rust特性簡單導覽
+1
Rust筆記
Ch2 Rust特性簡單導覽
+534
Rust筆記
Ch2 Rust特性簡單導覽
+743
2024年7月26日 (星期五)
「現代Twitter漫畫概論」讀後感
無編輯摘要
+23
「現代Twitter漫畫概論」讀後感
建立內容為「{{Nav}} {{isbn|9786267409572}} 作者：Hamita（ハミタ） 這本書是日本漫畫家[https://ja.wikipedia.org/wiki/%E3%83%8F%E3%83%9F%E3%82%BF ハミタ]撰…」的新頁面
首頁
雜項、生活
+46
2024年7月17日 (星期三)
檔案:一個外行對依值型別的理解.pdf
Tankianting 上傳了新版本的 檔案:一個外行對依值型別的理解.pdf
一個外行對依值型別的理解-文字檔
無編輯摘要
−1,020
型別理論與形式證明筆記
無編輯摘要
+815
報導者003：無體溫關係閱讀心得
頁面已重新導向至報導者事件簿003：無體溫關係閱讀心得
−611
報導者事件簿003：無體溫關係閱讀心得
無編輯摘要
+656
型別理論與形式證明筆記
2.4 Church lambda→演算的推演規則 (derivation rules)
+520
2024年7月16日 (星期二)
2024年7月10日 (星期三)
型別理論與形式證明筆記
無編輯摘要
+72
型別理論與形式證明筆記
2.4 Church lambda→演算的推演規則 (derivation rules)
+71
型別理論與形式證明筆記
附註：本筆記使用的邏輯推演排版法
+156
型別理論與形式證明筆記
2.4 Church lambda→演算的推演規則 (derivation rules)
+67
型別理論與形式證明筆記
2.4 Church lambda→演算的推演規則 (derivation rules)
+939
2024年7月9日 (星期二)
2024年7月8日 (星期一)
型別理論與形式證明筆記
2.4 Church lambda→演算的推演規則 (derivation rules)
−2
型別理論與形式證明筆記
無編輯摘要
+1,180
型別理論與形式證明筆記
2.3 Church-typing (explicit typing) 和 Curry-typing (implicit typing)
+814
型別理論與形式證明筆記
無編輯摘要
+1,856
型別理論與形式證明筆記
2.2 simple type 簡單型別
+2
型別理論與形式證明筆記
無編輯摘要
+1,310
2024年7月7日 (星期日)
2024年7月3日 (星期三)
型別理論與形式證明筆記
無編輯摘要
+127
型別理論與形式證明筆記
無編輯摘要
+200
型別理論與形式證明筆記
無編輯摘要
+5
型別理論與形式證明筆記
無編輯摘要
+7
型別理論與形式證明筆記
2.2 simple type 簡單型別 =
−1
型別理論與形式證明筆記
無編輯摘要
+21
型別理論與形式證明筆記
建立內容為「{{Nav|程式語言、邏輯學}} = 第2章：簡單型別lambda運算(simple typed lambda calculus) = == 2.2 simple type 簡單型別 === 型別變數 type va…」的新頁面
Translations from the Philosopical Writing of Gottlob Frege 筆記
無編輯摘要
+12
Translations from the Philosopical Writing of Gottlob Frege 筆記
無編輯摘要
+53