>  2003/06/14 (土) 00:11:12        [mirai]
> > 四色問題ってコンピューターの力技で強引に証明したのであって
> > ほぼ完全ではあるが完全に解かれてはいないんじゃなかったか
> いや、方程式がわからないとかいうだけで
> 完全に解かれてる。

それって完全じゃないんじゃ無いのかね?

参考:2003/06/14(土)00時08分47秒