ppl-summer-school-2022

日本ソフトウェア科学会第39回大会（JSSST 2022） の併設イベントである PPL サマースクール の資料配布用リポジトリです。

テーマと講師

テーマ：計算効果入門 ― プログラミングから理論まで ―

講師：

• 勝股 審也（国立情報学研究所）
• 関山 太朗（国立情報学研究所）
• 叢 悠悠（東京工業大学）

各ディレクトリの内容

• katsumata/：「計算効果の導入」「計算効果の数理モデル」の講義スライド
• cong/：「限定継続を使った計算効果プログラミング」の講義スライドおよびプログラム
• sekiyama/：「計算効果の推論技術」の講義スライド