最初のページ 戻る 次へ 最後のページ

加算式の微分(p305)

(define (sum? E)

 (and (pair? E)

     (equal? '+ (car E)) ))

(+ ○ □)

「0個以上の部分式」かつ演算子が+」であるリスト

sum? を定義する

(pair? E)

Eが0個以上の要素を持つとき#t

式Eが加算式であるとは?

演算子は第一要素