diary - Untitled

臨時トピック:事業仕分けについて

■パブリックコメント

最近流行りの事業仕分けについて、文部科学省がパブリックコメントを募集しています。このままだと学振やグローバルCOEが危ないですから、この辺の予算が削られて困る人は、是非コメントを送りましょう。「長い文章を送るのが面倒」だと思う人もいるでしょうが、1,2行の短い意見でも構いません。送らないのと送るのとでは、天と地ほどの差があります。もちろん言いたいことがあるなら色々書いて送って下さい。

かつて田中角栄は「政治は数、数は力」と言いました。残念なことに学問に重きを置いてくれない人が一定数いるようですから、こちらも数で応戦しましょう。言うまでも無く予算削減を主張する意見に対して耳を塞ぐべきではなく、真摯に受け止めて議論することは大事かと思います。が、予算が削られたら文字通り命に関わってくるので、まずは予算を打ち切ろうとする流れを食い止めることが先決でしょう。

11月29日

雑用をこなしました。今晩は、H.Hです。

■実験

カーテンを全開にして寝て、何時に目が覚めるか実験してみました。そしたら2時過ぎに寝て、11時過ぎに目が覚めました。ただ、布団の外が寒かったので、12時ぐらいまで布団の中でゆっくりしてしまいました…。

■図書館

地元の図書館に行き、本の貸し出しを延長する手続きを取りました。

■買い物

スーパーに買い物に行きました。親に頼まれた物を買った他、院生室に運び込む食べ物を調達しました。他にも色々と物色はしましたが、あまり面白いものはありませんでした。

■その他

家にいる間は、フルートの練習をしたり数学の勉強をしたりしました。

11月28日

鯛焼きを食べました。今晩は、H.Hです。

■鯛焼き

五反田にあるダ・カーポというお店に、鯛焼きを食べに行きました。普通の「鯛焼き」に加え、「鯛玉」「鯛うどん」という変わり種鯛焼きを頼み、計3つの鯛焼きを食べました。今までに食べたことのない鯛焼きで、とてもおいしかったです。また、普通の鯛焼きにも「仕掛け」がしてあります。この仕掛けは食べてからのお楽しみなので、絶対にネタバレはしません。気になる人は、是非お店に行ってみて下さいね。

■キャンパスツアー

上野公園をぶらぶらと散歩してから、本郷に行き、キャンパスツアーをしました。ホーム・カミング・デイはありましたが、通常ツアーをしたのはほぼ1ヶ月振りのことです。久しぶりだった上に今日は参加者の方が大勢いらして下さったので、ちょっと疲れました。

ツアー後は、広報センターでDgさんとKtさんと暫くおしゃべりをしました。そしたら、Ktさんの実家が酒蔵を営んでいるという話を教えて貰いました。ちゃんと酒蔵の名前も覚えたので、これから日本酒のあるお店に行くときは、Ktさんの家のお酒があるかどうかに注意してみようと思います。

■レッスン

Bachのフルートソナタ 変ホ長調を先生に見ていただきました。第1楽章が一段落し、来週は第2楽章と第3楽章を見ていただくことになりました。

11月27日

割と暖かい日でしたね。今晩は、H.Hです。

■日記更新について

最近滞ってしまいましたが、これは「セミナーの準備が間に合わない」+「寝落ち」+「日記書いてる途中にPCが飛んだ」という様々な事情が重なってしまったのが原因です。流石に土曜日のうちにはUPしようと思いますので、今暫くお待ち下さい…。

■よく寝た

日付が変わる頃「もういいや、寝よう」と思って寝ました。6時半頃に一度起き、楽しいムーミン一家を見たのですが、そこから起き上がることは無く再び寝てしまいました。そして11時まで寝てしまいました。

■大学へ

いつも通りスーパーで飲み物を買ってから、大学に行きました。ついでにスーパーでお弁当も一緒に買ってしまいました。

■3限 群構造論

transfer mapを定義し、群Gの有限指数部分群Gを考えるときは、res/corとtransferの合成が#G/H倍写像になることを証明しました。また、位相空間X上の局所系とその被覆空間、基本群との関係を表すShapiroの補題を証明しました。

■4限 計算数学II

Sk君にGauß法を用いたMahler測度の計算の実装を続けてもらいました。が、途中でバグ取りに大変苦労しました。今後の方針としてはまず精度を良くしたいのですが、何か良い方法は無いものでしょうか。

■5限 社会数理特別講義I

リスク予測をいかに上手にやるかという話でした。モンテカルロ法でシナリオをいくつも準備して計算するのは大変時間がかかる方法ですが、そういうシナリオを使わなくても簡単にリスクを分析できる手法があるということで、それの説明を受けました。かなりテクニカルな話で、面白かったです。

■それから

機構に行って音楽室を借り、フルートの練習をしました。また、練習後に暫くOd先生ともっきょ君とお話をしました。何でもOd先生の授業にWikipediaコピペ厨がいたらしく、先生は公衆の面前でコピペ厨をさらしあげ、しかもフルボッコにしたんだそうです。流石は大鬼、怖いですね。＞＜

11月26日

何故か大変疲れました。今晩は、H.Hです。

■2限 代数解析学

佐藤超関数に対するFBI変換を定義した後、層の話が出てきて、ちょっと心の中が盛り上がりました。どうも関数の層と同じノリで佐藤超関数の層を定義できるみたいです。

■昼休み

初年次活動センターに行って、お昼ご飯を食べました。

■3限 組合せ論

skew semi-standart tableauをLittlewood-Richardson tableauとsemi-standard tableauに対応させる全単射の構成がついに完成しました。長かったです。

■セミナー

先週失敗した定理の証明を完結させました。それから3限の授業に出てきたクリスタルの話をし、Young図形にgood cellを付けたり取ったりする話と関連があるはずだという話をしました。が、まだ自分でもどういう関係があるのか良く分かっていないので、色々調べてみようと思います。

■フルート

セミナー後、音楽室を借りてフルートの練習をしました。いつものようにBachのフルートソナタ 変ホ長調を吹いて癒されました。

■システム相談員

相談員勤務をしました。ここ最近相談員をしていても質問が来ないのでしょんぼりしていたのですが、今日は久しぶりに質問が3件も来て、大活躍しました。勤務した甲斐があったというものです。

それから、勤務中に色々知り合いが来ました。Unknown君に会ったり、同じ奨学会のMwさんに会ったりもしました。

■それから

院生室に戻り、お茶を飲んでまったりしました。

11月25日

monae君のセミナーに突撃しました。今晩は、H.Hです。

■2限 基礎数理特別講義IV

先週の突然の休講は、先生の娘さんが新型インフルエンザにかかったからだったそうです。

今日は前回にやった頂点代数の構成を復習した後、頂点代数の関連で必要となるアファインKac-Moody Lie環の知識を復習しました。

■昼休み

いつもとは違うお店でお弁当を買いました。そしたら注文してからお弁当を作り始めてくれたので、いつもより暖かい弁当が出てきました。その代わりに時間は結構かかってしまいましたが。次は注文するタイミングを考えようと思います。

■3限 離散数理学概論

strongly admissible irreducible weight moduleのannihilatorをA_n型の場合について調べるということをしました。そうすると組合せ論的な話になり、Robinson-Schensted対応が現れたりしました。

■セミナー

monae君のセミナーに参加させてもらい、去年お世話になったM先生による、Lustigの標準基底の理論に関するお話を聞きました。monae君から小耳に挟んだ話によると、一般の場合のLustigの議論は大変複雑で難しそうなものです。が、ADE型の場合については割と簡単に出来るということで、今日はそのお話の前半部分を伺いました。

■機構にて

音楽室を借り、小一時間フルートの練習をしました。

■TSG

分科会に参加し、適当にTSGの人達と戯れました。それからみんなで山手に行き、ラーメンを食べました。

山手に向かう途中、Cageさんが「自分はいつまでも若いと思ってたけど、この前卒業した先輩方と一緒にマクドナルドに行って、『もうこっち側の人間になってしまったんだなあ』と感じた」と言っていました。そこで「高1の頃を思い出して下さい。あれってもう8年前のことなんですよ。」とトドメを刺しました。

■それから

院生室に帰り、セミナーの勉強をしたりしました。

11月24日

休講につきゆっくり大学に行きました。今晩は、H.Hです。

■朝

2限が休講だったので、家でゆっくり寝ました。確か2時過ぎに寝て、起きたのが11時でした。駒場祭の疲れが大分癒えました。

