저는 전문가라고 할 수는 없지만 아는데까지 답변을 해보겠습니다. > >저의 질문은 혹시 지금현재 프로그램들 코딩에 종사하는 노동자들을 위한건데 >'자동 코드 제너레이터' 뭐이런거 연구하는 분야가 있습니까? > 있습니다 하지만 환상님이 생각하는 그런 스타일의 코드 제너레이터는 없다고 보는게 옳을 겁니다. 단순히 프로그램을 조금더 쉽게 만들기 위해 코드 제너레이터는 SE(software engineering)분야에서 간단한 spec을 주면 나머지는 컴퓨터가 알아서 코드를 구성하도록 하는 연구가 이미 오래전 부터 진행중입니다. 하지만 이것은 결코 자동코드 제너레이터는 아닙니다. 단지 메타 프로그래밍정도가 되겠죠. 또하나 제가 위에서 언급한 자동프로그래밍은 Genetic coding을 이야기 했습니다. 이것은 수학적으로 프로그램의 spec을 주는 것이 아니고 주어진 환경에 적응하는 코드가 '진화'되어 만들어지는 개념입니다. >갑짜기 생각난건데 그러니깐 자동코드 제너레이터가 뭐냐면 >프로그램의 목적을 가장 간단하게 수학적으로 specify하면 기계가 알아서 >그목적을 수행시킬수있는 프로그램을 programmer대신에 짜주는거요. > 언급한 내용으로 봐서는 SE에서 다루는 것이 비슷합니다만 그쪽에서는 수학적으로 specify하지 않습니다. 단지 한단계위에서 코딩하는 메타프로그래밍일 뿐이죠. 자동코드 제너레이터가 무엇인지 정확히 생각을 해보시면 뭔가 앞뒤가 맞지 안는 부분이 발견될 겁니다. "무엇을 만들것인가 하는 프로그램을 목적을 수학적으로 specify하는 것" -->이자체가 코딩이고 프로그래밍입니다. 단지 지금의 코딩과의 차이라 하면 메타레벨로 한차원 올라갔다는 차이 뿐 본질은 같습니다. 결국 메타프로그래밍에서 얼마나 메타레벨을 올릴것인가 하는 문제로 귀착됩니다. 이 부분의 문제와 매우 유사한 (또는 매우 관련이 깊은)문제가 한가지 있습니다. "주어진 공리 체계에 의해 정리(theory)를 자동생성하거나 자동증명 (automatic prooving) 하는 문제" 입니다. 환상님은 수학을 전공하셨으니까 이 부분의 문제에 흥미를 느끼실 것이라고 상상해 보는데요 이 문제로 가면 정말 얽히고 설킨 희한한 일들이 벌어지는데요... 이문제에 대해서는 어떻게 생각하시는 지 여쭤보고 싶네요. __ 쇼팽