2008/06/08

硬生生

寫完 MPEG-1 video decoder 並為 compiler final project 更新 yacc 文法,有種「做了很多事」的錯覺,於是很快樂地又證了一些 activity-selection problem 用的 lemmas。剛剛證完第一次 fusion,突然警覺到 Networks 兩三百頁的壓力,只好先把 activity-selection 擱著、來翻書啦 XD。

--
現在寫得正順卻要硬生生中斷,真可惡 XD。

Labels: