andante

昨晩は類体論に入る前に付録のガロア理論のところを読んでいました。体の拡大の間にどんな体があるのかがガロア群の構造でわかるらしいです。でもガロア群の構造ってそんな簡単に出てきてくれるものなのかしら。

あとこないだ買って積んであった場量子の教科書をちょっと読み始めました。易しい本っぽいので助かります。学部二年くらいで出会いたかったな。クライン・ゴルドン方程式の非相対論極限をとると波動関数に静止エネルギー分の位相が乗る話とか、あと負エネルギー解が自然に逆電荷になって出てくる話とか、へえという感じ（これは自分で真面目に計算すれば自分で気づいた話かもしれないけれど）。

夜にボンヤリしていたら最近東京に戻ってきたfから鍋に誘われたのでごちそうになりました。彼の新居、家賃安いのに僕の部屋よりだいぶ広くてうらやましいです。やっぱりここは立地が不必要に良すぎるんだよなあ（しかも周辺施設は別段便利とも思わないし）。うーん、ただ会社が徒歩圏という条件を要請すると大差ない気もする。じゃあそれを諦めるか。まあ引っ越しの精神的コストが大きすぎるからするつもりはないけれど。でもなんかアホらしい気がしてきたのよね。うーん。
体調が万全ではないので終電で帰ってきました。慌ただしくてごめん、もっと元気になったらまた呼んで。

そういえば昨日だか一昨日だかでリジェクトされたアプリは説得が認められたらしくリリースされてました。やったね。社長はまだ拡散しないでと言っているので具体的なことは黙っておきます。

昨晩は分離拡大についてと、あと類体論の最初のところをやりました。有限分離拡大は単拡大（１つの元だけで書ける拡大？）なんだそうです。ほんまかいなーと思ったけど、たとえば$\Q$の４次拡大$\Q(\sqrt{2}, \sqrt{3})$は$\Q(\sqrt{2}+\sqrt{3})$とも書ける、みたいな（$\sqrt{2}+\sqrt{3}$の累乗に$\sqrt{2}$と$\sqrt{3}$の線型結合が現れるので足したり引いたりするとそれぞれが取れる）。へえ。

場量子はディラック方程式とディラック行列のあたりを読みました。このあたり、学部時代に二度くらい勉強しているはずなのだけど、どうにも新鮮でアレです。しかしあいかわらず易しい本で助かる。

具合はあいかわらずです。あいかわらず何かに感染している感覚がありつつ、まあ落ちついてはいる感じ。お腹の具合はずっと悪いけど。

学部時代の後半の僕の怠けっぷりは、中高時代のそれと同じようなものだったのだなあと思いました。結局、いかに楽をして定期試験を最低限の成績でパスするか、みたいな。お前は大学に行ってまでなにをやっておるんだと思いますが、それでそれなりのパフォーマンスを発揮したからこそ大学に入れたわけで、誤った成功体験だったのでしょう。そして致命的なのは大学院入試が大学入試ほどのモチベイションとして機能しなかったこと（そもそも行きたい所がついに思いつかなかった）で、仮にここで見栄を張ってIPMU行きたいですとか思っておれば、大学入試と同じように努力したのかもしれない。いや、これはいささか自惚れが過ぎる気はする。
まあ過去をこんな風に悔やんでも仕方がないのだけれど。

僕は単にうつ状態なのではないかとふと思いました。べつにものすごく気分が落ち込むとかそういうのではないけれど、なにもやる気になれないし外に出たくもないし、ただただ不安でずっと心が暗い。やる気になれないとか言いながら数学の勉強はしているけれど。
別に今すぐこれで困るというわけではないと思うけれど、このままではいけないような気がする。うーむ。

さて、ゴールデンウィークがついに終わります。なんか具合が悪くなっただけでいいことなかった気がする。明日は仕事の前に病院にゆくので早起きします。ついでに生活リズムを早めるってのはどうだろう？（やらない気しかしないな）