環境とは フレーム (frame) が並んだもの フレームとは 変数の名前 + 対応する値を結び付ける束縛 (binding)のセット 1つのフレームは任意の変数に対して 0or1 の束縛をもつ 外側の環境へのポインタを持つ ただしglobalは、外側の環境へのポインタを持たない…

Exercise 3.11 (define (make-account balance) (define (withdraw amount) (if (>= balance amount) (begin (set! balance (- balance amount)) balance) "Insufficient funds")) (define (deposit amount) (set! balance (+ balance amount)) balance) (de…

Exercise 3.10 (let ((⟨var⟩ ⟨exp⟩)) ⟨body⟩) は ((lambda (⟨var⟩) ⟨body⟩) ⟨exp⟩) と解釈される。 その場合を環境モデルを使って説明せよ。 (define W1 (make-withdraw 100)) (W1 50) (define W2 (make-withdraw 100)) 書き換えた場合の処理は (define (mak…