| 講演名 | 2020-03-03 線形論理を用いたバスケット通貨型ステーブルコインの検討 金子 雄介(SMBC), 岡田 仁志(NII), 山崎 重一郎(近畿大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 国際流通するステーブルコインは，その裏付けとする通貨バスケットの構成通貨それぞれにおいて，価値の増減が不整合なく記録される必要がある．本稿は，バスケット通貨型ステーブルコインを実装するにあたり，線形論理の概念を用いることで，通貨価値の総量保存則を満たし，コインの価値の維持に寄与することを示す．併せて，ステーブルコインが貿易決済といった実務で適用される可能性について考察する． |
| 抄録(英) | 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. |
| キーワード(和) | 線形論理 / ブロックチェーン / ステーブルコイン / バスケット通貨 |
| キーワード(英) | Linear Logic / blockchain / stablecoin / currency basket |
| 資料番号 | SITE2019-99,IA2019-77 |
| 発行日 | 2020-02-24 (SITE, IA) |
| 研究会情報 | |
| 研究会 | IA / SITE / IPSJ-IOT |
|---|---|
| 開催期間 | 2020/3/2(から2日開催) |
| 開催地（和） | 名古屋大学 東山キャンパス |
| 開催地（英） | Nagoya University |
| テーマ（和） | インターネットと情報倫理教育、一般 |
| テーマ（英） | Internet and Information Ethics Education, etc. |
| 委員長氏名（和） | 大崎 博之(関西学院大) / 森住 哲也(神奈川大) |
| 委員長氏名（英） | Hiroyuki Osaki(Kwansei Gakuin Univ.) / Tetsuya Morizumi(Kanagawa Univ.) |
| 副委員長氏名（和） | 新 麗(IIJ) / 近堂 徹(広島大) / 山本 寛(立命館大) / 小川 賢(神戸学院大) / 大谷 卓史(吉備国際大) |
| 副委員長氏名（英） | Rei Atarashi(IIJ) / Toru Kondo(Hiroshima Univ.) / Hiroshi Yamamoto(Ritsumeikan Univ.) / Masaru Ogawa(Kobe Gakuin Univ.) / Takushi Otani(Kibi International Univ.) |
| 幹事氏名（和） | 作元 雄輔(関西学院大) / 屏 雄一郎(KDDI総合研究所) / 渡辺 俊貴(NEC) / 壁谷 彰慶(東洋英和女学院大) / 加藤 尚徳(KDDI総合研究所) |
| 幹事氏名（英） | Yusuke Sakumoto(Kwansei Gakuin Univ.) / Yuichiro Hei(KDDI Research) / Toshiki Watanabe(NEC) / Akiyoshi Kabeya(Toyo Eiwa Univ.) / Hisanori Kato(KDDI Research) |
| 幹事補佐氏名（和） | 大平 健司(阪大) / 野林 大起(九工大) / 坂野 遼平(東工大) / 吉永 敦征(山口県立大) / 鈴木 大助(北陸大) |
| 幹事補佐氏名（英） | Kenji Ohira(Osaka Univ.) / Daiki Nobayashi(Kyushu Inst. of Tech.) / Ryohei Banno(Tokyo Inst. of Tech.) / Nobuyuki Yoshinaga(Yamaguchi Pref Univ.) / Daisuke Suzuki(Hokuriku Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Internet Architecture / Technical Committee on Social Implications of Technology and Information Ethics / Special Interest Group on Internet and Operation Technology |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 線形論理を用いたバスケット通貨型ステーブルコインの検討 |
| サブタイトル（和） | |
| タイトル（英） | A Study of Currency-Basket-backed Stablecoins using Linear Logic |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 線形論理 / Linear Logic |
| キーワード(2)（和/英） | ブロックチェーン / blockchain |
| キーワード(3)（和/英） | ステーブルコイン / stablecoin |
| キーワード(4)（和/英） | バスケット通貨 / currency basket |
| 第 1 著者 氏名（和/英） | 金子 雄介 / Yusuke Kaneko |
| 第 1 著者 所属（和/英） | 三井住友フィナンシャルグループ/日本総合研究所(略称：SMBC) Sumitomo Mitsui Financial Group(略称：SMBC) |
| 第 2 著者 氏名（和/英） | 岡田 仁志 / Hitoshi Okada |
| 第 2 著者 所属（和/英） | 国立情報学研究所(略称：NII) National Institute of Informatics(略称：NII) |
| 第 3 著者 氏名（和/英） | 山崎 重一郎 / Shigeichiro Yamasaki |
| 第 3 著者 所属（和/英） | 近畿大学(略称：近畿大) Kindai University(略称：KINDAI Univ.) |
| 発表年月日 | 2020-03-03 |
| 資料番号 | SITE2019-99,IA2019-77 |
| 巻番号（vol） | vol.119 |
| 号番号（no） | SITE-434,IA-435 |
| ページ範囲 | pp.169-174(SITE), pp.169-174(IA), |
| ページ数 | 6 |
| 発行日 | 2020-02-24 (SITE, IA) |