「名誉教授」のスレ 2

「名誉教授」のスレ 2 (568ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

253: １３２人目の素数さん [] 2025/07/16(水) 10:48:05.15 ID:QGC/Vmou(1/3) AAS
死狂幻調教大師S.A.D.@月と六ベンツさん、ご苦労様です
よろしくお願いいたします。

333: １３２人目の素数さん [sage] 2025/07/26(土) 08:13:45.15 ID:kngNR0q7(1/3) AAS
「石破さん辞めないで！」異例の激励デモ　写真掲げ「イシバ」コール…官邸前に駆けつけた人たちの思いとは
社民党、共産党、パヨクが応援する

424: １３２人目の素数さん [sage] 2025/08/20(水) 20:42:59.15 ID:5LfFOdvO(4/4) AAS
現代戦で勝つ能力示す」　軍事パレードで無人機など新型兵器披露へ　中国軍が説明

458: １３２人目の素数さん [] 2025/08/25(月) 07:31:41.15 ID:/ZwuI2/k(4/6) AAS
>>457
昔、一松先生の4色問題をブルーバックスで読んで
4色問題は、色分けの地図を数百通りに分類して
それを、当時のコンピューターで全部しらべて数学の証明とした

一松先生は、この問題はコンピューターを使わないエレガントな解答はないかも
今後、この種コンピューターを使う数学が増えるだろうと書いてあったような

その後、コンピューターを使う数学で有名なのが有限群論の分類で
いまでは、群論ソフトがあるそうです

因みに、下記ハーケンさんは、ポアンカレ予想を証明することを目指していた（ハーケン多様体で有名）が挫折し
四色問題へ

(参考)
https://ja.wikipedia.org/wiki/%E5%9B%9B%E8%89%B2%E5%AE%9A%E7%90%86
四色定理（よんしょくていり／ししょくていり、英: Four color theorem）とは、厳密ではないが日常的な直感で説明すると「平面上のいかなる地図も、隣接する領域が異なる色になるように塗り分けるには4色あれば十分だ」という定理である
コンピュータによる証明
四色定理の証明法は次の2段階に分けられる。
アッペルとハーケンはコンピュータによる実験を繰り返し、プログラムを何度も書き換えながら、可約なグラフから成る約2,000個のグラフからなる不可避集合を求めた。当時の大型汎用コンピュータであるIBM System/370[注 2]を1,200時間以上使用したといわれている。

複雑に思える問題に対して簡潔にまとまった比較的短い証明（解答）を、エレガントな証明（解答）と言うことがある。四色定理に対するある種「力業による証明」は、これとは対極にあるものとして揶揄を込めて「エレファント（象）」な証明とも言われた。5色による塗り分けが可能であることの証明が簡潔なものであるのとは対照的である。

その後アルゴリズムは改良されたが、現在でもコンピュータを利用せずに済ませられる証明は得られていない。それどころか完全に自然言語を離れて、プログラムにバグがないことも含めた四色定理の証明全体をコンピュータ上の証明検証系システム（ソフトウェア）Coqによってチェックさせた仕事がある。

証明のアイディアの概要

https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A9%E3%83%AB%E3%83%95%E3%82%AC%E3%83%B3%E3%82%B0%E3%83%BB%E3%83%8F%E3%83%BC%E3%82%B1%E3%83%B3
ヴォルフガング（ウルフガング）・ハーケン（Wolfgang Haken、1928年6月21日 - 2022年10月2日[1]）はドイツ出身の数学者。専門分野はトポロジー（位相幾何学）。数学上の難問として知られる四色定理（四色問題）を証明したことで知られる。
ハーケンは大学生時代に知ったポアンカレ予想を証明することを目指していたが、叶えることはできず、俗に「ポアンカレ病」と呼ばれる精神疲労状態に陥ってしまう。そんなとき数学者のハインリヒ・ヘーシュ（英語版）から四色問題のことを聞かされ、研究対象をポアンカレ予想から四色問題へと変更した。
1976年に4歳年下の同僚ケネス・アッペル（英語版）と共に四色定理を電子計算機（現在のコンピュータの原型）を用いて証明した。1979年ファルカーソン賞受賞。

524: １３２人目の素数さん [sage] 2025/09/13(土) 05:36:30.15 ID:HY1Pv5yk(2/4) AAS
中華だか日本料理だか、箸を使って食べているこの優しそうな
青年を、何が犯行に駆り立てたのか。
https://x.com/SpencerHakimian/status/1966506714166882508

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.028s