>>701
＞書き方がまずかったかな。

あれは順序数の作り方であって、
Hardy関数の計算の仕方ではないよなぁ。