ATND アテンド β PRODUCED BY RECRUIT

ログイン or 無料登録

CLTT読書会 第16回

日時 :
2011/07/16 (土) 17:00 ~ 20:00
定員 :
14人
会場 :
カフェミヤマ 渋谷東口駅前店 マイスペース3号室(東京都渋谷区渋谷3-19-1)
URL :
http://groups.google.co.jp/group/kenron-sesh/web/cltt読書会?pli=1
主催者 :
ハッシュタグ :
#clttr

CLTT読書会 概要

B.Jacobs “Categorical Logic and Type Theory” (CLTT, ISBN: 0-444-50853-8) をテキストにした読書会です。

要領の詳細はこちらを参照のこと。

今回は Proposition 2.6.9 から2章最後まで読み終わったあと Exercise祭り です。
2章の問題をひたすら解きます。

※ いつもより開始時間遅めです!!部屋も違うのでご注意!

連絡事項

フォローアップのため、参加者はGoogleグループ『圏論飲み会』(こちら)にも参加されることを強く推奨します。

※※※ 予約手続きの都合上、参加表明・キャンセルはなるべく7/12(火)までにお願いします ※※※

  • このコメントは全員が閲覧、すべてのログインユーザーが投稿することができます
masahiro.sakai
masahiro.sakai - (2011/07/05 (火) 22:03)
そういえば、7/16はRubyKaigiに参加しようか悩み中なのであった。
bonotake
bonotake - (2011/07/07 (木) 04:30)
あー、そんなイベントあったか。

コメントを投稿するには、ログインしてください。

掲載されるイベント情報は、利用者の皆様によりご提供いただくものであり、株式会社リクルートは本情報の正確性や内容について、一切保証するものではございません。詳しくは利用規約をご参照ください。