
본 논문에서는 양자 회로의 반전 및 제어 연산을 지원하는 Proto-Quipper-C라는 새로운 양자 프로그래밍 언어를 제안하고, 타입 시스템, 동작 의미론 및 범주형 의미론을 통해 이러한 연산의 안전성과 효율성을 보장하는 방법을 제시합니다.


coremsg

반전-및-제어-기능을-갖춘-proto-quipper-언어-타입-시스템-동작-의미론-및-범주형-의미론


반전 및 제어 기능을 갖춘 Proto-Quipper 언어: 타입 시스템, 동작 의미론 및 범주형 의미론



2008년 이후 양자 컴퓨팅 하드웨어의 발전과 함께 양자 프로그래밍 언어는 추상적인 수학적 개념에서 벗어나 실용적인 프로그래밍 환경으로 진화했으며, 양자 회로 기술, 의미론적 연구, 양자 제어 등 다양한 분야에서 활발한 연구가 진행되고 있다.



양자 프로그래밍 언어 연구 (2008년 이후 연구 요약)



양자 프로그래밍 언어의 실현 가능성과 단일성



현실적이고 단일한 양자 프로그래밍 언어
