2007-10-01から1ヶ月間の記事一覧

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

昨晩入れた直前エントリのテンパリようは凄い。後から自分で見ても意味不明。基本的に自分勝手にころんで大騒ぎ、とゆーのが微妙スギ。とりあえず自分で見て後で分かるように要点だけまとめておきたい、と。 問題 4.52 で盛り込んだ if-fail 関連の手続きと …

source

るりま作業、完全スルーしてるな。SICP 最優先状態なんで、と言い訳。 そりゃ良いとして (を) 今日のひげぽんさんのエントリ (S式の要素の実装方法を考える - Scheme VM を書く)を見て思ったのは、作りが ruby に似ている、という事。ま、ruby も scheme も…

SICP 読み (235) 4.4.1 推論的情報検索

いつものように机上な問題がしばらく続くはず。can-do-job なソレが微妙ですが、最初の問題をヤッてみる。

[misc] 流し

10年くらい前にこっちらへんに復帰して名前だけは存じあげておりました。色々な意味で感謝しています。 自分のために以下のリンクを貼っておくと同時に一社会人としてみんなが楽しく hack できる世の中を作っていかないとイケない責任がある事を忘れないよう…

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)))))を評価…

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 という手続きをみ…

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

直前エントリは微妙に中途半端だな。(list (amb 1 2 3)) とか (list (amb 1 2 3) (amb 4 5 6)) などがどのように取り扱われるか、についてざくっとマトメておきます。

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

手動トレイスしてみる。まずは (list (amb 1 2 3)) で。この式は application 認定とゆー事で以下の手続きで評価される。 (define (analyze-application exp) (let ((fproc (analyze (operator exp))) (aprocs (map analyze (operands exp)))) (lambda (env …

やれやれ

今日もへろへろ。 SoftwareDesign の 11 月号買ったんですが、ざくっとしか目を通せてません。がしかし、結構ポイント高いッス。明日は机上ベースで (list (amb 1 2) (amb 1 2)) 程度のナニを (以下略本当にヤレるのかどうかは微妙。

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

継続をどうやって持ち回っているんだろうか。頭がコンガラがってますよ。もう少しソース読んでみます。

いかん

呑みすぎた。面白いんだけど、失敗継続なソレをどうやって持ち回ってるのか、が微妙。

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

うーん。頭痛い。今週は週のアタマからハードな週でしてスデに週末気分。朝起きて今日は金曜日じゃないんだったっけ、って思うのは随分久しぶりだな。 で、頭痛と言いつつ現実からトウヒしてみたログを以下に。 Conditionals and sequences って直前エントリ…

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

if とか sequence のあたりから fail だの fail2 だ云々が出てき始めてるんですが、失敗な試験も検討した方が良さげ。てーか、UT というナニを越えてる気がするなぁ。それ以前に試験ドリブンでも無かったりするのも微妙。 大体、今の試験が ("if" ("simple (…

SICP 読み (222) 4.3.2 非決定性プログラムの例

8queen が動いたっぽいのでコードを控えておきます。

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

ちょっと試験不足気味ですが先に進む。あと試験ドリブンなソレを止めていたんですが、そろそろきちんとヤラないとまずい。ちょっと体調不良なんで様子を見つつ進めてみる。ってか、中身に目を通さんと。 とりあえず 単純式なソレについて試験をでっち上げて…

SICP 読み (220) 4.3.2 非決定性プログラムの例

ちょっと机上ベースででっち上げてみた。 問題 4.48 (define adjectives '(adjective pretty cleanly luminous cool)) (define (parse-adjective-noun-phrase) (list 'adjective-noun-phrase (parse-word adjective) (parse-word nouns))) (define (parse-no…

パタヘネ本

某ウノウラボのマシン語なエントリを見てて欲しくなった。たぶん買うのでメモっとこ。 amazon:コンピュータの構成と設計

SICP 読み (221) 4.3.2 非決定性プログラムの例

ちょい前に断念した 8queen と amb なソレですが、自然言語の構文解析なナニで例示されている parse-noun-phrase などの手続きの定義を見ていて、これ方式で何とかなりそうな気がしています。 実は問題 4.49 をバスの中で見てて、変更簡単じゃね??と言いつつ…

梅田さんの本

発注。amazon:ウェブ時代をゆく ─いかに働き、いかに学ぶか

SICP 読み (219) 4.3.2 非決定性プログラムの例

モチ切れ状態なんですが、無理矢理進めてみます。gdgd になる可能性大。スルー気味に検討してみます。

SICP 読み (218) 4.3.2 非決定性プログラムの例

昨晩のエントリは日本語がぶち壊れている。休みに疲労回復をしなければイケナいんですが、そうなってないのが非常にナニ。

SICP 読み (217) 4.3.2 非決定性プログラムの例

昨晩は久々の外メシ。昼間も本読む暇は無いだろう、と思っていたんですが次の項に目を通す事ができたのはできたんですが、エントリ入れるまでには至らず。 今日もへろへろだったんですが、なんとかエントリ投入にチャレンジ、とゆー事で。 問題 4.45 英語微…

SICP 読み (216) 4.3.2 非決定性プログラムの例

今日の成果は若干微妙。ふらふら状態でアバレ回ってる感満点ッス。

SICP 読み (215) 4.3.2 非決定性プログラムの例

直前エントリに追記しすぎな気もするので新たなエントリを起こす事に。

SICP 読み (214) 4.3.2 非決定性プログラムの例

なんと言えばよいやら、へろへろです。後半になってきて息切れ気味かなぁ。リキの無い自分が情けないやら 問題 4.43 データ構造を見直し。親父は自分の名前と船の名前のみ。娘は自分の名前と父親と自分の名前な船を持つ人をそれぞれリストで保持。で、手続き…

SICP 読み (213) 4.3.2 非決定性プログラムの例

なんか直前エントリの手続きが微妙。最後の (list (list 'Moore (cadr Moore)) (list 'Dowing (cadr Dowing)) (list 'Hall (cadr Hall)) (list 'Barnacle (cadr Barnacle)) (list 'Parker (cadr Parker)))))))って何だ。ムスメの父親が出ないと意味ないし。(…

SICP 読み (212) 4.3.2 非決定性プログラムの例

現実トウヒな下書き含め、なエントリだったり (を 問題 4.43 適当なデータ構造を思いつかず、微妙。普通のリストだと (2 4 5 3 1)いっちゃんケツの Parker の船の名前が 1 で Moore の娘だな、というのは判別できる (それでも無理矢理気味) んですが、Gabrie…