talk

In the last week of August 2019, I have done 2 summer class courses about “Blockchain and Formal verification” in Tokyo and Taipei. The course consisted of 4 hours of lecture and 2 hours of “Tezos hands-on”. Blockchain is a live technology, and I believe we should provide some real experience – hands-on – if we teach something about it. I have done 4 Tezos hands-on including the above 2 already in this year and each time provided a hands-on kit, so that the attendants can play with Tezos as easy as possible. [続きを読む]

8月の最後の週、東京と台北でサマースクールの授業を二本持たせていただきました: PPLサマースクール2019 「ブロックチェーンと形式検証」 8/ [続きを読む]

暑い。 先日、福岡に行きました。ブロックチェーンじゃないです。子供が 野球見たいxラーメン食べたい と四六時中言っているので福岡まで行ってきたんで [続きを読む]

本日、東京の HashHub で「Tezos ハンズオン」を行いました。

HashHub は東京本郷にあるブロックチェーン特化したコワーキングスペースで、ブロックチェーン関連イベントなども定期的に開催されています。今回はこのHashHub様のスペースをお借りしてハンズオンを行いました。大粒の雨の中、申し込みをされた方の大半に参加いただきました。ありがとうございます。

[続きを読む]

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

[続きを読む]

本日、大阪の Sigularity Hive で日本で初めての「Tezos ハンズオン」を行いました。

Singularity Hive は大阪にあるブロックチェーン技術に特化したコワーキングスペース(地下鉄心斎橋駅の真上にあります!)で、関西方面でのブロックチェーン技術コミュニティーのために様々なイベントを企画しておられます。この度、Singularity Hive の岡様のご提案を受け、日本で初めてになる Tezos ハンズオンをこちらで開催させていただきました。

[続きを読む]

本日、エバーシステム様、DIWal様が主催された Blockchain Night #001というイベントで弊社代表取締役が「Tezos: 自己修正暗号台帳」というタイトルで発表してきました。

[続きを読む]

本日、弊社代表取締役が Tezos Tokyo Meetup で 「Recent Tezos core developments」というタイトルで話してきました。

[続きを読む]

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

[続きを読む]

ML(言語)勉強会、ML Day#2 に参加し、”ML for Money Language” という話をしてきました。

ML は今流行りの Machine Learning ではなく、関数型プログラミング言語の Meta Language と言われる一派を指します。この ML は堅牢なシステムを記述することができ、また、形式検証のための基礎言語として長年の歴史があることから、高い安全性が求められる暗号通貨の世界でも取り上げられることが多くなりました。ML が使えると暗号通貨業界でも活躍できますよ、という話です。

[続きを読む]