Little Schemerを読み進める

再帰の章(Chapter 9 ... and Again, and Again, and Again, ...)を読み進める。今までとは違い、徐々に難しさが増してきたので、脳内評価に限界が出てきたかので実際にコードを書いて動かしたりしてみる。

全域的再帰関数、部分的再帰関数、Ackerman関数とか、昔やった帰納関数論を髣髴とさせる内容が出てきてなつかしくなり、帰納的関数と述語 (数学基礎論シリーズ)を本棚から引っ張りだしてみた。後で読むかも。

The page that you are reading now will have decayed long before we could possibly have calculated the value of (A 4 3).

Ackerman関数は恐ろしい。

帰納的関数と述語 (数学基礎論シリーズ)