■大学にて

3限は講義がありましたが、院生室に籠もって、good cellを足したり引いたりしてクリスタルグラフを描くためのプログラムを書いてました。

■セミナー

Idさんのセミナーを聞きました。行列模型やSchur測度での積分、それとshifted Schur関数の関係についてのお話でした。

■それから

院生室に帰り、プログラムを完成させました。これでもうYoung図形を使ったクリスタルグラフは描き放題です。早速いくつかの例について、クリスタルグラフを描いてみました。

そういえば、monae君が沖縄土産のちんすこうを院生室に持ってきてくれていたので、プログラムを組んでいる最中に1個いただきました。ごちそうさまです。

■機構にて

音楽室を借り、フルートの練習をしました。Bachのフルートソナタ 変ホ長調の癒し力がやばいです。今日も大変心が安らぎました。

■それから

再び院生室に帰り、紅茶を飲みながら仕事をしたり数学をしたりしました。

11月23日

駒場祭&高木レクチャー3日目でした。今晩は、H.Hです。

■高木レクチャー

朝9:30からの講演を聴きました。講演者のHopkins氏による定理の証明のアイデアについての話でした。抽象的なコホモロジー理論を使い、Detection, Periodicity, Gapという3つの定理から形式的に証明されるということで、K理論などとも似ている面があるんだそうです。

■それから

駒場祭に戻ろうと思ったらBlacky君が院生室に来るという連絡を受けたので、彼を待ち、昨日や一昨日と同様に俺の机を貸しました。さらに彼にBayes理論がよく分からないと言われたので、スパム対策のBayesian フィルターを例に機械学習の説明をしました。Blacky君がやろうとしていたのは、画像を人に与えた時に注視する場所を推定するということでした。機械に学習をさせて精度を高めるというところでBayesの定理を使うのでしょう。具体的にどう使うのかは知らないので、残りの部分は彼に任せました。

■昼

両親が駒場に来たので会い、TSGの所まで誘導しました。が、そもそも親はゲームをしないので、割とすぐに消えてしまいました。

それからTdさんと合流し、暫く一緒に駒場祭を見て回りました。おしるこを食べた後、フォルクローレの演奏をしていたId君を暫く眺め、教育心理の人達がやっていた「LQ診断」というものをやってみました。恋愛力テストみたいなものです。ちょうどキャンパスツアーのKdさんがいたので話を聞いたところ「恋愛心理学」というジャンルがあるらしく、その分野の本を参考にして調査票を作ったんだとか。ちょっと忙しそうにしてたので細かい話は聞けませんでしたが、今度キャンパスツアーの集まりの時にでも、また詳しく聞いてみようと思います。

さらにその後銀杏並木を歩いていたら、東大ガイダンスのTdさんにトラップされて、ドーナツを買いました。何のサークルの屋台かと思ったら、環境三四郎のお店でした。何故か俺の知り合いには「実は環境三四郎の中の人だった」という人が多いのですが、一体どうしてなのか不思議になります。

■お買い物

Tdさんと別れた後、夏学期にTAとして担当していた基礎演習のクラスの屋台に行き、焼きそばとドーナツを買いました。そのとき、Odさんに会うことが出来ました。暫く前に彼女に子供が出来たという噂を聞き度肝を抜かれたのですが、その話を聞いてから彼女に会う機会がなく、今日になってやっとお祝いを言うことができました。もう外見で分かるぐらい彼女のお腹は大きくなっていて、話を聞いたら、赤ちゃんがお腹を蹴ったりするのが分かるみたいです。大学に通いながらだと大変でしょうが、無事に子供を産んでくれることに期待しています。

■TSGにて

今日もまた多くのお客さんがいらっしゃいました。母校の後輩のHo君や、キャンパスツアーのNjさん、CSのHj君とKt君、渋沢君のお兄さんなどが訊ねてきて下さいました。どうもありがとうございます。

何故かhole君が代数と幾何の勉強をしていて、彼に分からないとの質問を受けたので、展示中であることを無視してJordan標準形の話をしました。計算の仕方を話したり、一般固有空間分解のありがたみについて簡単な説明をしました。一体TSGにいるのに何をしているんだろう。

それから、necocen君の作ったkur-kurというゲームのソルバーとなったお客様が現れました。ゲームを極めてしまい、得点が無制限に増える状況になっていました。しかもそのお客様は去年もTSGの展示にいらして下さり、ゲームでハイスコアを記録したんだとか。嬉しい限りです。来年もまたお待ちしています。

■お片付けなど

展示閉鎖後、部屋の片付けをしました。それから打ち上げまで暫く時間があったので、部屋で勝手にフルートの練習をしました。

駒場祭委員会のチェックを受けてから、居合わせたみんなにちょっとだけ院生室を見せました。南向きの4階の部屋の素晴らしさというものをとくと見せつけておきました。

■打ち上げ

渋谷の鍋ぞうという店で打ち上げをしました。皆さんお疲れ様でした。打ち上げでは駒場祭に関連した賞の発表、次期執行部の発表が行われました。大変でしょうが引き継ぎを上手くやって欲しいと思います。

打ち上げの最中、Cageさんがみるみるうちに壊れていきました。今日の昼頃に「Twitterに『電車なう』って書こうとしたけど、『なう』は気持ち悪いと思ってやめた」と言っていたのですが、それがいつの間にか、Twitterに『満腹なう』と書き込むようになっていました。それを指摘したら「いや、『なう』が気持ち悪いんじゃなくて、Twitterの世界を現実世界に持ち出すのが気持ち悪いんだよ」とのお返事を貰いました。しかし数分後、そこにはさらりと「席替えなう」と言うCageさんの姿が。しかもそれを指摘したら「いいんだよ、現実なんてTwitterみたいなもんだし」とまで言い出しました。また、「数学科爆発しろ」「情報科学科爆発しろ」とも言っていました。やばいです。中毒乙ってレベルじゃないです。Cageさん終了のお知らせでした。

1次会の後はセンター街のマクドナルドに入り、Cageさん、まんさくさん、としさん、roppyさんと一緒に小一時間おしゃべりをしました。特に、社会人の生活について色々な話を聞かせていただきました。また、マクドナルドに入った時、偶然母校の後輩のKm君に出くわしました。びっくりしました。

11月22日

駒場祭&高木レクチャー2日目でした。今晩は、H.Hです。

■火事

行きに地元の駅で電車に乗ったら、商店街の方から煙が上がっているのが見えました。帰ってニュースを調べたら、やはり火事があったそうです。怖い怖い…。亡くなられた方もいたそうです。ご冥福をお祈りします。

■駒場祭その1: 午前中

頑張って朝早く行こうとしましたが、体力が持たなかったので、9時半過ぎにTSGに行きました。そしてちょっとだけ展示のセットアップを手伝って、東大ガイダンスの方に行きました。TSGerのみんなには申し訳ないです。

東大ガイダンスの方では、若い高校1,2年生と色々話をしました。初めのうちは大学(院)生が余っていたのですが、最後の方は高校生が大勢来てしまったため、1人で2,3人を相手にしました。考えてみれば、高1ってもう7年前の出来事なんですね。時が経つのは早いものです。

■駒場祭その2: 昼

去年の玉原高校生数学セミナーに来ていたHm君が駒場祭に遊びに来ていたので、彼とお友達のTn君と合流し、軽く昼ご飯を食べました。それからさらになおや君と合流し、8号館でやっていた数学科の展示「無限次☆計画」に突撃してきました。

まだ貰った冊子を細かく眺めてはいないのですが、色んな意味ですごい(というか酷い)企画でした。2次元の男女が見つめ合ってる絵に「おおホメオ、あなたはどうしてホメオなの」「compact空間からHausdorff空間への連続な全単射だからです」って台詞がついていたり。貰った冊子は院生室の黒板に貼り付けておいたので、気になる方は読みに来て下さい。

■駒場祭その3: 午後

Hm君とTn君をTSGに引き込んだ後、暫くしてから今度はOuさんの居るフルート同好会のコンサートを聴きに行きました。奏者は結構大勢いて、聞いていると初心者の人から玄人まで色々な人がいました。上手な人はとても上手でした。

