Author Archives: Shin

Noam Chomsky 來台演講

Noam Chomsky 將於八月九、十兩日分別在中央研究院、清華大學進行兩場演講。

Posted in 活動消息 | Tagged | Leave a comment

Haskell 2010 出爐

Haskell 語言的新標準 Haskell 2010 已在七月六日出爐了。

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

計算多項式

我有大約 25 分鐘的時間和同學們介紹函數程式演算. FLOLAC ’10 的同學少部份學過 Haskell 或其他函數語言,大部份只在一週前學了三小時的 OCaml, 寫了一些程式作業,但對 fold 之類的抽象觀念可能還難以掌握。

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

距離平方和

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

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

傑出學者系列講座: Euterpea: from Signals to Symphonies

中研院資科所傑出學者系列講座六月份邀請到了函數語言學界有名的 Paul Hudak. Hudak 是 Hask […]

Posted in 活動消息 | Tagged , | Leave a comment

2010 「邏輯、語言與計算」暑期研習營 (FLOLAC ’10)

FLOLAC 2010 的網站已經做好很久了。之前一直在等所上和台大進修推廣部正式通過。今年請到了、 Yale University 的 Paul Hudak 來演講。課程則聚焦在語意上,對於正式學習程式語言相關知識應會很有用。對了,還送課本一本唷!請大家多幫忙把消息傳出去吧!

Posted in 活動消息 | Tagged | 2 Responses

中研院資訊所誠徵 2010 年暑期實習生

為鼓勵與學校教授學術交流,本所徵求暑期實習生10名。

Posted in 活動消息 | Leave a comment

Charles P. Thacker 獲得 2009 年 Turing 獎

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

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