さかもとのブログ

つらつらと

2009-06-30から1日間の記事一覧

SICP4.3のamb評価器に関しての簡単な説明

問題4.50 分岐を左から右ではなく,ランダムに探す他はambと同じである,新しい特殊形式rambを実装せよ ここで,そもそも分岐の候補はどこで作られているかが問題になる. いままでいまいち動きがわからなかったけど,少しわかったので,自分用にメモ.簡単の…

gaucheでのエラー

現在SICPの4.3に取り組んでいる. この4.3ではamb評価器を実装して,問題を解くのだが,さっきまでどうしてもうまく動かなかった. 動かなかったプログラムは以下のもの. (define (require p) (if (not p) (amb))) (define (hoge n) (let ((a (amb 1 2 3 4)…

意義と意味

ライオンキング(劇団四季)のサントラの3番に納められている,「朝の報告」という曲に「すべての声に、意義は〜ありませ〜ん」という歌詞がある. 「すべての声」は動物たちの声を指しているのだが、「すべての声に意義はありません」とはどういった意味なの…