[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）11 (1002ﾚｽ)

純粋・応用数学・数学隣接分野（含むガロア理論）11 http://rio2016.5ch.net/test/read.cgi/math/1659249925/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

300: １３２人目の素数さん [] 2022/12/02(金) 08:19:39.58 ID:fZZ7hap7 >>296 >数学＝方程式を解くこと、としか思わない計算馬鹿は数学板に書くなｗ あ～ら、すねちゃったｗ ガキだねｗ まあ、広く 数学 ←→ コンピュータサイエンス の絡み合いと考えれば、よかんべｗ 数学の自動証明は、コンピュータサイエンスではプログラムの検証問題だし 要するに、数学はコンピュータやコンピュータサイエンスの成果を取り入れるべきだし（下記東大 数学科） コンピュータサイエンスに対する貢献もありだろう そういう広い始点を持つべきでしょ あ、あんたには無理かな？ (参考) https://www.s.u-tokyo.ac.jp/ja/admission/undergraduate/pdf/ms2022.pdf 東大 理学部数学科紹介 2022/05/19 P3 図書 コンピュータなど勉学の環境 P34 最近の発展 Fn=Z*・・*Z (ｎ個の)自由群 ｎ>=5のときAut(Fn)はproperty(T)をもつ （Kaluba-小沢-Nowok,2019） -コンピュータを使った(rigorousな)証明 -human proofはまだない http://rio2016.5ch.net/test/read.cgi/math/1659249925/300

---

上下前次1-新書関写板覧索設栞歴

---

あと 702 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.010s