@uents blog

Code wins arguments.

2015-07-01から1ヶ月間の記事一覧

SICP 読書ノート#60 - 4.3.1 ambと探索 (pp.246-248)

前回のエントリで実装したambオペレータを使って練習問題を解いていきます。 問題 4.35 二つの境界値の間の整数を返す手続き an-integer-between を実装する。いくつか方法はあると思うが、§2で登場した enumerate-interval を流用してみた。 (define (enume…

SICP 読書ノート#59 - 4.3 非決定性計算 - call/ccによるambオペレータの実装 (pp.245)

前回で継続やcall/ccの振る舞いはつかめたので、今回はambオペレータをcall/ccで実装します。 ソースコードは以下に置いています。 https://github.com/uents/sicp/blob/master/ch4.3-amb-operator amb評価器を動作させる まずは動かしてみないとambが何者か…