@techreport{weko_195527_1,
   author	 = "森前,智行 and 西村,治道",
   title	 = "Rational proofs for quantum computing",
   year 	 = "2019",
   institution	 = "京都大学基礎物理学研究所／科学技術振興機構さきがけプロジェクト, 名古屋大学大学院情報学研究科",
   number	 = "10",
   month	 = "may"
}