使用者貢獻
跳至導覽
跳至搜尋
- 2023年8月5日 (六) 18:17 差異 歷史 +511 Translations from the Philosopical Writing of Gottlob Frege 筆記 →概念文字 Begriffsschrift 第一章：符號的解釋
- 2023年8月5日 (六) 18:02 差異 歷史 +20 新 分類:數學 建立內容為「分類:主分類」的新頁面 目前
- 2023年8月5日 (六) 18:01 差異 歷史 +1 Translations from the Philosopical Writing of Gottlob Frege 筆記
- 2023年8月5日 (六) 18:01 差異 歷史 +143 Translations from the Philosopical Writing of Gottlob Frege 筆記
- 2023年8月5日 (六) 17:47 差異 歷史 +24 Translations from the Philosopical Writing of Gottlob Frege 筆記
- 2023年8月5日 (六) 17:35 差異 歷史 +580 新 Translations from the Philosopical Writing of Gottlob Frege 筆記 建立內容為「{{Nav|程式語言、邏輯學}} ''Translations from the Philosopical Writing of Gottlob Frege''/2e （弗雷格哲學著作英譯），是我買到的二手書…」的新頁面
- 2023年8月5日 (六) 17:30 差異 歷史 +46 我所知道的愛爾蘭語-文法-數字
- 2023年8月5日 (六) 17:23 差異 歷史 +109 程式語言、邏輯學
- 2023年8月5日 (六) 16:57 差異 歷史 +31 首頁 →哲學與資訊科學
- 2023年8月5日 (六) 16:56 差異 歷史 +119 我所知道的愛爾蘭語-文法-數字
- 2023年8月5日 (六) 16:53 差異 歷史 +31 程式語言、邏輯學 →一些小筆記
- 2023年7月30日 (日) 14:20 差異 歷史 +54 OCaml筆記 →n 維陣列
- 2023年7月30日 (日) 13:47 差異 歷史 +138 OCaml筆記
- 2023年7月23日 (日) 23:01 差異 歷史 +94 首頁 →哲學與資訊科學
- 2023年7月23日 (日) 22:21 差異 歷史 +21 檔案:LaTeX風的斷行演算法.pdf 目前
- 2023年7月23日 (日) 22:20 差異 歷史 +100 新 檔案:LaTeX風的斷行演算法.pdf 用 ipynb 檔案經typst轉pdf，使用Ocaml撰寫 Under MIT License By Tan Kian-ting
- 2023年7月23日 (日) 18:13 差異 歷史 +110 *nix操作 目前
- 2023年7月22日 (六) 11:33 差異 歷史 +53 我所知道的愛爾蘭語/文法/連接詞 目前
- 2023年7月22日 (六) 11:32 差異 歷史 +51 我所知道的愛爾蘭語/文法/連接詞
- 2023年7月22日 (六) 11:30 差異 歷史 +2,568 我所知道的愛爾蘭語/文法/連接詞
- 2023年7月22日 (六) 11:08 差異 歷史 +76 我所知道的愛爾蘭語/文法/連接詞
- 2023年7月22日 (六) 11:07 差異 歷史 +122 新 我所知道的愛爾蘭語/文法/連接詞 建立內容為「以下是愛爾蘭語的常用連接詞，整理自 ''Outlines of Irish Grammar''。 標示「標」表標準語寫法。」的新頁面
- 2023年7月22日 (六) 11:05 差異 歷史 +53 模板:我所知道的愛爾蘭語 目前
- 2023年7月20日 (四) 23:19 差異 歷史 −74 迴圈轉遞迴（稿）-文字檔
- 2023年7月20日 (四) 23:14 差異 歷史 +4,135 新 迴圈轉遞迴（稿）-文字檔 建立內容為「{{Nav|程式語言、邏輯學}} 使用Typst撰寫，生成PDF檔。 <pre> #import "algo.typ" : * #set par( justify:…」的新頁面
- 2023年7月20日 (四) 23:11 差異 歷史 +54 程式語言、邏輯學 →邏輯學、型別理論
- 2023年7月20日 (四) 23:10 差異 歷史 +42 程式語言、邏輯學 →邏輯學、型別理論
- 2023年7月17日 (一) 00:11 差異 歷史 +1 一個外行對依值型別的理解-文字檔
- 2023年7月17日 (一) 00:11 差異 歷史 +48 一個外行對依值型別的理解-文字檔
- 2023年7月16日 (日) 23:29 差異 歷史 +21 一個外行對依值型別的理解-文字檔
- 2023年7月16日 (日) 23:28 差異 歷史 +3 一個外行對依值型別的理解-文字檔
- 2023年7月16日 (日) 23:28 差異 歷史 +44 一個外行對依值型別的理解-文字檔
- 2023年7月16日 (日) 23:28 差異 歷史 +14,310 新 一個外行對依值型別的理解-文字檔 建立內容為「{{Nav|程式語言、邏輯學}} deptype.typ </pre> #set par( justify: true, leading: 1em, ) #let CJKNonCJKSpacing = 0.2em #let RegExCJK = "[\p{Han}\p{Hir…」的新頁面
- 2023年7月16日 (日) 23:27 差異 歷史 +118 程式語言、邏輯學 →邏輯學、型別理論
- 2023年7月16日 (日) 23:25 差異 歷史 +6 使用者:Tankianting
- 2023年7月16日 (日) 23:25 差異 歷史 −44 檔案:一個外行對依值型別的理解.pdf
- 2023年7月16日 (日) 23:25 差異 歷史 +112 檔案:一個外行對依值型別的理解.pdf
- 2023年7月16日 (日) 23:24 差異 歷史 +37 新 檔案:一個外行對依值型別的理解.pdf 授權：CC BY-NC-SA 4.0
- 2023年7月15日 (六) 17:21 差異 歷史 +205 我所知道的愛爾蘭語/文法/繫詞 →等於（主語x等於斷語y）
- 2023年7月15日 (六) 17:18 差異 歷史 +21 我所知道的愛爾蘭語/文法/繫詞 →等於（主語x等於斷語y）
- 2023年7月15日 (六) 16:21 差異 歷史 +26 愛爾蘭語辭典 目前
- 2023年7月15日 (六) 15:43 差異 歷史 +148 *nix操作 標籤：視覺化編輯器：已切換
- 2023年7月13日 (四) 23:06 差異 歷史 +127 Essentials of Compilation筆記
- 2023年7月13日 (四) 22:45 差異 歷史 +110 Essentials of Compilation筆記
- 2023年7月13日 (四) 22:39 差異 歷史 +88 檔案:Essentials of Compilation- An Incremental Approach in Racket 2023 Edition.pdf 目前
- 2023年7月13日 (四) 22:38 差異 歷史 +256 新 檔案:Essentials of Compilation- An Incremental Approach in Racket 2023 Edition.pdf Essentials of Compilation: An Incremental Approach in Racket Author:Jeremy G. Siek Year: 2023 License: [https://creativecommons.org/licenses/by-nc-nd/4.0/ CC BY-NC-ND] Publisher: The MIT Press {{isbn|9780262047760}} category:資訊
- 2023年7月13日 (四) 18:54 差異 歷史 +24 程式語言、邏輯學 →一些小筆記
- 2023年7月13日 (四) 18:53 差異 歷史 +18 Gensym 目前
- 2023年7月13日 (四) 18:51 差異 歷史 +24 Gensym
- 2023年7月13日 (四) 18:50 差異 歷史 +650 新 Gensym 建立內容為「{{Nav|}} Gensym 意思是 Generate Symbol，是用來產出編譯器的不和其他變數強碰的獨一無二的變數。 以下採用 OCaml 撰寫。 <pre> le…」的新頁面