tanakaBox https://blog.hatena.ne.jp/tanakaBox/ ボクノス https://boxnos.hatenablog.com/ Scheme 問題1.9 紙の上で展開した。散々悩んだので、あっさり解けた。 問題1.10 数学的帰納の問題。プログラムを見て、数学的定義を述べよ。 (define (A x y) (cond ((= y 0) 0) ((= x 0) (* 2 y)) ((= y 1) 2) (else (A (- x 1) (A x (- y 1)))))) xに大きな値を取ると大変な事になることだけわかった。x = 3以降の動きが異常すぎるのだ。尋常じゃない。僕の少ない頭では、数学的定義がわからなかった。丁寧な解説がありました。 SICP memo: 問題1.10 - わかりやすい。 アッカーマン関数 - Wikipe… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fboxnos.hatenablog.com%2Fentry%2F20070527%2F1180292565" title=" SICPを読む(10) 問題1.9 - 1.10 指数的爆発 - ボクノス" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2007-05-27 04:02:45 rich https://boxnos.hatenablog.com/entry/20070527/1180292565 1.0 100%