ATND アテンド β PRODUCED BY RECRUIT

ログイン or 無料登録

CLTT読書会 第26回

圏論マゾヒストの集い

日時 :
2012/06/30 (土) 17:00 ~ 20:00
定員 :
8人
会場 :
カフェミヤマ 渋谷東口駅前店 マイスペース1号室(東京都渋谷区渋谷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) をテキストにした読書会です。

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

今回は3.4.5 Lemma から,3.4節残り(余裕があれば3.5節) をやります。

連絡事項

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

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

  • このコメントは全員が閲覧、すべてのログインユーザが投稿することができます

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

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