2011-01-01から1年間の記事一覧

ヒーロ

なんか共感したので、リンク http://ajiajiamano.at.webry.info/201102/article_4.html 八百長しちゃった人達は勝負師としては確かにクズだけど、だとしても責められません。例えば年収1200万→全然勝てない→幕下に落ちそう→家庭を持ってるとかだったら、八百…

地震

2011年3月11日昼:朝まで論文の手直しをしていて、3時間ほど寝て、大学に向かう。14時46分:日吉駅から矢上キャンパスに向かって歩いていた。地震発生。近くの駐車場に移動して、地震が過ぎ去るのをまつ。15時:矢上キャンパスに到着。校舎の中から人がぞろ…

一般相対性理論のゲージ理論的見方(6)

続きを書くつもりはなかったのだけど、 一般相対性理論のゲージ理論的見方(5) - hiroki_fの日記 リー微分と保存則について - hiroki_fの日記 について、納得いかないという意見があったので、要点だけをまとめて書いてみようと思う。細かい計算はなし。駅の…

告知:第一回「conceptual mathematics」勉強会

conceptual mathematicsを読む会です。 http://books.google.co.jp/books?id=o1tHw4W5MZQC (第二版が最近出たので、そちらのほうを買ってください。)初心者向けであり読みやすく、具体例に豊富で圏のイメージがつき、易しいにも関わらず重要なアイデアが詰ま…

青い鳥

青い鳥の話が気になって、調べてみました。絵本?(僕の記憶)だと、「チルチルとミチル兄妹が青い鳥を探しに旅に出るけど見つからず家に帰ると、鳥かごの中の鳥が実は青い鳥でした。兄妹は青い鳥を大切にして幸せに暮らしました。」という話だ。原作(劇)だと…

中華pad

論文を読むのにタブレットPCがあれば便利だと思って、android搭載のタブレットPCを探していた。タブレットPCでもっとも売れているのはi-padだ。これはよくできているが、Apple storeの縛りがきつくて、いろいろいじって遊びたいと思っている僕には向いていな…

任意の多様体に大域的に座標を与えることはできるか?(できても筋悪)

追記:m−hiyamaさんがきれいにまとめてくれました。 座標ってなーに? - 檜山正幸のキマイラ飼育記 同相ではない写像(埋込みや射影)で結ばれたユークリッド・数空間の点(スカラーの組)を「座標」と呼ぶのは別にかまわないでしょう。混乱や誤解を招かない…

一般相対性理論のゲージ理論的見方(5)

http://www.r.phys.nagoya-u.ac.jp/~sgoto/さんが丁寧な指摘を下さったので訂正しました。大筋には変更はないです。もちろん、間違いがあればそれは僕の不理解によるものです。追記、リー微分と保存則について - hiroki_fの日記と内容がかぶってます。2年前…

conceptual mathematics読書会への移行について

長く続いた層圏トポスも次回で最終回です。次に読む本を「conceptual mathematics」 http://books.google.co.jp/books?id=o1tHw4W5MZQC (第二版が最近出たので、そちらのほうを買ってください。) にしようかと思っています。この本を選んだ理由は、初心者向…

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

告知:第三十四回「層・圏・トポス 現代的集合像を求めて」勉強会日程:2月12日 土曜日 時間:12時から20時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:場所変更 25-501 暖房がききにくい部屋なので、温かい服装できてください。 テキスト 竹内…

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

告知:第三十三回「層・圏・トポス 現代的集合像を求めて」勉強会日程:1月29日 土曜日 時間:12時から20時 場所:慶應大学矢上キャンパス(日吉駅から徒歩7分) 部屋:14-211 テキスト 竹内外史 「層・圏・トポス—現代的集合像を求めて」 第四章 p176から 高階直…

熱力学、統計力学、情報理論

熱力学とは正月に実家に帰った時に親に質問された。「エネルギーEとエントロピーSは何が違うのか。」 この質問はこう言い換えても良い。「エネルギーEと温度Tは何が違うのか。」これは僕が小学生の時に抱いた疑問でもある。温度Tが高いと物体のもつ内部エネ…

圏論の本のおすすめ

良いよと薦められた圏論の本 Introduction to Higher-Order Categorical Logic:J. Lambek, P. J. Scott Categorical Logic and Type Theory:B. Jacobs Category Theory:Steve Awodey Conceptual Mathematics: F. William Lawvere, Stephen H. Schanuel Handb…