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

(d 'v s)

sに関数dを適用する

(define (d x E)

 (cond ((constant? E)(diff-constant x E))

    ((variable? E)(diff-variable x E))

    ((sum? E)  (diff-sum x E))

;この先はまだ記述していない

))

式Eは定数ではない ⇒ (diff-constant x E)は評価しない

式Eは変数ではない ⇒ (diff-variable x E)は評価しない

sは'(+ u v w)