(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)