週末は親戚の結婚式に出ていたので進捗ゼロ． 午前中は数学科のセミナーで，伊藤の公式の紹介．発表者の調子が悪そうだった．発表内容も殺伐とした評価を延々と続けていく感じだったので，食欲が刺激されなかったのだろうと勝手に解釈している．今のところ確…

睡眠不足が続いてつらかったので，1限を休むつもりで自然に目が醒めるまで寝る．結果1限は休んだ．起きてすぐレジュメを書く． だらだらレジュメを書きつつ，時間を見て実験に向かう．予定を変更した結果，このままだと間に合わないことがはっきりしたので，…

1限に出る．相変わらず早めの板書速度である．共変推定量についての話をいくつかやった． 教官の雑談が面白かった．「この人は証明が雑でさぁ，論文出すのに1年かかっちゃったの，困っちゃうよね」「竹内啓先生がセミナーに来ると空気がピリッてするんだよね…

朝はあさぜみ．科学コミュニケーションが失敗する様子と，人間が壊れていく様子を観察した．大腸菌がどこに行ったかは忘れた． 昼の授業前に神保町まで散歩に出かける*1．穴場っぽい休憩所を見つけて嬉しい．が，数学書があまりないので，自分で調達しよう．…

さぼっていたものはしょうがないので，過去日付でまじめに書く． 少し遅く起きて，授業に出る．前回までで測度論のセッティングが終わったので，今回から確率論に入った．pi-lambda定理の応用をしれっと使われたのだが，きちんと行間をうめられていないので…

今日は睡眠不足で大変だった．昨日言った通り，輪講の準備中にドツボにはまって深夜まで格闘する羽目になったのがその原因である*1． とりあえず眠い目をこすって数学科のセミナーに出る．今日は先々週書き下したvector-valued PDEに関して，十分小さな時間…

昨日の夜は労働の傍ら輪講のレジュメを書いていたらドツボにはまって死んだ．さて上手く行くだろうか．レジュメを書きながらホットカフェオレを飲み過ぎて胃の調子が悪い．艦これアーケードは未だに大行列だし，いつになったら空いて遊べるようになるだろう…

昨日さぼったので，昨日の分から書く． 金曜の朝は代数．中国剰余定理などをやった．忘れていたことが幾つかあって，思い出すのには非常に役に立った．次回から単因子論に入る．数学科の4倍位のスピードで進んでいるとのことだが，その割にはそんなに地獄感…

某氏が書け書けと煽ってくるので，期待を裏切るように書かないで寝ても良かったのだが普通に書く． 朝と昼は授業に出た．最近は不偏推定を中心に授業が進んでいる．今日はノンパラの話とか情報量不等式の話とかが出た．教員が黒板でものすごい勢いで計算する…

朝はあさぜみで喋った．函数解析が数理工学にどのように使えるかという話で，準備期間の割にはちゃんと喋れたような気がする．大抵の場合において，何かが「存在しない」ことを保証し，探しに行くのは無駄だから他のことをやれという指針を与えている感じが…

朝はいきなり統計のレポートを書いた．計算が重くて大変疲れるが，統計の研究者たちはみんなこういう計算をゴリゴリやれるということなのだろう． 2限に出た．直積測度の構成を終えた．Fubiniの定理を - 定理によって鮮やかに証明したのは素朴に感動した．そ…

きょうは早寝して，明日の朝に書こうと思っていたのだが，某氏に煽られたので今書く． 午前中は数学科のセミナー．伊藤積分の定義が前回終わり，今回は伊藤積分の簡単な性質と，確率微分方程式の解の存在と一意性についてやった．統計学関係のことに慣れてき…

佐久間結衣「コンプレックス・エイジ」を読んだ．個人的に大当たりの作品だった．以下書評を述べる． 主人公の凪はコスプレ大好きな女性．Wikipediaいわくは，「26歳のコスプレイヤーの女性を主人公に、コスプレという趣味に生きることの意味と困難、喜びを…

昼は五月祭の準備．夜は位相セミナーの発表順だった．今回のセミナーは失敗した．炎上こそしなかったが，レジュメにかかりっきりになっていて，口でしゃべる内容をきちんと吟味できていなかった．数が多すぎたのはあるが，最近は説明の練習を怠っていたよう…

一日の大半が授業とレジュメ書きでふっとんだ． 統計を勉強しないとマズイとか言いながら今学期の授業で勉強しているのは良いのだが，とにかく計算が重くて疲れる．あと，ある程度計算が重くなると，自分が間違っているのではないかと危惧してそこで計算を止…

朝はあさごはんセミナー．グレブナー基底が統計に役に立つという話だった．グレブナー基底の定義自体はまぁ理解できるということ自体収穫だったし，理論的な見通しを与えるといういつものご利益も聞いていて面白かった．相変わらず代数の話はわかるが統計の…

昨日のブログを少し訂正した．相変わらず確率論の話は苦手である． 午前は授業．測度論における積分の定義と，各種定理(DCT，MCT，Fatou)の証明が済んだ．授業中に「はさみうちの原理とか懐かしいよね，幼稚園でやったっけ」という旨の発言が飛び出し，世の…

昨日はばたばたしていた．勉強の進捗はない．前後でやっていたのはレポートと労働．五月祭に向けて頑張らないといけない． きょうの午前中は数学科でセミナー．多様体上の任意の写像がharmonic mapとホモトピックという命題を示すために，多様体上の函数に関…

今日はそこまで進捗がない． LehmannのTheory of Point Estimationをだらだら読んでいただけ*1の一日だったが，いまいちよくわからないところが多い．統計学は初心者なのでしょうがないのだが，あんまりよくわかってないと院試で死にそうだし，何より色んな…

午前は授業，午後は実験．玲音ちゃんがかわいい．そのあと代トポセミナー．いわゆるdiagram chaseをきちんとやった経験が乏しい． 代トポをやる時の直接計算は大抵とてつもなくつらい，という話が出ているが，そのあたりの直接計算を死ぬほどやっている本を…

昨日の夜中に雪江代数を読みふけったせいか，寝覚めは最悪．午前中はほぼ何もできなかった． 恥ずかしながら雪江代数の2巻はちゃんと読んだことがない．それ以外の代数の教科書もちゃんとやったことがない．つまり幾何をやりたいとかいっていながら，加群の…

午前中は少しだけ輪講のレジュメを書いた．たぶん発表に1時間も使うような内容ではない． 午後は勉強せずに労働した． 夜も輪講のレジュメの準備に溶けた．直接計算がつらく，内容もないのが手伝ってダラダラやっていたせいだが，今日買った「やが君」のせい…

はてなも使ってみて調子が良さそうな方を選ぶことにする． 午前中はロジックセミナーをした．読んでいる本は小野本． www.amazon.co.jp プログラムの数理の教科書になっていたやつだけど，まじめに読んだことは一度もないからちょうどいい． 今日はわたしの…