2008/05/28

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。

Labels:

<< 回到主頁