PPLサマースクール2022
「計算効果入門 — プログラミングから理論まで —」
日本ソフトウェア科学会 (JSSST) プログラミング論研究会 (PPL) 主催
日本ソフトウェア科学会第39回大会 併設企画
講師：勝股 審也（国立情報学研究所）
講師：関山 太朗（国立情報学研究所）
講師：叢 悠悠（東京工業大学）
2022年8月30日(火) 10時〜17時（予定）
オンライン開催
ニュース
- 参加申込を開始しました (8/5)
- 開催形態・参加費に関する情報を更新しました (7/31)
- Web ページを公開しました (6/17)
概要
プログラムは実行中に入出力、記憶装置のアクセス、乱数のサンプル、ジャンプなど、単なる値の計算として捉えられない様々な動作をする。それらは総称して計算効果(computational effect)と呼ばれる。多様な計算効果を統一的に扱うべく、80年代後半にMoggiはモナドによるモデルを提唱した。このモデルはプログラムの挙動の理解に進歩をもたらした他、新しいプログラミング機構の導入にもつながっている。Haskellのモナド、call/ccなどの制御演算子、そして近年試験的に実装されている代数的エフェクトとエフェクトハンドラはその例である。
本サマースクールでは情報系の学部４年生・大学院生および大学・企業の研究者を主な対象とし、3名の講師が計算効果のプログラミングから理論まで、様々な話題を紹介する。受講にあたっては型付きラムダ計算、論理学、集合・関数に関する学部程度の知識を前提とする。
講師紹介（発表順）
国立情報学研究所・特任准教授およびERATO蓮尾メタ数理システムデザインプロジェクト・研究総括補佐。2005年エジンバラ大学 Ph.
D。研究テーマはプログラミング言語とシステムの意味論、およびプログラム検証の数理的基盤を研究している。
東京工業大学情報理工学院数理・計算科学系助教。2019年お茶の水女子大学大学院博士後期課程修了。限定継続の型システムや、制御演算子・代数的効果の関係に興味を持つ。
国立情報学研究所アーキテクチャ科学研究系・助教。2016年京都大学 Ph.D。プログラミング言語理の型システムやプログラム検証に関する研究に従事。
プログラム（予定）
| 10:00 - 10:30 | オープニング、計算効果の導入 |
|---|---|
| 10:30 - 12:00 | 限定継続を使った計算効果プログラミング |
| 12:00 - 13:30 | 昼休み |
| 13:30 - 15:00 | 計算効果の推論技術 |
| 15:00 - 15:30 | 休憩 |
| 15:30 - 17:00 | 計算効果の数理モデル |
「計算効果の導入」（講師：勝股）
計算効果とはプログラムの実行時に引き起こされる多様な振る舞いの総称であり、入出力、非決定的選択、例外処理、継続の扱い、確率的選択など多岐にわたる。このセッションでは計算効果がどのように定式化され、理論的・応用的に発展してきたかを概観する。
「限定継続を使った計算効果プログラミング」（講師：叢）
限定継続はさまざまな計算効果の表現に有用な概念である。本講義では、限定継続の基本的な考え方を説明し、代表的な応用例を紹介する。また、限定継続を扱うことのできる言語を用いたプログラミング演習も行う予定である。
「計算効果の推論技術」（講師：関山）
プログラムを正しく理解・検証するためにはプログラムがどのような計算効果を引き起こすかを推論することが重要となる。本講義では(型システムを中心に)計算効果のためのプログラム推論技術について紹介する。
「計算効果の数理モデル」（講師：勝股）
Moggiは80年代後半に計算効果の数理的モデルとして圏論由来の構造であるモナドを使うことを提唱した。このセッションでは代数の観点からモナドを導入する。そしてモナドを用いたプログラミング言語の表示的意味論を紹介する。
参加費・参加申し込み
PPLサマースクールの参加費は以下の通りです．
- 学生会員, 学生非会員, 一般会員, 一般非会員：無料
参加申し込みは日本ソフトウェア科学会第39回大会 参加申し込みページ からお願いします。PPLサマースクール2022 だけの登録も可能です。
- 申し込みが完了すると、「参加登録受付メール」が送られます。「参加登録受付メール」に、「参加要領等の詳細」ページ（※8月27日(土)以降に有効）の URL が記載されていますので、参加方法についてはそちらをご参照ください。もし、その URL がわからない、という場合は、幹事までご確認ください。
- 参加費が0円の場合（大会には参加されない場合）は、決済は不要です。「参加登録受付メール」が届いた時点で登録完了になります。
受講者へのご連絡
問い合わせ先
PPLサマースクール2022 幹事
海野 広志（筑波大学）
E-mail: uhiro[at]cs.tsukuba.ac.jp
過去のサマースクール
- 第6回 PPLサマースクール (PPL Summer School 2008)
今日から使える! みんなの静的解析・バグ検出ツール - 第8回 PPLサマースクール (PPL Summer School 2010)
マルチコア時代の新言語 - 第9回 PPLサマースクール (PPL Summer School 2011)
クラウドのプログラミング - 第10回 PPLサマースクール (PPL Summer School 2012)
関数型言語ベースの先進的Webフレームワーク - 第11回 PPLサマースクール (PPL Summer School 2013)
高階モデル検査とその応用 - 第12回 PPLサマースクール (PPL Summer School 2014)
高性能計算のプログラミングの最前線 - 第13回 PPLサマースクール (PPL Summer School 2015)
プログラミング言語のゲーム意味論 - 第14回 PPLサマースクール (PPL Summer School 2016)
商用Java処理系の研究開発 - 第15回 PPLサマースクール (PPL Summer School 2017)
Isabelle/HOL による証明とプログラミング - 第16回 PPLサマースクール (PPL Summer School 2018)
SML#コンパイラを使いこなす - 第17回 PPLサマースクール (PPL Summer School 2019)
ブロックチェーンと形式検証 - 第18回 PPLサマースクール (PPL Summer School 2021)
JavaScript処理系とChromeブラウザの実装技術