それから、もっきょ君が司会を務める立花隆氏の講演会を聴きに行きました。が、残念なことに高木レクチャーのために途中で脱出せねばならず、初めの30分ちょっとしか講演会を聴けませんでした。しかも初めの30分の間、立花氏の話は自らのガンの話、それもガン細胞が指数増加することが怖いという話しかされませんでした。指数オーダーの威力は普段から身に染みて実感していることですから、正直、今更聴いても何も面白いことはありません。結果として、立花氏が面白いことをおっしゃる前のつまらない話だけ聴いて帰るという、残念なことになってしまいました。

そういえば講演会のタイトルは「二十歳の君たちへ」だったのですが、冒頭で「耳をすませば」のシーンが画面に映し出されて、吹きそうになりました。実は雫の父親を担当した声優(?)が立花隆だったのです。この演出はとてもよかったと思います。が、いつ聴いても素人っぽさが目立ちます。本業が声優じゃないから、当たり前ではありますが…。

そして講演会後、大学内を歩いていたら母校の後輩のHk君に会いました。部活のOB会とかにも来ないので彼の近況をさっぱり知らなかったのですが、いつの間にか理Iに来ていたそうです。しかも話を色々聞いたら、なんとゼナ君がTAを担当する数学IBのクラスにいたことが分かりました。これは色々面白いことが起こりそうです。

■高木レクチャー

噂の森ドリーム空間というものについての話を聞きました。終始代数幾何の話が続いていたのでほとんど分かりませんでしたが、どうもかなりたちの良い空間のようです。それにしても、「ドリーム」という名称はどうにかならなかったんでしょうか。

■夜

2日目の展示終了語、TSGの人達で山手にラーメンを食べに行きました。流石に駒場祭期間中なだけあって、山手はいつもよりかなり混んでいました。

それから家に帰ろうかとも思ったのですが、家に帰ったら間違いなく寝てしまって一日が終了するので、院生室に帰って少し勉強をしました。

11月21日

駒場祭&高木レクチャー初日でした。今晩は、H.Hです。

■言い忘れてましたが

明後日まで駒場祭をやっています。お暇な方は是非いらして下さい。俺は基本的にはTSGの展示にいるはずですが、色々な場所をふらついてる可能性もあるので、いらっしゃる際には携帯の方に連絡を下さい。

■駒場祭

9時半頃顔を出したら、なんとhole君、park君、necocen君しか居ませんでした。絶望的なまでに人(と展示用ノートPC)が足りません。これはひどい。ひとまず居合わせた人たちで準備をし、10:30過ぎに展示を開始しました。

展示のセットアップ中に、.NET FrameworkやDirectXのバージョンの問題に悩まされました。これらのプログラムのインストーラはネットからファイルをダウンロードしようとするので、ネット環境の無い場所でインストールをするには、予め全てのファイルを落としておく必要があります。事前に必要なファイル類をリストアップし、ひとまとめにしてUSBメモリに入れておくべきでした。来年は気をつけたいと思います。

■量子論理ゼミ

大分遅れて量子論理ゼミのほうに行ったら、何故かSk君とequa'君しか居ませんでした。どうしたことかと思いきや、残りの3人はゼミの曜日を勘違いしていたんだそうです。何てこったい。仕方がないので、equa'君とSk君が持ってきた問題を考えました。equa'君の問題は「実軸上に相異なる2点を取り、その2点を上半平面内の折れ線で結び、折れ線と実軸とで囲まれる領域を考える。このとき、実軸上で2点の間にある任意の点に対し、それを中心とする円板を十分小さく取れば、円板と折れ線の囲む領域が半円になるようにできるか」というものでした。Jordanの曲線定理と似たような雰囲気の問題です。equa'君が色々な疑問を出してきましたが、流石に今回は条件が良いので何とかなりました。

それから、Sk君にCatalan数を使った問題を聞かれました。別に難しい問題だったわけではありませんが、これが解けたことでひょっとしたら定理を作れるかも知れないとのことです。一歩前進してよかったよかった。

ゼミの後は、3人で食堂に行って昼食を食べました。

■TSGにて

ゼミの後、TSGの展示に戻りました。暫く展示にいたら、色々な人が訊ねてきてくれました。母校の後輩のOj君や下クラの子、おてう先輩等々。ありがとうございます。それから、東大ガイダンスの方に応援に行きました。あんまり長い時間は居られませんでしたが、無事に展示が行われていて人も結構入っていたようで、何よりです。

また、高木レクチャーの間にTSGに帰ったら、Lef先輩やkikxさんをはじめとする先輩方がいらっしゃいました。Lunaさんにもお会いすることが出来ました。

■移動中

イタトマの脇で、高3の時のクラスメートのSe君にかなり久しぶりに会いました。長話はしませんでしたが、近況の話を聞きました。元気そうで何よりです。

■高木レクチャー

何故か駒場祭の期間にぴったり合わせて、高木レクチャーという講演会が数理で開かれます。何人かの先生のお話があるのですが、今日は2人の先生のお話を聞きました。

高木レクチャーは気合いの入り方がすごかったです。受付で登録をすると、講演内容の冊子に加えてボールペンとレポート用紙が貰えます。手ぶらで来ても講義のノートが取れるわけですね。そして、講演会場には大勢の数学者が詰めかけ、ただ事ではないオーラが漂っていました。

今日聞いた2つの講演のお題は、それぞれ森ドリーム空間とKervaire不変量でした。森ドリーム空間の方はHilbertの第14問題や不変式論っぽいことを最初のうちに調べていたのですが、途中から分からなくなりました。Kervaire不変量のほうは、枠付き多様体が球面にコボルダントになる次元は何かという問題について考えました。同境性の定義に始まって、Kervaireがいかなる可微分構造も持たない位相多様体が存在することを存在したアイデアなどの紹介がありました。こちらの話は大変分かりやすかったです。

■レッスン

高木レクチャー終了後、大急ぎで新宿までチャリで走り、20分弱遅れてレッスンを受けました。

11月20日

フルートのコンサートを聴きに行きました。今晩は、H.Hです。

■買い出し

今週はカップ麺を2個も消費してしまったので、大学に行く前にスーパーで買い出しをしました。本当は飲み物も補充したかったのですが、如何せん荷物が重かったので、日を改めることにします。

■機構にて

音楽室を借りて、フルートの練習をしました。

■昼ご飯

久しぶりに生協食堂に行って、昼ご飯を食べました。普段は昼休みに食堂を使わず外に買いに行くことにしているので、食堂に入るのは本当に久しぶりでした。

■3限 群構造論

(余)誘導加群を定義し、それの普遍性を調べ、さらに(コ)ホモロジーとの関係を与えるShapiroの補題を証明しました。また、有限指数の部分群を考える場合、誘導加群と余誘導加群の間に自然な同型が定まることを証明しました。

■4限 計算数学II

今日はSk君にMahler measureの計算を改良してもらいました。今までは重積分を定義に忠実に近似していましたが、それでは計算の精度を良くするのが大変なので、Fubiniの定理を用いて逐次積分する方法に切り替えました。重じゃない積分については精度を上げる方法が色々知られているので、こっちのほうが楽なのです。Gauß法に切り替えたので、大分マシになったんじゃないかと思います。

■駒場祭準備

TSGの展示に使うためのノーパをhole君の元へ届けました。本当は部報の印刷なども手伝うべきなのですが、午後いっぱい授業がある上にフルートのコンサートがあるので、加勢できません。申し訳ないです。

■5限 社会数理特別講義I

某銀行の方による、銀行のリスク管理に関するお話でした。しかし去年1年間のアクチュアリー統計セミナーで勉強した範囲を超える話ではなかったので、ちょっと物足りなかったです。

■フルート・バロック・コンサート

俺の師事している先生の門下生によるバロック音楽のコンサートがあったので、聴きに行きました。演奏された曲の作曲者はTelemann, Händel, C. Ph. E. Bach, J. S. Bach, Corelli, Blavetで、いかにもバロックという人達が並んでいます。バロック音楽は自分の中で最も好きな曲のジャンルなので、上手なバロック音楽の演奏を聴けて、耳の保養になりました。

コンサートの後、奏者の方々と一緒に打ち上げに参加させていただきました。お酒を飲みながら、色々な人とおしゃべりをしました。また、今日は交換留学で日本に来ているオーストリア人の方が参加されていたので、オーストリアの話を教えて貰ったりもしました。

11月19日

寒いですね。今晩は、H.Hです。

■2限 代数解析学

曲がったFourier変換の性質を調べ、これを用いてコンパクト台超関数のsingular supportを特徴づけたりしました。

■昼休み

