四色問題 - Wilson, Robin J.; 茂木, 健一郎 (新潮社, 2004)