Category Archives: 計算算計

距離平方和

給定一個有兩個以上元素的陣列a, 計算任兩個元素前者減後者所得之差的平方的總和。

Posted in 計算算計 | Tagged , , | 3 Responses

Charles P. Thacker 獲得 2009 年 Turing 獎

ACM 昨天宣佈 Charles P. Thacker 為 2009 年 Turing 獎得主

Also posted in 人物 | Tagged , , , | Leave a comment

再看二元搜尋法 Binary Search(下)

給定一個排序好的陣列 a[0..N)(其元素為 a[0], a[1]a[N-1]), 0 ≤ N。如何用 van Gasteren 與 Feijen 的方法判斷其中是否含有某個關鍵值 K 呢?

Posted in 計算算計 | Tagged , | 1 Response

再看二元搜尋法 Binary Search(上)

如果你自認對二元搜尋 (binary search) 夠熟悉了,卻沒讀過 Netty van Gasteren 和 Wim Feijen 的研究筆記 The Binary Search Revisited, 強烈建議你找時間看看。

Posted in 計算算計 | Tagged , | 3 Responses

演算邏輯 Calculational Logic(二)騎士與惡棍之島

一個島上住著兩種人,騎士 (knight) 與惡棍 (knave) 。騎士總說實話,惡棍總說謊話,但從外表看不出誰是騎士或惡棍。某天,居民 A 和你說「B 剛剛說他自己是騎士」。由此你可知道 A 說的是實話還是謊話嗎?B 呢?傳說島上藏著金子,怎麼設計一個問題,查出傳言的真假呢?

Posted in 計算算計 | Tagged | 7 Responses

演算邏輯 Calculational Logic(一)若且唯若

邏輯學家發展形式邏輯是為了研究邏輯本身,而演算邏輯的設計則是為了便於用邏輯來解決問題。

Posted in 計算算計 | Tagged | 13 Responses

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.

Posted in 計算算計 | Leave a comment

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

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

Posted in 計算算計 | 7 Responses

資訊學研究成果的評估

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

Posted in 計算算計 | Tagged | Leave a comment

為何 SCI 論文數不適合評鑑資訊科學

一篇電腦科學 SCI 論文所引用的文獻平均有將近一半是不在 SCI 資料庫中的。「最常被引用學者」中並沒有 Wirth, Parnas, Knuth 等人。Mattern 說,ISI 眼中的電腦科學和學界的實況根本就是「兩個世界。」

Posted in 計算算計 | Tagged , | 4 Responses