Minutes

隨意瀏覽一下 Algebra of Programming research group 以前的會議速記，每週都超充實！而且 "Shin" 看起來一副就很強的樣子，不時就在會議中或午餐後即時造一個證明出來，還做過一些像量子計算、從 CFG 的 print function 導出 LR parser 這種神奇的東西！當然其他人也都強強強嘍 XD。

另一方面，compiler final project 的規模還真是出乎意料地小，跟當初想玩的 "Dependent C" 相比根本是 negligible 嘛 XD。

--
不過時間不多就是了 ─ 我已經決定 MPEG-1 只解 I-frames 了 XD。