本ページは準備中です．
PPLサマースクール2019
日本ソフトウェア科学会第35回大会 併設企画
講師：古瀬 淳（ダイラムダ株式会社）
2019年8月26日(火) 10時〜17時（予定）
芝浦工業大学芝浦キャンパス
(〒108-8548東京都港区芝浦3-9-14)
ニュース †
概要 †
講師紹介 †
プログラム †
参加費・参加申し込み †
問い合わせ先 †
PPLサマースクール2019 幹事
末永 幸平（京都大学）
E-mail: ksuenaga[at]kuis[dot]kyoto-u[dot]ac[dot]jp
過去のサマースクール †
- 第1回 PPLサマースクール (PPL Summer School 2003)
- 第2回 PPLサマースクール (PPL Summer School 2004)
- 第3回 PPLサマースクール (PPL Summer School 2005)
- 第4回 PPLサマースクール (PPL Summer School 2006)
- 第5回 PPLサマースクール (PPL Summer School 2007)
- 第6回 PPLサマースクール (PPL Summer School 2008)
今日から使える! みんなの静的解析・バグ検出ツール - 第7回 PPLサマースクール (PPL Summer School 2009)
- 第8回 PPLサマースクール (PPL Summer School 2010)
マルチコア時代の新言語 - 第9回 PPLサマースクール (PPL Summer School 2011)
クラウドのプログラミング - 第10回 PPLサマースクール (PPL Summer School 2012)
関数型言語ベースの先進的Webフレームワーク - 第11回 PPLサマースクール (PPL Summer School 2013)
高階モデル検査とその応用 - 第12回 PPLサマースクール (PPL Summer School 2014)
高性能計算のプログラミングの最前線 - 第13回 PPLサマースクール (PPL Summer School 2015)
プログラミング言語のゲーム意味論 - 第14回 PPLサマースクール (PPL Summer School 2016)
商用Java処理系の研究開発 - 第15回 PPLサマースクール (PPL Summer School 2017)
Isabelle/HOL による証明とプログラミング - 第15回 PPLサマースクール (PPL Summer School 2018)
SML#コンパイラを使いこなす
Based on "PukiWiki" 1.3 by yu-ji.
Skin "GS2" is designed by yiza.
Powered by PHP 5.6.40-0+deb8u12. HTML convert time: 0.013 sec.