巨大数を語り合うスレ (244ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
183: 2024/05/09(木)11:50 ID:kr5FQ87d(1) AAS
>>182のいう「帰納的関数」が全域帰納的関数であるなら
それだけを列挙する関数は帰納的ではないでしょうな
また部分帰納的関数で良いのであれば答えがない場合も許されるので
列挙関数が帰納的でもよい
つまり、列挙関数が対角線と交わる箇所では答えがない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.890s*