[過去ログ]
Interーuniversal geometryとABC予想(応用スレ)51 (1002レス)
上
下
前
次
1-
新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
669
: 2021/02/18(木)10:13
ID:yMZvubyN(9/9)
AA×
>>655
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
669: [sage] 2021/02/18(木) 10:13:11.86 ID:yMZvubyN >>655 >> 数学じゃないのかい? まさか数学の証明を証明プログラミング言語で可能なことや、かつ海の向こうでいくつもプロジェクト始めているされていること知らんはずはないよな? 老害も程々にしてくれ。 (紙と鉛筆は重要だという点に同意するが、実際ましんの設計にいる。それに固執した論点ずらしのないように) http://rio2016.5ch.net/test/read.cgi/math/1610452199/669
数学じゃないのかい? まさか数学の証明を証明プログラミング言語で可能なことやかつ海の向こうでいくつもプロジェクト始めているされていること知らんはずはないよな? 老害も程にしてくれ 紙と鉛筆は重要だという点に同意するが実際ましんの設計にいるそれに固執した論点ずらしのないように
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 333 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
ぬこの手
ぬこTOP
0.016s