>D 概念のみ
>　Hardy Function + >>575

これ、Cとの区別の仕方がようわからん。

思うんだけど、ここでいきなりω1_CKの先とか
そんなすごいことやんなくていいんだよ。
そうじゃなくて例えばΓ_0レベルでも、
ε_0レベルでふぃっしゅ氏がやったような
形まできっちり仕掛けが説明できれば、
そのほうが成果としては分かりやすいんだけどね。