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

2009年10月24日(土)に第十二回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。計5人で13時から20時まで行いました。p11-p16の前層、層を読みました。はじめにのところに面白いことが書いてあります。p9 直観論理はもっと人間的な論理です。も…

告知：第十二回「層・圏・トポス 現代的集合像を求めて」勉強会 日程:10月24日 土曜日 時間:13時から20時 待ち合わせ場所:日吉駅 12時40分 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:12棟209番教室 テキスト 竹内外史 「層・圏・トポス―現代的集…

10月10日に「第一回層圏トポス米田フェスティバル@矢上祭」を行いました。参加者は計15人(新規9人)でした。 お茶代は、6503円でした。合宿であまったお金6547円から出しました。関西からわざわざ(謎だらけの勉強会に)来てくれた人もいて、遠路はるばる来てい…

場所が不安な人は僕にメールください。携帯の連絡先を教えます。 hiro.k.f{あっとv(^^)}ヂーメール.com部屋25-601 日吉駅で待ち合わせの場合には、 9時40分に米田祭りと書いたボードを改札のところで掲げます。 第一回層圏トポス米田フェスティバル日程 2009…

米田祭りの部屋が決定しました。 告知：第一回層圏トポス米田フェスティバル@矢上祭 - hiroki_fの日記 25-601@矢上キャンパス。 待ち合わせ:日吉駅 9時40分 今回は新規の方が10人くらい来ます。迷子になりそうな人は遅刻しないでくださいね。 新規の方でメー…

2009年10月4日(日)に第十回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。計9人で13時から20時まで行いました。告知：第十回「層・圏・トポス 現代的集合像を求めて」勉強会 - hiroki_fの日記やっと圏の章が終わりました。米田祭りの後は層の…

告知：第十回「層・圏・トポス 現代的集合像を求めて」勉強会日程が10月4日13時開始に変更されました。 日程:10月4日 日曜日 時間:13時から20時 待ち合わせ場所:日吉駅 12時40分 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:12棟209番教室 テキス…

「第一回層圏トポス米田フェスティバル@矢上祭」 開催が決定しました。第一回層圏トポス米田フェスティバル(10月10日)@矢上祭 をやります。祭りでは主に復習にして、参加できない人に配慮するとともに新規参加者を迎える場所にしたいと思います。 第一回層圏…

2009年9月12日(土)に第九回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。計5人で13時から20時まで行いました。告知：第九回「層・圏・トポス 現代的集合像を求めて」勉強会 - hiroki_fの日記p83~p88随伴が終わり、巾に入りました。後一回や…

告知：第九回「層・圏・トポス 現代的集合像を求めて」勉強会サマータイムで開始時間は1時間遅れて13時からです。 日程:9月12日 土曜日 時間:13時から20時 待ち合わせ場所:日吉駅 12時40分 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:12棟209番教…

2009年8月22日(土)に第八回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。計8人で13時から20時まで行いました。(巡回にきた警備員がいつ終わるのですかと聞いてきました。)告知：第八回「層・圏・トポス 現代的集合像を求めて」勉強会 - hiro…

