PPLサマースクール2019
「ブロックチェーンと形式検証」
 
日本ソフトウェア科学会 (JSSST) プログラミング論研究会 (PPL) 主催
日本ソフトウェア科学会第35回大会 併設企画
 
講師：古瀬 淳（ダイラムダ株式会社）
 
2019年8月26日(火) 10時〜17時（予定）
芝浦工業大学芝浦キャンパス
(〒108-8548東京都港区芝浦3-9-14)
 

ニュース †

  • Webページを公開しました (5/31)
↑

概要 †

TBD

↑

講師紹介 †

古瀬 淳 (Jun FURUSE; ふるせ じゅん)

ダイラムダ株式会社代表取締役，Tezos Japan 理事．2002年パリ第七ディドロ大学博士課程修了，Ph.D．関数型言語の型システムの研究を行う．以降，LexiFi?，Jane Street Capital，Standard Chartered Bank 等で主に堅牢な金融システムを関数型言語による開発に従事．2018年から第三世代ブロックチェーン技術である Tezos のコア開発チームに唯一の日本人として参加している．

↑

プログラム †

TBD

↑

参加費・参加申し込み †

TBD

↑

問い合わせ先 †

PPLサマースクール2019 幹事
末永 幸平（京都大学）
E-mail: ksuenaga[at]kuis[dot]kyoto-u[dot]ac[dot]jp

↑

過去のサマースクール †