by James Yu 「箱の中に最も効率よく球体を詰め込む方法は、果物屋が店先にオレンジを積み上げるのと同じ方法である」という400年前に提示された問題の証明の正確性が、コンピューターによってついに立証されました。 Proof confirmed of 400-year-old fruit-stacking problem - physics-math - 12 August 2014 - New Scientist http://www.newscientist.com/article/dn26041-proof-confirmed-of-400yearold-fruitstacking-problem.html 「球体を積み上げるのに最も優れた方法は?」という問題は、惑星の運動に関するケプラーの法則を唱えたヨハネス・ケプラーが1611年に「最も効果的な方法は果物屋がオレンジを積み上げ