07/09/15 00:58:27
ええと、>>398は大きな勘違いでした。
F1(x)は2重帰納です。
>>399
そうでした。
F1(x) ≒ F[ω*大きな整数](x)
F1(x) ≒ F[ω^2*63](x)
です。
>>400
そちらはF1(x)の定義です。
F2(x)の定義は
URLﾘﾝｸ(www.geocities.co.jp)
ここにありますが、F1(x)のSS変換の定義において、
S変換をx回繰り返すものです。
07/09/15 00:58:27
ええと、>>398は大きな勘違いでした。
F1(x)は2重帰納です。
>>399
そうでした。
F1(x) ≒ F[ω*大きな整数](x)
F1(x) ≒ F[ω^2*63](x)
です。
>>400
そちらはF1(x)の定義です。
F2(x)の定義は
URLﾘﾝｸ(www.geocities.co.jp)
ここにありますが、F1(x)のSS変換の定義において、
S変換をx回繰り返すものです。