「程式語言、邏輯學」修訂間的差異

出自Tan Kian-ting的維基
跳至導覽 跳至搜尋
 
（未顯示同一使用者於中間所作的 29 次修訂）
行 11： 行 11：
* [[形式邏輯筆記]] (Note of ''[[:檔案:forallx.pdf|Forall X]]'')
* [[形式邏輯筆記]] (Note of ''[[:檔案:forallx.pdf|Forall X]]'')
* [[型別理論與形式證明筆記]] (Note of ''Type Theory and Formal Proof: An Introdution'')
* [[型別理論與形式證明筆記]] (Note of ''Type Theory and Formal Proof: An Introdution'')
* [[Program=Proof筆記]]
* [[:File:一個外行對依值型別的理解.pdf]]（[[一個外行對依值型別的理解-文字檔|文字檔]]）
* [[:File:迴圈轉遞迴（稿）.pdf]]（[[迴圈轉遞迴（稿）-文字檔|文字檔]]）
* 弗雷格(Frege)：
** [[東大圖書《弗雷格》筆記]]
** <del>[[Translations from the Philosopical Writing of Gottlob Frege 筆記]]</del>（弗雷格的哲學著作英譯，中止撰寫）
== 編譯器、直譯器 ==
* [[Essentials of Compilation筆記]]
* [[Essentials of Programming Language筆記]]


== 程式語言 ==
== 程式語言 ==
行 22： 行 32：


* [[排版論]]
* [[排版論]]
* [[File:Tail Call Optimization Debugging with gdbtui.ogg|尾遞迴 -O3 最佳化也可以用 gebtui debugger 偵錯]]


== 程式語言撇步 ==
== 程式語言撇步 ==
* [[OCaml筆記]]
* [[OCaml筆記]]
* [[Rust筆記]]
* [[Rust筆記]]
* 視覺化2個文件的差分 (diff) <code>vim  -d 檔案1 檔案2</code>
** [[Programming Rust筆記]]
* [[JavaScript、TypeScript雜記]]
* [[SQL雜記]]（含SQL Pocket Guide的讀書心得）
* [[Dafny雜記]]
* [[組合語言雜記]]
 
=== Python ===
* [[Python筆記]]
* [[Django筆記]]
* [[Django筆記]]
** [[Django筆記/佈署Django專案]]
* [[Django Unleashed筆記]]（{{isbn|9780321985071}}）


== 讀書心得 ==
=== LaTeX ===
* [[:檔案:大家來學LaTeX（第1版）.pdf]] 轉載。2004 年的文章，當時協助許多臺灣的 LaTeX 使用者入門。GFDL 授權。
 
== 網路技術、通訊協定 ==
* [[ActivityPub]]
* [[Yahoo股市API]]
* [[RESTful Web Clients 技術手冊筆記]]（{{isbn|9789864766994}}）
* [[RESTful Web Clients 技術手冊筆記]]（{{isbn|9789864766994}}）
* [[Django Unleashed筆記]]（{{isbn|9780321985071}}）
 
== 一些小筆記 ==
* [[gensym]] - (generating symbol) 變數名稱產生器 (in OCaml)
 
== 編輯器 ==
* 視覺化2個文件的差分 (diff) <code>vim  -d 檔案1 檔案2</code>
 
 


[[category:資訊]]
[[category:資訊]]
[[category:邏輯學]]
[[category:邏輯學]]

於 2024年10月7日 (一) 23:59 的最新修訂

Personal projects / 個人專案

邏輯學、型別理論

編譯器、直譯器

程式語言

程式語言撇步

Python

LaTeX

網路技術、通訊協定

一些小筆記

  • gensym - (generating symbol) 變數名稱產生器 (in OCaml)

編輯器

  • 視覺化2個文件的差分 (diff) vim -d 檔案1 檔案2
取自「https://kianting.info/wiki/index.php?title=程式語言、邏輯學&oldid=2809」