FU11M00N

컴퓨터가 "프로그래밍"을 할 수 있을까?" 이에 관한 질문은 이미 60여 년부터 시작함. 최근엔 프로그램 합성 이라는 분야를 통해 급성장함. 프로그램 성장이란 사람이 원하는 프로그램을 자동으로 만들어내는 기술을 말함. 예를 들어 숫자 배열을 정렬하는 프로그램을 만들고 싶을 때 사람이 타자로 입력해 소스코드를 작성하는 게 아닌 프로그램 합성을 활용하면 프로그램의 명세나 사용례를 기반으로 컴퓨터가 자동으로 해당 소스코드를 구현함. 프로그램 합성은 사용례라 불리는 학슴데이터로부터 하나의 모델을 생성하는데, 이것은 기계학습으로 구현함. 다만 기존의 것과 다른 것은 모델의 구조적 형태가 프로그래밍 언어인 것일 뿐. 프로그램 합성은 보안 연구에도 적용되고 있음. 대표적인 사례로는 난독화된 코드의 해제. 악성코드에서..