[過去ログ] 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
1-
あと 173 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.010s