>>110のHardy functionの定義で
H[0](x)=x　というのはH[0](x)=x+1の誤植でしょうか。

それと、F[ω+x](x)を展開する場合、ω+xは極限順序数ではないので
(xは自然数なのでω+(x-1)が存在してω+x=ω+(x-1)+1となる)、
F[ω+x](x)=F[ω+(x-1)]^x(x)　とすべきでしょうか。

またやっちまった予感…