新機能 イベント主催者向け機能「重複参加の許可/禁止」機能と「グループブラックリスト」機能をリリースしました。詳しくは こちら

お知らせ ビープラウド、「90日で稼げるプログラマーに」オンライン学習サービス「PyQ(パイキュー)」を販売開始

このエントリーをはてなブックマークに追加

8月

2

ガチ勢になるための圏論勉強会 第六十回

主催 : jun0inoue

募集内容

参加枠1

無料

参加者数
0

イベントの説明

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

前回は Abramsky のゲーム意味論のノートを 3.2 節まで読みました。次は 3.3 節から 3 節最後までが目標です。

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

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

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

これまでに読んだもの:

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

資料 資料をもっと見る/編集する

フィード

jun0inoue

jun0inoueさんが資料をアップしました。

2015/08/03 18:51

jun0inoue

jun0inoue さんが ガチ勢になるための圏論勉強会 第六十回 を公開しました。

2015/07/26 18:29

ガチ勢になるための圏論勉強会 第六十回 を公開しました!

終了

2015/08/02(日)

14:30
16:30

募集期間
2015/07/26(日) 18:29 〜
2015/08/02(日) 16:30

会場

京大五十嵐研 / Google Hangouts

(http://www.kyoto-u.ac.jp/ja/access/campus/yoshida/map6r_y/ の68番)

京大五十嵐研 / Google Hangouts

管理者

参加者(0人)

まだ参加者はいません。

参加者一覧(0人)