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