日々の流転

λ. ミクロ経済Ⅰのレポートを提出... が、提出直前に「家主」を住宅を借りる側だと勘違いしていることに気づき焦る。やっぱ、レポートは眠い頭で書くもんじゃないな。で、焦って訂正したんだけど、この時は更に眠かったので、バグを追加してしまったっぽい。鬱だ。

λ. 24日の夢がO氏にウケてました。何が面白いのか僕には良くわからないけど。

λ. お昼は「トマトと野菜のパスタ」

λ. メディアセンターでノートパソコンを借りてみました。来週の研究会は家からパソコンを持ってくるのが面倒なので、ノート借りて発表しようと思ったので。

λ. ポップメディア史を見に行ったら、ホーキング青山という人がゲストだった。結構面白い。無線LANカードを借りるのを忘れててネットに接続できないので、ノートに入っていたPython 2の標準ライブラリを眺めながら話を聴いていた。

λ. 読書

「Devil May Cry - 最強デビルハンター」

講談社ゲームBOOKS

λ. 夢

• 火星に行って、奇妙な動植物を観察する夢。米粒から生える白鼠とか。
• フェンシングで決闘する夢。渡された剣(多分エペ)かボロボロで困ってしまう。

λ. 妖々夢の左右封印クリアのリプレイ

左右封印クリアのリプレイ見ました。すごすぎ。

λ. MARIPPY

おお、懐かしい。

λ. 某銀行の口座を解約

今日は会社がお休みだったので、ここ数年使っていなかった某銀行の口座を解約してきた。月末だったので30分以上かかった。

λ. SFCの紅葉

その後ふらふらっとSFCへ。 木々が紅葉していて綺麗だった。

4月にメディアセンターの図書利用券を申し込んだが、仮図書利用券と引き換えに図書利用券を受け取る。ただ、正直SFCでだけ入館&貸し出し出来るやつよりも、慶應の全メディアセンターで入館できるやつにした方が良かったな。なかなか定期的に来るのは難しいから、なかなか借りにくいんだよな。

萩野・服部研の研究室を覗いたら誰も居なかったので、古川研の研究室に少しお邪魔しにいき、それから向井先生のところへ。 今期の研究会では「インフレーションからビッグバンまで」と「伊藤 清の『確率過程』を読む」というのをやっていて、今日は後者の方の研究会だった。 丁度、Radon-Nikodym theorem というのをやっていたが、僕は測度論はさっぱりなので、さっぱりわからず。 なお、このラドンさんの名前を冠したラドン変換というのがあり、その逆変換がCT(Computed tomography)で使われているそうな。

それと、もう片方の研究会に関係してシュレーディンガーのジレンマと夢―確率過程と波動力学(長沢 正雄)という本を紹介していただいた。確率過程論をベースにした、量子論の非標準的な解釈だとか。

• 森北出版｜シュレーディンガーのジレンマと夢 - PDFによる見本と、森毅氏と川久保達之氏の推薦文あり

そのほかにも色々話す。非文とかdisplay logicとかビザンチン将軍問題 (Byzantine fault tolerance)とか。