跌倒

其實是秋天來了，這是向朱浩華老師的「外國鑰匙 constraint」致敬 XD。今早出門明顯感受到秋意，涼爽涼爽的，很不錯。

發現系上工作站網頁「自動目錄列表」突然會把 README 顯示在最下面（這是把 Agda 解壓縮在 htdocs 下才發現的 XD），又順便查出如何自訂整個頁面。下午就把 TOY86_Rev1 目錄整個翻修過，現在看起來還挺高級的 XD。

圖論接下來幾節打算談演算法，看張鎮華老師的 lecture notes，應該都是複習 XD。張老師討論「演算法效率」時，拿的例子正是 maximum segment sum！看來大家都很喜歡這個問題 XD。張老師說下次作業裡面有一題問我們有沒有更快的演算法。

--
要 derive 給他看嗎？XD