検索
AND検索
OR検索
トップ
|
リロード
|
新規
|
一覧
|
単語検索
|
最終更新
|
ヘルプ
ss2014 をテンプレートにして作成
リンク
日本ソフトウェア科学会
PPL 2019
Total:0/Today:0
開始行:
CENTER:&size(24){''PPLサマースクール2014''};
CENTER:&size(32){''高性能計算のプログラミングの最前線''};
CENTER:[[日本ソフトウェア科学会 (JSSST):http://www.jssst....
CENTER:[[日本ソフトウェア科学会第31回大会:http://jssst201...
CENTER:&size(32){2014年 9月 7日 (日)};
CENTER:&size(24){10:00 - 13:00};
CENTER:&size(32){名古屋大学東山キャンパス};
CENTER:&size(24){IB電子情報館1階 IB015};
CENTER:Webページ: http://ppl.jssst.or.jp/index.php?ss2014
CENTER:&size(24){講師:遠藤敏夫(東京工業大学)};
#br
* 無事終了いたしました [#p8515b2c]
52名の参加をいただきました。講師の先生、ご参加の皆様、運...
* 概要 [#na9972f5]
コンピュータの性能を最大限に活かすソフトウェアを作成する...
* 講師紹介 [#j0756ab0]
[[遠藤敏夫(東京工業大学):http://www.el.gsic.titech.ac.j...
略歴&br;
東京工業大学学術国際情報センター准教授。博士(理学)。
アクセラレータを含むハイブリッド型スーパーコンピュータを...
文部科学大臣表彰開発部門受賞(2012年)。
* チュートリアルとの連携について [#n22c7704]
PPLサマースクール2014後に,
企画委員会による
[[チュートリアル(定理証明支援系Coq入門):http://jssst2014....
が同会場で予定されております.
今回,両方,申し込めるように時間調整を行っておりますので,
PPLサマースクール2014とチュートリアル(定理証明支援系Coq入...
合わせて参加をご検討ください.
会場は名古屋大学駅ほぼ直結ですので,3番出口さえ間違わな...
数分前に到着する地下鉄でも10:00開始のPPLサマースクールに...
例えば,東京駅7:33のひかり503号から地下鉄を乗り継げばおそ...
// * プログラム
* 資料について [#k7c9c15b]
講演スライドPDFのオンライン配布となります.
会場ではeduroamが使えますが,所属機関によりeduroamが使え...
下記のURLから予定資料を事前ダウンロード可能としていただき...
内容は随時更新されますが,URLは固定される予定です.
http://www.el.gsic.titech.ac.jp/~endo/files/endo-jssst14....
* 参加費・参加申し込み(終了しました) [#r2fc3541]
PPLサマースクールの参加費は以下の通りです.
学生会員1000円, 学生非会員2000円, 一般会員2000円, 一般非...
参加ご希望の方は,
[[日本ソフトウェア科学会第31回大会:http://jssst2014.wordp...
[[参加登録ページ:http://jssst2014.wordpress.com/participa...
人数(定員60名)把握のため,
また,当日の現金の扱い避けるため,
事前登録をお願いしております.
PPLサマースクールとチュートリアル(定理証明支援系Coq入門)の
両方への参加を希望される場合はそれぞれについて参加登録を...
* チュートリアル(定理証明支援系Coq入門)と両方申し込まれる...
昼食用の時間を13:00-14:00に確保しておりますが,
当日は日曜日ということもあり,
各自,昼食をご持参等の上,参加されますことを推奨いたしま...
休憩をとるスペースでは飲食できる予定です.
また,参考情報として,
会場となるIB電子情報館の1階には日曜日も営業するファミリー...
([[ニュース:https://www.family.co.jp/company/news_release...
また、IB電子情報館の西200m程の図書館に日曜営業のスターバ...
その南西200m程のところに普通サイズのファミリーマートもご...
([[参考地図・営業時間(pdf, 0.9MB):http://web-honbu.jimu.n...
注 夏休み期間は営業時間等に変更の可能性あり,現地にて最新...
* 問い合わせ先 [#odb1d3d4]
''PPLサマースクール2014 幹事''&br;
八杉 昌宏 (九州工業大学)&br;
E-mail: yasugi [at] ai [dot] kyutech.ac.jp
* 過去のサマースクール [#ice4545b]
- [[第1回 PPLサマースクール (PPL Summer School 2003):http...
- [[第2回 PPLサマースクール (PPL Summer School 2004):http...
- [[第3回 PPLサマースクール (PPL Summer School 2005):http...
- [[第4回 PPLサマースクール (PPL Summer School 2006):http...
- [[第5回 PPLサマースクール (PPL Summer School 2007):http...
- [[第6回 PPLサマースクール (PPL Summer School 2008):http...
&br;
今日から使える! みんなの静的解析・バグ検出ツール
- [[第7回 PPLサマースクール (PPL Summer School 2009):http...
- [[第8回 PPLサマースクール (PPL Summer School 2010)>ss20...
&br;
マルチコア時代の新言語
- [[第9回 PPLサマースクール (PPL Summer School 2011)>ss20...
&br;
クラウドのプログラミング
- [[第10回 PPLサマースクール (PPL Summer School 2012)>ss2...
&br;
関数型言語ベースの先進的Webフレームワーク
- [[第11回 PPLサマースクール (PPL Summer School 2013)>htt...
&br;
高階モデル検査とその応用
終了行:
CENTER:&size(24){''PPLサマースクール2014''};
CENTER:&size(32){''高性能計算のプログラミングの最前線''};
CENTER:[[日本ソフトウェア科学会 (JSSST):http://www.jssst....
CENTER:[[日本ソフトウェア科学会第31回大会:http://jssst201...
CENTER:&size(32){2014年 9月 7日 (日)};
CENTER:&size(24){10:00 - 13:00};
CENTER:&size(32){名古屋大学東山キャンパス};
CENTER:&size(24){IB電子情報館1階 IB015};
CENTER:Webページ: http://ppl.jssst.or.jp/index.php?ss2014
CENTER:&size(24){講師:遠藤敏夫(東京工業大学)};
#br
* 無事終了いたしました [#p8515b2c]
52名の参加をいただきました。講師の先生、ご参加の皆様、運...
* 概要 [#na9972f5]
コンピュータの性能を最大限に活かすソフトウェアを作成する...
* 講師紹介 [#j0756ab0]
[[遠藤敏夫(東京工業大学):http://www.el.gsic.titech.ac.j...
略歴&br;
東京工業大学学術国際情報センター准教授。博士(理学)。
アクセラレータを含むハイブリッド型スーパーコンピュータを...
文部科学大臣表彰開発部門受賞(2012年)。
* チュートリアルとの連携について [#n22c7704]
PPLサマースクール2014後に,
企画委員会による
[[チュートリアル(定理証明支援系Coq入門):http://jssst2014....
が同会場で予定されております.
今回,両方,申し込めるように時間調整を行っておりますので,
PPLサマースクール2014とチュートリアル(定理証明支援系Coq入...
合わせて参加をご検討ください.
会場は名古屋大学駅ほぼ直結ですので,3番出口さえ間違わな...
数分前に到着する地下鉄でも10:00開始のPPLサマースクールに...
例えば,東京駅7:33のひかり503号から地下鉄を乗り継げばおそ...
// * プログラム
* 資料について [#k7c9c15b]
講演スライドPDFのオンライン配布となります.
会場ではeduroamが使えますが,所属機関によりeduroamが使え...
下記のURLから予定資料を事前ダウンロード可能としていただき...
内容は随時更新されますが,URLは固定される予定です.
http://www.el.gsic.titech.ac.jp/~endo/files/endo-jssst14....
* 参加費・参加申し込み(終了しました) [#r2fc3541]
PPLサマースクールの参加費は以下の通りです.
学生会員1000円, 学生非会員2000円, 一般会員2000円, 一般非...
参加ご希望の方は,
[[日本ソフトウェア科学会第31回大会:http://jssst2014.wordp...
[[参加登録ページ:http://jssst2014.wordpress.com/participa...
人数(定員60名)把握のため,
また,当日の現金の扱い避けるため,
事前登録をお願いしております.
PPLサマースクールとチュートリアル(定理証明支援系Coq入門)の
両方への参加を希望される場合はそれぞれについて参加登録を...
* チュートリアル(定理証明支援系Coq入門)と両方申し込まれる...
昼食用の時間を13:00-14:00に確保しておりますが,
当日は日曜日ということもあり,
各自,昼食をご持参等の上,参加されますことを推奨いたしま...
休憩をとるスペースでは飲食できる予定です.
また,参考情報として,
会場となるIB電子情報館の1階には日曜日も営業するファミリー...
([[ニュース:https://www.family.co.jp/company/news_release...
また、IB電子情報館の西200m程の図書館に日曜営業のスターバ...
その南西200m程のところに普通サイズのファミリーマートもご...
([[参考地図・営業時間(pdf, 0.9MB):http://web-honbu.jimu.n...
注 夏休み期間は営業時間等に変更の可能性あり,現地にて最新...
* 問い合わせ先 [#odb1d3d4]
''PPLサマースクール2014 幹事''&br;
八杉 昌宏 (九州工業大学)&br;
E-mail: yasugi [at] ai [dot] kyutech.ac.jp
* 過去のサマースクール [#ice4545b]
- [[第1回 PPLサマースクール (PPL Summer School 2003):http...
- [[第2回 PPLサマースクール (PPL Summer School 2004):http...
- [[第3回 PPLサマースクール (PPL Summer School 2005):http...
- [[第4回 PPLサマースクール (PPL Summer School 2006):http...
- [[第5回 PPLサマースクール (PPL Summer School 2007):http...
- [[第6回 PPLサマースクール (PPL Summer School 2008):http...
&br;
今日から使える! みんなの静的解析・バグ検出ツール
- [[第7回 PPLサマースクール (PPL Summer School 2009):http...
- [[第8回 PPLサマースクール (PPL Summer School 2010)>ss20...
&br;
マルチコア時代の新言語
- [[第9回 PPLサマースクール (PPL Summer School 2011)>ss20...
&br;
クラウドのプログラミング
- [[第10回 PPLサマースクール (PPL Summer School 2012)>ss2...
&br;
関数型言語ベースの先進的Webフレームワーク
- [[第11回 PPLサマースクール (PPL Summer School 2013)>htt...
&br;
高階モデル検査とその応用
ページ名: