2009 5月 : Serendip - Webデザイン・プログラミング

問題4.20 – SICP（計算機プログラムの構造と解釈）その192

問題4.20 a. letrec 式を導出された式として実装する letrec 式を let 式に変換する letrec->let 手続きを定義する (define (eval exp env) (cond ((self [...]…続きを読む

問題4.19 次の式を評価した際の結果について。 (let ((a 1)) (define (f x) (define b (+ a x)) (define a 5) (+ a b)) (f 10)) Ben の主張する [...]…続きを読む

問題4.18 どうも解らなかったので以下のサイトを参考にした。参考：4.1.6 内部定義 – 三十路プログラマ (define (solve f y0 dt) (define y (integral (de [...]…続きを読む

問題4.17 フレームの生成を確認するために、手続き make-frame にリーダマクロを付けて読み出してみる。 (define (make-frame variables values) #?=(cons varia [...]…続きを読む

問題4.16 a. lookup-variable-value に、値が *unassigned* の場合にエラーを返す処理を追加する。 (define (lookup-variable-value var env) ( [...]…続きを読む

オブジェクトっぽい話が分かるかもしれないJavaScript講座　その1 | Takazudo Clipping* で JavaScript の prototype を使ってメソッドをつけるとメモリを食わなくていいとの話 [...]…続きを読む

問題4.15 (halts? p a) は任意の手続き p がオブジェクト a で停止するかどうかを判定する。停止する場合は真を返し、停止しない場合は偽を返す。 (define (try p) (if (halts? [...]…続きを読む

鳴門の渦潮、この日は波が高くてあまりはっきり渦が見えない。大歩危遊覧船のりばの上で鯉のぼりが泳いでいた。遊覧船での川下り。祖谷のかずら橋。祖谷のかずら橋中央で揺られながらの一枚。祖谷渓谷のそば屋さんでた…続きを読む

Lecture-7a: Metacircular Evaluator, Part 1 MIT での"超循環評価器"の講義動画。問題4.14 Louis が基本手続きとして組み込んだ map では、第 [...]…続きを読む

問題4.13 束縛の除去は環境の最初のフレームだけでよい。現在のフレーム以外の束縛も削除してしまうと、手続き中などのスコープ内の束縛も削除されてしまう。束縛の削除はフレーム内で見つかった変数とその値の先頭リストの…続きを読む