2007-07-07から1日間の記事一覧

非決定性計算ならPrologで

問題とRubyおよびHaskellのプログラム 何かを探していて偶然面白い問題を見つけた. Baker, Cooper, Fletcher, MillerとSmithは五階建てアパートの異なる階に住んでいる。Bakerは最上階に住むのではない。Cooperは最下階に住むのではない。Fletcherは最上階…