関数型言語の勉強にSICPを読もう - (3) 1章 - 手続きによる抽象の構築(1-30ページ) - higepon blog1章の途中までは演習問題をノートに書いていたので記録が残っていないです。ごめんなさい。 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)という表記
