1章の途中までは演習問題をノートに書いていたので記録が残っていないです。ごめんなさい。 9ページ (+ 5 1)と(* 5 2)に置き換えて簡約された。 →簡約ってなんだろうか? 原文 This gives the same answer as our previous evaluation model, but the process is different. In particular, the evaluations of (+ 5 1) and (* 5 2) are each performed twice here, corresponding to the reduction of the expression (* x x) with x replaced respectively by (+ 5 1) and (* 5 2). 置き換えによって、(* x x)という表記
![関数型言語の勉強にSICPを読もう - (3) 1章 - 手続きによる抽象の構築(1-30ページ) - higepon blog](https://cdn-ak-scissors.b.st-hatena.com/image/square/7d39251a0539690b0d138bb0c68abd42c8b6738a/height=288;version=1;width=512/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fh%2Fhigepon%2F20060402%2F20060402211310.jpg)