07/09/15 16:49:58
>>405
多重帰納の定義については、
URLﾘﾝｸ(www.geocities.co.jp)
ここで色々議論されています。
76,77,155,181-184 あたりです。ここで提案されている
3変数アッカーマンについて検証したのが>>403で、2重帰納を
数え上げていることが分かりました。
>>323の方が簡単なので、これでω^2になっていればその方が
いいと思います。どういうしくみになっているのでしょう…。
07/09/15 16:49:58
>>405
多重帰納の定義については、
URLﾘﾝｸ(www.geocities.co.jp)
ここで色々議論されています。
76,77,155,181-184 あたりです。ここで提案されている
3変数アッカーマンについて検証したのが>>403で、2重帰納を
数え上げていることが分かりました。
>>323の方が簡単なので、これでω^2になっていればその方が
いいと思います。どういうしくみになっているのでしょう…。