23년 1학기 컴이론 발제 자료