[過去ﾛｸﾞ] プログラム板自治スレッド その3 (964ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
640(1): 2012/02/29(水)21:08 AAS
>>636
ある性質Aを持つ object は存在しない。
ことを「有限の」コンピュータ資源上で証明することは悪魔の証明ではないよね。
どれにも該当しない。が答え。
ﾊﾞｶｼﾞｬﾈｰﾉ
645: 忍法帖【Lv=40,xxxPT】 【Dtech1307109814766606】 ◆QZaw55cn4c [ぼちぼち締め上げましょうか] 2012/02/29(水)21:11 AAS
>>640
「有限の」コンピュータ資源上で証明すること
おっと新しい言葉を導入してきましたね。「有限」の定義を教えていただきましょうか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s