진행 중케이스 스터디Language/DSL
프로젝트
H-hat 양자 언어
해밀토니언·회로·스케줄을 타입 세이프하게 표현하고 백엔드에 맞게 내보내는 경량 DSL을 설계합니다.
문제
해밀토니언·스케줄 연구 스크립트가 플랫폼마다 단편화되어 재현성이 떨어집니다.
접근
타입드 AST와 컴파일러를 설계해 Qiskit/Python 및 JSON IR로 내보내고, 파라미터 스윕을 미리 보는 인터랙티브 샘플을 제작했습니다.
결과
실험을 공유하고 반복 가능한 데모를 구성하는 프로토타입 언어 스펙과 트랜스파일러 스텁을 완성했습니다.
역할
언어 설계자이자 구현자.
협업
HKUST 동료 — 설계 리뷰
기술
TypeScriptRustJSON IRQiskit integration
언어 설계도구재현성
