2009-11-01から1ヶ月間の記事一覧

報告:第十四回「層・圏・トポス  現代的集合像を求めて」勉強会

今回は12時から5時までやりました。参加者は7人でした。復習がメインだったのと時間が短かったので、新しいところは2ページぐらいでしょうか。もう少し進捗速度をあげたいのと思いますが、そうはいってもなるようにしかなりませんね。」otoさん 第14回 層・…

報告:第一回層圏トポス寄せ鍋

10人集まりました。10時間ほんとうに有意義な時間がすごせ楽しかったです。 otoさん 第14回 層・圏・トポス読書会 | Flickr

告知:第十四回「層・圏・トポス  現代的集合像を求めて」勉強会

日程:11月28日 土曜日 時間:12時から17時 待ち合わせ場所:日吉駅 11時40分 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:12棟208番教室 テキスト 竹内外史 「層・圏・トポス―現代的集合像を求めて」 p17 第一章 層の章

場の古典論

学部3年生と「場の古典論」を読んだ。15時から19時までやった。場の古典論を読みたいけど学部生だけでは読むのが難しいので見て欲しいと言われたのがきっかけだ。初版が1939年だからかなり古い。名著なのは間違いないのが、相対論で使ってる数学が古くて読み…

告知:第一回層圏トポス寄せ鍋

告知:第一回層圏トポス寄せ鍋 日程:11月21日 土曜日 時間:10時から20時30分 待ち合わせ場所:日吉駅 9時40分 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:11棟21番教室 こんにちは、圏論に興味ありませんか?圏論は、プログラム言語の背景として使…