本日、岐阜大学の今井先生のご紹介で、弊社代表取締役が「ブロックチェーンと形式検証」というタイトルで学生さん向けに話をしてきました。 ブロックチェーンと形式検証 from Jun Furuse blockchain tezos talk