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

SICP 読み (232) 4.3.3 amb 評価器の実装

問題 4.50 は一旦置いとく事に。次の問題 4.51 も微妙。permanent-set! の実装について、単純に set-variable-value! しといて失敗な時に戻さなければ良いんじゃね? という安易な考えしか持っていません。多分ダウト。

SICP 読み (233) 4.3.3 amb 評価器の実装

自宅マシンにて動作確認。4.51 と 4.52 なソレを盛り込んで動作確認。やはり (define (find-divisor n test-divisor) (cond ((> (square test-divisor) n) n) ((divides? test-divisor n) test-divisor) (else (find-divisor n (+ test-divisor 1)))))を評価…