BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:ガチ勢になるための圏論勉強会 第百二十一回
X-WR-CALNAME:ガチ勢になるための圏論勉強会 第百二十一回
X-WR-TIMEZONE:Asia/Tokyo
BEGIN:VTIMEZONE
TZID:Asia/Tokyo
BEGIN:STANDARD
DTSTART:19700101T000000
TZOFFSETFROM:+0900
TZOFFSETTO:+0900
TZNAME:JST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:632188@techplay.jp
SUMMARY:ガチ勢になるための圏論勉強会 第百二十一回
DTSTART;TZID=Asia/Tokyo:20170826T160000
DTEND;TZID=Asia/Tokyo:20170826T193000
DTSTAMP:20260406T070827Z
CREATED:20170826T100356Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/63218
 8?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\n一度参加し
 た人はその次以降登録しない(けど参加はする)空気が
 出来上がってるので、このページでは新規参加者だけ
 が表示されています。新規参加の方は予めこの Connpass 
 ページの「イベントへのお問い合わせ」機能を使って
 主催者の井上まで以下の要領で必要な情報をお知らせ
 下さい:\n\n現地参加の方は http://www.kyoto-u.ac.jp/ja/access/ca
 mpus/yoshida/map6r_y/ の68番までお越しください。土日は鍵
 がかかっていて中から開けないといけないので、予め
 到着予定時刻をお知らせ下さい。\nリモートの方は Goog
 le User ID (gmail のアドレスの @ の前の部分)、もしくは Ha
 ngouts 以外のビデオカンファレンスサービスを希望され
 るならその旨お知らせ下さい。\n\n前回は\n\nSelinger\, "Co
 ntrol Categories and Duality" (www.mathstat.dal.ca/~selinger/papers/contr
 ol.pdf)\n\nの第3.8節まで読みました。今回は第3.9節と、
 できれば第4節の最初の方までやります。(発表者K)\nを
 読みます。\n必要な背景知識はどういう資料が選ばれ
 るかによるので一概には言えませんが、とりあえず\n\n
 圏の定義、積対象、和対象、冪対象の定義と具体例い
 くつか。普遍性という言葉の意味がぼんやりとわかる 
 (≒ Pierce 本 http://www.amazon.com/Category-Computer-Scientists-Founda
 tions-Computing/dp/0262660717 の前半部分ぐらい)\n詳細はあや
 ふやでもいいし、自分で証明とか導けなくてもいいの
 で、λ算法の表示的意味論ではλ項の意味は⊥を含むCPO
 から⊥を含むCPOへの連続関数で与える、という話をぼ
 んやりと知っている\nML や Haskell などでプログラム書
 ける \n\nぐらいなら何とかなるんじゃないかと思いま
 す。というかならなかったら主催者が泣きます。\nこ
 れまでに読んだもの:\n\nHomotopy Type Theoryの教科書のめぼ
 しい部分(http://homotopytypetheory.org/book/)\nAndrew Pitts\, Relatio
 nal Properties of Domains (http://www.cl.cam.ac.uk/~amp12/papers/relpod/r
 elpod.ps.gz)\nGordon Plotkin and Matija Pretnar\, A Logic for Algebraic E
 ffects (http://homepages.inf.ed.ac.uk/gdp/publications/Logic_Algebraic_Ef
 fects.pdf)\nThorsten Altenkirch and Bernhard Reus\, Monadic Presentations
  of Lambda Terms Using Generalized Inductive Types (http://www.cs.nott.ac
 .uk/~txa/publ/csl99.pdf)\nGordon Plotkin and John Power\, "Algebraic Oper
 ations and Generic Effects" (http://homepages.inf.ed.ac.uk/gdp/publicatio
 ns/alg_ops_gen_effects.pdf) [眺める程度]\nSamson Abramsky and Guy Mc
 Cusker\, Game Semantics (http://www.cs.cmu.edu/~jcr/gamenotes.ps.gz)\nAnd
 rew Ker\, Hanno Nickau\, and Luke Ong\, Innocent game models of untyped 
 λ calculus (http://www.cs.ox.ac.uk/andrew.ker/docs/ADK01D.pdf)\n[補足
 資料] Luke Ong\, Game Semantics and Its Applications (http://www.cs.ox.
 ac.uk/luke.ong/personal/talks/shell-2x2.pdf)\nPaul-André Melliès\, "Fun
 ctorial boxes in string diagrams" [5節まで]\nAndré Joyal and Ross Str
 eet\, "Geometry of Tensor Calculus II" [気持ち程度]\nJorge Sousa Pin
 to\, "Parallel Implementation Models for the λ-Calculus Using the Geomet
 ry of Interaction"\nSamson Abramsky\, Esfandiar Haghverdi\, and Philip Sc
 ott\, "Geometry of Interaction and Linear Combinatory Algebras"\nAbramsky
  and Jung\, "Domain Theory" (http://www.cs.bham.ac.uk/~axj/pub/papers/han
 dy1.pdf) [第2.2節のみ]\nBorceaux and Stubbe\, "Short Introduction to 
 Enriched Categories" (https://web.archive.org/web/20150907184148/http://w
 ww-lmpa.univ-littoral.fr/~stubbe/PDF/EnrichedCatsKLUWER.pdf)\nHyland and 
 Ong\, "On Full Abstraction for PCF: I\, II\, and III" (https://ora.ox.ac.
 uk/objects/uuid:63c54392-39f3-46f1-8a68-e6ff0ec90218/datastreams/ATTACHME
 NT01)\nPower and Robinson\, "Premonoidal Categories and Notions of Comput
 ation" (http://citeseerx.ist.psu.edu/viewdoc/download\;jsessionid=F2F5668
 CABD327B6716EF3A3E3826E04?doi=10.1.1.23.1140&rep=rep1&type=pdf) [一部]\
 n\n第四十三回までのバックナンバーは partake にあった
 んですが、ドメインごと消えました(´ﾟдﾟ｀)\n第七
 十七〜七十九回はページを作り忘れましたが、PintoのD
 論をやりました。\n※Pintoの論文はどうもオンラインで
 は手に入らないようなので、欲しい人は言って下さい
 。Mackieの論文も、ACMのpaywallに阻まれているようです。
LOCATION:京大五十嵐研 / Google Hangouts (http://www.kyoto-u.ac.jp/ja/
 access/campus/yoshida/map6r_y/ の68番)
URL:https://techplay.jp/event/632188?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR