F[a](x)≒H[ω^a](x)なわけだが
+ωでも*ωでも^ωでもなくω^だってのは何気にすごい。
（単にHのやり方がのろすぎるだけともいえるが）
大きい順序数を作って入れるんじゃなく根っこのやり方を変える
ことでη_0に挑戦できないものだろうか。