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

最近、天使と悪魔を見てきた。ネタバレありなんで、読むときは反転させてね。こんなページを見つけた。原作の方がずっと面白いような気がする。(読んでないけどね。) 物理学者とともに読む 「天使と悪魔」の虚と実 50のポイントLHCが稼動したことで、早速映…

3ちゃんで、日常にひそむ数理曲線って番組がやってた。 MASAHIKO SATO | TOPICS OF TOPICS :: 『日常にひそむ数理曲線』 今週末、NHK教育で放送 双曲線とか放物線とかナンチャラ曲線とかの説明が視覚的に説明されてた。圏論は矢印を使って視覚的に証明をする…

モニャドセミナー2の資料やら補足やらナニヤラ - 檜山正幸のキマイラ飼育記圏の例をいっぱい見てきた。 http://www.chimaira.org/archive/slide090521-6s.pdfリダイレクトの警告 2009-05-21 - melpon日記 - HaskellもC++もまともに扱えないへたれのページ最…

学部一年生の時に、学園祭用の出し物に過去占いというものを作った。最初は凝ったものを作っていたけど、サークルの先輩が「こんなのはウケナイ」と言ったので、急遽つくったものだ。名前を入力するとそれを分析して生まれる前はどんな人物だったかを占う。 …

学部一年生の頃、コンピュータサークルで大学の学園祭に何を出すかで議論になったことがあった。一年生 O:Lan cableを売ろうぜ。 A:凝ったプログラムを書いて、適正検査みたいのをやろう。などなどの意見があった。 そこに先輩が来て、 先輩:ちょー、学園祭…

GOEMONを見てきた。結構面白かった。西洋化した織田軍や、要塞化した安土城、やたらとでかい大阪城。どうせなら、鉄で装甲した織田水軍をみせて欲しかった。(6隻で600隻もの毛利水軍の船団を壊滅させたらしい)忍者が強すぎ。

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

たぶんハードウェアがダメな模様。(OSは入れ替えてるし、HDDも定期的に新しくしている)我慢できなくなったら新しくするかも。たぶん、Ubuntuになる予定。Firefoxに見捨てられ、Ituneにはとっくに見捨てられ、Updateのできないソフトが増えたWindows2000はも…

最近いろんなことに手を出していて、興味があちらこちらに発散している。一応、それらの興味はつながってはいるのだけれど、その関連性までを理解するにはしばらく時間がかかりそう。集まって勉強すると理解が深まるし、楽しい。圏論:圏論勉強会の他に、「層…

5月9日にやりました。 告知：第一回「層・圏・トポス 現代的集合像を求めて」勉強会 - hiroki_fの日記11名の参加者がいて、1時半から8時過ぎまでみっちり読書しました。圏の章のp45からp55まで読みました。その後に、参加者8人で食事にいったのですけど、な…

2年前にやった実験。簡単にできるので、ぜひお試しあれ。化けの知識は高校生レベルなのでよくわからない。 2007年06月12日kikiに教えてもらったんだけど、テレビ番組で黒くなった銀を元に戻す方法として以下の方法が紹介されていたらしい。 用意するもの: 鍋…

レッドクリフを見た。 面白かった。曹操役の俳優の演技が光ってた。三国志演技の中では悪役だけど、為政者として優秀な部分があって、その微妙な感じが表現されて良かった。 曹操軍の水軍をまかされた武将に蔡瑁がいるが彼は謀殺されてしまう。 曹操は蔡瑁の…

日程:5月9日 土曜日 時間:13時から18時 場所:慶應大学矢上キャンパス創想館7F(日吉駅から徒歩7分) アクセスアクセス：[慶應義塾] 集合時間 12：55 集合場所 日吉駅 銀玉 東急横浜線の日吉駅の改札を出ると銀の玉のオブジェがあります。 http://pics.livedoor…

昨日は井の頭公園に行った。友人の企画した昼間から酒を飲んで遊ぶ会だ。彼女の人柄を反映して彼女の友人達も面白い人が多い。 http://blog.hokuohkurashi.com/?cid=17703普段は理工学部でむさいすばらしい友人に囲まれて研究しているので、なおさら女の子が…

「層、圏、トポス」の勉強会の場所が確定しました。 慶應大学の創想館7Fでやります。さて、「層、圏、トポス」の勉強会なのですが、「層、圏、トポス」は読みやすい本ではないです。竹内外史の本だから読んでみたいというのがあります。檜山さんが老婆心で文…

