1277.197 형식 검증과 기계 학습의 융합 연구