文献

J-GLOBAL ID：202002254428817718   整理番号：20A1167049

線形論理を用いたバスケット通貨型ステーブルコインの検討

A Study of Currency-Basket-backed Stablecoins using Linear Logic

著者 (4件)： 金子雄介 (三井住友フィナンシャルグループ) ,  金子雄介 (日本総合研) ,  岡田仁志 (国立情報学研) ,  山崎重一郎 (近畿大 産業理工)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 119  号： 434(SITE2019 88-100)  ページ： 169-174  発行年： 2020年02月24日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 国際流通するステーブルコインは,その裏付けとする通貨バスケットの構成通貨それぞれにおいて,価値の増減が不整合なく記録される必要がある.本稿は,バスケット通貨型ステーブルコインを実装するにあたり,線形論理の概念を用いることで,通貨価値の総量保存則を満たし,コインの価値の維持に寄与することを示す.併せて,ステーブルコインが貿易決済といった実務で適用される可能性について考察する.(著者抄録)

シソーラス用語： 論理演算 ,  *情報技術 ,  *貨幣 ,  取引 ,  金融 ,  *ブロックチェーン ,  *仮想通貨 ,  決済
準シソーラス用語： 線形論理

分類 (1件)： 産業経済  (KA02000Y)

引用文献 (27件)：

• Nakamoto, S.: Bitcoin: A Peer-to-Peer Electronic Cash System, https://bitcoin.org/bitcoin.pdf (2008).
• 岡田仁志, 高橋郁夫, 山崎重一郎:仮想通貨:技術・法律・制度, 東洋経済新報社(2015).
• 山崎重一郎, 安土茂亨, 田中俊太郎:ブロックチェーン・プログラミング:仮想通貨入門, 講談社(2017).
• 金子雄介, 長田繁幸, 安土茂亨, 岡田仁志, 山崎重一郎:利息を記録可能な仮想通貨管理プログラムの設計, 信学技報, Vol.118, No.152, pp.143-148(2018).
• Kaneko, Y., Osada, S., Azuchi, S., Okada, H. and Yamasaki, S.: A Management Method of Interest-rate in UTXO Model, in 2019 IEEE Social Implications of Technology (SIT) and Information Management (SITIM), pp.1-6 (2019), doi:10.1109/SITIM.2019.8910267.

タイトルに関連する用語 (2件)： 線形論理 ,  通貨