3/30(水) 晴れのち曇り 9時過ぎに起きた。午前中の予定がなくなったので午後の予定に少し余裕を持って準備できた。 午後は外出して夜まででかけてた。久しぶりに歩いたりボーリングをしたりした。あと意外と歩きながらご飯を食べていくと普段よりも食べれる…

3/29(火) 晴れ 10時位に起きた。午後のセミナーのために考え残したことを布団の中で考えてたら突然アイデアが湧いてやりたかったことがちゃんとできることに気づいた。位相空間の次元そのものを扱うと大変だからその中で対応しているようなものをちゃんとtil…

3/27(日) 曇り 11時前には起きていた。明日の卒業式のための準備をしようとしてたら全くしないまま一日が経ってしまった。まあ準備するものなんてほとんどないんだけど。 それとは別にして昨日ちょっとうまくノルムを定義できたのでそれについてもう少しちゃ…

3/26(土) 曇り 11時に起きた。午前中は昨日のゼミの分の手直しをしててとりえず一区切りのところまで終わらせた。いくつか証明がわからないところがあるけど次のセミナーが近いからとりあえず放置しておく。まあ今考えてる諸々が解決したときに改めて考え直…

3/25(金) 曇り 10時位に起きた。午後のゼミに備えて最初の方の行間を埋めてた。なんとかなったけど実際にゼミで発表してるときに問題が生じた。スペクトラルノルムと取り替えられるだろと思ってたけどちょっとちゃんとした議論をしないといけなかった。 ゼミ…

3/24(木) 曇り 11時過ぎに起きたはず。なにかやったわけじゃなくてまたダラダラ数学してバイトに行ってきた。火水木とバイトを除けばほとんど同じ生活をしているような気がする。まあでもあんまり数学は進んでない。 この日記を書いているのは3/25で、寝る前…

3/23(水) 雨 11時過ぎに起きた。9時ごろに一回だけ目が冷めたんだけど二度寝してしまった。午前中を無下にしてしまった感があるので覚えてる間は二度寝をせずに起きるようにしようと思う。二度寝して11時起きよりも普通に11時まで寝てたほうが喪失感が少ない…

3/22(火) 曇り 10時位に起きた。なんか何もやってなかった一日だった気がする。そもそも頼んでた本とかが来たのでそれを読んでてあんまり時間を取れなかったのもある。しかもちょうどやることが一区切りついてしまった後だったのでフラフラとつまみぐいして…

3/21(月) 曇り 9時位に起きた。昨日外出して体力を使った分早く寝たので早く起きた。9時位に起きるといつも11時位に起きていた反動で午前中がとても長く感じた。悪い気はしないけどこの日記を1時に書いている以上既にそっちに生活習慣の舵を切るのは無理そう…

3/20(日) 晴れ 9時に起きた。12時くらいの電車に乗るためにちょっと早めの昼ごはんを食べた後でかけた。2ヶ月ぶりの電車だしあんまり使わない方面の電車だったから案の定乗り過ごした。いつもこう。 発表は一つ聞いて一つ発表した。まあ全部で二つだけなんだ…

3/19(土) 曇り 11時位に起きたはず。と思ったけど10時からゼミをしてたから10時前には起きていた。 ゼミは午前中に終わって、午後は昨日の続きを読んだ。valuationのrankについてやった。discreteなときとかrank 1のときの議論を初めてちゃんと追った。rank …

3/18(金) 雨 11時前には起きていた。午後のゼミがあるけどそれまで昨日の続きをやってた。イデアルとsegmentの間の全単射を示してからそれを使ってNoetherな付値環はDVRであることを示した。このときrankについてよくわかっていなかったので改めて考えた。な…

3/17(木) 曇り 10時過ぎに起きた。午前中からバイトの時間までplaceの続きのvaluationのところを読んでいた。まあアティマクでやったようなことが多いので大体事実の確認って感じだけど。placeは付値環と対応しているしvaluationも付値環と対応してるし同じ…

3/16(水) 晴れ 11時過ぎに起きた。午後にゼミがあるから参加した。微分加群とかとの関係性についてやった。基本完全列とかが偉いって感じ。最近PDFの更新ができていないのでいつか少し労力を回せそうになったらそっちに回す。 その後はまた続きを読んでた。p…

3/15(火) 晴れ 11時に起きた。なんか起きる時間が遅くなってると思ったけど順当に寝る時間が遅くなっているだけだった。 とりあえず午後に発表練習があったのでそれまでその原稿を見直してた。実際練習した感じだとやっぱり証明はやらなくてよかったなって感…

