@techreport{weko_222941_1, author = "奥田,哲矢 and 荒井,研一 and 齋藤,恆和 and 千田,浩司 and 中林,美郷 and 山村,和輝 and 宮澤,俊之 and 阿部,正幸", title = "トークン型電子現金方式の形式検証手法に関する初期検討", year = "2022", institution = "NTT社会情報研究所, 長崎大学, NTT社会情報研究所, 群馬大学, NTT社会情報研究所, NTT社会情報研究所, NTT社会情報研究所, NTT社会情報研究所", number = "24", month = "dec" }