一度参加した人はその次以降登録しない(けど参加はする)空気が出来上がってるので、このページでは新規参加者だけが表示されるのに留意して下さい。新規参加の方は京都界隈にいるなら飛び入りでOK、リモートなら予めこの Connpass ページの「イベントへのお問い合わせ」機能を使って主催者の井上まで Google User ID (gmail のアドレスの @ の前の部分) を知らせておいて下さい。Google Hangouts で繋ぎます。

前回はKan拡張の定義と簡単な例などを見ました。今回からはゲーム意味論を勉強していきます。教科書は暫定的に Abramsky のノートを使いますが、読みにくければ変更するかも知れません。

Samson Abramsky and Guy McCusker, Game Semantics (http://www.cs.cmu.edu/~jcr/gamenotes.ps.gz)

必要な背景知識はどういう資料が選ばれるかによるので一概には言えませんが、とりあえず

• 圏の定義、積対象、和対象、冪対象の定義と具体例いくつか。普遍性という言葉の意味がぼんやりとわかる (≒ Pierce 本 http://www.amazon.com/Category-Computer-Scientists-Foundations-Computing/dp/0262660717 の前半部分ぐらい)
• 詳細はあやふやでもいいし、自分で証明とか導けなくてもいいので、λ算法の表示的意味論ではλ項の意味は⊥を含むCPOから⊥を含むCPOへの連続関数で与える、という話をぼんやりと知っている
• ML や Haskell などでプログラム書ける

ぐらいなら何とかなるんじゃないかと思います。というかならなかったら主催者が泣きます。

これまでに読んだもの:

• Homotopy Type Theoryの教科書のめぼしい部分(http://homotopytypetheory.org/book/)
• Andrew Pitts, Relational Properties of Domains (http://www.cl.cam.ac.uk/~amp12/papers/relpod/relpod.ps.gz)
• Gordon Plotkin and Matija Pretnar, A Logic for Algebraic Effects (http://homepages.inf.ed.ac.uk/gdp/publications/Logic_Algebraic_Effects.pdf)
• Thorsten Altenkirch and Bernhard Reus, Monadic Presentations of Lambda Terms Using Generalized Inductive Types (http://www.cs.nott.ac.uk/~txa/publ/csl99.pdf)
• Gordon Plotkin and John Power, "Algebraic Operations and Generic Effects" (http://homepages.inf.ed.ac.uk/gdp/publications/alg_ops_gen_effects.pdf) [眺める程度]

第四十三回までのバックナンバーは partake にあります。