Monthly Archives: 二月 2010

演算邏輯 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

OOPSLA 改名為 SPLASH

By Shin | Published: 二月 21, 2010

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

Posted in 活動消息 | 2 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