東京と台北のサマースクールで授業をしました
八月末、ブロックチェーンがテーマのサマースクール(x2)をやります。
HashHub Tokyo で Tezos ハンズオンを行いました
東京大学ブロックチェーンイノベーション寄付講座で話してきました
Tezosブロックチェーンと形式検証
本日、東京大学ブロックチェーンイノベーション寄付講座の茂木先生のご招待を受け、弊社代表取締役が「Tezosブロックチェーンと形式検証」というタイトルで発表をしてきました。
[続きを読む]Singularity Hive で Tezos ハンズオンを行いました
本日、大阪の Sigularity Hive で日本で初めての「Tezos ハンズオン」を行いました。
Singularity Hive は大阪にあるブロックチェーン技術に特化したコワーキングスペース(地下鉄心斎橋駅の真上にあります!)で、関西方面でのブロックチェーン技術コミュニティーのために様々なイベントを企画しておられます。この度、Singularity Hive の岡様のご提案を受け、日本で初めてになる Tezos ハンズオンをこちらで開催させていただきました。
[続きを読む]Blockchain Night #001 で話してきました
Tezos: 自己修正暗号台帳
本日、エバーシステム様、DIWal様が主催された Blockchain Night #001というイベントで弊社代表取締役が「Tezos: 自己修正暗号台帳」というタイトルで発表してきました。
[続きを読む]Tezos Tokyo Meetupで話してきました
Recent Tezos core developments
本日、弊社代表取締役が Tezos Tokyo Meetup で 「Recent Tezos core developments」というタイトルで話してきました。
[続きを読む]岐阜大学で話してきました
ブロックチェーンと形式検証
ML(言語)勉強会 ML Day#2で話をしました
ML for Money Language
ML(言語)勉強会、ML Day#2 に参加し、”ML for Money Language” という話をしてきました。
ML は今流行りの Machine Learning ではなく、関数型プログラミング言語の Meta Language と言われる一派を指します。この ML は堅牢なシステムを記述することができ、また、形式検証のための基礎言語として長年の歴史があることから、高い安全性が求められる暗号通貨の世界でも取り上げられることが多くなりました。ML が使えると暗号通貨業界でも活躍できますよ、という話です。
[続きを読む]