硬生生

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

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