[過去ログ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む78 (1002レス)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む78 http://rio2016.5ch.net/test/read.cgi/math/1571400076/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
865: 132人目の素数さん [sage] 2019/11/10(日) 14:59:30.96 ID:GOSepubD 今わたしの推しの豊島名人と広瀬竜王が対局しているが 人間の対局は間違いなく面白い。 コンピュータ将棋のトップレベルはもはや人間には理解不能なレベルに達している。 (それはそれで面白いが。) http://rio2016.5ch.net/test/read.cgi/math/1571400076/865
866: 132人目の素数さん [sage] 2019/11/10(日) 15:03:31.91 ID:U91IZzoD >>865 もし自動証明が発達して計算機による定理証明が行なわれた場合 「証明はできたが人間が読んでも全然理解できない」 ということが起きるんだろうか・・・ http://rio2016.5ch.net/test/read.cgi/math/1571400076/866
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.028s