2009年2月8日日曜日

計算機プログラムの構造と解釈 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))





0 件のコメント:

コメントを投稿