找出該證的性質，然後證明它
所謂做研究，就是找一個好問題，然後解決它。前者通常比後者難。
月份: 2010 年 1 月
資訊學研究成果的評估
何建明老師發現了國科會簡訊網不同學門領域對於學術發表的態度－－德國觀點系列4：資訊學一文，適合一讀，也方便拿給別人看。
泛型與索引編程春季班
今年三月，EPSRC 補助的泛型與索引編程計畫將在牛津大學開設五天的課程： Spring School on Generic and Indexed Programming。
Algol 60 五十週年紀念
紀念 ALGOL 60 報告 50 週年。