第1章振り返り - yukichanko's diary

手続きの抽象がメインテーマと言うことで、Square Rootの定義を振り返ってみましょう。 定義(p.12) (define (sqrt x) (the y (and (>= y 0) (= (square y) x)))) yが０以上でかつ2乗するとxになるもの と言う定義をそのままS式にしてみました、って感じ。 でも、これも結構奥が深いらしくて、このような平叙文で書くと、それを自動的に命令文に変える、とかっていう研究が昔盛んに行われてたそうだ。 確かに、定義をそのまま書けると素敵だ。偏微分方程式を定義すると、それを解いてくれる、みたいな。 命令文的記述(p.13) (define (sqrt x) (define (sqrt-iter guess x) (if (good-enough? guess x) guess (sqrt-iter (improve guess x) x)))