Series

Logic

邏輯與數學 命題邏輯->一階邏輯->二階邏輯->高階邏輯->有類型lamda論

DSA & Algorithm

經典演算法與資料結構介紹

Discrete Mathematics

淺談離散數學

OS & CA

[筆記] 作業系統 計算機概論＆組織

Programming in Haskell

Functional Programming, Type Theory and Induction

coding Q&A

一些自問自答的心路歷程