ためのスマートコントラクト記述言語とコンパイラを作って元旦にリリースしました。dev八月末、ブロックチェーンがテーマのサマースクール(x2)をやります。先日、福岡に行きました。ブロックチェーンじゃないです。ハンズオン」を行いました。東京本郷にあるブロックチェーン特化したコワーキングスペースで、ブロックチェーン関連イベントなども定期的に開催されています。今回はこのHashHub様のスペースをお借りしてハンズオンを行いました。大粒の雨の中、申し込みをされた方の大半に参加いただきました。ありがとうございます。ブロックチェーンイノベーション寄付講座の茂木先生のご招待を受け、弊社代表取締役が「Tezosブロックチェーンと形式検証」というタイトルで発表をしてきました。ハンズオン」を行いました。大阪にあるブロックチェーン技術に特化したコワーキングスペース(地下鉄心斎橋駅の真上にあります!)で、関西方面でのブロックチェーン技術コミュニティーのために様々なイベントを企画しておられます。ハンズオンをこちらで開催させていただきました。