創造情報学専攻を受けた話

本当に久しぶりの更新となる. 東京大学大学院情報理工学系研究科の院試を2回受ける事になったので,それについての詳しい情報を書き残しておこうと思う.念頭に置いている読者は,これから院試を受ける計数,とくに数理の方々であるが,それ以外の読者を排…

院試ゼミのために大学に向かい,控室のロッカーに入れてある同人誌にカバーを掛けた.その後院試ゼミでわちゃわちゃした.解ける問題を解けるだけちゃんと解くという,当たり前の結論を得た. 帰り道に雨に振られて大変だった.今日はどうも眠いのでここまで…

最適化と統計を少しだけ勉強した.あと「微分幾何学とゲージ理論」の最初の方を読んだ*1.SU(2)とS^3が微分同相なことの証明をつけた*2り,多様体の向き付けについて復習したが,こんなことをやっても院試の役には立たないのだ.つらいのう. 専門科目を1週…

今日も進捗はそんなにない.朝から晩までかなりダラダラと過ごしていた.フリゲやるの楽しい.同人誌読むの楽しい. 院試勉強っぽいものといえば,最適化まわりを少し勉強したことくらい.いい加減疲れた. ところで,来学期の講義にこういうものをみつけた…

朝からメロブに行ってコミケ4日目をしてきた.5000円ほど溶けたが気にしていない. あとはやっぱり院試勉強.いい加減やる気が失せてきたところで専門科目のストックが切れたので,すでに解いた問題を復習するなり,忘れた内容を思い出すなりしようかと思っ…

きょおは こみっくまーけっと に いきました いろんな ほんが うられてました たくさん かって かばんが いっぱいに なりました たのしかったです ----- 8時頃に出家して,9時くらいには会場についた.だいたい11時に入場だろうと踏んでいたらその通りだった…

今日も院試勉強だった.専門をだいたい2年分くらい解いたことにした.hoge*1の皮を被った最適化問題が出てきたりしたので辟易するなど*2. ゲーセンの方は思ったほど進捗が出なかった.調子が悪い時に無理して張り付くと,ろくでもない結果しか出てこないの…

起きてから直近の数理専門科目で詰まった計算をやり直してみたが,やっぱり上手く行かない.ある量の漸近分散を求めるのだが,直接計算をやりたくないのでcramer-rao不等式を使う迂回路を採ろうとするも,よく考えると有効推定量であることを別途示さないと…

朝6時位に目が醒めたので初代ドラクエを遊んでいたのだが,気付いたら二度寝していて昼前になっていた. 昼からは外で喫茶店とゲーセンの往復.某駅の近傍でほぼ1日を過ごした. 喫茶店では専門を1年分と共通を2年分*1くらい解いた.ついでに小説をちょっと…

今までどおり日記調の記事が良いというコメントを貰ったので日記調の記事をがんばる. 午前中は伸びていた.進捗なし.午後はSICPゼミ.久々だったのでlispの書き方をけろっと忘却していた*1.思い出しながら電気回路シミュレータを書いていたが,演習問題が…

なんだかサボりたくなったのでサボっていた.これからもサボりたい時にはサボる. サボっていた間に,期末試験や院試の勉強をした.自主ゼミは今のところだいたい凍結しているが,8学期にうまくいくかはわからない.院試は遡るごとに簡単になっている気がす…

朝はぼーっとしていた.休日の特権である.今日は家に一人だったので,珍しく自炊をした.とは言っても暑かったので,あまり工夫せずに昼はそうめんと,いなかから届いたメロン.だいぶ熟れていたので,とっとと食わないと大変なことになる. 昼からはコンビ…

朝は代数に出た.指標表を書くと表現がわかるよーという話になった.非常に簡単な例について計算をしたが,雰囲気はよくわかった気がする.リー群と表現論とかをそろそろ読めるのかもしれない. その後は代数のレポートの点検をしながら,学科民と話したり.…

