−四百年の難問が解けるまで (新潮文庫）- 著：ジョージ・G. スピーロ 訳：青木 薫 ISBN:9784102184714 ３次元球の充填問題という本書本来の命題証明については、コンピュータを用いた解法で結論が与えられた。 同様の手法は、地図の塗りわけ「四色問題」でも…