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)>ss2010]] &br; マルチコア時代の新言語 - [[第9回 PPLサマースクール (PPL Summer School 2011)>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; 高階モデル検査とその応用