程式語言、邏輯學
於 2023年7月11日 (二) 20:14 由 Tankianting(討論 | 貢獻) 所做的修訂
解析失敗 (MathML 使用 SVG 或 PNG 備用 (建議用於現代瀏覽器與輔助工具):從伺服器 "https://wikimedia.org/api/rest_v1/" 收到無效的回應 ("Math extension cannot connect to Restbase.")。): {\displaystyle \frac{A\rightarrow B~~~A}{B} }
Personal projects / 個人專案
邏輯學、型別理論
- 形式邏輯筆記 (Note of Forall X)
- 型別理論與形式證明筆記 (Note of Type Theory and Formal Proof: An Introdution)
- Program=Proof筆記
編譯器
程式語言
程式語言撇步
Python
LaTeX
- 檔案:大家來學LaTeX(第1版).pdf 轉載。2004 年的文章,當時協助許多臺灣的 LaTeX 使用者入門。GFDL 授權。
網路技術、通訊協定
編輯器
- 視覺化2個文件的差分 (diff)
vim -d 檔案1 檔案2