roombaの日記

はじめに ケプラー予想に関する本を先日読みました。ケプラー予想とは、ザックリと言えば「球を最も効率よく詰め込む方法は、果物屋がオレンジを積む方法*1と同じ」という予想です。ちょっとオレンジを積んでみれば誰でも思い付くような配置なので、予想自体は誰もが当然と思うような内容なのですが、その証明には400年も…