「層圏トポス勉強会」は思った以上に人が集まりそうな感じ。いまんとこ参加表明してくれたのは、僕を含めて8人。4人くらいだったら研究室を使おうかと思っていたけど、どこか場所を確保する必要がある。それはそうと、「白石さんを質問攻めにしようの会」が5…

最近何かを理解するのに、どのくらいの時間をかければ、(教科書に書いてあることで)どの程度のことが理解できるだろうという目安が立つようになった。人の読める言語でマトモな論理を得て出される結論であれば、理解するのはそんなに難しいことではない。で…

ヒヤマセミナーに行ったら、竹内外史の「層・圏・トポス―現代的集合像を求めて」の読書会をしようよと言う話になったので、計画を立ててみる。とりあえず、 日程:毎月 第二回と第四回の土曜日 初回は5月9日 土曜日 場所:日吉,または東京近郊(渋谷周辺) (未定…

昨日行ってきました。 2009-04-24 - 檜山正幸のキマイラ飼育記 みんなでしりとりをしたり、"ああ"と"あ”って何が違うの？みたいな話をしたり。 面白かったです。参考 モニャドセミナーには参加しなかったんだけど - bonotakeの日記 モニャドセミナーには参加…

最近、Pavia大のボスのダリアーノからメールが来た。関連エントリー Tokyo Quantum Meeting(圏論勉強会) - hiroki_fの日記オクスフォード大でボブクックが開いたミーティングにダリアーノが呼ばれて、議論を交わしたとのこと。セリンガーと共著論文を書いた…

こうらしい。 http://mathworld.wolfram.com/SpinorLieDerivative.html この本に書いてあるらしい。おもしろそう。Geometry, Spinors and Applications - Donal J. Hurley, Michel A. Vandyck - Google ブックス のp222に何か書いてある。

ベクトル場のリー微分は何を意味しているだろうか？ベクトル場のリー微分が一変数変換群φ_tの微分で与えられたことを考えるとその意味が分かる。 薄い格子状の線が写像φ_tで変形することを考える。変形後の線をグニャグニャした線で表す。ベクトル場が格子状…

エネルギー運動量テンソルの保存則について書こうと思ったのだけど、リー微分を説明してからじゃないと説明できない。ネーターの定理はまたに書く。とりあえず、エネルギー運動量テンソルの保存則まで書く。リー微分でネーターの定理と保存則について説明が…

忙しかった気がするのでまとめてみた。2月25日-28日 量子情報科学 春の勉強会＠東北大 量子情報 - hiroki_fの日記3月2日-4日 DEX-SMI Workshop on Quantum Statistical Inference＠NII http://www.math.is.tohoku.ac.jp/~hayashi/workshop/program-NII.html3…

吉岡書店の本が15パーセント引きだったので買う。群論と量子力学 ウィグナー 5775円 ヒルベルト空間のスピノル 2310円 相対論的量子場 日置善朗 2940円 割引 1670円 計9350円

読書感想文 無限の果てに何があるか―現代数学への招待 (知恵の森文庫) 集合と圏論は互いに相補的な関係にある。集合のほうがやや具体的で圏論は元と元の関係に注目する分抽象的だ。 この本はそんな観点では書いてないけど、上記の観点で読むとなんとなく圏論…

１．「迷ったら、人と違う方を選ぶ」 ２．「迷ったら、得しそう、ではなく、楽しそう、を選ぶ」 ３．「迷ったら、より難しそう（チャレンジング）な方を選ぶ」別に迷ってないけど*1。 昼ごはんのときに、競争が激しい分野があってさ みたいな話になったけど…

かめはめ波が出せるリストバンドが開発されたと聞いて、おそろしいものができたのだなと思っていたら、おもちゃだった。かめはめ波の威力について - hiroki_fの日記 人気テレビアニメ「ドラゴンボール」の主人公・孫悟空の必殺技「かめはめ波」の衝撃を体感…

28日から行くことに。今日は、ポスター資料をつくってます。 渦度のある相対論的完全流体の運動方程式の変分法による導出慶大理工 深川宏樹，藤谷洋平http://w4.gakkai-web.net/jps_search/2009sp/11.html30日 PS会場 30aPS 10:00〜12:00領域11ポスターセッ…