テーブル表現 (define (lookup key table) (let ( (record (assoc key (cdr table))) ) (if record (cdr record) #f) ) ) ; キーチェック (define (assoc key records) (cond ((null? records) #f) ((equal? key (caar records)) (car records)) (else (asso…

キューの実装 (define (front-ptr queue) (car queue)) (define (rear-ptr queue) (cdr queue)) (define (set-front-ptr! queue item) (set-car! queue item)) (define (set-rear-ptr! queue item) (set-cdr! queue item)) (define (empty-queue? queue) (nu…

Exercise 3.12 appendとappend!の挙動の違い 手続きの定義 ; xの一番最後の要素にyを付け加える (define (append x y) (if (null? x) y (cons (car x) (append (cdr x) y)) ) ) ; xの最後の要素をとってきて、そこに追加する (define (append! x y) (set-cdr…

環境とは フレーム (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…