2003-12-27 四色問題のその後 数学 四色問題を証明するときに使ったプログラムは、今のコンピュータで実行したら何時間で片付くのだろうか? また、証明用プログラムの改良に取り組んでいる人はいるのだろうか? 質問してこようかなどうしよう。