>>697
順々に見ていこうかな

＞A 具体的なアルゴリズムがわかるもの
＞　Hardy Function + 多変数C1

これはどうかな？

H[ord]　ord < ε_0に関しては、ふぃっしゅ関数ver5と同等。
H[ord]　ε_0 =< ord < Γ_0に関しては、やればできそう。
H[ord]　Γ_0 =< ord < ω1_CKに関しては、どうやればいいかようわからん。
H[ord]　ω1_CK =< ord に関しては、正直無理な気がする。

順序数の定義ができればいいというわけではなく、
計算にあたってより小さな順序数に還元する
手順が示されなくてはならないと思うんだが。