Abstract
양자 프로그래밍 언어 소개
고차 프로그램과 양자 제어 흐름을 강조
유닛리티한 큐빗 변환 보장
양자 제어와 클래식 제어 비교
양자 제어의 자연스러움 강조
물리적 구현 가능성과 효율성 강조
유닛리티 보장 문제
양자 시스템의 기본 속성 유지 필요성 강조
유닛리티 보장을 위한 타입 시스템 소개
실행 가능성
양자 프로그램 실행 가능성 중요성 강조
다양한 예시를 통해 결과 설명
Stats
양자 게이트는 유닛리 맵으로 표현됨
양자 데이터는 힐베르트 공간의 선형 조합으로 표현됨
Quotes
"양자 프로그래밍 언어는 유닛리한 변환을 보장하고 물리적으로 현실적인 양자 제어를 제공합니다."
"실행 가능성은 양자 프로그램의 핵심적인 특성 중 하나이며, 다양한 예시를 통해 설명됩니다."