2008/11/09

教學

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

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

Labels:

<< 回到主頁