初年次活動センターに行って、昼ご飯を食べました。今日は余りにも寒かったので、院生室からカップ麺を持って行って食べました。

■3限 組合せ論

skew shapeのsemi-standardをLittlewood-Richardson tableauとsemi-standard tableauに分解する写像の構成をし、それの逆写像となるべきものを作りました。2つの写像を合成すると恒等写像になることを証明していたら途中で授業時間が切れてしまったので、残りの証明は来週に引き継がれました。

■コーヒータイム

我が家に新型インフルエンザがやってきたという話をしました。すると大体「誰がかかったの？」と聞かれますが、そのとき「俺」って答えるとみんな硬直するので、面白いです。もちろんかかったのは俺ではなく弟ですよ。ちなみにyz君に「何人目が倒れたの？」とか聞かれましたが、俺は一人しかいませんよ。

また、今日はゼナ君が数学IBのレポートの山を持ってきていました。せっかくなのでIg君やゆーとちゃんと一緒に眺めてましたが、想像を絶する酷い答案だらけでびっくりしました。ε-δ論法に従ってCauchy列であることを証明するだけの問題なのに、ちゃんと書けている答案がほとんどありませんでした。数学的に多少の間違いがあるぐらいなら全然良いのですが、多くの答案は日本語として読むことすら困難なものでした。提出するときに何か感じなかったのでしょうか…。

本当ならTAは片っ端から赤ペンで添削をしていくべきなのでしょうが、枚数が多いので、そうもいきません。100枚を越える答案の大半が読めないものなので、本気で添削していたら、絶対に途中で心が折れます。1人でやるなら多くても2〜30枚が限度です。先生にTAを増やすように圧力をかけるよう、勧めておきました。

■それから

音楽室を借りて小一時間フルートの練習をしました。途中で偶然にももっきょ君が遊びに来ました。せっかくだからBachのフルートソナタ 変ホ長調の伴奏でもお願いしようと思ったのですが、残念ながら伴奏譜を持ち合わせていませんでした。惜しいことをしました。

■システム相談員

相談員勤務をしましたが、何故か今日も1件も質問がありませんでした。仕方がないので、ひたすら物理科学Iのレポートの採点をしていました。ゼナ君の授業と違ってこっちは人数が少ないので、心が折れることなく、気の赴くままにバシバシ添削が出来ます。また、割と良心的な答案が多くて助かります。

■それから

院生室に帰って、熱い紅茶を飲みながら物理科学Iの採点講評を書き上げました。今回のレポートは難しい問題ではありませんでしたが、まだ受講生の人達が物理に慣れていないこともあり、書き方が不味い答案が多くありました。そこで、具体的にどう答案を書くべきかを中心に講評をまとめました。次回のレポートを作る際に参考にしてもらえたら、嬉しく思います。

11月18日

講義が消滅しました。今晩は、H.Hです。

■一昨日書き忘れたこと

ゆーとちゃんに「ちょっと自分で日記つけてみたけど、1行で終わっちゃったよ。よく毎日あんなに書けるね」と言われました。君が居てくれるから、ネタに事欠かずこれだけ長い日記を書けるのですよ。

■授業消滅

大学に行ってみたら、何故か2限が休講でした。しかも前から3限休講が分かっていたので、今日は授業が一切ありませんでした。そこで2,3限はひたすらセミナーの準備に費やしました。

■システム相談員ミーティング

昼休みに相談員ミーティングに参加しました。来ていたのがNg君、Ws君と俺だけで、無駄に平均年齢が高かったです。

■セミナー

多重Young図形の張る線型空間に量子群が作用することを先週示しておいたので、今日はこの空間の結晶基底を構成しました。Young図形にgoodなセルを付け加えたり取り去ったりすることでクリスタルグラフが得られることを証明しました。

途中、テキストの証明をちょっと変更してグラフィカルな表示をしてみたら、先週の組合せ論の講義で出てきた絵とそっくりな絵が現れました。組合せ論の講義でもクリスタルに言及があったので、この二つには間違いなく何かしらの関係があるはずだと信じていますが、まだどういう関係なのかは分かりません。

■機構にて

珍しくかっぱ君とSg君が居ませんでした。話を聞いたところ、かっぱ君は今日既に2回Od先生にいじられた上肩もみを強要され、それに満足して帰ってしまったんだそうです。一方Sg君は先日栄養失調で倒れ、今日も風邪を引きずっていたので、早めに帰ったんだとか。まあ、食費を削りすぎたらそうなりますよね。早めに元気になってくれることを祈ります。ついでに、これに懲りてちゃんと食事を取るようになってくれたらと思います。

ちなみにSg君はお医者さんに栄養失調と診断された際、「このご時世に、君は一体何を食べているんだね」と叱られたそうです。そこで何を血迷ったか彼は「獏のように夢を食べて生きています」と切り返し、さらにお医者さんの怒りをかってしまったそうです。何やってるんだか…。

■書籍部にて

書き忘れてましたが、Springerの本が現在15%引きになっています。原著のある本は原著で買ってもよいかと思いますが、日本語でしかない本は今が買い時だと思います。例えば神保道夫『量子群とヤン・バクスター方程式』、河野俊丈『反復積分の幾何学』等は、お勧めです。

■TSG

TSGの分科会に行きました。今日は3年生もやってきて、大勢の人が集まりました。xyx君と「楽しいゲームはNP完全なのだろうか」という議論をしました。

それから、みんなで山手に行きました。しかし生憎混雑していたので、2手に別れて片方のチームが苗場に向かうことになりました。俺は苗場には行かず、山手でラーメンを食べました。今日はとても寒かったので、ラーメンがおいしかったです。

■それから

音楽室を借りて、小一時間フルートの練習をしました。Bachのフルートソナタ変ホ長調に今日も癒されました。

その後は院生室から荷物を回収して帰るだけだったのですが、外が余りにも寒いので、つい院生室で熱い紅茶を飲んで、ぬくぬくとくつろいでしまいました。

■家に帰ったら

弟者が新型インフルエンザにかかったという話を聞かされました。ウイルスはすぐその辺を飛んでるんだろうなと思いつつ生活をしていましたが、ついに我が家にも来てしまいました。さあ大変、どうしましょう…。

■疑惑の総合商社

辻元清美氏がかつて、鈴木宗男氏を「疑惑の総合商社」呼ばわりしたことがありました。ムネオハウスの音楽が流行った頃ですね。相当昔の話ですが、今になってあの発言に関して辻元氏が謝罪をしたというニュースがありました。懐かしすぎて、あきれるのを通り越してびっくりしました。

11月17日

奨学会の懇親会がありました。今晩は、H.Hです。

■2限 大域幾何学概論

複素平面Cに真に含まれる単連結領域の自己同型群(自分自身への双正則写像のなす群)が実3次元のLie群になることを証明しました。それから概複素構造の定義をし、複素多様体においてはCauchy-Riemann方程式や正則ベクトル場が概複素構造の言葉だけで書けることを確認しました。概複素構造について今までちゃんとした説明を聞く機会がほとんど無かったので、今日の講義は大変ありがたかったです。

■昼休み・3限

寒くて雨が降っていて外に出るのが億劫だったので、部屋に備蓄していたカップ麺を昼飯にしました。たまにカップ麺を食べることは悪く無いと思いますが、「寒い or 外が雨」という条件でカップ麺を食べることにしてしまうと、冬場とか梅雨は毎日カップ麺を食べることになってしまいそうです。カップ麺以外に備蓄の効く食品で、しかも暖かいものって何か無いでしょうかね？

■セミナー

Hurwitz numberの母関数やそれを行列積分を用いて書き表す方法について話を聞きました。また、KP τ関数との関連も聞きました。途中で位相的場の理論っぽい、興味深い絵が登場しました。

■百華会

俺がお世話になっている奨学会の懇親会があったので、学士会館に行きました。

まず会の最初に講演会がありました。講演者は東大で教鞭を執られていた小尾信彌先生で、宇宙の歴史の大まかな流れに関するお話をして下さいました。

その後懇親会があり、おいしいご飯を頂きながら他の奨学生の方々や、あるいはかつて奨学生だった先輩方と楽しくお話をしました。奨学生の大半が東大の学生なので、お話した人の大部分は知り合いの知り合いでした。

11月16日

ゆーとちゃんが大フィーバーしました。今晩は、H.Hです。

■2限 微分幾何学

