11（土）
・千葉に帰った。
ちょうど北海道にダディが出張で来ていて、同時に帰った。
羽田空港で天丼をたべた。おいしかった。
12（日）
・宇宙賢者(@the_TQFT)に駒場を案内してもらった。
宇宙賢者はノートを帽子のように被って待ち合わせ場所に現れた。変な人だと思った。
昼ごはんを食べた。店に入ってから店出るまでは圧倒的真面目知的素敵お兄さんだった。まともな人なのかもしれないと思った。
それから駒場キャンパスに向かった。コンビニで野菜生活を買って突然路上に座って飲むなどしていた。変な人だと思った。
数理棟と駒場キャンパスを案内してもらった。こんどは平日に行こうと思った。
・高校生たち（@OrPahlil, @nmrmsaktdh）と合流してそのへんの喫茶店的なところで喋った。
I:閉区間[0,1], C(I):連続関数I→C(複素数体)の全体のなす環, SpmC(I):その極大イデアルの全体とするときIからSpmC(I)に全単射があるという話をするでもなくしたけど今思えば証明を少し間違えてた。絶対値をとったところがあったけど、絶対値の2乗をとらないとだめだった。
途中から別の高校生たち（@_primenumber, @Rhenium_Iridium）も合流した。優秀な高校生はいるところにはいるものなのだなあ、と思った。
あとの二人には北海道土産を渡しそびれた。ごめんなさい。
ここで高校生とは別れた。
・宇宙賢者とつけめんを食べた。
駒鉄という店でつけ麺を食べた。つけ麺はおいしいものだと思った。
・宇宙賢者とカラオケに行った。
宇宙賢者はオ゛オ゛オ゛オ゛オ゛オ゛オ゛オ゛オ゛みたいな声を出していてすごいと思った。あれどうやって出すんだろう。
ライオンという曲を一緒に歌った。楽しかった。
13（月）
・わざわざ俺様のために@alg_dさんに開催していただいたセミナーに参加した。
参加者@alg_d, @slapstick123, @typer_botti, @OrPahlil, @omu_gohan, @onaka_buyo
@alg_dさんに選択公理の話（をするための基礎論の話を含む）をしてもらった。濃度概念を使うときは選択公理に感謝しなければならないと思った。
俺にも話をする時間が与えられたので、モジュライの紹介として、2次曲線ax^2+2bxy+cy^2+2dx+2ey+f=0をEuclid変換によって移りあうものに分類するという話をした。
・数学徒飲酒会に参加した。
参加者@slapstick123, @alg_d, @omu_gohan, @onaka_buyo, @7010333, @trairy593, @nolimbre, @Taqa_, @the_TQFT, @phase_tr
高田馬場駅の近くのサイゼリヤが入ってる建物の4階の店でしゃぶしゃぶ食べ放題酒飲み放題だった。
相転移Pは噂よりはるかに普通の人だったが、それはスーツを着ていたからであって、普段は異常な見た目をしているという話を聞いた。
幹事をしていただいた@slapstick123さんありがとうございました。
・数学徒飲酒会二次会に参加した。
参加者@the_TQFT, @nolimbre, @7010333
宇宙賢者に求婚したら断られた。酔っ払ってたためかそれ以外に何話したか全然覚えてないのが悔やまれる。
14（火）
一日中ヒマだったので東京駅周辺を散歩した。
東京駅一番街なるところのほん田というラーメン屋さんでつけ麺を食べた。駒鉄のほうがおいしかった。と俺は思うけどこれは単に好みの問題でどっちもおいしいと思う。
その並びに一つ、平日の昼、しかも昼ごはん時からは外れているタイミングであるにもかかわらずやたらと混んでいて行列ができている店があったけど、あれはなんだったんだろう。
twitterで「東京駅の近くの本屋さんの場所が分からない」って言ったらわりと多くの人が教えてくれて、東京すげえと思った。
15（水）
・セミナーにお邪魔した。
参加者@a14_m19, @alg_d, @localcohomology, @7010333, @kampa03, @tarooh, @Taqa_, あとアカウント知らないイケメンの人
@localcohomologyさんは噂どおり怖かった。
発表するはずだった人が都合が悪いということで、結局喋った人は13日と同じだった。
@alg_dさんは基礎論の話を少しと、修論の内容を喋ってもらった。ある程度オリジナルの結果が出せていてすごいと思った。あと1年で俺にもそんなことできるんだろうかと不安になった。
俺は13日と同じ話をした。モジュライは「なんかの分類の仕方を知っている多様体」という言葉を聞いて、いい表現だと思った。
セミナー後、予告どおり@localcohomologyさんに腹パンをし、@alg_dさんのスネを蹴った。
・カラオケに行った。
参加者@a14_m19, @tarooh, @kampa03, @Taqa_, あとイケメンの人
@a14_m19さんはごく普通に歌がうまくて、奇声あげてるのが申し訳なくなった。
俺に合わせてくれたのか普段からそうなのか知らないが、基本的にみんな奇声でとても良かった。
16（木）
・タイパー奇声大会に参加した。
参加者@riruco_jp, @typer_botti, @mayo_tp01, @eigh8_t, @x_i
りるこさんはウルトラ歌うまかった。B'zが低くて歌いづらいという現象を観測した。怖い。
W/Hさんはガチ奇声イストだった。感動した。あと口笛うまい。すごい。
・TODをした。
1回目：
1章 W/H 対 かわず
俺が勝った。
勝てると思っていなくてびっくりした。
俺はTODではローマ字を読んでいるので初速がそこそこ早いんだと思う。1章でよかった。
2章 りるこ 対 mayo
りるこさんが勝った。
長文を見てると、りるこさんは打ち始めからスピードがかなり速いと思う。
3章 稲 対 アーティ
稲さんが勝った。
4章 アーティ 対 かわず
俺が勝った。
5章 りるこ 対 W/H
W/Hさんが勝った。
やたらとハイレベルな対戦だった。片方が詰まらずとも打ちづらそうにしていると、もう片方が一瞬で打ち終わってた。怖い。
どちらもrankAしか出してなかった。
6章 稲 対 mayo
稲さんが勝った。
稲さんが安定性と正確性がすごい。
2回目：
1章 W/H 対 アーティ
W/Hさんが勝った。
アーティくんは速さでは完全に勝負にならないので先に出たワードは諦めて次に出たワードを打つというような作戦も取っていたけど、W/Hさんがワードを一瞬で打ち終えてしまうのであんまり意味なかった。
2章 りるこ 対 かわず
負けた。
短文しか取らせてくれなかった印象があったが、点数差は200点くらいだったのでそこそこ取れていたんだろうと思う。
3章 mayo 対 アーティ
mayoさんが勝った。
4章 稲 対 W/H
W/Hさんが勝った。
5章 mayo 対 かわず
俺が勝った。
マジシャン前半でmayoさんが何回か連続で食らってて面白かった。
6章 稲 対 かわず
俺が勝った。
稲さんはスタッフロールを覚えていて怖かった。
対人TODは楽しかった。
ここでりるこさんとは別れた。北海道土産を渡しそびれた。ごめんなさい。
・キーボード屋さんでキーボードを眺めた。
・伝説のデニーズで伝説のオムライスを食べた。
おいしかった。
なんだかんだでそのままたぶん5時間くらい喋ってた。
17（金）
・昼から飲酒した。
アーティくん（@typer_botti）と上野で待ち合わせて銀座ライオンで昼ごはん食べつつ飲酒→昨日のキーボード屋さんでアーティくんリアフォ購入→サイゼリヤで飲酒をした。
サイゼリヤの最安ワインは驚くほど不味かった。ある程度の値段のワインはおいしかった。
・東大数理の人たちと天下一品に行った。
いた人@H_H, @t_yoshiyasu, @dozaezop, @_flyingmoomin, @anairetta, あと元同級生
数学クラスタの重鎮っぽい皆さんにお会いできてよかった。酔っ払ってたのが悔やまれる。
天下一品のラーメンはすごかった。ドロドロしてた。
北海道土産を適当に分配してくれるように言ってすべて押し付けた。
18（土）
・北海道に戻った。
関東最後の昼ごはんにパパンと兄と俺でそば屋さんに行って酒飲んだ。角煮がおいしかった。
・千葉に帰った。
ちょうど北海道にダディが出張で来ていて、同時に帰った。
羽田空港で天丼をたべた。おいしかった。
12（日）
・宇宙賢者(@the_TQFT)に駒場を案内してもらった。
宇宙賢者はノートを帽子のように被って待ち合わせ場所に現れた。変な人だと思った。
昼ごはんを食べた。店に入ってから店出るまでは圧倒的真面目知的素敵お兄さんだった。まともな人なのかもしれないと思った。
それから駒場キャンパスに向かった。コンビニで野菜生活を買って突然路上に座って飲むなどしていた。変な人だと思った。
数理棟と駒場キャンパスを案内してもらった。こんどは平日に行こうと思った。
・高校生たち（@OrPahlil, @nmrmsaktdh）と合流してそのへんの喫茶店的なところで喋った。
I:閉区間[0,1], C(I):連続関数I→C(複素数体)の全体のなす環, SpmC(I):その極大イデアルの全体とするときIからSpmC(I)に全単射があるという話をするでもなくしたけど今思えば証明を少し間違えてた。絶対値をとったところがあったけど、絶対値の2乗をとらないとだめだった。
途中から別の高校生たち（@_primenumber, @Rhenium_Iridium）も合流した。優秀な高校生はいるところにはいるものなのだなあ、と思った。
あとの二人には北海道土産を渡しそびれた。ごめんなさい。
ここで高校生とは別れた。
・宇宙賢者とつけめんを食べた。
駒鉄という店でつけ麺を食べた。つけ麺はおいしいものだと思った。
・宇宙賢者とカラオケに行った。
宇宙賢者はオ゛オ゛オ゛オ゛オ゛オ゛オ゛オ゛オ゛みたいな声を出していてすごいと思った。あれどうやって出すんだろう。
ライオンという曲を一緒に歌った。楽しかった。
13（月）
・わざわざ俺様のために@alg_dさんに開催していただいたセミナーに参加した。
参加者@alg_d, @slapstick123, @typer_botti, @OrPahlil, @omu_gohan, @onaka_buyo
@alg_dさんに選択公理の話（をするための基礎論の話を含む）をしてもらった。濃度概念を使うときは選択公理に感謝しなければならないと思った。
俺にも話をする時間が与えられたので、モジュライの紹介として、2次曲線ax^2+2bxy+cy^2+2dx+2ey+f=0をEuclid変換によって移りあうものに分類するという話をした。
・数学徒飲酒会に参加した。
参加者@slapstick123, @alg_d, @omu_gohan, @onaka_buyo, @7010333, @trairy593, @nolimbre, @Taqa_, @the_TQFT, @phase_tr
高田馬場駅の近くのサイゼリヤが入ってる建物の4階の店でしゃぶしゃぶ食べ放題酒飲み放題だった。
相転移Pは噂よりはるかに普通の人だったが、それはスーツを着ていたからであって、普段は異常な見た目をしているという話を聞いた。
幹事をしていただいた@slapstick123さんありがとうございました。
・数学徒飲酒会二次会に参加した。
参加者@the_TQFT, @nolimbre, @7010333
宇宙賢者に求婚したら断られた。酔っ払ってたためかそれ以外に何話したか全然覚えてないのが悔やまれる。
14（火）
一日中ヒマだったので東京駅周辺を散歩した。
東京駅一番街なるところのほん田というラーメン屋さんでつけ麺を食べた。駒鉄のほうがおいしかった。と俺は思うけどこれは単に好みの問題でどっちもおいしいと思う。
その並びに一つ、平日の昼、しかも昼ごはん時からは外れているタイミングであるにもかかわらずやたらと混んでいて行列ができている店があったけど、あれはなんだったんだろう。
twitterで「東京駅の近くの本屋さんの場所が分からない」って言ったらわりと多くの人が教えてくれて、東京すげえと思った。
15（水）
・セミナーにお邪魔した。
参加者@a14_m19, @alg_d, @localcohomology, @7010333, @kampa03, @tarooh, @Taqa_, あとアカウント知らないイケメンの人
@localcohomologyさんは噂どおり怖かった。
発表するはずだった人が都合が悪いということで、結局喋った人は13日と同じだった。
@alg_dさんは基礎論の話を少しと、修論の内容を喋ってもらった。ある程度オリジナルの結果が出せていてすごいと思った。あと1年で俺にもそんなことできるんだろうかと不安になった。
俺は13日と同じ話をした。モジュライは「なんかの分類の仕方を知っている多様体」という言葉を聞いて、いい表現だと思った。
セミナー後、予告どおり@localcohomologyさんに腹パンをし、@alg_dさんのスネを蹴った。
・カラオケに行った。
参加者@a14_m19, @tarooh, @kampa03, @Taqa_, あとイケメンの人
@a14_m19さんはごく普通に歌がうまくて、奇声あげてるのが申し訳なくなった。
俺に合わせてくれたのか普段からそうなのか知らないが、基本的にみんな奇声でとても良かった。
16（木）
・タイパー奇声大会に参加した。
参加者@riruco_jp, @typer_botti, @mayo_tp01, @eigh8_t, @x_i
りるこさんはウルトラ歌うまかった。B'zが低くて歌いづらいという現象を観測した。怖い。
W/Hさんはガチ奇声イストだった。感動した。あと口笛うまい。すごい。
・TODをした。
1回目：
1章 W/H 対 かわず
俺が勝った。
勝てると思っていなくてびっくりした。
俺はTODではローマ字を読んでいるので初速がそこそこ早いんだと思う。1章でよかった。
2章 りるこ 対 mayo
りるこさんが勝った。
長文を見てると、りるこさんは打ち始めからスピードがかなり速いと思う。
3章 稲 対 アーティ
稲さんが勝った。
4章 アーティ 対 かわず
俺が勝った。
5章 りるこ 対 W/H
W/Hさんが勝った。
やたらとハイレベルな対戦だった。片方が詰まらずとも打ちづらそうにしていると、もう片方が一瞬で打ち終わってた。怖い。
どちらもrankAしか出してなかった。
6章 稲 対 mayo
稲さんが勝った。
稲さんが安定性と正確性がすごい。
2回目：
1章 W/H 対 アーティ
W/Hさんが勝った。
アーティくんは速さでは完全に勝負にならないので先に出たワードは諦めて次に出たワードを打つというような作戦も取っていたけど、W/Hさんがワードを一瞬で打ち終えてしまうのであんまり意味なかった。
2章 りるこ 対 かわず
負けた。
短文しか取らせてくれなかった印象があったが、点数差は200点くらいだったのでそこそこ取れていたんだろうと思う。
3章 mayo 対 アーティ
mayoさんが勝った。
4章 稲 対 W/H
W/Hさんが勝った。
5章 mayo 対 かわず
俺が勝った。
マジシャン前半でmayoさんが何回か連続で食らってて面白かった。
6章 稲 対 かわず
俺が勝った。
稲さんはスタッフロールを覚えていて怖かった。
対人TODは楽しかった。
ここでりるこさんとは別れた。北海道土産を渡しそびれた。ごめんなさい。
・キーボード屋さんでキーボードを眺めた。
・伝説のデニーズで伝説のオムライスを食べた。
おいしかった。
なんだかんだでそのままたぶん5時間くらい喋ってた。
17（金）
・昼から飲酒した。
アーティくん（@typer_botti）と上野で待ち合わせて銀座ライオンで昼ごはん食べつつ飲酒→昨日のキーボード屋さんでアーティくんリアフォ購入→サイゼリヤで飲酒をした。
サイゼリヤの最安ワインは驚くほど不味かった。ある程度の値段のワインはおいしかった。
・東大数理の人たちと天下一品に行った。
いた人@H_H, @t_yoshiyasu, @dozaezop, @_flyingmoomin, @anairetta, あと元同級生
数学クラスタの重鎮っぽい皆さんにお会いできてよかった。酔っ払ってたのが悔やまれる。
天下一品のラーメンはすごかった。ドロドロしてた。
北海道土産を適当に分配してくれるように言ってすべて押し付けた。
18（土）
・北海道に戻った。
関東最後の昼ごはんにパパンと兄と俺でそば屋さんに行って酒飲んだ。角煮がおいしかった。
