- 追加された行はこの色です。
- 削除された行はこの色です。
CENTER:&size(32){''PPLサマースクール2016''};
CENTER:&size(32){''商用Java処理系の研究開発''};
#br
CENTER:[[日本ソフトウェア科学会 (JSSST):http://www.jssst.or.jp/]] [[プログラミング論研究会 (PPL):http://ppl.jssst.or.jp/]] 主催
CENTER:[[日本ソフトウェア科学会第33回大会:https://jssst2016.wordpress.com/]] 併設企画
CENTER:Webページ: http://ppl.jssst.or.jp/?ss2016
#br
CENTER:&size(24){講師:小野寺民也,河内谷清久仁,石崎一明&br;(日本アイ・ビー・エム(株))};
#br
CENTER:&size(24){2016年 9月 6日 (火) 10:00 - 17:15};
CENTER:&size(24){東北大学 片平キャンパス};
CENTER:&size(24){''TODO:'' 63号館第3会議室};
CENTER:&size(24){''TODO:'' %%63号館第3会議室%%};
CENTER:&size(24){(〒980-8577 宮城県仙台市青葉区片平2丁目1-1)};
#br
// * ニュース
* 概要 [#e054fcc5]
日本アイ・ビー・エム(株)東京基礎研究所はJava言語の黎明期からその処理系に関する研究開発をリードし,IBM開発部門と協業して業務アプリケーションの基盤として使われるJava処理系を世に送り出してきた.特に,Just-In-TimeコンパイラとJava仮想マシンの主要構成要素については各種の先進的技術を考案し,世界トップクラスの性能を達成するとともに,多数の学会発表も行ってきている.本セミナーでは,この商用Java処理系の研究開発に関する経験をもとに,以下の内容について述べる.
* 講師紹介 [#ce82511f]
[[小野寺 民也(おのでら たみや):http://ibm.biz/onodera]]
> 日本アイ・ビー・エム(株)技術理事,東京基礎研究所 サービス型コンピューティング 部長.1988年東京大学大学院理学系研究科情報科学専門課程博士課程修了.同年日本アイ・ビー・エム(株)入社.以来,同社東京基礎研究所にて,プログラミング言語およびミドルウェアおよびシステムソフトウェアの研究開発に従事. 情報処理学会第41回(平成2年後期)全国大会学術奨励賞,同平成7年度山下記念研究賞,同平成16年度論文賞,同平成16年度業績賞,各受賞.理学博士.日本ソフトウェア科学会会員(元・理事),情報処理学会シニア会員,ACM Distinguished Scientist.
[[河内谷 清久仁(かわちや きよくに):http://ibm.biz/kawatiya]]
> 日本アイ・ビー・エム(株)シニア・テクニカル・スタッフ・メンバー,東京基礎研究所 ディープ・コンピューティング&アナリティクス 部長.1987年東京大学大学院理学系研究科情報科学専攻修士課程修了.同年日本アイ・ビー・エム(株)入社.以来,同社東京基礎研究所にてOSやプログラミング言語処理系などの研究に従事.最近は,Javaの性能問題分析などにも携わる.博士(政策・メディア).1994年情報処理学会大会奨励賞,2005年同・論文賞,2008年日本ソフトウェア科学会高橋奨励賞,各受賞.日本ソフトウェア科学会編集副委員長(元・理事),情報処理学会シニア会員,ACM Distinguished Engineer.
[[石崎 一明(いしざき かずあき):http://ibm.biz/ishizaki]]
> 日本アイ・ビー・エム(株)東京基礎研究所 リサーチ・スタッフ・メンバー.1992年早稲田大学理工学研究科修士課程修了.同年日本アイ・ビー・エム(株)入社.以来,同社東京基礎研究所にて,Fortran言語の並列化コンパイラ,Java言語の動的コンパイラ,Python言語の動的コンパイラ,などのプログラミング言語処理系の研究に従事.最近は,JavaやApache Sparkからの,GPUその他アクセラレータ活用方法に興味を持つ.情報処理学会平成16年度業績賞受賞.博士(情報科学).日本ソフトウェア科学会理事,情報処理学会会員,ACM Senior Member.
* プログラム [#afb2978f]
|RIGHT:9:30 - 10:00|受付|
|RIGHT:10:00 - 10:30|''Javaの登場と発展''(講師:小野寺民也)|
|RIGHT:10:30 - 10:40|休憩|
|RIGHT:10:40 - 12:40|''Java仮想マシンの実装技術''(講師:河内谷清久仁)|
|RIGHT:12:40 - 14:00|昼休み|
|RIGHT:14:00 - 16:00|''Java Just-In-Timeコンパイラの実装技術''(講師:石崎一明)|
|RIGHT:16:00 - 16:15|休憩|
|RIGHT:16:15 - 17:15|''まとめと展望''(講師:小野寺民也)|
- ''Javaの登場と発展''(講師:小野寺民也)
> 1995年のJavaの登場とその後の受容の過程を概観し,Java登場時にどのような性能上の課題があったかを述べ,続く2つのセッションへの導入とする.また,性能向上の研究開発における標準ベンチマークの重要さについても言及する.
- ''Java仮想マシンの実装技術''(講師:河内谷清久仁)
> Java言語処理系の実装について詳説する.まずJava仮想マシンの概要について述べ,その主要な構成要素として,クラス管理とインタープリタ,ヒープ管理とガベージコレクション,スレッド管理と同期機構,JITコンパイラとの連携,などについて説明する.性能改善のために行った各種手法についても触れる.
- ''Java Just-In-Timeコンパイラの実装技術''(講師:石崎一明)
> Javaの動的コンパイラの実装について詳説する.まず構成の概要について述べ,主な最適化,動的コンパイラ特有の最適化,Java言語特有の最適化,について説明する.また,Java言語からSIMDやGPUなどのハードウェア機構を使う試みについても述べる.商用コンパイラの実装に関する経験談についても触れる.
- ''まとめと展望''(講師:小野寺民也)
> まとめとして,プログラミング言語の実装技術の歴史を概観し,Javaの誕生と発展に果たした役割について考えてみたい(内容は予告なく変更することがありますw).
* ''TODO:'' 参加費・参加申し込み [#j3a71acd]
PPLサマースクールの参加費は以下の通りです.
学生会員1000円, 学生非会員2000円, 一般会員2000円, 一般非会員3000円
参加ご希望の方は
[[日本ソフトウェア科学会第33回大会:https://jssst2016.wordpress.com/]]共通の
[[参加登録ページ:https://jssst2015.wordpress.com/%E5%8F%82%E5%8A%A0%E7%94%B3%E3%81%97%E8%BE%BC%E3%81%BF/]]からお申し込みください。
//[[参加登録ページ:https://jssst2015.wordpress.com/%E5%8F%82%E5%8A%A0%E7%94%B3%E3%81%97%E8%BE%BC%E3%81%BF/]]
参加登録ページ
からお申し込みください。
人数把握のため、
また、当日の現金の扱いを避けるため、
事前登録をお願いしております。ご協力ください。
* 問い合わせ先 [#z4e23a61]
''PPLサマースクール2016 幹事''&br;
馬谷誠二 (京都大学)&br;
E-mail: umatani [at] kuis [dot] kyoto-u.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;
高階モデル検査とその応用
- [[第12回 PPLサマースクール (PPL Summer School 2014)>ss2014]]
&br;
高性能計算のプログラミングの最前線
- [[第13回 PPLサマースクール (PPL Summer School 2015)>ss2015]]
&br;
プログラミング言語のゲーム意味論