이상한 생각이 하나 드는데, 4색문제를 증명할 때 컴퓨터로 노가다를 시켰잖아. 그럼 이론분야 교수님 말대로라면 컴퓨터도 기여를 했으니 컴퓨터를 공저자에 올려야 하는건가? 물론 상식적인 답은 알고리즘을 코딩한 사람이 되어야겠지만..