昨日飲食

又做 AoPA slides 做到忘了，只好再貼昨日飲食 XD。不過終於做到只剩 conclusions 啦！因為隨機 meeting 的「報告槽」已經滿了，看來我得另外弄個 lightweight seminar，等明天投影片做完再到隨機板上調查一下有沒有人要聽吧。（如果有人願意先在此回覆我的話，我會很感激的… 我很怕在隨機板這種相當公開的板上貼文，有人先回的話能有效增加我的信心 XD。）

中午紅燒牛肉燴飯 + 檸檬汁 @ 7-11（$63）；晚上牛肉湯麵 + 燙青菜 @ 台大牛肉麵（$100）。合計 $163。

--
不知道有多少人能撐過 Agda 那一節 XD。