@techreport{oai:ipsj.ixsq.nii.ac.jp:00203520,
 author = {金子, 雄介 and 岡田, 仁志 and 山崎, 重一郎 and Yusuke, Kaneko and Hitoshi, Okada and Shigeichiro, Yamasaki},
 issue = {29},
 month = {Feb},
 note = {国際流通するステーブルコインは，その裏付けとする通貨バスケットの構成通貨それぞれにおいて，価値の増減が不整合なく記録される必要がある．本稿は，バスケット通貨型ステーブルコインを実装するにあたり，線形論理の概念を用いることで，通貨価値の総量保存則を満たし，コインの価値の維持に寄与することを示す．併せて，ステーブルコインが貿易決済といった実務で適用される可能性について考察する．, Stablecoins circulating across international borders must be recorded without change in value of each of the constituent currencies in the underlying currency basket. In this paper, we demonstrate that using the concept of linear logic in implementing currency-basket-backed stablecoins allows us to satisfy the Currency value conservation law and contributes to maintaining the value of coins. In addition, we discuss the potential for stablecoins to be applied in real-world business contexts, such as trade settlement.},
 title = {線形論理を用いたバスケット通貨型ステーブルコインの検討},
 year = {2020}
}