原始帰納的関数でない帰納的関数の例としてよく知られているAckermann関数について，高橋正子著『計算論』近代科学社 のP.22の練習問題を解いてみた． ちょっと調べてみると1900年代の初期には計算可能な関数（今でいう帰納的関数）は全て原始帰納的関数であ…