2006-06-24 論理学演習 2週間考えまくったけど結局解けなかった。最後は地下3連泊。id:yoiraが解いてしまった模様。自然演繹かますとかよくやるわ...。すばらしい。そして彼のSchemeを使ったプログラミングのページが微妙に結構人気。