Overview of blockchain and formal verification efforts over it. In Japanese. ブロックチェーン技術とその安全性を保証する形式検証の取り組みについてちょっとだけ紹介。コンピュータサイエンスの学部生から院生(ただしこの分野のプロを覗く)が対象。Read less