本日、東京大学ブロックチェーンイノベーション寄付講座の茂木先生のご招待を受け、弊社代表取締役が「Tezosブロックチェーンと形式検証」というタイトルで発表をしてきました。 Tezos and its formal verification (Japanese) from Jun Furuse blockchain tezos formal verification talk