07/09/13 20:49:16
>>351
微妙にちがう。初項は a+1。
----- >>338 のプログラムの解説 ------
>>266 のプログラムを色々変えて小さくしたもの。
117語のものは、C0の変数を３つに限定し、一番左のは整数に限定したもので順序数を作り出している
132語のものは、C0を多変数のまま使っている。
（コメントに F[ψ(Ω^(Ω+ω))](n) と書いてあるのはF[ψ(Ω^ω)](n) の間違い）
プログラムでは F[ψ(Ω^ω)](9) 程度の数を返すが、
プログラム上の数値のいくつかを変えることで 9 を大きく出来る。
○小さくする工夫
φよりも定義が簡単で加算の定義も不要なC0を用いている
ハーディー関数を再帰ではなくループで表現している
F[ψ(Ω^ω)](9) = F[ψ(Ω^9)](9) なので、F[ψ(Ω^9)](9) を計算している
収束列を微妙に変えている
C言語上の色々な工夫でサイズを小さくしている
など