ストリームを使ったアパート問題 - 備忘録
これでいいのかな？ ストリームを使ったアパート問題のプログラムは以下のようになった．リスト版の決定性計算版よりはるかに遅いので，てっきり間違っていると考えたが，solveからはすぐに戻っているところをみると，動いているのかな？ しかし，全解探索するより遅いなんて…．効率を何も考えずに書いているからだろうか…． (define (stream-filter-map f l) (stream-delay (stream-filter identity (stream-map f l)))) (define solve (lambda () (stream-delay (stream-filter-map (lambda (floor) (let* ((floor (stream->list floor)) (baker (first floor)) (cooper (second floor)
プログラミングと開発者のためのCodeZine：Rubyで作るProlog処理系（Ruby, Prolog, 記号処理, 自動推論）
はじめに 1970年代にヨーロッパを主な舞台として生まれ育ったプログラミング言語Prolog（programming in logic）は、事実とルールから一種の自動推論を行う点に特徴があります。その基本的な動作は200行ほどのRubyプログラムで実現できます。ここでは、筆者がRubyで作成したProlog処理系を解説します。 Prologによる簡単なプログラム例を下記に示します。 これは「ソクラテスは人間（human）である」「プラトンは人間である」という事実と、「人間ならばいつか死ぬ（mortal）」というルールを書いたものです。mortal(X) :- human(X)は、変数Xが実際には何であったとしても、もしもhuman(X)が成り立つならば（つまりXが人間ならば）、mortal(X)が成り立つ（つまり、Xはいつか死ぬ）という意味です。 簡略化のため、本処理系ではRubyの構文要
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
