早起 #
昨天趕了午夜的死線，今天 8 點去學校打 codeforces。
早上交通比較順，但公車似乎要每站照時間停，有點神奇，下次早起要搭校車。
lambda calculus #
Programming Language 上課在玩 lambda caculus，
老師：「理論上這樣會得到 True。」
（畫面跳出一長串魔法咒語，全班一陣沈默）
老師：「我相信這是 True。」
（大家開始笑）
然而事實證明，那串咒語真的是 True。
助教課 #
平行程式今天又是助教上課，我喜歡助教上課，因為助教比較帥。
借場 #
新體的系統在不同時區版面會壞掉。
–
※ 發信站: 批踢踢兔(ptt2.cc), 來自: xxx.xxx.xxx.xxx