@techreport{weko_218779_1, author = "ルガル,フランソワ and 宮本,昌幸 and 西村,治道", title = "分散量子対話型証明", year = "2022", institution = "名古屋大学, 名古屋大学, 名古屋大学", number = "20", month = "jun" }