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:659999@techplay.jp
SUMMARY:ガチ勢になるための圏論勉強会 第百三十一回
DTSTART;TZID=Asia/Tokyo:20180218T170000
DTEND;TZID=Asia/Tokyo:20180218T203000
DTSTAMP:20260516T020245Z
CREATED:20180218T101235Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/65999
 9?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\nSamson Abramsk
 y\, "Information\, Processes\, and Games" (https://arxiv.org/abs/1604.026
 03)\n\nを第三節まで読みました。今回は第四節を読みま
 す。(発表者K)\n必要な背景知識はどういう資料が選ば
 れるかによるので一概には言えませんが、とりあえず\
 n\n圏の定義、積対象、和対象、冪対象の定義と具体例
 いくつか。普遍性という言葉の意味がぼんやりとわか
 る (≒ Pierce 本 http://www.amazon.com/Category-Computer-Scientists-Fo
 undations-Computing/dp/0262660717 の前半部分ぐらい)\n詳細はあ
 やふやでもいいし、自分で証明とか導けなくてもいい
 ので、λ算法の表示的意味論ではλ項の意味は⊥を含む
 CPOから⊥を含むCPOへの連続関数で与える、という話を
 ぼんやりと知っている\nML や Haskell などでプログラム
 書ける \n\nぐらいなら何とかなるんじゃないかと思い
 ます。というかならなかったら主催者が泣きます。\n
 これまでに読んだもの:\n\nHomotopy Type Theoryの教科書のめ
 ぼしい部分(http://homotopytypetheory.org/book/)\nAndrew Pitts\, Rela
 tional Properties of Domains (http://www.cl.cam.ac.uk/~amp12/papers/relpo
 d/relpod.ps.gz)\nGordon Plotkin and Matija Pretnar\, A Logic for Algebrai
 c Effects (http://homepages.inf.ed.ac.uk/gdp/publications/Logic_Algebraic
 _Effects.pdf)\nThorsten Altenkirch and Bernhard Reus\, Monadic Presentati
 ons of Lambda Terms Using Generalized Inductive Types (http://www.cs.nott
 .ac.uk/~txa/publ/csl99.pdf)\nGordon Plotkin and John Power\, "Algebraic O
 perations and Generic Effects" (http://homepages.inf.ed.ac.uk/gdp/publica
 tions/alg_ops_gen_effects.pdf) [眺める程度]\nSamson Abramsky and Guy
  McCusker\, Game Semantics (http://www.cs.cmu.edu/~jcr/gamenotes.ps.gz)\n
 Andrew Ker\, Hanno Nickau\, and Luke Ong\, Innocent game models of untype
 d λ 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\, "
 Functorial boxes in string diagrams" [5節まで]\nAndré Joyal and Ross 
 Street\, "Geometry of Tensor Calculus II" [気持ち程度]\nJorge Sousa 
 Pinto\, "Parallel Implementation Models for the λ-Calculus Using the Geo
 metry of Interaction"\nSamson Abramsky\, Esfandiar Haghverdi\, and Philip
  Scott\, "Geometry of Interaction and Linear Combinatory Algebras"\nAbram
 sky and Jung\, "Domain Theory" (http://www.cs.bham.ac.uk/~axj/pub/papers/
 handy1.pdf) [第2.2節のみ]\nBorceaux and Stubbe\, "Short Introduction 
 to Enriched Categories" (https://web.archive.org/web/20150907184148/http:
 //www-lmpa.univ-littoral.fr/~stubbe/PDF/EnrichedCatsKLUWER.pdf)\nHyland a
 nd Ong\, "On Full Abstraction for PCF: I\, II\, and III" (https://ora.ox.
 ac.uk/objects/uuid:63c54392-39f3-46f1-8a68-e6ff0ec90218/datastreams/ATTAC
 HMENT01)\nPower and Robinson\, "Premonoidal Categories and Notions of Com
 putation" (http://citeseerx.ist.psu.edu/viewdoc/download\;jsessionid=F2F5
 668CABD327B6716EF3A3E3826E04?doi=10.1.1.23.1140&rep=rep1&type=pdf) [一
 部]\nSelinger\, "Control Categories and Duality" (www.mathstat.dal.ca/~s
 elinger/papers/control.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/659999?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR