Author Archives: Shin

距離平方和

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

Posted in 未分類 | 3 Comments

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

中研院資科所傑出學者系列講座六月份邀請到了函數語言學界有名的 Paul Hudak. Hudak 是 Haskell 語言設計者之一,IFIP Working Group 2.8 (函數編程) 的成員,以及 Journal of Functional Programming 共同總編輯之一。 1992 – 1996 年間他曾在自己的 Jazz 樂團擔任鋼琴手,難怪他很受函數語言初學和入門者喜愛的 The Haskell School of Expression 一書會以音樂、繪圖、動畫為例示範如何以函數語言思考和解決問題。他也是耶魯大學「計算與藝術創意交融(C2 – the Creative Consilience of computing and the arts)」學程創辦人之一。這次他將介紹一個描述電腦音樂的特殊領域語言 Euterpea。 主題 : Euterpea: from Signals to Symphonies 主講人 : Dr. Paul Hudak 主講人單位 : Department of [...]

Posted in 未分類 | Leave a comment

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

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

Posted in 未分類 | 2 Comments

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

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

Posted in 未分類 | Leave a comment

Charles P. Thacker 獲得 2009 年 Turing 獎

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

Posted in 未分類 | Leave a comment

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

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

Posted in 未分類 | 1 Comment

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

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

Posted in 未分類 | 3 Comments

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

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

Posted in 未分類 | 7 Comments

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

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

Posted in 未分類 | 13 Comments

OOPSLA 改名為 SPLASH

物件導向技術的頂尖會議 OOPSLA 從今年起改名為 SPLASH — Systems, Programming, Languages and Applications: Software for Humanity。而 OOPSLA 則成為協同舉辦的兩個會議之一。

Posted in 未分類 | 2 Comments