曲率テンソルの復習をしたあと、接続と曲率が満たすBianchiの等式を証明しました。それからRiemann-Christoffel記号を用いて曲率テンソルを定義し、Riemann多様体の平坦性を定義して、具体例を見ました。最後に、ちょっとだけGaußの曲面論との関連について触れました。

■昼休み

みんなでお弁当を食べていたら、ゆーとちゃんがなおや君に向かって「あれ、ご飯余りそうじゃない？」と言い出しました。ご飯を奪い取ろうというわけですね。なおや君「いや、余らないから」と返事をして頑なに拒んでいましたが、同じやりとりを6,7回繰り返すうちに、ついになおや君が折れて「じゃあ少し分けてあげるよ」と言ってしまいました。ところがその途端ゆーとちゃんは何故か手のひらを返し「あ、やっぱいいや」と断りました。優しくされたら逆に不安になるんだとか。一体お前は何を言ってるのかと小一時間問い詰めたい。

その後、ゆーとちゃんが爪を切ったことにmonae君が気付きました。その話題になったら、ゆーとちゃんは「金曜の夜にIg君から『爪切れ』ってメールが来たから切った」と言いました。何で友達に指示されるまで爪を切らないのか、そしてIg君は何でわざわざ友達に「爪切れ」なんてメールを送らなきゃいけなかったのか。訳が分かりません。

しかも、ゆーとちゃんは素直に爪を切ったのかと思いきや、両手の指10本と両足の親指の爪を切ったところで「挫折して」爪切りをやめてしまったそうです。その上、爪切りに1時間かかったと言います。意味が分かりません。挙げ句、みんなで「1本の指につき30秒で十分だろう」と言い続けていたら、「みんなどうしてそんなに生き急いでるの？」と聞き返されました。生き急ぐというか、爪切りに30分や1時間もかけてたら、暇で仕方がないと思うのですが…。あと、30分も爪を切ってたら爪が無くなるような気がするんですが、どうなのでしょう。

ちなみにゆーとちゃん曰く、授業中にみんなが先生の板書を一生懸命書き写す様子も「生き急いでいる」ように見えるらしいです。「そんなに気になるなら、授業中に先生に『何でそんなに生き急いでるんですか』って聞いてみたら？」と言ってみましたが、残念ながらこの提案は拒否されました。

■3限 スペクトル理論

射影作用素の強収束/弱収束について議論をしました。それから1の分解を定義し、Stieltjes積分のアナロジーによって、1の分解{E(λ)}での積分を定義しました。

■コーヒータイム

昼休みに起きた衝撃の出来事を、その場に居合わせなかったゼナ君、equa'君、yz君に話しました。そしたらyz君から「前うちにゆーとちゃんが泊まりに来た時、30分ぐらいかけて人差し指の爪切ってたよ」という証言が出ました。ギターを触ろうとしたら爪が長すぎて弾けなかったため爪を切ったそうなのですが、30分もかけて爪が消滅しないのが本当に不思議です。

あと、3時半頃なおや君がやってきたのですが、その時ゆーとちゃんが嬉しそうに「あ、コーヒー飲めなかったんだね！」と言いました。酷い子です。

■5限 物理科学I(文系)

物体の斜方投射について延々と議論をしました。それから、摩擦力や速度に比例する抵抗のある運動についての話がありました。

それから、今日もレポートの提出があったので、講義中にぱらぱらと提出されたレポートを眺めていました。今週もまた採点しがいのある答案が沢山出てきそうです。

■フルート

5限の後音楽室を借り、早速Bachのフルートソナタ 変ホ長調の練習を始めました。心が癒されました。

11月15日

ラーメンを食べに行ったりしました。今晩は、H.Hです。

■二葉

Freedonian君に誘われて、荻窪にある二葉というラーメン屋に行ってきました。

彼曰く「今日まで限定のラーメンがある」という話でしたが、それは燕三条系ラーメンというものでした。詳しい事はWikipediaの記事を見て下さい。この写真ほど油がたっぷり浮いていた訳ではありませんが、普通のラーメンと比べると油は多かったです。煮干しの味の強い醤油ラーメンで、おいしかったです。

■それから

荻窪から環八通りを南下し、井の頭通り沿いのミニストップでFreedonian君と少しおしゃべりをして、分かれました。その後、自転車で井の頭通りをひたすら走り、駒場まで行きました。

■東大ガイダンス

駒場祭の説明会があったので、参加してきました。Unknown君が徹夜明けで死にかけてました。お疲れ様です。

■その後

院生室に戻り、紅茶を飲みながら仕事やら勉強やらをしました。

■NHKスペシャル「魔性の難問〜リーマン予想・天才たちの闘い〜」

9時からこんな番組をやっていたので、見ました。別に数学的な話はほとんどなく、Riemann予想に関する物語が中心のお話でした。映像の出来はとても良く、流石はNHKだと感心しました。しかし、番組中で「Riemann予想が解けたら暗号が危ない」って言われてたのは本当なんでしょうかね？Riemann予想の結果を用いて高速な素数判定を行うアルゴリズムとかが存在するのでしょうか。誰か知ってたら教えて下さい。

11月14日

大学のホーム・カミング・デイがありました。今晩は、H.Hです。

■四ッ谷にて

ぴったり正午に四ッ谷を通ったら、外で鐘の音が鳴り響いてました。どこの鐘でしょう…？

■ホーム・カミング・デイ

年に1度の大学のホーム・カミング・デイがありました。といっても、卒業生として参加しに行ったわけではなく、キャンパスツアーをするために行ってきました。

今日はツアーのコースが普段とは異なり、1時間の短めの特別コースが設定されていました。が、さらにお客様から「懐徳館に行きたい」というご要望があったので、コースをさらに変更し、1時間で正門から懐徳館まで往復しました。

普段は懐徳館に入ることが出来ないのですが、ホーム・カミング・デイの日は特別に懐徳館の中が公開されています。そこで、せっかくなのでお客様の同意を取って、ツアー中に懐徳館を見学しました。中にはテーブルと椅子のある会議室と畳敷きの茶室、それと広い庭園がありました。実は自分も懐徳館に入るのは初めてだったので、大変良い経験ができました。

惜しむらくはデジカメを忘れたことです。来年は絶対にデジカメを持って行き、懐徳館の写真を収めようと思います。あと、懐徳館では茶道部の方々がお茶会を開いていました。今日は時間的制約で参加する余裕が無かったのですが、来年はお茶会にも参加したいと思います。

■本郷書籍部にて

丸善のブックフェアをやっていたので、マーミン『量子コンピュータ科学の基礎』という本を購入しました。実は訳者の方と知り合いなのです。

帰りの電車の中でぱらぱらとこれを読んでいたら、ベクトルのKronecker積(テンソル積の成分表示)をビット列になぞらえた説明がありました。別に数学的に新しいことは何もありませんが、情報系の人にとってこの説明は大変良い方法だと思い、感心しました。使う機会があったら使ってみようと思います。

■フルート

12月5日にムラマツのフルートフェアが行われます。そこで簡単なクリニックのチケットを貰えるので、今日、その予約をしてきました。

その後、3週間ぶりにレッスンを受けました。発表会が終わったので新しい曲を選ぶことになりました。今度先生に見ていただくのは、自分の中で1,2を争うお気に入りの曲であるJ. S. Bachのフルートソナタ 変ホ長調です。次の発表会に向けて頑張ろうと思います。

■世界糖尿病デー

11月14日は世界糖尿病デーです。それに合わせて東京タワーやレインボーブリッジが青くライトアップされます。去年この話を聞いて見に行きたいなあと思ったのですが、今年も見逃してしまいました。来年こそは見に行きたいと思います。

■馬券のサイン理論

アルテマ君から聞いた話です。

明日のエリザベス女王杯で1枠1番からウェディングフジコという馬が出走します。この馬は人気が高くなく、3連単のオッズを見るとどれも極めて倍率が高く(10000倍以上)となっています。ところがその中で1番-8番-4番という組み合わせだけが、倍率6000倍程度となっています。

何でかと言うと、この前市橋容疑者が逮捕されたからだそうです。いちはしだから184、というわけです。世の中には「競馬の結果はレース前に決まっていて、それが社会情勢に反映される」という理論があるらしく、それを信じる人がこうして1-8-4の組合せを買うんだとか。1番の馬の人気が無いため、こうした効果が如実にオッズに反映されるんですね。

ちなみにアルテマ君曰く、酒井法子と押尾学が逮捕された次の週、酒井学騎手の乗った馬が1着になるという出来事があったそうです。サイン理論に根拠がある訳はないと思いますが、不思議なものです。

