毒癮發作

前一個晚上又從床上爬下來，開始證明 partial greedy theorem 到大概三點。下午做計算機系統實驗的時候繼續，從一點斷斷續續寫到三點，再寫到七點，把整個 partial greedy theorem 證完了。整個過程當中精神都很亢奮。如果是寫 MPEG-1 的話，大概會先睡一覺再說 XD。

其實那感覺就好像回到高中時代，只差在高中時以跑出結果為樂，現在以通過 typecheck 為樂 XD。

--
天啊，MPEG-1 再不寫真的會完蛋 XD。