안재구 컬럼: 4색 문제 - 순수과학과 컴퓨터와의 협조