ATND アテンド β PRODUCED BY RECRUIT

ログイン or 無料登録

CLTT読書会 第11回

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

CLTT読書会 概要

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

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

今回は 2.1節、2.2節の演習問題を適当にチョイスして解きます。
注意点:

  • 内容説明30分、問題演習1時間という感じで進めます。(※あくまで予定)
  • 30分で1から理解するのは大変なので、予習超オススメです。
  • 内容説明での説明係は立候補制です。希望者は右の参加登録もしくは下記Googleグループにて表明して下さい。(ただ聞くだけよりずっと理解が深まります)

連絡事項

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

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

  • このコメントは全員が閲覧、すべてのログインユーザーが投稿することができます
m-hiyama
m-hiyama - (2011/02/26 (土) 14:32)
予習しません。18:30までです。

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

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