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

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

直前エントリは日本語微妙。という事でコードで語ってやれ、と思い試験を書いてみたんですが微妙なソレしかひり出てこない。(list (amb 1 2 3) (amb 4 5 6)) な手続きにおけるリストの二番目の要素の失敗継続は最初の要素の try-next なんですよ、って試験を…

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

練習問題ヤる事にしたので追記でなく新たにエントリを。scheme って乱数は自分で手続き作らんといけんの??と言いつつ gauche と乱数で google 先生にお伺いを立ててみた所、math.mt-random というソレを発見。 gosh> (use math.mt-random) #<undef> gosh> (define m</undef>…

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

帰りのバスで問題 4.51 をニラむ。set! な失敗継続ってどうなるんだろ、と思いつつ an-element-of って手続きは何か、と。全然見覚えが無くてページを遡ってみたら最初らへんで定義を発見。その下で定義されている a-integer-starting-from という手続きをみ…