By Shin | Published: 七月 13, 2010
Noam Chomsky 將於八月九、十兩日分別在中央研究院、清華大學進行兩場演講。
Posted in 活動消息 | Tagged Noam Chomsky
By Shin | Published: 五月 6, 2010
中研院資科所傑出學者系列講座六月份邀請到了函數語言學界有名的 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 活動消息 | Tagged Paul Hudak, 函數編程
By Shin | Published: 四月 21, 2010
FLOLAC 2010 的網站已經做好很久了。之前一直在等所上和台大進修推廣部正式通過。今年請到了、 Yale University 的 Paul Hudak 來演講。課程則聚焦在語意上,對於正式學習程式語言相關知識應會很有用。對了,還送課本一本唷!請大家多幫忙把消息傳出去吧!
Posted in 活動消息 | Tagged FLOLAC
By Shin | Published: 三月 25, 2010
為鼓勵與學校教授學術交流,本所徵求暑期實習生10名。
By Shin | Published: 二月 21, 2010
物件導向技術的頂尖會議 OOPSLA 從今年起改名為 SPLASH — Systems, Programming, Languages and Applications: Software for Humanity。而 OOPSLA 則成為協同舉辦的兩個會議之一。
By Shin | Published: 一月 21, 2010
Posted in 活動消息 | Tagged 依值型別, 泛型
By Shin | Published: 十月 31, 2009
Erik Meijer 正在微軟社群 Channel 9 上發佈一系列十三集的教學影片 Functional Programming Fundamentals,講解函數編程。第一集在第一天就達到了一萬次點閱量,兩週內得到十萬次點閱。
Also posted in 計算算計 | Tagged Erik Meijer, Haskell, 函數編程
By Shin | Published: 九月 30, 2009
中研院資科所傑出學者系列講座:Coq, a Proof Assistant Based On Type Theory.
By Shin | Published: 九月 26, 2009
ICFP 2009 和部份周邊研討會的全程錄影已經上網了。據我所知這是 ICFP 第一次嘗試將演講錄影上網,希望以後也能一直這麼做下去。