2010/07/03

前途有望?

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

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

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

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

Labels:

Anonymous scm7/03/2010 5:48 pm 說:

可能是你快要開始自己做研究,開始感受到壓力了吧? :)

 
Blogger Josh Ko7/04/2010 2:07 am 說:

應該是。之前多少都還有改變心意的餘地嘛 XD。

 
Blogger Airman Of Chunghua Wind7/05/2010 8:16 am 說:

學長最近在彰化嗎? 還是什麼時間會在彰化
要不要出來聚聚 XD

 
Blogger Josh Ko7/05/2010 2:39 pm 說:

我已經在台北嘍。這個週末會回去啦 XD。

 

<< 回到主頁