Monthly Archives: 一月 2010

找出該證的性質,然後證明它

所謂做研究,就是找一個好問題,然後解決它。前者通常比後者難。

Posted in 未分類 | 7 Comments

資訊學研究成果的評估

何建明老師發現了國科會簡訊網不同學門領域對於學術發表的態度--德國觀點系列4:資訊學一文,適合一讀,也方便拿給別人看。

Posted in 未分類 | Leave a comment

泛型與索引編程春季班

今年三月,EPSRC 補助的泛型與索引編程計畫將在牛津大學開設五天的課程: Spring School on Generic and Indexed Programming

Posted in 未分類 | Leave a comment

Algol 60 五十週年紀念

紀念 ALGOL 60 報告 50 週年。

Posted in 未分類 | Leave a comment