計算機プログラムの構造と解釈 1.1.8

手続き抽象

ある手続きの中で部品として使われている手続き。squareは2乗さえ返してくれれば、手続きの内容は関係ない。ブラックボックス。

局所名

スコープとか、そのあたりの話。説明不要。

(define (good-enough? guess x)
(< (abs (- (square guess) x)) 0.001))

guess,xは束縛変数(bound variable)といい手続き定義は仮パラメタを束縛する(bind)という。

1. ,-,absは自由変数だが、good-enough?の仮パラメタにすると、束縛されてしまう。

(define (good-enough? abs x)
(< (abs (- (square guess) x)) 0.001))