沒那麼飛快

今天的速度好像比較正常了，尤其下午的 functional programming 很輕鬆，好像明天才比較麻煩 XD。莊庭瑞老師看上去很年輕，可是講話的語調又有點年紀的感覺 XD。

--
還是先把邏輯的作業寫一寫 XD。

---

先小睡一陣，約九點半起床，寫到十一點半左右寫完了。Natural deduction 的確是滿自然好用的 XD。