修士二年夏休み1日目
8/11(金) 晴れ
本当は昨日から学事歴の上では夏休みだったらしい。まあいいや。こっちのほうが日付が数えやすいし。
今日は朝少し早めに出て大学で午前と午後にゼミを聴いていた。今回は自分が発表する場所ではないので聴くだけ。よくわからない記号とか読んでない証明とかあったんだけど発表してくれたのでなんとか読むことはできた。ただやっぱり記号が煩雑で難しい。
一日それで終わって、院生室で少し駄弁ってから家に帰った。明後日から韓国に行くと言う実感が何もない。明日は準備しないといけないんだけど。
それで家に帰ってから進めてたこともやってて、pで割るというアイデアのもとでちょっと上手くいったところがあった。だけど最後の同値条件みたいなところがやっぱり難しい。全然有限性がないせいで同じように全く進まない。その間にちょっと自分のノートの誤植を見つけたりしてた。
そしてまた大体一週間くらいの日記をまとめて書いていた。韓国に行ったらまた書けなくなってしまいそうだし。まあ夏休み前で一度終わらせることも考えたけどせっかくだし続けている。書きたくなったときにまとめて書くくらいでいい。明日は準備もあるのでそろそろ寝る。
修士二年2Q61日目
8/10(木) 曇
今日はオープンキャンパスというのもあって、ちょっと遊びに行った。コロナもあって、そもそも学部生だと夏休み期間に入った瞬間だから行ったことなかったし本当に高校生ぶりに様子を見に行った。想像以上に人が居てびっくりした。後輩が発表するというのでどんなものを話すのか興味があったから見に行ったんだけど午前中は外に人が並んで満員になるくらい数学系のブースが人気だった。数学系って今こんなに人気なのかと思ってびっくりしてた。
流石に入れなかったのでしばらくして空いてきてから行った。その間に院生室にいた。こんなときでもそんな事やってないみたいに静かだったのでとても環境が良い。研究の方も、どういうことならすぐに言えるのかがちゃんと定式化できてきた。一つ問題の箇所も、とある証明を引っ張ってきて似たようなことをすることでいい感じになりそう。
高校生とかその親とかも多くて結構質問も来ているらしかった。こういうのを見ると少しずつ戻していこうという意志を感じる。先生が来るまで少し粘っていたけどバイトの時間もあって家に帰ってしまった。その頃に来てたらしいけど会えなかった。
バイトから帰ってきてからはダラダラ過ごした。
修士二年2Q60日目
8/9(水) 晴れ
何をしただろうか。大学行ったかも覚えてない。多分行ってないんじゃないかと思う。家でずっと正標数の特異点の類似としてどういうものが考えられるかこちゃこちゃいじっていた。そもそもの話題を知らないのでそこらへんの論文を参照しつつ、いい定式化を探している。すぐに分かる性質とかすぐに示せることとかを溜めていってなにか繋がりが見えてこないかを探している段階。ここが一番おもしろいかも知れない。まあ一番迷走しているときでもあるんだけど。
ほんとに簡単な状況証拠だけはまとめておいて、一応ちゃんと関係はしているらしいという感じだけわかった。そんなこんなしていて日記は当然書いておらず、8/12に数日まとめて書いている。
修士二年2Q58日目
8/7(月) 晴れ
今日は午後にzoomでここまで考えたことについて相談していた。minimal性を考えれば問題はひとまず解決された。ただ最終目的の一般化まではまだ案が何も浮かんでこない。難しいところ。ひとまずある程度の仮定のもとで他に言えるものがないか考えてみたいと思う。
夜はバイトに行って帰ってきた。日記をまとめて書いてるのもあってあんまり内容がない。
修士二年2Q57日目
8/6(日) 晴れ
またまとめて書いている。
この日はサマーウォーズを映画館で観に行った。小説だけ読んだことがあって映画では観たことなかった。小説と違って名前が分からなくても顔とか服装で判別できるからこういうのは映画の強みだと思う。ただ、やっぱり小説よりも勢いがあって結構一気に終わった気がする。また小説を読みたいと思えた。話の展開とか盛り上がりのところはやっぱり映画のほうが感動するけど。
他はメールを確認して書いたり送信したりしてた気がする。送信じゃなくて受け取ったのを解読していたのかも知れない。
修士二年2Q56日目
8/5(土) 晴れ
今日は9時からテニスをしてた。2時間くらい。お昼ではなかったので一番暑い時じゃなかったけどそれにしても暑かった。持って行っていた水が全部なくなってしまった。なんかテニスの動作というよりも、単純にスタミナがなくなっていた。ちょっとやってから息切れしてしまった。最初の10分くらいが一番疲れてたまである。それよりあとは逆に少しだけ運動に体が慣れたのでまだマシだった。たまにはこうやって脳みそ以外にも汗をかいておかないといけない。まあその汗も垂れずに湿るだけなんだけど。何はともあれいい運動をした。次はいつになることやら。
帰ってきてからは午後にゼミを聴いていた。もうラジオ状態だけどそれでも良しとする。そのさなかに少し修正した論文について提案を受けていて、終わり次第ちょっとだけ相談した。それで少し直した。しばらくしてからメールを送った。あとは待つのみ。
その後は運動して疲れたのもあって配信を見ながらゆっくり過ごしてた。韓国のための準備に必要なものとかを書き出してもいた。あとはここ数日の日記を書いてた。明日は午後にサマーウォーズを観に行く。今のうちに行かないと劇場で見れないし。ついでに足りないものを買い足しに行ってくる。一応一段落したものが多いのでちょっと勉強を進めておこうと思う。いやそれよりも発表の練習かも知れないけど。そういうわけで今日はつかれたしそろそろ寝る。
