400年をかけたケプラー予想の解決は、コンピューターの力も証明した « WIRED.jp

2014/09/21 138 users コンピューター 球体 直観 仮説 WIRED.jp

image from Shutterstock 球体をうまく積み上げるのに、最も適しているのはどのような“幾何学的図形”なのだろうか？ 1611年、ヨハネス・ケプラー（近代天文学の創始者のひとりとされる）は、果物屋で自然発生的に用いられている、オレンジの山のようなピラミッド型だと仮説を立てた。しかし彼は、この直観を証明できなかったため、「球体の最も密度の高い詰め方」について問うケプラー予想が生まれ... 続きを読む

400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン

2014/08/13 448 users 難問 ギズモード コペルニクス ケプラー ジャパン

コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー。 そのケプラーが1611年に提唱した「球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る」という説が、400年の歳月を経て、100％正しかったことがコンピュータの力で証明されました。 この立体最密充填の解答は、誰でも直感的になんとなく正しいことがわかります。けれども証明するとなると超厄介で、... 続きを読む

400年の難問、「ケプラー予想の証明」やっと100％終わる : ギズモード・ジャパン

2014/08/13 448 users 難問 ギズモード コペルニクス ケプラー コンビ

サイエンス , ニュース , 大学研究モノ 400年の難問、「ケプラー予想の証明」やっと100％終わる 2014.08.13 22:00 コペルニクスが提唱した地動説を、天体運行法則で不動のものにした偉人ヨハネス・ケプラー。 そのケプラーが1611年に提唱した「球は、八百屋に山盛りのオレンジみたいにピラミッド型に並べると一番沢山入る」という説が、400年の歳月を経て、100％正しかったことがコンピ... 続きを読む