四色問題と電子計算機(完) - 共立出版コンピュータサイエンス誌『bit』