東京大学ブロックチェーンイノベーション寄付講座で話してきました Tezosブロックチェーンと形式検証 2019-05-20に投稿 本日、東京大学ブロックチェーンイノベーション寄付講座の茂木先生のご招待を受け、弊社代表取締役が「Tezosブロックチェーンと形式検証」というタイトルで発表をしてきました。 [続きを読む] blockchain tezos formal verification talk