手続きの抽象がメインテーマと言うことで、Square Rootの定義を振り返ってみましょう。 定義(p.12) (define (sqrt x) (the y (and (>= y 0) (= (square y) x)))) yが０以上でかつ2乗するとxになるもの と言う定義をそのままS式にしてみました、って感じ。 で…

死に体の党の総裁選びなんてどうでもいいと思ってたけど、今日のサンデープロジェクトを見て変わった。河野太郎いいじゃん。面白いと思ったエピソード 挙党態勢、全員野球と言う言葉は、悪しき習慣を隠してしまう。 老兵はベンチではなく、スタンドから見て…