気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
www.gizmodo.jpエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント99件
- 注目コメント
- 新着コメント
Riku1260x
400年の難問、「ケプラー予想の証明」やっと100％終わる コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー。 Tags: from Pocket
TakamoriTarou
そしてこの手の数学問題を解明するために作られた計算手法をありがたく使わせてもらう事で、世の工学系シミュレーションは成り立っています、と言う話だったりして。数学は偉大。美しい（※端から見てる場合に限る
arakik10
記事のリンク先の https://code.google.com/p/flyspeck/wiki/AnnouncingCompletion を見ると最密充填問題の証明の不等式の評価分部のコンピュータによる虱潰しが完了という話のようだ
heis101
“ケプラーが1611年に提唱した「球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る」という説が、400年の歳月を経て、100％正しかったことがコンピュータの力で証明されました。”
sardine11
「みかんをなるべく隙間なくつめた状態」は固体や結晶の原子配置の基本単位であり、物理学者や化学者は経験則でピラミッド配置を使ってきた。なので物理や無機化学の教科書から少しだが文言が変わる…胸熱じゃん
nilab
「ケプラーが1611年に提唱した「球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る」という説が、400年の歳月を経て、コンピュータの力で証明」ケプラー予想の証明 やっと100％終わる
ignio
勘違いしている人がいそうだけど、証明にかかる時間は5000CPU時間で32コアなら実時間で160時間弱。10年以上かかったのは証明を証明するプログラムの開発ね https://code.google.com/p/flyspeck/wiki/AnnouncingCompletion
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
400年の難問、｢ケプラー予想の証明｣やっと100％終わる
400年の難問、｢ケプラー予想の証明｣やっと100％終わる2014.08.13 22:0018,572 satomi コペルニクスが提... 400年の難問、｢ケプラー予想の証明｣やっと100％終わる2014.08.13 22:0018,572 satomi コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー。 そのケプラーが1611年に提唱した｢球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る｣という説が、400年の歳月を経て、100％正しかったことがコンピュータの力で証明されました。 この立体最密充填の解答は、誰でも直感的になんとなく正しいことがわかります。けれども証明するとなると超厄介で、世界歴代の天才がいくら頭脳を結集しても証明できなくて、ずっと｢定理｣ではなく｢ケプラー予想｣と呼ばれ続けてきた難題中の難題です（参考）。 証明したのは、米ピッツバーグ大学のトマス・ヘールズ教授です。もともと氏が1998年に発表し、｢フェルマーの最終定理以来の難問が解けた！｣と世界中
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
www.gizmodo.jp
www.gizmodo.jp
www.gizmodo.jp
www.gizmodo.jp
www.recordchina.co.jp
note.com/blindwriters
www.chunichi.co.jp
note.com/goodjoshi
natgeo.nikkeibp.co.jp
fujii-yuji.net
anond.hatelabo.jp
anond.hatelabo.jp
anond.hatelabo.jp
anond.hatelabo.jp
2014/08/14 リンク