集金 33200 (宿泊 3000×9 当日参加 1000×6 ギリギリ参加 100×2) 出費 26653 (施設費用23350 お茶代 3303) 収支 6547次回に還元します。 一人当たり6347/15=423円とりすぎたみたいです。言い訳としては 1 当日参加が何人くるか分からなかった。(人数は少なく…

特殊相対論では、ある慣性系から別の慣性系への座標変換はローレンツ変換で与えられ、 次元が二次元(t,x)の場合は、 となる。四元速度をuとすると、四元速度の合成は、 となる。通常の速度は、で与えられる。速度の関係は、0≦θ 0-θ→v-θ'→v'‥‥ ||壁 光速 c=1 …

サマータイムで開始時間は1時間遅れて13時からです。 日程:8月22日 土曜日時間:13時から20時待ち合わせ場所:日吉駅 12時40分場所:慶應大学矢上キャンパス(日吉駅から徒歩7分)部屋:12棟209番教室テキスト竹内外史 「層・圏・トポス―現代的集合像を求めて」p81…

告知：第一回層圏トポス合宿 - hiroki_fの日記 を11-12日@代々木オリンピックセンターで行いました。参加者は17人(宿泊9人)でした。1.圏の定義 2.関手 3.limitとcolimit までやりました。一日目の飲み会は深夜一時まで、次の日は朝9時スタートでした。kuwata…

8月11日-12日＠代々木オリンピックセンターで 第一回層圏トポス合宿 告知：第一回層圏トポス合宿 - hiroki_fの日記 を行います。当日参加は可能です。宿泊の人は歯ブラシやタオルなどのアメニティを持参してください。

1,320円 20枚までの限定販売

2009年6月27日(土)に第六回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。計6人で12時から18時40分まで行いました。今回は随伴関手と普遍射でした。p78からp80までリンクhirataraさん 第六回「層・圏・トポス 現代的集合像を求めて」勉強会 -…

日程:7月25日 土曜日時間:12時から19時待ち合わせ場所:日吉駅 11時40分場所:慶應大学矢上キャンパス(日吉駅から徒歩7分)部屋:12棟209番教室テキスト竹内外史 「層・圏・トポス―現代的集合像を求めて」p79 第二章 圏の章 関手 随伴関手 新規参加者はhiro.k.f{…

2009年7月11日(土)に第四回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。計9人で12時から19時まで行いました。今回は随伴までした。随伴は物理では量子力学に出てくるのですが、圏論の立場から見ると随伴という概念がまた違ったものに見えま…

記念Tシャツ作ることにしました。(第一案です。)第一回層圏トポス合宿記念オリジナルＴシャツ 販売価格 ￥1,300(税込み)

日程:7月11日 土曜日 時間:12時から19時 待ち合わせ場所:日吉駅 11時40分 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:12棟209番教室 テキスト 竹内外史 「層・圏・トポス―現代的集合像を求めて」 p75 第二章 圏の章 関手 随伴関手から 新規参加者…

第一回層圏トポス合宿(8月11日-12日)@代々木オリンピックセンター をやります。合宿では主に復習にして、参加できない人に配慮するとともに新規参加者を迎える場所にしたいと思います。 第一回層圏トポス合宿(8月11日-12日)@代々木オリンピックセンター こん…

2009年6月27日(土)に第四回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。計9人で12時から19時20分まで行いました。今回は米田のレンマ復習が中心でした。 p69からp75までリンク hirataraさん 2009-06-29 第四回「層・圏・トポス 現代的集合…

前回より開始時間が一時間早まってます。また部屋が変わっています。 日程:6月27日 土曜日 時間:12時から19時 待ち合わせ場所:日吉駅 11時40分 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:12棟209番教室 テキスト 竹内外史 「層・圏・トポス―現代…

2009年6月13日(土)に第三回「層・圏・トポス 現代的集合像を求めて」勉強会を行いました。新たに3名の参加者を加え計14人で13時から19時半まで行いました。hirataraさんが層圏トポスのメーリングリストを作ってくれましたので、この勉強会に参加の方、もしく…

部屋を変えました。 日程:6月13日 土曜日 時間:13時から20時 待ち合わせ場所:日吉駅 12時40分 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:12棟208番教室 テキスト 竹内外史 「層・圏・トポス―現代的集合像を求めて」 p59 第二章 圏の章 limitとco…

日程:6月13日 土曜日 時間:13時から20時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 12棟208番教室 アクセス:矢上キャンパスセキリュティの関係で遅れてきた場合、部屋に入ることができません。 遅れそうな人は(hiro.k.f{あっとv(^^)}ヂーメール.com)…

新たに参加者を2名迎えて、5月24日慶應大学矢上キャンパスで13時から20時まで11名で勉強会をしました。 告知：第二回「層・圏・トポス 現代的集合像を求めて」勉強会 - hiroki_fの日記遅れてきた人が警備員につかまたっり、追い返されるなどのトラブルがあり…