『ケプラー予想：四百年の難問が解けるまで』

新

ジョージ・G・スピーロ

（2005年4月30日刊行，新潮社，ISBN:4105454013）


最終的にはコンピュータを使いまくって“解いた”というアノ難問ですね．