Monthly Archives: 六月 2009

關於函數編程(一)On Functional Programming

由指令語言的觀點看函數語言,注意到的第一件事情是「函數語言裡面不可以改變數的值」。於是大家難免覺得奇怪,這怎麼會是個優點呢?自廢武功去掉一個功能,會有什麼好處呢?

Posted in 函數編程簡介, 計算算計 | Tagged , | 1 Comment

1st Asian-Pacific Summer School on Formal Methods

今年在北京將舉辦第一屆的「亞太正規方法研習營」。

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

FLOLAC 2009

第三屆 FLOLAC 將在下週一開始。

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

先寬度標記

依先寬度的順序把樹的節點一個個標起來。

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