朝は統計.ベイズの話を引き続き続けているのだが,教官が鬼のような積分計算を平気な顔して続けていくので途方に暮れる.統計の研究者は頭が良くなくても頑張ればなれる,と仰っていたが,なるほど確かにこれくらい頑張ればできる.気がする.私には厳しい.…

あさぜみと演習がなくなったので,本日から水曜日は全休.2日学校行って1日休むのは意外と良いかもしれない.ということで午前中はだいたい寝ていた. 昼から活動開始.14年度の共通数学と数理情報学の過去問をだいたい全部解いた.ところどころ*1解けていな…

朝は確率論に出た.数理は教員がいなくなって大変だよねぇという話で教官と盛り上がった.先生は計数数理に来ないんですかというと*1,いやいや大変だよねえ,とお茶を濁された.内容としては大数の弱法則とかBorel-Cantelliとか.名前がかっこいいという小…

何はともあれ今日のメインテーマはこれだろう. ということで紹介記事ができました.是非皆様ご一読下さい. 私自身はあまりアルゴリズム関係の開発はしておらず*1,主にRaspberry Piのセットアップまわりをこちゃこちゃとやっていた.これはこれで楽しかっ…

輪講のレジュメを進めた.本の通りにやっているだけなので,大幅にカットしてもいいかもしれない.夜は自分自身の社会性の低下を確認した.普段話さない人々に向けて「数(理工)学」を勉強していますと言ったところ「好きな数式は?」と聞かれ,内心とてもつ…

日が落ちるまで労働していた.夜は統計のレポートを書いて,TOEFLの形式に目を通して,輪講のレジュメを少しだけ進めた.そのほかに特に言うことはない.

代数の授業に微妙に寝坊する.指標の話を少しずつ始めた.指標表を書くと表現がわかるという話らしい.今学期の代数,私にとっては調度良い速度だが,2年前は可換環論までやったとのことなので,ぜひそこまで行って欲しかったと思わないでもない. 授業後は…

統計の授業に出る.今日からベイズ統計の話になった.一番最初にベイズ統計に触れたのは3年前期の機械学習の授業だったと思うが,右も左も全くわからなくて非常につらい思いをしたのを覚えている.あの頃は条件付き確率すらわかっていなくて*1非常に苦労した…

案の定飲み過ぎが少し響いてあさぜみに遅刻する.統計的因果推論の話だった.複数人が話題にしているので多分アツい分野なのだと思う.ちなみに今回であさぜみは最終回でした*1.ちゃんと理解したか怪しい物もけっこう多いけど,色々な話が聞けたので面白か…

最近ブログを溜めるようになってきて良くないとはわかっている.わかっているのだが… 朝は確率論.畳み込みや独立確率変数の構成をやった.いい加減復習しないとついていけなくなる,というのを何度繰り返しているかわからなくなってきた. 昼過ぎから幾何の…

週末は主に労働して,合間に輪講のレジュメを書いていた.レジュメをキチンと書いておくと,まごついても「レジュメよんどいてください」で済ませることができるので楽ではある.実際には何も見ないで発表できるのがいいのだが. ふっと思ったのだが,そろそ…

とにかく朝が辛い.Maschkeの定理とSchurの補題をやった.雪江代数の1巻の後半は読む気力が湧かなかったので読んでいなかったのだが,今読めば色々わかる気がしないでもないのでやってみようかと思う. 午後は実験発表会だった.某りきゃすいわく先生たちが…

相変わらず体調が微妙にすぐれない.1限の時間が一番つらかった.行列計算を追いかけるのは諦めた.3限まで間が空いたので,しばらく睡眠をとる.その後少し調子が良くなったので,原因の一部は睡眠不足だったようだ. 授業中に教官が雑談していたのが相変わ…

あさぜみに出る.高次元統計の話だった.データ数に対してパラメタ数が多すぎる場合の話で,計算機の世界との兼ね合いまで含めるとみんなが幸せになる方法はないという感じ.やっぱりP=NPを証明するしかない*1. 演習は暗号の話.なんとなく柏キャンパスの宣…