■チューボーですよ

無星が出ました。作っていたのはエクレアなのですが、前回エクレアを作った時も無星でした。エクレアが無星を量産する気がしてきます。

11月13日

シンポジウムのお手伝いをしました。今晩は、H.Hです。

■朝

金曜の午前中は授業が無いので、ゆっくりと寝て、それからスーパーで院生室に備蓄するための飲み物を購入してから大学に行きました。

■昼休み

コモンルームで昼ご飯を食べました。毎度毎度Ig君とmonae君に「飲み物をコップで持ち歩くのはやばい」と言われるのですが、俺が飲み物を院生室に持ち込むのを見たmonae君が

H.H「飲み物は任せろー(ﾊﾞﾘﾊﾞﾘ」(ペットボトルを開ける音)
monae「やめて！」

というネタを思いついてました。

■3限 群構造論

群の分類空間の例を見ました。それから、局所系(Abel群をファイバーとするファイバー束みたいなもの)を定義し、局所系を係数とする(コ)ホモロジーを調べました。そして局所系を係数とする(コ)ホモロジーが被覆空間の特異(コ)ホモロジーと適当なZG加群Mとの間のテンソル積(あるいはHom)で与えられることを示しました。結果だけ見ると「わざわざ局所系を係数とする(コ)ホモロジーを作ったけど、結局今まで知ってるもので書けてしまった」ということになるので、先生が「徒労感だけが残る」とおっしゃっていました。

■4限 計算数学II

今日もSk君にMahler measureの計算をしてもらいました。異なるパラメータに対する値の商の表を作ろうとして、結構苦労していました。

また、そろそろ精度を真面目に考えなければいけない時期になってきました。積分領域のトーラスの次元があがると巾乗のオーダーで計算量が増えていきますから、少ない分割数で十分な精度の出る近似法を考える必要があります。Legendre多項式の零点での値を重み付きで足し合わせる方法が使えると思いますが、誰か一般次元の場合の式を作ってくれてたりしませんかね？

あと、授業の途中でコーヒータイムを除いたら数値計算をやっているKb君が居たので、彼に精度保証付き計算の話を聞いてみました。そしたら、今度数値計算の講習会があって、そのときに精度保証付き計算も扱われるとのことでした。日を改めて、彼に話を聞いてみたいと思います。

■シンポジウム

「ジェネリック・スキルとしての討議力−主体的な学びの作法−」というシンポジウムのお手伝いをしました。まあ、お手伝いというよりは、講演を聴いていた時間のほうが長かったのですが。

非常に大雑把に言うと「海外ではこんな風に討議が授業に取り入れられていて、すごい成果を上げている」という感じの話でした。もちろん授業のジャンルによって討議の仕方、あるいはそもそも討議が適するかどうかというのは様々に異なるのであって、一概に数学に当てはまる話ばかりではありませんでした。しかし、どういう場面で討議を用いるべきか、討議をどのように行うべきか等という問題点について、示唆に富んだお話を聞くことができ、勉強になりました。

シンポジウムの片付けが終わった後、打ち上げがあり、それに招待していただきました。ルヴェ・ソン・ヴェールのおいしい料理をごちそうになりました。おいしかったです。が、そもそも打ち上げに参加したのが10時過ぎで、しかもフルートの練習をしたりしていたので、気付いたら帰るのが終電間際となってしまいました。

11月12日

寒くなりましたね。今晩は、H.Hです。

■2限 代数解析学

micro-analyticという性質の定義を復習し、例を見ました。それからFourier-Bros-Iagolnitzer変換というものを定義し、δ関数がFBI変換で書けることを計算して確かめました。が、何が嬉しいのかよく分かりませんでした。計算できたこと自体が嬉しいんでしょうか…？

■昼休み

初年次活動センターに行きました。この前スーパーで「レンジで調理するカップヌードル」なるものを発見したので、それを持って行って食べてみました。が、別にレンジで調理してもお湯で調理しても変わらないなあ、という感じがしました。ただ、ポットは無いけど電子レンジならあるという状況は十分考えられるので、2種類の調理法があることはよいことだと思います。

■3限 組合せ論

skew semi-standard tableauをLittlewood-Richardson tableauとsemi-standard tableauのペアと対応づける全単射の構成をしようとしていたのですが、先生がこんがらがってしまい、証明が完結しませんでした。俺もこんがらがってしまい、何をやっているのかが良く分かりません。

■コーヒータイム

M1が大勢集まって、みんなでわいわいと話をしました。

yz君から聞いたのですが、世の中には「敵のε」と「味方のε」という2種類のεがあるんだそうです。ε-δ論法でやるような、押さえ込む対象となるεが敵で、自分の都合に応じて「十分小さいεを取る」と書かれるようなεは味方だそうです。

それからmonae君がTwitterで言及していた「モジュラー合コン代数」なるものについて、話を聞きました。英語で言うと"modular party algebra"らしいのですが、シンポジウムの発表者があろうことか"party"を「合コン」と訳したせいで、こうなったそうです。これはひどい。

■機構にて

音楽室を借りてフルートの練習をしていたら、途中でシンポジウムの宣伝の手伝いに駆り出されました。11号館に行き、ポスターを貼ったりしました。

■システム相談員

相談員勤務をしました。今日は久しぶりに質問が何件かありました。また、勤務中にIg君やUnknown君が来たので、少し話をしました。

■真夜中の電話

1時を回った頃にしゅがー君から「ビジネスホテルを探してくれ」との電話がやってきました。3回目です。社会人乙だなあ…。

で、ビジネスホテルをネットで探してしゅがー君を誘導したのですが、何故か「今日の営業は終了しました」という看板が出ていたそうです。その近くにビジネスホテルが無かったので、彼は諦めて、会社に帰っていきました。うーん…。

11月11日

雨でしたね。今晩は、H.Hです。

■2限 基礎数理特別講義IV

アフィンLie環を用いて、最高ウェイト加群を拡張したような雰囲気で、頂点代数を構成しました。ここに来て初めて、頂点代数の例が出ました。途中先生が「ありとあらゆる加群について足し合わせる」とおっしゃって教室の空気が凍り、「全部足したら集合じゃなくなるだろ…ざわ…ざわ…」という雰囲気になりましたが、その意図は「適当な範囲で足し合わせればよい」というものだったそうです。安心しました。

■昼休み

雨が降ってて外に出るのが億劫だった上に気温があんまり高くなかったので、院生室に備蓄していたカップ麺とパンの耳を食べました。

■セミナー

Young図形全体の生成する空間に量子群が作用することを示し、それから多重Young図形への量子群の作用が1個1個のYoung図形への作用のテンソル積になっていることを示しました。途中で証明がこんがらがってしまい、手際の悪い発表になってしまいました。反省しなくてはいけません。

■TSG

TSGの分科会に顔を出しました。necocen君がTwitterで「部報の表紙書いてくれる人いないかな」と言っていたらBlacky君が「俺に任せろ(バリバリ」と返してきたので、ついつい「やめて！」と言いそうになってしまいました。

それから、人数が少なかったので、今日は苗場に萎えに行きました。相変わらず量が多いです。

11月10日

セミナーの準備に追われています。今晩は、H.Hです。

■2限 大域幾何学概論

Hartogsの定理など、多変数複素関数論の基本的な定理をおさらいしました。またCauchy-Riemann方程式をJacobi行列を使って書き換え、多変数の場合にも適用できる形にしました。こうして多変数複素関数の微分可能性が定義できたので、複素多様体を定義し、Riemann面などの例を見ました。

■昼休み

Uz君、Ig君、monae君と一緒に昼ご飯を食べました。そのとき、雨が降ったら靴の中に雨が染みこんできてしょんぼりするという話をしたら、monae君に「雨の日用の靴を用意したら？」と言われました。その発想はありませんでした。名案です。

■3限 数理科学特別講義XIII

stable sheafのモジュライ空間の性質を示した後、Donaldson-Thomas理論が今のところどうなっているかという概略の話がありました。しかし代数幾何過ぎて、良く分かりません…。

■セミナー

Idさんのセミナーを聞きました。ここから暫くはIdさんの修論の話が続きます。今日はHurwitz numberやFrobenius charactericsなどの基礎的な話でした。

■機構にて

音楽室を借りて、ちょっとだけフルートの練習をしました。

■帰り

夜道を歩いていたら、明日のセミナーで証明すべきことが、ふと理解できました。

11月9日

また1週間が始まりました。今晩は、H.Hです。

■2限 微分幾何学

ベクトル束の接続と似たような感じで、曲率を定義しました。また、局所枠を取って曲率の局所的な表示を求め、座標変換則を調べ、曲率行列が大域的な量であることを確認しました。それから曲率作用素を定義し、曲率作用素をベクトル場の共変微分で書き表す式を求めました。

■昼休み

みんなでコモンルームで昼ご飯を食べました。温泉に入りたいという願望を話したら、monae君に「あなた何歳ですか」と言われました。そんなに年寄りじみてますかね…？

■3限 スペクトル理論

対称な線型作用素が(本質的に)自己共役であるための必要充分条件を求めました。また、対称ではあるが自己共役ではない作用素の具体例を確認しました。それから直交射影の定義をし、その性質を調べました。

■コーヒータイム

先日、量子論理ゼミが終わった後に何をするかという話題が出たそうです。選択肢としてはC*環、数論、位相群の3つがあるそうです。今のところC*環が有力らしいのですが、個人的には位相群に強く惹かれます。まあ、これに関してはすぐに決める必要の無い話題なので、ゼミのみんなで議論しようと思います。

それから、数学用語の名前の由来についてみんなで議論をしました。具体例としては、「何故偏屈層は偏屈なのか」「脆弱層はどこがどう脆弱なのか」という疑問が挙がりました。monae君曰く、偏屈層という名前は「偏屈さ」というパラメータから来ているそうです。が、「偏屈さ」というパラメータを定義した人は何で偏屈さと逆方向の「素直さ」というパラメータを定義しなかったのかが分かりません。脆弱層に至ってはどこにも脆弱という雰囲気が見あたりません。誰か名前の由来を知っている人がいましたら、是非ご教示下さい。

■5限 物理科学I(文科)

新型インフルエンザに感染して欠席したという子がいました。多分新型インフルに感染した人に直接会ったのは初めてのことです。その子はすっかり回復していましたが、これからまた増えるんですかね。

講義では、等加速度運動を表す微分方程式を解いたりしていました。が、今日は実験の撮影という仕事があり、ずっと一眼レフカメラのすごさに感動していました。

それから、実はSk君がヴィオラを弾けるということが発覚しました。今度機会を見つけて聴かせて貰いたいと思います。

■それから

「音楽室を借りに行ったら、いつの間にかぶり大根を食べていたでござる」

何でか知りませんがYm先生がぶり大根を作って下さいました。音楽室を借りに行ったら、丁度機構界隈の先生方がぶり大根を召し上がろうとしていたので、俺も一緒にぶり大根を頂きました。大変おいしかったです。せっかくなのでいつも機構にいる人達を呼んでみましたが、尽く帰宅しており、Tdさんだけが良いタイミングでやってきました。

ぶり大根をおいしく頂いた後は、音楽室で少しだけフルートを練習してから帰りました。

11月8日

久しぶりに家でゆっくりしました。今晩は、H.Hです。

■睡眠

うっかり午後2時まで寝過ぎてしまいました。どう考えても寝過ぎです。orz まあ疲れが取れたので良しとします…。

■床屋

髪の毛が伸びすぎて前髪が視界に入るようになってきたので、床屋に行って髪を切ってもらいました。髪が短くなってさっぱりしました。いい感じです。

■買い物

スーパーに行きました。いつも通り親に頼まれた物を買った他、院生室にストックする食べ物や飲み物も調達しました。

■飛行機

昨日に引き続いて、行きの飛行機のチケットをネットで購入しました。まだ慣れないので色々調べながらやってますが、どうもWebチェックインをするとチケットレスで飛行機に乗れちゃうみたいです。便利だなあ。

11月7日

高校生向け講座の手伝いをしました。今晩は、H.Hです。

■予防接種

季節性インフルエンザの予防接種をしました。別に俺がインフルエンザになったところで、どうせタミフルを飲めばすぐに治るとは思いますが、下の弟が受験するので万全を期して打っておきました。打った場所がちょっと痛みます。

そういえば、注射を打った場所に貼った絆創膏に血が全くついてませんでした。血管に打ち込んだわけじゃないのでしょうか…？

■平成21年度科学技術振興機構「女子中高生の理系進路選択支援事業」理学部数学科プログラム「プラトン図形の設計と製作をやってみよう！」

こんなイベントのTAをしました。参加者の子から「なんで女子中高生限定なんですか？」と聞かれましたが、俺にも分かりません。JSTの中の人に聞いて下さい。

講座では正多面体の組み立てをした後、ティータイムを挟んで正八面体の面の角度を調べたりしました。高校1年生の子には空間座標の計算は難しかったかもしれませんが、正多面体の現物を見て貰えただけでも十分かと思います。

■飛行機

すか君から誘われて、俺ともあい君とうり君が12月に島根県の高校に出前授業をしに行くことになりました。

行きのことはこれから考えますが、先得割引の効く帰りの飛行機の座席が少なくなっていたので、急いで4人分のチケットを確保しました。実は今まで家族旅行と高校の修学旅行でしか飛行機に乗ったことがないので、自分でチケットを取るのは初めてでした。が、ブラウザ上でぽちぽちボタンを押していればチケットの予約と座席指定が簡単にでき、クレジットカードで支払いもすぐに出来たので、困ったことはありませんでした。便利な世の中ですね。

11月6日

ちょっと暖かくなりましたね。今晩は、H.Hです。

■打ち合わせ

明日の高校生向け講座の打ち合わせをOd先生とmonae君としました。それからmonae君と二人で、明日のティータイム用のケーキとお茶、コーヒーを買いだしました。

■昼休み

「equa'君が学振DC1と奨学金の返済免除の両方を取り損ねたらどうなるか」という話で盛り上がりました。「食いつなぐために30人の友達を用意して毎日誰かにおごって貰う」など面白い意見が出ましたが、結局バイトしてれば最低限の生活は出来るという結論に達しました。

■3限 群構造論

加群のExtとTorについて復習し、群のコホモロジー/ホモロジー H(G;M)がExt(Z,M) / Tor(Z,M)と一致することを証明しました。これを利用して巡回群や自由群の(コ)ホモロジーを計算しました。さらに、普遍被覆空間を持つような位相空間Xに対してXの(コ)ホモロジーが基本群π_1(X)の(コ)ホモロジーと一致することを使い、3次の組紐群のコホモロジーと三葉結び目の補空間のコホモロジーが同型になることを証明しました。

■4限 計算数学I

今日はいよいよ、Sk君にMahler測度の計算をやってもらいました。計算の効率はともかく、既に知られている結果とマッチするデータが得られました。

■機構にて

音楽室を借りて、フルートの練習をしました。

そういえば、かっぱ君のお気に入りの服を裏返すと、Sg君が持っている服の模様になるんだそうです。これ利用すると、ペアルックならぬデュアルルックが出来ますね。二人でデュアルルックの服を着て「俺たちdual pair!」とか叫んでくれたら面白いと思います。いつかやってくれないかなあ。

■夜中の電話

風呂に入っている間にしゅがー君から電話がありました。何があったのかメールで聞き返したら、「仕事をしていて終電を逃したからビジネスホテルを探して貰おうと思った」とのことでした。色々あって、仕事が片付くまで帰れなかったそうです。社会人怖いです…。

11月5日

冷える日が続きますね。今晩は、H.Hです。

■2限 代数解析学

超関数の定義を復習した後、具体例をいくつか調べました。1次元のδ関数やHeavisideの階段関数を佐藤超関数の形で具体的に記述しました。1次元なら分かりやすくていいですね。

■昼休み

初年次活動センターに行って昼ご飯を食べました。外が寒かったのでカップヌードルカレーを買って行ったら、Od先生が物欲しそうにこちらを眺めて来たので、一人幸せを満喫しながらおいしくいただきました。

■3限 組合せ論

skew semi-std. tableauをLittlewood-Richardson tablearuとsemi-std. tableauのペアに全単射で対応づけるための準備をしました。自然数からなるwordに対して色々な操作をし、wordをtableauにはめた時にどうなるか等を考察しました。授業では深く触れられませんでしたが、wordに対する操作がクリスタルにおける柏原作用素そのものでした。

■コーヒータイム

コーヒーを飲みながら、数学談義や政治談義、それに教育に関する話などをしました。1年生の数学IのTAをしているUz君に「M先生の集合と位相のレポート提出用表紙を使わせていただいたらどうか」と提案してみましたが、残念ながら拒否されました。他にも逆評定デビューのための提案を色々してみましたが、いずれも尽く拒否されました。ちなみに、何を提案したのかというと…

• レポートの評価として、秀(A+)、優(A)、良(B)、可(C)、不可(D)を用意し、さらにその下に論外(D-)という評価を作る。
• 「次の命題が正しければ証明し、誤りならば反例を挙げよ」という問題を3題連続で出し、しかも全ての問題で反例が構成できるようにする。
• 一生に一度は解いておくべき問題(Gauss積分、Laplacianの極座標の形など)を毎週のレポートに並べ、模範解答の最後に一々「これは国民の常識です」と書き添える。

といった感じです。これだけやれば逆評定に「TAが大鬼」って書いて貰えると思いますが、誰かやってみませんか？

■5限 社会数理特別講義I

今日は変則的に授業がありました。社会における博士号取得者の役割という話の続きでした。日本では理系の博士取得者が少なかったり、博士取得者の定職に就いている割合が低かったりしますが、その原因として企業、大学がそれぞれ相手方を理解していないという点を指摘されていました。

■システム相談員

相談員勤務をしましたが、誰も来ませんでした。例年に比べて質問が少ない気がします。

■フルート

相談員勤務が終わってから、音楽室を借りて小一時間フルートの練習をしました。

それから数理棟に帰ったら、変電設備の部屋でフルートを吹いている人がいました。音だけ聞こえて来て部屋の中は見えないので、誰が吹いているのかは分かりません。本当に気になります。

■日本シリーズ

システム相談員中にネット上で9回表 2-1という情報を確認して家に帰ったら、なんと、9回裏で巨人が2本のホームランを打ってサヨナラ勝ちしてました。パねえっす…。

11月4日

セミナーがありました。今晩は、H.Hです。

■朝

朝8時頃に大学に着き、寝ぼけ眼をこすりながら、必死にセミナーの予習をしました。もう二度と大学にテキストを忘れまいと、こころに誓いました。

■2限 基礎数理特別講義IV

互いに局所的な場を用いて、頂点代数の中でも親玉的なものを構成しました。さらに、任意の頂点代数は今日構成した方法を用いて得られることを確認しました。これで、親玉の部分代数を取ったり商を取ったりして、色々な頂点代数が構成できます。

■昼休み

パン屋に行って昼ご飯を買い、コモンルームで食べながら、今日のセミナーについて思いを巡らせていました。そういえば、今日買ったパンの耳の中に、フランスパンの端っこが入ってました。

■3限 離散数理学概論

Burnsideの定理を巡る、非可換代数にまつわる話を色々しました。それを用いて、Fernandoのテンソル積分解定理の一部を証明しました。

■セミナー

U_qを適当な左イデアルで割って作る最高ウェイト加群V(λ)が局所可積分かつ既約であることを示しました。それから、Young図形全体の張る線型空間への量子群の定義を書き、具体的にr=2の場合について計算をしてみました。途中でYoung図形の箱を塗りつぶしていたのですが、黒板とノートとで塗りつぶす色が正反対になることに気付き、若干混乱しました。

■TSG分科会

機構に行ったら音楽室が別の人に借りられていたのでフルートの練習を諦め、TSGの分科会に参加しました。

■それから

Stさんから数学を教えて欲しいと頼まれたので、数理に帰り、暫く数学I演習のレポートを教えました。

11月3日

休日ですが大学には行きました。今晩は、H.Hです。

■大学へ

休日なので講義はありませんが、明日のセミナーの予習をしたりするため、大学に行きました。ついでに、院生室に置くための飲み物も買って持って行きました。

院生室に行ったら、Idさんがいらっしゃいました。今日が祝日ということを知らずに、大学に来たんだそうです。まあ、院生なんて平日も休みもそんなに変わりませんから、ある意味仕方のないことです。

そういえば、Idさんから学振に通ったという話を伺いました。実におめでたいです。おめでとうございます。

■お仕事

機構主催のシンポジウムの宣伝のお仕事を小一時間手伝いました。

■その後

院生室に戻って、明日のセミナーの予習をしました。また、Young図形への量子群の作用を一々手で計算するのが面倒だったので、計算をするプログラムを組んだりしました。

■大失態

あろうことか、大学にセミナーのテキストを置き忘れたまま家に帰ってきました。明日がセミナーなので、大ピンチです。幸いセミナーのノートだけは持って帰ってきたので、ノートに書きかけたことだけを完成させていき、明日の朝早く大学に行って予習の続きをしようと思います。

11月2日

まるまる君に会いました。今晩は、H.Hです。

■2限 微分幾何学

アフィン接続が対称であることとtorsion-freeであることが同値であることを証明しました。それからRiemann計量と両立するアフィン接続が一意に存在することを示しました。さらに平面、球面、双曲計量の場合に測地線の方程式を計算してみました。

■昼休み

理学部数学科時代の同級生で、東北大学大学院に行ったまるまる君が遊びに来ました。量子情報学会に参加するため東京に来て、そのついでに数理に来たんだそうです。

■3限 スペクトル理論

先週σ有限な速度空間上のL^2関数に対する掛け算作用素のスペクトルがessential rangeであることを示しましたが、σ有限という仮定を外すと下らない反例が出てくることを確認しました。それから、対称作用素、自己共役作用素を定義し、これらの作用素やそのスペクトルが満たす性質を調べました。

■コーヒータイム

今日はM1が大集合しました。覚えてる限りでSk君、monae君、H7K君、Δ君、トオル君、muckey君、ゆーとちゃん、Kmbys君、Ki君、equa'君、Tn君がいたと思います。もちろん、まるまる君も来ました。彼が仙台土産の萩の月を持ってきてくれたので、みんなで分けて食べました。ごちそうさまです。

■5限 物理科学I(文系)

力の釣り合いの実験をやりました。前の時間に別の授業があるので、授業前に教室で準備をすることができず、大忙しでした。さらに、実験を終わらせた後、運動方程式について先生が講義をされました。

■機構にて

音楽室を借り、小一時間フルートの練習をしました。

■帰り

いつの間にか一気に冷えましたね。帰ってニュースを見たら、気温が7度ぐらいまで下がっていたとのことでした。道理で寒いわけです。

11月1日

11月ですね。今晩は、H.Hです。

■ゼミ

今日の午前中は量子論理ゼミがありましたが、そっちには出ず、Tn君と構成的場の理論の本を読みました。とは言っても、量子論理ゼミは参加者が揃うのが遅かったので、全員が集まるまで何故か量子論理ゼミの人がこっちのゼミに遊びに来たりしました。

■山手

俺とTn君と、量子論理ゼミの人達と、さらにトオル君を加えて、8人で山手に行きました。山手で雑談をしていて、東工大から来たSk君、SegFault君、Ny君が俺の院生室の先輩を知っていたということた分かりました。

ラーメンを食べた後は、Tn君、トオル君と一緒に数理に帰り、暫く雑談などをしました。

■フルート

学生会館新館に行ってみたら大変混雑していたので、キャンプラでフルートの練習をしました。

学生会館に行った際、偶然ひら君に出会いました。彼は柏に行ってしまった人なので、ずいぶん久しぶりに会いました。

■院生室にて

円楽師匠追悼番組を見たり、ちょっと仕事をしたりしました。途中からTn君がやってきて、数学IBのレポートの採点について話し合いました。宇宙語で書かれた答案が多く、どう採点していいものか悩まざるを得ませんでした。

8時を過ぎた頃に院生室を出て、Tn君と一緒に帰ってきました。

■F1 アブダビGP

いよいよ今シーズンのF1最終戦です。

今日は、何と言っても小林可夢偉の活躍がすごかったです。Glockの代打でありながらスタートでRaikkonenを追い抜き、1ピットストップ作戦で上位におとり出て、最終的に6位完走です。デビュー2戦目にして3ポイントを取りました。今後の活躍に大いに期待できます。

ちなみに、今日はAlguersuariが別のチームのピットストップに入るという珍事件がありました。間違えて入った先が兄弟チームのレッドブルだったので、分からなくもないのですが、ピットストップに誘導するロリポップマンとか居なかったんですかね。もちろん、レッドブルのピットで給油やタイヤ交換ができるはずもなく、彼はそのままピットを出て行き、そして車を止めてしまいました。残念。