これでいいのかな？ ストリームを使ったアパート問題のプログラムは以下のようになった．リスト版の決定性計算版よりはるかに遅いので，てっきり間違っていると考えたが，solveからはすぐに戻っているところをみると，動いているのかな？しかし，全解探索す…

実は動いているのかも 昨日，ストリームを使ったアパート問題のプログラムがすんなり動かないと書いたが，実は遅いだけで，正しく動いているのかも…．とりあえず，今日は順列生成のストリーム版について書いてみる．いや，本当は順列というより，置換と言う…

素直なプログラム 昨日Prologで書いたアパート問題をSchemeに翻訳してみる．最初はいちばん素直なプログラム．このRubyプログラムをほぼ忠実に翻訳したものだ．使用処理系はGauche． (use gauche.time) (use srfi-1) (load "./nd.scm") (define-syntax name-…

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