CENTER:&size(24){''PPLサマースクール2014''};
CENTER:&size(32){''高性能計算のプログラミングの最前線''};
CENTER:[[日本ソフトウェア科学会 (JSSST):http://www.jssst.or.jp/]] [[プログラミング論研究会 (PPL):http://ppl.jssst.or.jp/]] 主催
CENTER:[[日本ソフトウェア科学会第31回大会:http://jssst2014.wordpress.com/]] 併設企画
CENTER:&size(32){2014年 9月 7日 (日)};
CENTER:&size(24){10:00 - 13:00};
CENTER:&size(32){名古屋大学東山キャンパス};
// CENTER:&size(24){IB015};
CENTER:Webページ: http://ppl.jssst.or.jp/index.php?ss2014
CENTER:&size(24){講師:遠藤敏夫(東京工業大学)};

#br


// * 概要
// * 講師略歴
// * プログラム 

// * 参加費・参加申し込み 

* 問い合わせ先 [#odb1d3d4]

''PPLサマースクール2014 幹事''&br;
八杉 昌宏 (九州工業大学)&br;
E-mail: yasugi [at] ai [dot] kyutech.ac.jp

* 過去のサマースクール [#ice4545b]

- [[第1回 PPLサマースクール (PPL Summer School 2003):http://www.ipl.t.u-tokyo.ac.jp/~hu/ppl_ss03/]]
- [[第2回 PPLサマースクール (PPL Summer School 2004):http://logic.cs.tsukuba.ac.jp/~kam/ppl_ss04/]]
- [[第3回 PPLサマースクール (PPL Summer School 2005):http://www.math.kyoto-u.ac.jp/~susumu/ppl_ss05/]]
- [[第4回 PPLサマースクール (PPL Summer School 2006):http://www.math.nagoya-u.ac.jp/~garrigue/ppl_ss06/]]
- [[第5回 PPLサマースクール (PPL Summer School 2007):http://www.jaist.ac.jp/~mizuhito/ppl_ss07/]]
- [[第6回 PPLサマースクール (PPL Summer School 2008):http://www.logos.t.u-tokyo.ac.jp/ppl_ss08/]]
&br;
今日から使える! みんなの静的解析・バグ検出ツール
- [[第7回 PPLサマースクール (PPL Summer School 2009):http://www.is.noda.tus.ac.jp/ppl_ss09/]]
- [[第8回 PPLサマースクール (PPL Summer School 2010):http://ppl.jssst.or.jp/?ss2010]]
&br;
マルチコア時代の新言語
- [[第9回 PPLサマースクール (PPL Summer School 2011):http://ppl.jssst.or.jp/?ss2011]]
&br;
クラウドのプログラミング
- [[第10回 PPLサマースクール (PPL Summer School 2012)>ss2012]]
&br;
関数型言語ベースの先進的Webフレームワーク
- [[第11回 PPLサマースクール (PPL Summer School 2013)>http://jssst2013.wordpress.com/events/ppl-summer-school/]]
&br;
高階モデル検査とその応用