著者

渡邉 遥輔 山口 大輔 倉光 君郎

雑誌

情報処理学会論文誌プログラミング(PRO) (ISSN:18827802)

巻号頁・発行日

vol.12, no.3, pp.3, 2019-09-18

---

スマートコントラクトはブロックチェーン技術に基づいたプラットフォーム上で実行される分散型アプリケーションである.スマートコントラクトでは,資産のやり取りや権利の譲渡といった契約事項をプログラムとして実装でき,ブロックチェーン上で安全に実行できる.スマートコントラクトの開発言語としてSolidityと呼ばれるJavaScript風プログラミング言語がよく用いられる.しかし,Solidityは契約事項の可読性が低く,契約内容の理解が困難という課題がある.本発表では,より自然な日本語でスマートコントラクトを記述可能なプログラミング言語Nicoを提案する.Nicoの設計と実装を述べ,スマートコントラクトの記述をNicoで行う効果について考察を行う.