a: 演算子が記号である場合の組み合わせの式を別のクラスと認識し，そういう式を最適化する． operatorがvariableであればenvをsaveしない． ev-application (save continue) (assign unev (op operands) (reg exp)) (assign exp (op operator) (reg exp)) (…

どのタイミングで以下の式を評価する際にどのタイミング何を退避して復帰するか (f 'x 'y) 'x 'yはシンボルなのでこれ以上の評価が必要ないので 何も退避しなくてよい． ((f) 'x 'y) 'x 'yがシンボルなので上と同じく退避の必要ない． (f (g 'x) y) fを評価…