CENTER:&size(32){''PPLサマースクール2015''};
CENTER:&size(32){''プログラミング言語のゲーム意味論''};
CENTER:&size(32){''― 線形近似の視点から ―''};
#br
CENTER:[[日本ソフトウェア科学会 (JSSST):http://www.jssst.or.jp/]] [[プログラミング論研究会 (PPL):http://ppl.jssst.or.jp/]] 主催
CENTER:[[日本ソフトウェア科学会第32回大会:http://jssst2015.wordpress.com/]] 併設企画
CENTER:Webページ: http://ppl.jssst.or.jp/?ss2015
#br
CENTER:&size(24){講師：塚田武志（東京大学)};
#br
CENTER:&size(24){2015年 9月 8日 (火) 10:00 - 13:00};
CENTER:&size(24){早稲田大学 西早稲田キャンパス};
CENTER:&size(24){63号館第3会議室(予定)};
CENTER:&size(24){(〒169-8555　新宿区大久保3-4-1)};

#br
* ニュース [#n2031057]
2015年8月9日: [[参加登録:https://jssst2015.wordpress.com/%E5%8F%82%E5%8A%A0%E7%94%B3%E3%81%97%E8%BE%BC%E3%81%BF/]]を開始しました．

* 概要 [#z0a349df]

ゲーム意味論とはプログラムや証明の意味論であって、プログラムや証明の振る舞いを分析・理解するための道具としてゲームとその上の戦略を用いるものです。このアプローチは1990年代に始まったもので、現在も精力的に研究されています。

本講演では、最も基本的な結果である、関数型プログラミング言語PCFのゲーム意味論を理解することを目指します。そのための足がかりとして、ゲーム意味論のインタラクティブな側面と線形近似の理論としての側面を紹介します。

ゲーム意味論はインタラクティブな意味論だと言われます。基本的なアイデアは、「プログラム（Proponent）」とそれを呼び出す「環境（Opponent）」の間でどのようなメッセージが交換されるかに注目するというものです。メッセージとしては、例えば、「O→P：返値はなんですか？」「P→O：第一引数の値は何ですか？」「O→P：第一引数の値は
true です」などといったものが考えられます。このメッセージのやり取りをゲームに見立てて、そのルールはどうなっているかだとか、プログラムに対応する戦略はどのようなものかを考察するのが、ゲーム意味論です。

他方で、ゲーム意味論は線形近似の理論だと見ることもできます。ここでいう線形とは、線形論理における線形性であって、すなわち各引数をちょうど一度ずつ使うプログラムのことです。一般のプログラムは必ずしも線形ではありませんが、線形プログラムで近似できることが知られています。実は「プログラムの線形近似」と「プログラムと環境とで交換されたメッセージの列」は同じものです。線形近似というアイデアは、ゲーム意味論に新しい表現と視点を与えてくれます。

なお、受講にあたっては、λ計算や型システムについての学部程度の知識を有していることが推奨されます。

* 講師紹介 [#gfea6bd6]
[[塚田武志（東京大学）:http://www.kb.is.s.u-tokyo.ac.jp/~tsukada/]]&br;

東京大学大学院情報理工学系研究科 助教。ゲーム意味論や交差型システムと、これらの関数型プログラミング言語の分析・検証への応用に関する研究を行っている。


* チュートリアルとの連携について [#x7232126]
PPLサマースクール2015後に、
企画委員会による
チュートリアル([[計算機科学者のためのゲーム理論入門:https://jssst2015.wordpress.com/%E3%83%81%E3%83%A5%E3%83%BC%E3%83%88%E3%83%AA%E3%82%A2%E3%83%AB/]])
//チュートリアル(計算機科学者のためのゲーム理論入門)
が近隣会場で予定されております。
今回、両方とも申し込めるように時間調整を行っておりますので、
// PPLサマースクール2015とチュートリアルは
併せて参加をご検討ください。

// * プログラム 


* 参加費・参加申し込み [#vd0950c0]

PPLサマースクールの参加費は以下の通りです．

学生会員1000円, 学生非会員2000円, 一般会員2000円, 一般非会員3000円

参加ご希望の方は
[[日本ソフトウェア科学会第32回大会:http://jssst2015.wordpress.com/]]共通の
[[参加登録ページ:https://jssst2015.wordpress.com/%E5%8F%82%E5%8A%A0%E7%94%B3%E3%81%97%E8%BE%BC%E3%81%BF/]]からお申し込みください。
人数把握のため、
また、当日の現金の扱い避けるため、
事前登録をお願いしております。ご協力ください。

PPLサマースクールと
// チュートリアル
[[チュートリアル:https://jssst2015.wordpress.com/%E3%83%81%E3%83%A5%E3%83%BC%E3%83%88%E3%83%AA%E3%82%A2%E3%83%AB/]]
の両方への参加を希望される場合はそれぞれについて参加登録をお願いいたします。

* 問い合わせ先 [#se1f9f3a]

''PPLサマースクール2015 幹事''&br;
前田敦司 (筑波大学)&br;
E-mail: maeda [at] cs [dot] tsukuba.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;
高性能計算のプログラミングの最前線