お知らせ connpassアカウントのパスワードを設定することで、ソーシャル認証に依存しないログインも可能となります。詳しくは以下のヘルプをご確認ください。
- パスワードの設定
- ソーシャル認証ログインが出来なくなった場合の操作
イベント管理者様・グループ管理者様も上記ヘルプを 一括メッセージ機能 にて参加者・グループメンバーへ案内して、連絡がつかなくならないようご注意ください。

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

May

10

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

Organizing : jun0inoue

Registration info

参加枠1

Free

Attendees
1

Description

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

前回は Monadic Presentations of Lambda Terms Using Generalized Inductive Types という論文を読みました。次回は普遍代数の意味での代数構造をモナドとみなす方法と、モナドと随伴の対応関係について勉強します。

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

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

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

これまでに読んだもの:

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

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

jun0inoue

jun0inoue published ガチ勢になるための圏論勉強会 第五十回.

05/03/2015 22:42

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

Group

Ended

2015/05/10(Sun)

14:30
16:30

Registration Period
2015/05/03(Sun) 22:41 〜
2015/05/10(Sun) 16:30

Location

Google Hangouts

Google Hangouts

Organizer

Attendees(1)

arui

arui

ガチ勢になるための圏論勉強会 第五十回 に参加を申し込みました!

Attendees (1)