前途有望？

週五 Max 只講了一個半小時，剩下時間依照傳統就是自我介紹的時間。本來以為今年可以逃過一劫，結果最後還是被抓到了 XD。今年說詞相對前兩年灰暗許多，我說「看著幾位老師披荊斬棘，而自己也要步上他們後塵」，但事後覺得我更想描繪的是慢動作砍殺場面，噴血和倒地還要特寫一下。哎，這也是正常的吧，一直沈醉在美妙的幻想反而不健康 XD。

今年大學生倒是相當多，特別是升大三的。雖然不知道將來能有幾個投入這個領域，但至少會留個印象吧。當然還是希望可以多注入一點新血，別讓程式語言理論研究淪為一灘死水。

scm 老師在最後一小時同場加映 Go To 有害大論戰，主角 Dijkstra 形象鮮明，和他打對台的 Knuth 也是我欽佩的前輩。這兩位在 goto 有害論上持對立意見，但從雙方各自的立場卻都又言之成理。Dijkstra 對程式正確性論證的要求，Knuth 對程式效率的堅持，貫串他們兩位的學術成就，讓他們的作品洋溢著獨特的風味。「有骨幹」和「大雜燴」的研究很難說哪種比較容易成功，但我就先試試前者嘍。

--
8/20 - 27 參加北京清華辦的第二屆 Coq summer school。