2限に出るつもりで家を出たのだが,行きの電車の中で講義のページを見てみると突然の休講アナウンスが出ていた.しょうがないので横道にそれまくってその辺の喫茶店でレポートを書きにかかる.カルマンフィルタのレポートを終わらせたが,やっぱりカルマンフ…

起きてみたら朝10時.数学科のセミナーの開始時刻だった.無理せず寝ていろという神様の助言だということにして,今週のセミナーは休む. 午後は輪講.これは出ないと単位が危うくなるのでちゃんと出る.Symplectic群の表現をしれっとやっていて,あれれと思…

今日は昼まで寝てから,一日中労働した.勉強の方の進捗はない.

朝から怠い身体を引きずって代数の授業に出る.いよいよ表現論に入った.群の表現の圏と群環係数の加群の圏が圏同値であることを証明して,表現と加群を自由に行き来できるようになった.かなりアクロバティックなことをやっているような気がして楽しい*1. …

調子が悪いと思いながら1限に出る.群が作用する確率分布族についての話ということで,非常に聞きやすい.ボチボチ抽象論になってくるとかなり理解しやすいと感じるのは,本当に理解しているのか,それとも具体例を欠いた浮ついたものなのかたまに不安になる…

朝はあさぜみ.確率過程論とその応用についてだったのだが,その確率過程論がガチガチの測度論ベースだったからか,理解が難航する.話者自身も「これだけで理解できる感じではないですね」と言っていたので,あまり悲観しないようにする. 演習はカルマンフ…

朝から確率論.今日の話は絶対可積分性などで,正直良くわからなかった.Vitaliの定理のあたりは証明を追うことさえつらかったが,教官いわく「これもう少し簡単にできるものを無理矢理難しくやってる」とのこと. ただ,各種概念や定義の自然さを落とし込め…

午前中は数学科.今日は(今日も?)殺伐とした評価が非常に多かった.つらいのだが,道具は使えないとしょうがない.私も食わず嫌いをしないように気をつける. 午後は輪講.楽しくわいわいするが,反射的に燃やそうとしていたらしく,教官に若干怖がられ*1,…

昨日あたりからの宣言通り,今日は特に進捗なし.外出して気分転換をした.チーズを食べに行った.山羊のチーズを出されたが,獣臭くもなく食べやすかった.ブルーチーズもうまうまだった. 帰ってから輪講の予習を少しだけした.教官がどれくらい燃やすつも…

休日恒例の朝寝坊をする. 明日に予定されていた情報科学セミナーのレジュメを書こうかと思ったのだが,昨日の代トポゼミの教室に自分のPCを忘れてきたという大失態に気付き,慌てて出家.こんな日に限って暑いし,災難だ.でも思っていたほどイライラはしな…

朝から代数学の授業に出る.有限生成アーベル群の基本定理の証明と,それによるジョルダン標準形の計算についてだった.具体例に即した感じで話をしていたので,割と手加減しているのだろうなあと思いながら話を聞く.今日の教授は体調が悪かったらしく,一…

朝起きてからレポートを少しずつ片付ける.束論は真面目に習ったことも,勉強したこともないせいで,異様に手間がかかる.離散構造を扱うのはどこかで必要になるのかもしれないが,必要になるまで勉強しない気がする.あまり好きになれない. 昼を食べてから…

起きた時が一番調子が悪かった.布団から2時間出られずにいたが,その後脱出. 正午から夜10時まで実験の進捗を産んだ.よくわからないなりに,ああでもないこうでもないと言い合いながら議論するのはやはりとても楽しい.今後も,例え機会が減ったとしても…

朝から起きて労働. 労働が済んだら昼を食べるついでに情報科学のセミナーの予習.次回の担当分の目処をつけるなど.整列順序集合が1階述語論理では記述できないことについての詳細を発表することになりそうだ.高階述語論理については一切の知識がないので…

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

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

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

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

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

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

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

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

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