I had “Block chain and how to build Tezos DApps” tutorial at Nagoya Web3 Hackathon organized by Nagoya Web3 Society, using SmartPy and Taquito. It was very challenging for me to cover from the very basics of blockchain to how to use these Tezos tools in a limited time (about 100mins), but the participated teams had smalll but nice ideas to implement in the later session. 先日、名
[続きを読む]
Tezos Hands-on Kit
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/
[続きを読む]
八月末、ブロックチェーンがテーマのサマースクール(x2)をやります。
暑い。 先日、福岡に行きました。ブロックチェーンじゃないです。子供が 野球見たいxラーメン食べたい と四六時中言っているので福岡まで行ってきたんで
[続きを読む]
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」というタイトルで話してきました。
[続きを読む]