>>888
ほとんどヒドラゲーム。

ヒドラゲームは >>672、
>>888 は、

Hardy Function' を、
 F'[1](n) = 9^^(n+1)
 F'[a+1](n) = F'[a]^n (9)
 F'[A](n) = F'[A_n](9) ......(Aは極限順序数、A_nはその収束列)

9 と n の間の 【】↑ の3種類の文字からなる文字列を、
 ↑ ==> 1
 【a1】【a2】...【an】↑ ==> ω^a1 + ω^a2 + ... + ω^an
 a + "↑" ==> a+1
のルールで順序数に変換。

ε_0未満のHardyFunctionになる。

例
【↑↑】【↑】↑↑ ==> 【2】【1】↑ +1 ==> ω^2 + ω^1 + 1 ==> ω^2 + ω + 1
【【↑↑】【↑】↑↑↑】【↑】↑ ==> 【【2】【1】↑ +2】【1】↑ ==> 【ω^2 + ω^1 + 2】【1】↑ ==> ω^(ω^2 + ω + 2) + ω