flolac 2010 (day 4) :(

早上因為太晚睡而跳過，而且也是不怎麼感興趣的 operational semantics...
下午 Program Construction and Reasoning, 我還是對於怎麼把東西變出來
感到相當不解... :/ 很多地方也覺得理所當然，懶得用嚴謹的方式來解釋。
說來說去我好像還是無法抓到證明的感覺...

茫茫然，若若思了一陣。

後來心情不是很好。果然無論如何，情緒這種事從來就不是那麼輕易
可以控制的，就算有再多的優勢也是一樣的。部份原因或許是能夠我們
不可能一次把所有知道的事情放在腦裡，就像 register 很有限那樣。
不過這當然是兩面的，也同時表示就算整體來說很悲慘，仍然能在
一些小小的地方找到一些小小的趣味。

也沒什麼好或壞，畢竟就只是一個事實罷了...

-

或許現在的目標應該是放在把山雞吃掉。