[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 49 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
989(1): 2020/04/15(水)13:16 ID:LTi2Xsr9(2/5) AAS
>>988
インプットデータの正当性は？
992(1): 2020/04/15(水)13:25 ID:/g+JzMtk(5/9) AAS
>>989
漫然とインプットデータといわれても困る
公理や定理の式が正しいとして、証明が間違っていたら？ということはない
公理や定理の式が間違っていたら？ それは検証系で検査できることではない
プログラム検証のV&Vで、
後のV(verification 検証)は機械的にできるが
前のV(varidation 妥当性確認）は機械で実施するものではない
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s