使用者貢獻
跳至導覽
跳至搜尋
- 2024年9月10日 (二) 23:19 差異 歷史 +297 型別理論與形式證明筆記 →1.9 Normal form and confluence(合流)
- 2024年9月10日 (二) 23:00 差異 歷史 +392 型別理論與形式證明筆記
- 2024年9月10日 (二) 22:08 差異 歷史 +277 型別理論與形式證明筆記 →第1章：無型別lambda運算(untyped lambda calculus)
- 2024年9月10日 (二) 21:43 差異 歷史 +307 Programming Rust筆記
- 2024年9月3日 (二) 01:29 差異 歷史 +40 Programming Rust筆記
- 2024年9月3日 (二) 01:23 差異 歷史 +420 Programming Rust筆記 →Ch2 Rust特性簡單導覽
- 2024年9月3日 (二) 01:17 差異 歷史 +229 Programming Rust筆記 標籤：視覺化編輯
- 2024年9月3日 (二) 01:09 差異 歷史 +84 檔案:型別理論與形式證明筆記Sec2.8-2.13.pdf
- 2024年9月3日 (二) 01:09 差異 歷史 +3,682 新 型別理論與形式證明筆記Sec2.8-2.13.pdf/原始碼 建立內容為「檔案:型別理論與形式證明筆記Sec2.8-2.10.pdf的Typst原始碼。 <pre> #show regex("\p{sc=Hani}+"): set text(font: ("Noto Serif CJK TC"), lang: "…」的新頁面
- 2024年9月3日 (二) 01:06 差異 歷史 +90 型別理論與形式證明筆記 →2.7 well-typedness 於lambda→ 標籤：視覺化編輯
- 2024年9月3日 (二) 01:05 差異 歷史 +44 檔案:型別理論與形式證明筆記Sec2.8-2.13.pdf
- 2024年9月3日 (二) 01:04 差異 歷史 +102 新 檔案:型別理論與形式證明筆記Sec2.8-2.13.pdf Type Theory and Formal Proof: An Introduction型別理論與形式證明筆記Sec2.8-2.10
- 2024年7月30日 (二) 00:41 差異 歷史 +2,483 型別理論與形式證明筆記
- 2024年7月30日 (二) 00:00 差異 歷史 +186 新 投資學-第2章：風險與投資 建立內容為「{{Nav|財經|投資學}} ;第2章：風險與投資 * 期間報酬率 = (期末價 - 期初價 +其他期間收益)/期初價 * 報酬率 = 收益/成本 * 100%…」的新頁面 目前
- 2024年7月29日 (一) 23:23 差異 歷史 +294 新 投資學 建立內容為「{{Nav|財經}} *投資學（謝劍平著，{{ISBN|9789574377558}}，8/e）筆記 ** Ch.2 投資學-第2章：風險與投資 ** Ch.14 :OCRed-PDF:投資學Ch…」的新頁面 目前
- 2024年7月29日 (一) 23:22 差異 歷史 −190 財經 目前
- 2024年7月29日 (一) 23:13 差異 歷史 +23 Programming Rust筆記
- 2024年7月29日 (一) 23:12 差異 歷史 +73 Programming Rust筆記
- 2024年7月29日 (一) 23:09 差異 歷史 +2,101 新 Programming Rust筆記 建立內容為「{{Nav|程式語言、邏輯學|Rust筆記}} ==Ch1概論== *系統程式語言有「未定義行為」。 *使用者輸入的內容可能會導致程式漏洞。…」的新頁面
- 2024年7月29日 (一) 23:08 差異 歷史 −2,000 Rust筆記 →Programming Rust筆記 目前
- 2024年7月29日 (一) 23:07 差異 歷史 +1 Rust筆記 →Ch2 Rust特性簡單導覽
- 2024年7月29日 (一) 23:07 差異 歷史 +534 Rust筆記 →Ch2 Rust特性簡單導覽
- 2024年7月29日 (一) 23:00 差異 歷史 +743 Rust筆記 →Ch2 Rust特性簡單導覽
- 2024年7月26日 (五) 23:49 差異 歷史 +23 「現代Twitter漫畫概論」讀後感 目前
- 2024年7月26日 (五) 23:40 差異 歷史 +730 新 「現代Twitter漫畫概論」讀後感 建立內容為「{{Nav}} {{isbn|9786267409572}} 作者：Hamita（ハミタ） 這本書是日本漫畫家[https://ja.wikipedia.org/wiki/%E3%83%8F%E3%83%9F%E3%82%BF ハミタ]撰…」的新頁面
- 2024年7月26日 (五) 23:33 差異 歷史 +46 首頁 →雜項、生活 標籤：視覺化編輯
- 2024年7月17日 (三) 23:51 差異 歷史 0 檔案:一個外行對依值型別的理解.pdf Tankianting 上傳了新版本的 檔案:一個外行對依值型別的理解.pdf 目前
- 2024年7月17日 (三) 23:50 差異 歷史 −1,020 一個外行對依值型別的理解-文字檔 目前
- 2024年7月17日 (三) 22:20 差異 歷史 +815 型別理論與形式證明筆記
- 2024年7月17日 (三) 21:55 差異 歷史 −611 報導者003：無體溫關係閱讀心得 頁面已重新導向至報導者事件簿003：無體溫關係閱讀心得 目前 標籤：新重新導向
- 2024年7月17日 (三) 21:54 差異 歷史 +656 報導者事件簿003：無體溫關係閱讀心得 目前
- 2024年7月17日 (三) 12:23 差異 歷史 +520 型別理論與形式證明筆記 →2.4 Church lambda→演算的推演規則 (derivation rules)
- 2024年7月16日 (二) 00:16 差異 歷史 +1 Kianting.info相關服務一覽
- 2024年7月16日 (二) 00:16 差異 歷史 +51 Kianting.info相關服務一覽
- 2024年7月10日 (三) 00:32 差異 歷史 +72 型別理論與形式證明筆記
- 2024年7月10日 (三) 00:31 差異 歷史 +71 型別理論與形式證明筆記 →2.4 Church lambda→演算的推演規則 (derivation rules) 標籤：視覺化編輯
- 2024年7月10日 (三) 00:28 差異 歷史 +156 型別理論與形式證明筆記 →附註：本筆記使用的邏輯推演排版法
- 2024年7月10日 (三) 00:24 差異 歷史 +67 型別理論與形式證明筆記 →2.4 Church lambda→演算的推演規則 (derivation rules)
- 2024年7月10日 (三) 00:22 差異 歷史 +939 型別理論與形式證明筆記 →2.4 Church lambda→演算的推演規則 (derivation rules)
- 2024年7月9日 (二) 23:40 差異 歷史 +12 型別理論與形式證明筆記 →附註：本筆記使用的邏輯推演排版法
- 2024年7月9日 (二) 23:40 差異 歷史 +13 型別理論與形式證明筆記
- 2024年7月9日 (二) 23:39 差異 歷史 +866 型別理論與形式證明筆記
- 2024年7月9日 (二) 21:11 差異 歷史 +26 程式語言、邏輯學 →邏輯學、型別理論
- 2024年7月9日 (二) 21:08 差異 歷史 −200 首頁
- 2024年7月8日 (一) 23:26 差異 歷史 −2 型別理論與形式證明筆記 →2.4 Church lambda→演算的推演規則 (derivation rules)
- 2024年7月8日 (一) 23:25 差異 歷史 +1,180 型別理論與形式證明筆記
- 2024年7月8日 (一) 23:03 差異 歷史 +814 型別理論與形式證明筆記 →2.3 Church-typing (explicit typing) 和 Curry-typing (implicit typing)
- 2024年7月8日 (一) 22:35 差異 歷史 +1,856 型別理論與形式證明筆記
- 2024年7月8日 (一) 22:11 差異 歷史 +2 型別理論與形式證明筆記 →2.2 simple type 簡單型別
- 2024年7月8日 (一) 22:05 差異 歷史 +1,310 型別理論與形式證明筆記