Nagoya Web3 Hackathon で Tezos のチュートリアルを行いました

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.

先日、名古屋大学Web3研究会主催の Hackathon で Tezos で DApps を書くためのチュートリアルを行いました。

[続きを読む]

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. And there is no point to keep it secret. Here it is:

[続きを読む]

東京と台北のサマースクールで授業をしました

8月の最後の週、東京と台北でサマースクールの授業を二本持たせていただきました:

PPLサマースクール2019 「ブロックチェーンと形式検証」
8/26、 於 芝浦工業大学芝浦キャンパス
FLOLAC'19 「邏輯、語言與計算」暑期研習營
8/29、於 台湾大学

PPLのサマースクールは一日だけ、単一のテーマのものです。 FLOLACは10日連続のサマースクールの講義最終日に一日いただきました。 どちらも全長6時間、4時間私が喋った後は2時間 Tezos を使った簡単な実習を行いました。 内容もどちらも同じ。言語が日本語と英語くらいの違いしかありません。

[続きを読む]

HashHub Tokyo で Tezos ハンズオンを行いました

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

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

[続きを読む]
tezos  event  talk 

Singularity Hive で Tezos ハンズオンを行いました

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

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

[続きを読む]
tezos  event  talk