評価
式に対して値 (value) を与える
$ e\Downarrow n
(ex.
$ S(S(Z))*S(S(Z))+S(Z)\Downarrow S(S(S(S(S(Z)))))
)