集金 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の日記 を行います。当日参加は可能です。宿泊の人は歯ブラシやタオルなどのアメニティを持参してください。

告知：カフェ・ミヤマ渋谷のパスタを食べてみる会 - 檜山正幸のキマイラ飼育記副作用の話が面白かった。量子系と古典系って(計算)と(状態)の関係にあるんじゃないかと夢想してみたり。パスタをまた食べたいです。

東工大のワークショップWorkshop on Quantum Foundations for Young Researchers - hiroki_fの日記で 僕:明日、層圏トポスだから、講演聞けないんだよね。前々から興味あるんだけど、研究内容教えてよ。 沙川氏:いいよ。慶應まで行くよ。 僕:まじで？ありが…

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

告知：「技術者／プログラマのためのモナドと圏論」セミナー（モニャドセミナー） 第4回（シリーズ最終回） - 檜山正幸のキマイラ飼育記双対の話が面白かった。何々の圏で見たときの双対が、何々に対応する分かりやすい何かではないよ。って話が面白かった。…

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

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

Topologyをどういう風に取り入れるのかと楽しみにしていた。 Topologyといっても、anyonのflipを紐の交差であらわしたり、∪を生成、∩を消滅としたり素朴な描象だった。 講師: Giacomo Marmorini（慶應義塾大学日吉物理学教室） 題目: 「Invitation to topolo…

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

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

最近、Haskellを勉強してみようかと思うときがある。関数型言語はこれが味噌なんだろう。白石さんを問い詰める会で聞いたことと、ヒヤマセミナースノーグローブとゲーデルとマトリックス - hiroki_fの日記で聞いたことのつながりが見えてきた。 なぜ関数プロ…

Workshop on Quantum Foundations for Young Researchers - From Mathematical Physics to Experimental Physics - に行ってきた。面白かった。人が集まる場所で議論をすると理解が早く進む。ボブクックのkindergaden quantum mechanicsの論文を知っている人…

日程: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番教室 テキスト 竹内外史 「層・圏・トポス―現代…

自己重力系のセミナーをやります。自己重力系について入門的な話をしてくれるそうです。連絡は、hiro.k.f{あっとv(^^)}ヂーメール.comまで。 「自己重力系の統計力学-ダークマターの乱流 〜自己重力系が示すスケーリング〜」6月24日(水) 5限 16：30-18：00 …

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

twitterをやったら負けてしまうような気がしてたけど、食わず嫌いなのは良くないと思い、2日前から始めてみた。https://twitter.com/hiroki_f

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

何気なくテレビをつけてたら、たけしのニッポンのミカタ!「ゴミ大国ニッポン!列島がごみで埋まる日」で、「ゴミの分別は無意味」ってことをやっていた。 「ゴミの分別は無意味とのこと」エネルギーの収支を考えてエコを考えるとのこと。 コストをかけてゴミ…

金曜日に本郷に行って、その帰りに渋谷に行った。ヤマダ電気があったので、なんとなく寄ってみたら、EeePCが19800円で売ってた。ちょうど、カバンのなかに入れられるパソコンをなんとなくほしいとおもっていたので、購入。amazonで価格を確認すると39800円だ…

東工大の輪講に聞きに行く。今日はシャノンエントロピーについて。エントロピー符号から話が入った。昔、電子工学科の友達からハフマン符号について教わっていたので、聞きやすかった。東工大は情報理論を物理科ではやらないそう(普通はそう)。他学科の科目…

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

ふと、積分をどう定義するかが気になって、杉浦光夫の「解析入門 (1)」の積分法の章を開いてみた。 そしたら、§1 積分の意味 一巻p208に しばしば積分は微分の逆演算として捉えられているが、これは限定的な意味でしか正しくない。特に多変数関数でが導関数f…

今日は東工大で量子情報幾何(Geometry of Quantum States: An Introduction to Quantum Entanglement)の輪講を聞きに行きました。 そのとき話題にでたのが、この本 「不等式 (シュプリンガー数学クラシックス)」は、元々はG.H. ハーディ、G. ポーヤとJ.E. リ…