(define (sum? E)
(and (pair? E)
(equal? '+ (car E)) ))
(+ ○ □)
「0個以上の部分式」かつ「演算子が+」であるリスト
sum? を定義する
(pair? E)
Eが0個以上の要素を持つとき#t
式Eが加算式であるとは?
演算子は第一要素