日本語スマートコントラクト記述の実現に向けて

摘要

概要：近年注目を集める暗号通貨を支えるブロックチェーン技術の利用法としてスマートコ ントラクトがある.スマートコントラクトは従来の契約をブロックチェーン上で運用するこ とでブロックチェーンの恩恵を受けられるものだ.しかしスマートコントラクトは従来の契 約と異なり，その契約内容がプログラミング言語で書かれているという特徴がある.これは 契約の締結時に必要な契約内容への同意を困難にし，スマートコントラクトで従来の契約を置き換える際の障害となる.そこで本研究ではこの課題に対し日本語でスマートコントラク トが記述可能なプログラミング言語Nicoを提案する.本言語はスマートコントラクトの内容を自然な日本語で記述可能とすることで多くのスマートコントラクト利用者が契約内容を確認できることを目指す.