07/09/16 19:53:40
>>396
バージョン5の定義ありがとうございます。
自分で計算してないのですが>>387-388を見るとやっぱりF_(ε_0)(x)に到達して
そうな感じですねぇ・・・。
ヴァージョン６楽しみにしています（笑）
>>405
なるほど。おそらくその定義がn重帰納関数の最低ラインっぽいですね。
前に言われていた所謂「正規形」ってやつかもしれません。
07/09/16 19:53:40
>>396
バージョン5の定義ありがとうございます。
自分で計算してないのですが>>387-388を見るとやっぱりF_(ε_0)(x)に到達して
そうな感じですねぇ・・・。
ヴァージョン６楽しみにしています（笑）
>>405
なるほど。おそらくその定義がn重帰納関数の最低ラインっぽいですね。
前に言われていた所謂「正規形」ってやつかもしれません。