3/14(月) 晴れ 11時に起きた。また変わらず昨日の続きをやった。placeのspecializationを取ってそれとの同型とか考える。なんか一日それを考えていた気がする。考えていたというか読んでただけというか。 あと明日のための準備というか少しだけ数日前に書い…

3/13(日) 晴れ 11時位に起きた。午後にゼミがあるからそれまで昨日の続きを読んだり動画を見たりしてた。placeについての基本的なことをやっているけど、最初のほうだからか最近数学書を読んでなかったからかわからないけど結構スラスラ読めてしまう。逆に頭…

3/12(土) 晴れ 10時に起きた。夜の配信に向けてそれまで待機所みたいになってる配信を見てた。あとはその時間まで昨日の続きを読んだ。とくに大変なところもなく、ちょっと記号が普段使っているものと異なるくらいだった。 夕方から夜にかけては配信を見てた…

3/11(金) 晴れ 10時前に起きた。10時からゼミがあったので参加した。そのままシームレスに最終講義を受けるところまでやった。数学の内容はさることながらいくつか精神的な話とか面白い話が聞けてよかった。9ヶ月くらい悩まないと答えが出ないんだなあって感…

3/10(木) 晴れ 10時位に起きた。夜にバイトがあるからそれまで昨日と同じ感じで過ごした。とりあえず起きたときに昨日わかっていなかったFrobeniusの全射性が分かった気がしたのでそれを書き出した。結局一箇所なんか微妙なところがあったんだけどまあこうな…

3/9(水) 晴れ 11時位に起きたはず。多分一日数学してた。なんか途中でsekiroの考察サイトを見つけてしまってそれを読んでいた時間が長いけど。 とりあえず一つ論文を読みたいところまで読もうと思って読んでいた。closure operationとかこのときにperfectoid…

3/8(火) 曇り 10時に起きた。昨日の続きを読んだ。何箇所かわからない。意外と他のところはすぐ分かったんだけど例えば元を取って高さ2の素イデアルになるようなものを取るとかが出来ない。標高定理とか使って高さ1になるのを取るのはいいんだけどそのあとど…

3/7(月) 晴れ 11時に起きた。数学をしてた。午後はゼミだったけど。数学してたと言ってもなんかあんまり進んだ気はしていない。 ゼミのあとはなんか使えそうだと思って見つけてた昨日の論文を読むことにした。closure operationについて色々示している。夜は…

3/6(日) 晴れ 12時に起きた。エルデンリングのエンディングまで見た。結構最後の方のボスは正統派で戦ってて楽しかった。ああいうのとずっと戦っていたい。とりあえず二週目はやらないでたまにゆっくりやることにする。 その後は久しぶりに数学をした。一昨…

3/5(土) 晴れ 11時前に起きた。やっぱり数学やると頭使って疲れるからかいつもと寝る時間は同じだったのに起きる時間が遅くなっていた。 午前中はゲームをやらずにちょっと溜まっていた連絡とかを済ませた。午後は夕方までエルデンリングをやった。おそらく…

3/4(金) 晴れ 10時位に起きてお昼ごはん前までエルデンリングをやっていた。午後はゼミがあるのでそっちに出席した。発表者側だったんだけど一週間ずっとゲームをやってしまっていたので少しだけしか用意できてなかった。その分そこから考えることを一緒に相…

3/3(木) 晴れ 10時位に起きてバイトの時間までエルデンリングやってた。バイトがちょっと早めに始まったのでそこそこにして切り上げた。なんかめちゃくちゃ強い奴が出てきたので他のところに行こうかと思う。 バイトから帰ってきてからゲームやろうかと思っ…

3/2(水) 晴れ 10時位に起きてずっとエルデンリングやってた。結構進んだ気がする。もしかしたらそろそろ終わってしまうかもしれないと思ったけど全くそんなことなかった。今週中に終わるか怪しくなってきた。 本当に書くことがなかった。まあいいや。

3/1(火) 曇り 10時過ぎてから起きた。また午前中から夕方にかけてゲームをしていた。今週中には終わりそうだけどどうだろう。意外と週末までかかるかも。 ずっとそれやってたから書くことがない。昨日の日記を書いてるときにそういえば去年はこの時期にどう…

2/28(月) 晴れ 10時くらいに起きてまたずっとエルデンリングをやっていた。まあバイトがあるのでそこそこに切り上げたけど。 この時期になると2月いっぱいで終わる人たちが多くて色々これから合わなくなる人が出てくるのが悲しい。去年も同じようなこと考え…