2007-11-08

[日記]まだアッカーマン関数

毎日少ししか勉強時間が取れないので、アッカーマン関数の演習問題から抜け出せていない。

2日悩んだ問題「アッカーマン関数をNプログラムで計算する方法を考えよ」は、スタックをNプログラムで書ければうまくいきそうだとわかったが、それには次の章以降の知識がいるようだ。。。スタックを書く方法を一日考えていたがやはり自力では思いつかないので素直に次章へ進むしかないか。
しかし、「考えよ」ということだから、(「書け」というわけではないから、)ここまでできれば完了なんだろうか。なんともすっきりしない。

次の問題はアッカーマン関数が原始的関数でないことの証明問題なので、着々と進んでいるが、長いので時間がかかりそうだ。