ATND アテンド β PRODUCED BY RECRUIT

ログイン or 無料登録

CLTT読書会 第8回

日時 :
2010/11/20 (土) 17:30 ~ 20:30
定員 :
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) をテキストにした読書会です。

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

今回は 1.9節、1.10節の演習問題を適当にチョイスして解きます。

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

連絡事項

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

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

  • このコメントは全員が閲覧、すべてのログインユーザーが投稿することができます
bonotake
bonotake - (2010/11/12 (金) 11:44)
時間変更しましたので、ご注意!
oskimura
oskimura - (2010/11/15 (月) 11:34)
Esperがあるので、豊福メソッドを適応します

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

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