朝から怠い身体を引きずって代数の授業に出る．いよいよ表現論に入った．群の表現の圏と群環係数の加群の圏が圏同値であることを証明して，表現と加群を自由に行き来できるようになった．かなりアクロバティックなことをやっているような気がして楽しい*1． …
調子が悪いと思いながら1限に出る．群が作用する確率分布族についての話ということで，非常に聞きやすい．ボチボチ抽象論になってくるとかなり理解しやすいと感じるのは，本当に理解しているのか，それとも具体例を欠いた浮ついたものなのかたまに不安になる…
朝はあさぜみ．確率過程論とその応用についてだったのだが，その確率過程論がガチガチの測度論ベースだったからか，理解が難航する．話者自身も「これだけで理解できる感じではないですね」と言っていたので，あまり悲観しないようにする． 演習はカルマンフ…
朝から確率論．今日の話は絶対可積分性などで，正直良くわからなかった．Vitaliの定理のあたりは証明を追うことさえつらかったが，教官いわく「これもう少し簡単にできるものを無理矢理難しくやってる」とのこと． ただ，各種概念や定義の自然さを落とし込め…
午前中は数学科．今日は(今日も？)殺伐とした評価が非常に多かった．つらいのだが，道具は使えないとしょうがない．私も食わず嫌いをしないように気をつける． 午後は輪講．楽しくわいわいするが，反射的に燃やそうとしていたらしく，教官に若干怖がられ*1，…
昨日あたりからの宣言通り，今日は特に進捗なし．外出して気分転換をした．チーズを食べに行った．山羊のチーズを出されたが，獣臭くもなく食べやすかった．ブルーチーズもうまうまだった． 帰ってから輪講の予習を少しだけした．教官がどれくらい燃やすつも…
休日恒例の朝寝坊をする． 明日に予定されていた情報科学セミナーのレジュメを書こうかと思ったのだが，昨日の代トポゼミの教室に自分のPCを忘れてきたという大失態に気付き，慌てて出家．こんな日に限って暑いし，災難だ．でも思っていたほどイライラはしな…
朝から代数学の授業に出る．有限生成アーベル群の基本定理の証明と，それによるジョルダン標準形の計算についてだった．具体例に即した感じで話をしていたので，割と手加減しているのだろうなあと思いながら話を聞く．今日の教授は体調が悪かったらしく，一…
朝起きてからレポートを少しずつ片付ける．束論は真面目に習ったことも，勉強したこともないせいで，異様に手間がかかる．離散構造を扱うのはどこかで必要になるのかもしれないが，必要になるまで勉強しない気がする．あまり好きになれない． 昼を食べてから…
起きた時が一番調子が悪かった．布団から2時間出られずにいたが，その後脱出． 正午から夜10時まで実験の進捗を産んだ．よくわからないなりに，ああでもないこうでもないと言い合いながら議論するのはやはりとても楽しい．今後も，例え機会が減ったとしても…
朝から起きて労働． 労働が済んだら昼を食べるついでに情報科学のセミナーの予習．次回の担当分の目処をつけるなど．整列順序集合が1階述語論理では記述できないことについての詳細を発表することになりそうだ．高階述語論理については一切の知識がないので…
週末は親戚の結婚式に出ていたので進捗ゼロ． 午前中は数学科のセミナーで，伊藤の公式の紹介．発表者の調子が悪そうだった．発表内容も殺伐とした評価を延々と続けていく感じだったので，食欲が刺激されなかったのだろうと勝手に解釈している．今のところ確…
睡眠不足が続いてつらかったので，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の一日だったが，いまいちよくわからないところが多い．統計学は初心者なのでしょうがないのだが，あんまりよくわかってないと院試で死にそうだし，何より色んな…
