Category Archives: 計算算計

再看二元搜尋法 Binary Search（下）

By Shin | Published: 三月 6, 2010

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

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

再看二元搜尋法 Binary Search（上）

By Shin | Published: 三月 5, 2010

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

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

演算邏輯 Calculational Logic（二）騎士與惡棍之島

By Shin | Published: 二月 22, 2010

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

Posted in 計算算計 | Tagged | 7 Comments

演算邏輯 Calculational Logic（一）若且唯若

By Shin | Published: 二月 22, 2010

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

Posted in 計算算計 | Tagged | 13 Comments

IFIP Working Group 2.1 Meeting #65

By Shin | Published: 二月 21, 2010

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

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

By Shin | Published: 一月 21, 2010

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

Posted in 計算算計 | 7 Comments

資訊學研究成果的評估

By Shin | Published: 一月 21, 2010

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

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

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

By Shin | Published: 十一月 17, 2009

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

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

單子 (monad) 入門（二）讀取單子

By Shin | Published: 十一月 14, 2009

一個算式的語意成了「拿一個環境，傳回一個整數」的函數。的確，既然算式算成的那個整數必須由環境決定，算式其實不能看作一個數子，而應該是從環境到整數的函數才對。

Also posted in 函數編程簡介 | Tagged , , | 10 Comments

程式設計的公設基礎：四十年後

By Shin | Published: 十一月 8, 2009

1969 年，C.A.R. Hoare 在 Communication of the ACM (12(10):576–580) 發表論文 An Axiomatic Basis for Computer Programming，在文中提出後來被稱作 Hoare 邏輯的一套公設系統, 被認為是計算科學史上最重要的幾篇論文之一。時間轉眼間過去了，今年已經是這篇論文的四十歲生日。

Also posted in 人物 | Tagged , , , | 2 Comments