教學

這星期二要正式講 AoPA。（所以不會去上賽局…）因應試講時老師們給的 comments，我加了一些投影片，包括解釋 sorting 用的簡單動畫和更多「能看」的 Agda code。這讓我有種要教「資料結構與演算法」的錯覺 XD。其實也不非常意外，因為最一開始我們拿來當作基礎的 paper〈Functional Algorithm Design〉就是在講 derivation 與演算法教學的關係。

--
至於明天的代數導論期中考則讓我有種要考 Computer Programming 的錯覺 XD。