>>744
ttp://www.uploda.net/cgi/uploader4/index.php?file_id=0000021312.lzh
再アップロードしました。中身は>>205と同じものです。
このプログラムについて著作権を主張するつもりはないので、
転載や改良は自由に行っていただいて構いません。
このプログラムで計算できるのは、>>110のFの方なので注意してください。

>>739
>>203の定義に沿って見ていくと、ψ_1(Ω)は
　α=ψ_β(γ)(γは収束列の定義されていない非可算順序数)
でβ=1, γ=Ω=ψ_1(0)としたものになります。
ψ_[δ+1](0)をxに置き換えた後に関数を作るときは、
元々γだった部分をf(x)とするので、この場合はf(x)=xとなります。
そうすると、
α_0=0
α_1=ψ_1(0)
α_2=ψ_1(ψ_0(0))
α_3=ψ_1(ψ_0(ψ_0(0)))
…のようになります。