ルート41氏がやってることって
要するにこういうことか?

 F[0](x)=9^x
 F[α+1](x)=F[α]^x(x) (αは順序数)
 F[λ](x)=F[Λ(x)](x)