新版暑假計畫

把主要項目減為三項：

• 簡單整理高等微積分筆記：本來還想加以訂正，可是這得用 PC 上的軟體，所以先把 LaTeX 索引建起來就好。
• 讀《Lectures on the Curry-Howard Isomorphism》：我找到的 PDF 是 1998 版，2006 年作者擴充篇幅出了一本書。不過這本書在國內挺冷門，博客來賣 $5445，金石堂賣 $6776，都是天價 XD。往 Amazon 看，加上運費大概三千多，也滿恐怖，所以還是先讀 1998 版 XD。數學系圖書室有一本，回學校再看要不要借。
• 讀《The TeXbook》：這本天瓏就有了，價錢（跟前一本的報價相比）還算公道。那就買一本來啃吧 XD。

--
具體的事情才能操作 XD。