使用者貢獻
跳至導覽
跳至搜尋
- 2024年12月30日 (一) 23:10 差異 歷史 +169 TeXBook筆記
- 2024年12月30日 (一) 23:04 差異 歷史 +183 TeXBook筆記 →Ch3
- 2024年12月30日 (一) 23:02 差異 歷史 +467 TeXBook筆記 →Ch3
- 2024年12月30日 (一) 22:56 差異 歷史 +6 TeXBook筆記 →Ch3
- 2024年12月30日 (一) 22:55 差異 歷史 +260 TeXBook筆記
- 2024年12月30日 (一) 22:45 差異 歷史 +39 《演算法導論》筆記
- 2024年12月30日 (一) 22:40 差異 歷史 +1,907 新 《演算法導論》筆記 建立內容為「{{isbn|9786263248366}}（4/e，繁中譯本） 經典的演算法導論，但是封面樹形圖在繁中譯本沒有出現。 <span id="ch1ch2"></span> == Ch1…」的新頁面
- 2024年12月30日 (一) 22:39 差異 歷史 +34 首頁 →哲學與資訊科學
- 2024年12月30日 (一) 21:16 差異 歷史 +40 檔案:TheCodeOfMathematicsNote.pdf 目前
- 2024年12月30日 (一) 21:15 差異 歷史 +21 The Code of Mathematics筆記 →之後的筆記 目前
- 2024年12月30日 (一) 21:15 差異 歷史 +141 The Code of Mathematics筆記
- 2024年12月30日 (一) 21:14 差異 歷史 +44 檔案:TheCodeOfMathematicsNote.pdf
- 2024年12月30日 (一) 21:13 差異 歷史 +60 新 檔案:TheCodeOfMathematicsNote.pdf My note of the book ''The Code of Mathematics''
- 2024年12月27日 (五) 01:31 差異 歷史 −3 The Code of Mathematics筆記 →Ch2 科學通用語言
- 2024年12月27日 (五) 01:30 差異 歷史 +997 The Code of Mathematics筆記 →Ch2 科學通用語言
- 2024年12月27日 (五) 00:59 差異 歷史 +15 The Code of Mathematics筆記
- 2024年12月27日 (五) 00:59 差異 歷史 +106 The Code of Mathematics筆記 →Ch2 科學通用語言
- 2024年12月27日 (五) 00:57 差異 歷史 +1,052 The Code of Mathematics筆記
- 2024年12月26日 (四) 23:07 差異 歷史 +105 The Code of Mathematics筆記
- 2024年12月26日 (四) 23:04 差異 歷史 +1,296 The Code of Mathematics筆記 →Ch1（？）
- 2024年12月26日 (四) 22:38 差異 歷史 +290 The Code of Mathematics筆記 →Ch1（？）
- 2024年12月26日 (四) 22:25 差異 歷史 +1,250 The Code of Mathematics筆記
- 2024年12月26日 (四) 21:53 差異 歷史 +206 動態筆記 目前
- 2024年12月26日 (四) 21:43 差異 歷史 +231 The Code of Mathematics筆記 →一些隨手寫的筆記（序言筆記？）
- 2024年12月26日 (四) 21:35 差異 歷史 +256 The Code of Mathematics筆記 →一些隨手寫的筆記（序言筆記嗎）
- 2024年12月26日 (四) 21:22 差異 歷史 +49 The Code of Mathematics筆記
- 2024年12月26日 (四) 21:18 差異 歷史 +521 新 The Code of Mathematics筆記 建立內容為「{{isbn|3662694824}} Stefan Müller-Stach著 這是引介數學與邏輯學關係的書，但是不簡單，我猜數學系的會比較好讀。 主要講一些…」的新頁面
- 2024年12月26日 (四) 21:00 差異 歷史 +50 首頁 →語文
- 2024年12月26日 (四) 19:22 差異 歷史 0 型別理論與形式證明筆記Sec2.8-2.13.pdf/原始碼 目前
- 2024年12月26日 (四) 19:22 差異 歷史 +76 新 型別理論與形式證明筆記Sec2.8-2.10.pdf/原始碼 Tankianting移動頁面型別理論與形式證明筆記Sec2.8-2.10.pdf/原始碼至型別理論與形式證明筆記Sec2.8-2.13.pdf/原始碼 目前 標籤：新重新導向
- 2024年12月26日 (四) 19:22 差異 歷史 0 小 型別理論與形式證明筆記Sec2.8-2.13.pdf/原始碼 Tankianting移動頁面型別理論與形式證明筆記Sec2.8-2.10.pdf/原始碼至型別理論與形式證明筆記Sec2.8-2.13.pdf/原始碼
- 2024年12月26日 (四) 16:31 差異 歷史 +1 型別理論與形式證明筆記 →Ch3. 二階有型別lambda運算Second order typed lambda calculus 目前
- 2024年12月26日 (四) 16:28 差異 歷史 +5 型別理論與形式證明筆記 →Ch3. 二階有型別lambda運算Second order typed lambda calculus
- 2024年12月26日 (四) 16:27 差異 歷史 +137 新 檔案:TypeTheoryAndFormalProofCh3Sec1.pdf https://repo.kianting.info/yoxem/notes-of-type-theory-and-formal-proof/src/branch/master/TypeTheoryAndFormalProofCh3Sec1.pdf 目前
- 2024年12月26日 (四) 16:24 差異 歷史 +264 型別理論與形式證明筆記 →附註：本筆記使用的邏輯推演排版法
- 2024年12月24日 (二) 21:28 差異 歷史 +2 型別理論與形式證明筆記 →2.2 simple type 簡單型別
- 2024年12月22日 (日) 23:56 差異 歷史 +12 TeXBook筆記
- 2024年12月22日 (日) 23:55 差異 歷史 +15 TeXBook筆記
- 2024年12月22日 (日) 23:51 差異 歷史 +238 新 TeXBook筆記 建立內容為「{{Nav}} 講plainTeX的書。讀這本書建議搭配 ''TeX for the Impatient'' 這本書，查詢 plainTeX的定義。 \show\controlSequence 可以查詢control…」的新頁面
- 2024年12月22日 (日) 23:47 差異 歷史 +20 首頁 →排版
- 2024年12月22日 (日) 22:46 差異 歷史 +27 「開源公益專案能賺錢嗎？」的講座記錄 目前
- 2024年12月22日 (日) 22:46 差異 歷史 +1,335 新 「開源公益專案能賺錢嗎？」的講座記錄 建立內容為「{{Nav|程式語言、邏輯學}} 開源專案 - AGPL - GPL - MIT - 放棄版權 (Public Domain) ether.js - 全部都用 MIT License - 個人專案 如…」的新頁面
- 2024年12月22日 (日) 22:45 差異 歷史 0 程式語言、邏輯學 →其他
- 2024年12月22日 (日) 22:45 差異 歷史 +132 程式語言、邏輯學 →一些小筆記
- 2024年12月21日 (六) 09:49 差異 歷史 +10 在地化 →Mastodon臺文化ê個人翻譯詞彙（稿） 目前
- 2024年12月21日 (六) 09:48 差異 歷史 +180 在地化
- 2024年12月15日 (日) 00:58 差異 歷史 +7 Kianting.info相關服務一覽 目前
- 2024年12月15日 (日) 00:57 差異 歷史 +109 Kianting.info相關服務一覽
- 2024年12月14日 (六) 23:36 差異 歷史 +23 ProgProject:Pakkau-webapp 目前
- 2024年12月14日 (六) 23:35 差異 歷史 +38 模板:Project 目前