1324.5 시간 창 제약의 형식적 정의