[[2016/自主ゼミ]]
 
#contents

* sgl [#lbbd3f6f]

** 概要 [#e5cbd10e]
:代表者   | シャノン?
:形式     | 談話会
:日程     | 2015年8月より
:教室     | 2回生控え室
:参加人数 | おそらく2人+チューター1人

** 予定・報告 [#led85cb1]
-sheaves in geometry and logic はトポス理論の入門書です。


** 文献 / 関連項目 [#d42db692]
- sheaves in geometry and logic


** コメント欄 [#a663608a]

#comment


トップ   編集 差分 履歴 添付 複製 名前変更 リロード   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS