07/10/18 23:29:35
>>606
＞後の評価によってF5はF[ε_0]つまりヒドラと同じレベルにまで
＞達することが分かりましたが
その件だが・・・
実はF5自身はそう大したことないかもしれないｗ
理由としては、F5は入力として枝のない真っ直ぐな木を使ってるから。
実は596のシミュレータで試してみたんだが
分岐ｍ、長さｎとした場合、高さ１のノードの数がｍ＾＾ｎになる。
これだと、実はアッカーマンより小さくなる可能性が・・・（汗
07/10/18 23:29:35
>>606
＞後の評価によってF5はF[ε_0]つまりヒドラと同じレベルにまで
＞達することが分かりましたが
その件だが・・・
実はF5自身はそう大したことないかもしれないｗ
理由としては、F5は入力として枝のない真っ直ぐな木を使ってるから。
実は596のシミュレータで試してみたんだが
分岐ｍ、長さｎとした場合、高さ１のノードの数がｍ＾＾ｎになる。
これだと、実はアッカーマンより小さくなる可能性が・・・（汗