07/10/18 14:54:29
>>551の追伸
＞2005年8月29日 6スレ303-305
＞・魚スキー氏 によるHardy関数を用いた評価（H[ε_0]相当）
実は魚スキー氏はこの後の
2005年9月2日 6スレ317で
Hydra gameとの比較をやっている。
＞Ab{}(x)=x
＞Ab{[]}(x)=Ab{}(x+1)=x+1 =f(x)=Hb[1]
＞Ab{[]*n}(x)=x+n=Ab{[]}^n(x) =f^n(x)=Hb[n]
＞Ab{[[]]}(x)=Ab{[]*x}(x)=Ab{[]}^x(x)=2x =(m(2)f)(x)=Hb[ω]
＞Ab{[[]]*n}(x)=Ab{[[]]*(n-1)[]*x}(x)=Ab{[[]]*(n-1)}(2x)
＞ =Ab{[[]]}^n(x) =(m(2)f)^n(x)=Hb[nω]
＞Ab{[[][]]}(x)=Ab{[[]]*x}(x)=A{[[]]}^x(x) =(m(2)^2f)(x)=Hb[ω^2]
＞Ab{[[]*n]}(x)=Ab{[[]*(n-1)]*x}(x)=Ab{[[]*(n-1)]}^x(x)
＞ =(m(2)Ab{[[]*(n-1)]})(x)=(m(2)^nf)(x)=Hb[ω^n]
＞Ab{[[[]]]}(x)=Ab{[[]*x]}(x)=(m(2)^xAb{[]})(x)
＞ =((m(3)m(2))f)(x)=H[ω^ω]
ふぃっしゅ５関数こそヒドラだった！
昨日、λ項の計算をやってるときに
「もしかしてこの変化は･･･ヒドラゲーム？」
と思ったのだが・・・やっぱりそうだったか。
魚スキー氏のこの発見もたたえられるべきものである。
（実は漏れが初めて気づいたのかと思ったんだが･･･
世の中そんなに甘くなかった･･･ＯＴＬ）