■

量子コンピュータとは何か

四色問題

四色問題については、昔ブルーバックスで読んだ。コンピュータによる証明が物議をかもしていたようだが、現在はどうなのだろう。