解禁

睡不著，於是下床把通識報告寫完。這是 iCal 上列的最後一個作業！（Networks 程式作業週末的時候就解決了。）接著就順勢把 AoPA 下載回來繼續寫 XD。

現在剩下 Lambda 裡面的第二次 fusion、monotonicity condition、和「把套完 greedy theorem 之後的 algebra 表示成 function」這三步，都需要一點時間，所以先停在這裡吧。成果指日可待！（如果當初的揮手證明真的沒錯的話 XD。）

--
反正也的確 6/18 了 XD。