대학생활의 대부분을 증명으로 보내죠 일단, 전문적인 수학지식이 필요한 프로그램 부류들이 있습니다. 예를 들어, 최적화 프로그램을 작성하는 프로그래머라면 그 분야에 따라 ‘알고리즘’이나 ‘조합론’, 또는 약간의 ‘선형대수’가 필요할 것 같습니다. 또, 기하 알고리즘을 구현하고 싶다면 '기하학'에 대한 지식이 필요할지도 모르죠. 프로그램들의 종류가 하도 다양해서 거의 모든 분야의 수학이 다 거론될 수 있을 것 같습니다. 제일 추상적이라는 ‘추상대수’나 ‘수리논리학’까지도 computational algebra나 computation logic 분야에서 사용되니까요. 그러나, 이런 것 말고 '일반적인' 프로그래밍 전반에 수학적인 지식이 필요하느냐? 하는 질문에 저는 당근! 필요하다고 생각합니다. 단적인 예가 ..