양자 프로그래밍 언어에 관한 조사

양자 컴퓨팅 (Quantum computing)은 최근 여러 차례의 돌파구를 맞이했으며, 특정 문제들에 대해 고전 컴퓨팅 (classical computing) 대비 지수적 이점 (exponential advantage)을 입증하는 단계에 가까워지고 있습니다. 프로그래머들은 양자 솔루션을 명확하고 효과적으로 표현하기 위해 고수준 (high-level), 범용 (general-purpose), 실행 가능한 (executable) 프로그래밍 언어를 필요로 할 것이며, 이 분야는 이미 매우 다양한 언어들을 만들어냈습니다. 본 논문은 언어 분류 프레임워크 (language classification framework)를 제시하고, 이를 사용하여 10개의 대중적인 양자 프로그래밍 언어를 조사합니다. 연구 결과에는 개념적 및 실험적 비교가 포함되어 있으며, 이는 향후 언어 설계(language design)를 위한 과제 목록으로 이어집니다.