프로그램 실행 전에 버그를 미리 잡을 수 없을까?프로그램의 동작을 미리 예측하려는 시도와 정지 문제가 보여주는 근본적인 한계를 살펴보자2026년 11월 6일Computer Science