皆様，． （重複してお受け取りの場合はご容赦ください．）
京都大学の末永と申します． 日本ソフトウェア科学会大会と同時開催される PPL サマースクール 2019 のご案内です
今年は，ダイラムダ株式会社の古瀬淳さんに， ブロックチェーンやスマートコントラクトについて ハンズオンを含むセミナーをお願いしました． これらの技術に形式検証等の技術がどのように役に立つか， という話もしていただく予定です．
近年よく耳にするこれらの技術ですが， 実際に動かしながら学べる機会は貴重ですので， どうぞ奮ってご参加ください．
事前の参加登録が必要です．以下の Web サイトから ご登録の上ご参加ください．
よろしくお願いいたします．
PPL 2019 サマースクール幹事 末永幸平
-- PPLサマースクール2019： ブロックチェーンと形式検証
Webページ：http://ppl.jssst.or.jp/index.php?ss2019 参加登録：https://jssst2019.wordpress.com/participation/
日本ソフトウェア科学会 プログラミング論研究会 (PPL) 主催 日本ソフトウェア科学会第36回大会 併設企画
講師：古瀬 淳（ダイラムダ株式会社）
2019年8月26日(月) 10時～17時 (9時30分 受付開始) 芝浦工業大学芝浦キャンパス （〒108-8548東京都港区芝浦3-9-14）
* 概要
ブロックチェーン技術というと，仮想通貨，仮想通貨というと，投機，規制， などの話題がどうしても先行しがちだが，技術面では，暗号，分散環境，プロ グラミング言語，形式的検証などの計算機科学最先端の技術が沢山使われてい る． このサマースクールでは，ブロックチェーン技術におけるこれらの理論 面の関わりを，主にプログラミング言語に比重を置いて紹介し，実際に現在使 用されているスマートコントラクト環境であるTezosのテストネットを使った 実習を行う．
* 講師紹介
古瀬 淳 (Jun FURUSE; ふるせ じゅん)
ダイラムダ株式会社代表取締役，Tezos Japan 理事．2002年パリ第七ディドロ 大学博士課程修了，Ph.D．関数型言語の型システムの研究を行う．以降， LexiFi?，Jane Street Capital，Standard Chartered Bank 等で主に堅牢な金 融システムを関数型言語による開発に従事．2018年から第三世代ブロックチェー ン技術である Tezos のコア開発チームに唯一の日本人として参加している．
* プログラム（予定）
9:30 - 10:00 受付 10:00 - 11:30 第1部: 通貨とブロックチェーンへのイントロダクション 11:30 - 13:00 昼休み 13:00 - 14:00 第2部: ブロックチェーンの基礎と Proof-of-stake 14:00 - 16:00 第3部: スマートコントラクトハンズオン 16:00 - 16:15 休憩 16:15 - 17:30 第4部: ブロックチェーンと形式検証
第1部: 通貨とブロックチェーンへのイントロダクション
通貨と通貨の歴史について概観し，オープンな分散データベースであるブロッ クチェーンが，なぜ仮想通貨の基盤として用いられているのかを解説する．ま た，ブロックチェーンや仮想通貨基盤における安全性の重要性について議論す る．
第2部: ブロックチェーンの基礎と Proof-of-stake
ブロックチェーンの技術的詳細について解説する．また，代表的な合意形成ア ルゴリズムである proof-of-work (PoW) と proof-of-stake (PoS) について 解説する．
第3部: スマートコントラクトハンズオン
スマートコントラクトは，ブロックチェーン上で動作する通貨授受をともなう 契約自動執行プログラムであり，近年 Ethereum や Tezos において実装され ている．今回は参加者の持参する PC の上で Tezos のスマートコントラクト を実際に記述し動作させてみる．
第4部: ブロックチェーンと形式検証
ブロックチェーンや，その上で実装される仮想通貨，スマートコントラクトに おいては，その安全性が非常に重要である．これらが安全でなかったためにこ れまでに起きた事象をいくつか取り上げ，安全性を保証するための手法である 形式検証がどのようにブロックチェーンやスマートコントラクトに使われてい るかを解説する．
* 参加費 学生会員1000円, 学生非会員2000円, 一般会員2000円, 一般非会員3000円
参加ご希望の方は，日本ソフトウェア科学会第36回大会および併設イベントの 参加申し込みページ https://jssst2019.wordpress.com/participation/ からお申し込みください．事前登録をお願いしております．
* 受講者へのご連絡
ハンズオンのパートは，ノート PC をご持参いただけるとよりお楽しみになれます． 事前準備については，参加登録された方にメールでお知らせいたします．