Charles P. Thacker 獲得 2009 年 Turing 獎
ACM 昨天宣佈 Charles P. Thacker 為 2009 年 Turing 獎得主。
再看二元搜尋法 Binary Search（下）
給定一個排序好的陣列 a[0..N)（其元素為 a[0], a[1] … a[N-1]）, 0 ≤ N。如何用 van Gasteren 與 Feijen 的方法判斷其中是否含有某個關鍵值 K 呢？
再看二元搜尋法 Binary Search（上）
如果你自認對二元搜尋 (binary search) 夠熟悉了，卻沒讀過 Netty van Gasteren 和 Wim Feijen 的研究筆記 The Binary Search Revisited, 強烈建議你找時間看看。
演算邏輯 Calculational Logic（二）騎士與惡棍之島
一個島上住著兩種人，騎士 (knight) 與惡棍 (knave) 。騎士總說實話，惡棍總說謊話，但從外表看不出誰是騎士或惡棍。某天，居民 A 和你說「B 剛剛說他自己是騎士」。由此你可知道 A 說的是實話還是謊話嗎？B 呢？傳說島上藏著金子，怎麼設計一個問題，查出傳言的真假呢？
演算邏輯 Calculational Logic（一）若且唯若
邏輯學家發展形式邏輯是為了研究邏輯本身，而演算邏輯的設計則是為了便於用邏輯來解決問題。
OOPSLA 改名為 SPLASH
物件導向技術的頂尖會議 OOPSLA 從今年起改名為 SPLASH — Systems, Programming, Languages and Applications: Software for Humanity。而 OOPSLA 則成為協同舉辦的兩個會議之一。
IFIP Working Group 2.1 Meeting #65
A little reflection led to glear galculations that dispelled glouds of obsgurity. After digesting what we were presented with, we ended the week at maximum density.
找出該證的性質，然後證明它
所謂做研究，就是找一個好問題，然後解決它。前者通常比後者難。
資訊學研究成果的評估
何建明老師發現了國科會簡訊網不同學門領域對於學術發表的態度－－德國觀點系列4：資訊學一文，適合一讀，也方便拿給別人看。
泛型與索引編程春季班
今年三月，EPSRC 補助的泛型與索引編程計畫將在牛津大學開設五天的課程： Spring School on Generic and Indexed Programming。