400年の難問、｢ケプラー予想の証明｣やっと100％終わる
400年の難問、｢ケプラー予想の証明｣やっと100％終わる2014.08.13 22:0020,304 satomi コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー。 そのケプラーが1611年に提唱した｢球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る｣という説が、400年の歳月を経て、100％正しかったことがコンピュータの力で証明されました。 この立体最密充填の解答は、誰でも直感的になんとなく正しいことがわかります。けれども証明するとなると超厄介で、世界歴代の天才がいくら頭脳を結集しても証明できなくて、ずっと｢定理｣ではなく｢ケプラー予想｣と呼ばれ続けてきた難題中の難題です（参考）。 証明したのは、米ピッツバーグ大学のトマス・ヘールズ教授です。もともと氏が1998年に発表し、｢フェルマーの最終定理以来の難問が解けた！｣と世界中
スーパーコンピュータ「TOP500」、中国の「天河2号」がトップを維持 「京」は4位
スーパーコンピュータの性能ランキング「TOP500」最新版が11月18日（現地時間）に公開され、中国国防科学技術大学（NUDT）の「天河2号（Tianhe-2）」が前回に続いてトップに立った。実効性能は33.86ペタFLOPS。 5位までの順位は前回と変わらず、日本の理化学研究所の「京」（10.51ペタFLOPS）は4位に留まった。 1位と4位以外のトップ5はすべて米国に設置されたスーパーコンピュータ。2位のTitanの実効性能は17.59ペタFLOPSで、天河2号の約半分だ。 トップ10に新たに入ったのは、スイス国立スーパーコンピュータセンター（CSCS）の「Piz Daint」。6.27ペタFLOPSで6位だった。同システムはトップ10のシステムの中で最もエネルギー効率が良かった。 日本のスーパーコンピュータとしては30位までに、京の他に11位に東京工業大学学術国際情報センターの「TS
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
