四色問題もコンピューターに証明させて結果を出力するのではなく
証明過程を全て出力させる形式だったなら風当たりは随分違っていただろう