[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
829(2): 2022/04/30(土)19:54 ID:Vf6bDvV+(22/26) AAS
>>828
つづき
・通常の数学論文では、IUTほど「可読性」が問題になることは少ない
（皆無ではない。古くはガロアの第一論文とか、カントールの非可算無限集合論とかがある）
・そこで、プログラムに例えると
1）プログラムの設計と書き方
2）プログラムの検証
3）プログラムの可読性
に分けて考えることが出来る
・「プログラムの設計と書き方」は、C言語を使うとか、サブルーチンと本体プログラムとの関係とか
省15
832: 2022/04/30(土)21:22 AAS
>>829
＞（証明を）プログラムに例えると
＞ 1）プログラムの設計と書き方
＞ 2）プログラムの検証
＞ 3）プログラムの可読性
＞ に分けて考えることが出来る
ほんまけ？
＞・「プログラムの設計と書き方」は、
＞ C言語を使うとか、サブルーチンと本体プログラムとの関係とか
＞ 「プログラムの検証」は、論文の査読に相当する
省31
833: 2022/04/30(土)21:35 AAS
>>829
＞玉川先生など、IUTの検証は終わったと言っている
＞（これを正当と認めるか否かの議論は別として）
別とするのが卑怯卑劣なネトウヨｗ
そもそも検証なんか全然してないのに査読しました
とかいうことが不当だといってるわけ
日本人は卑怯卑劣嘘つきだと馬鹿にされてるわけ
ニホンザルのネトウヨ 下げマスは
「卑怯卑劣で何が悪い 嘘でもなんでも勝てば官軍！」
と野蛮なこといってるわけ 実に不快なわけ 分かる？ｗ
省32
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.190s*