01.05.2024 and 02.05.2024

あんまり生産的でなかった。よくない。金土日で今読んでいる論文をちゃんと読み終えて消化したい。ちゃんとプロジェクトを進めなければ...

気分転換にR-type final2をやり始めた。昔R-type 2をWiiでやったことがあるが、当時は全然クリアできなかった。SLOWを駆使しながら何とかクリアはできた。機体が100近くあるらしい。楽しみである。

03.05.2024

昨日は完全に夏の天気だったのに、今日は天気の悪いドイツに戻ってしまった。散髪のためデュッセルドルフに向かう。

04.05.2024

ハンガリーに行ってみたい。トカイワインを買いに行きたい。あとはVASSを見に行きたい。

05.05.2024

二日酔いもあり、ずっと寝ていた。20時間以上寝ていたと思う。本当に良くない。

06.05.2024

普通に精神状態が良くない。精神状態が良くない→数学する時間が減る→ますます精神状態が悪くなるのループに入っている気がする。

こういう精神状態の悪化は数学することでしか解決しないで黙々と数学をする

私が尊敬している数学者の一人が言っていたことだが、とにかく紙とペンを用意し、机に向かって、定理を1つ示す。やるしかない。

10.05.2024

新しい引っ越し先が決まった。中央駅から徒歩3分、家賃はreasonable、建物は新しいという好条件のアパートに住むことになった。需要過多の状態でこれほど良い条件のアパートが見つかったのは非常に幸運なことだと思う。

引っ越し6月1日を予定している。これでお世話になった学生寮ともさようならです。

D.C. Whiteのマドラスジャケットかなり良さそうである。ネイビーが基調のものだったら派手になりすぎず良いかも。買いです。

究極の靴棚を作りたい。

11.05.2024

指導教官と雑談をした。今やろうとしてることってかなりチャレンジングだよねーという話になった。普通にうまく行かない可能性あると思います。でもD1の前半は取り組んでみようと思います。うまく行かなかったら笑ってくれ......

うだうだ考えててもしょうがないので、今は手を動かすしかない。まあ上手くいくことの方が少ないという気持ちで気軽に生きています。

ダメだったらどうしようかなと考えたりもする。何もわからん。

12.05.2024

今日は数学と部屋の片付けをした。どちらも捗った。

引っ越しに向けて部屋を片付け始めている。今日の片付けであとは荷物を段ボールに入れて、床を綺麗に拭くだけになった。一通りものも捨てた。 来週ビールびんをリサイクルに出しに行かなければならない。

数学に関してはまずlong extenderに関する計算をした。今読んでいる論文に書いてあることは正しいとチェックできた。理解したい証明の中でわかってない部分は残り1つになった。それを明日取り組もうと思う。まずは机に向かって、紙とペンを取る。たったこれだけである。あとコーヒーがあるといいかも。

16.05.2024

住んでいる寮の担当者に退去について相談しに行った。担当者が頭カチカチすぎて話にならなかった。

法律や契約を破る人が得をする状態かつ本人がそれをほとんど黙認している状況何?? 今回に限らずだけど規則を破る人だけが得をしている状況が多すぎるのも今回寮を退去する理由の1つだ。とりあえず寮の担当者の尊大さ、その態度に非常に腹が立った。

18.05.2024 and 19.05.2024

博士の3年間は新居に住み続けられることが確定した。安心である。

土日は怠けて過ごしてしまった。反省である。来週1週間はまるまる休みである。研究を進めたい。とりあえず今頭の中にあるアイデアなどを全て試してみたい。

中公選書の5月新刊である 「モディ化」するインド―大国幻想が生み出した権威主義 を読み始めた。インドの国内の情勢などはほとんど耳にしたことがなかったのでかなり勉強になる。

20.05.2024

Moschovakis Coding Lemmaについて改めて考えていた。色々役立つことを示してまとめた。

数学以外特にやることもないので、数学していた。あと散歩もした。こういう環境、ひと時が貴重なんだろうなと思う。

21.05.2024

今住んでいる寮を無事に5月31日に退去できることになった。一方で新居への入居日が6月2日なので空白の期間が生まれることになった。オフィスに泊まるなりどうにかしようと思う。

2日ぐらいオフィスで寝泊まりするのは全然気にならない。荷物がいっぱいあるので、それをオフィスにおいてホテルに泊まるくらいならオフィスに泊まればいいじゃんとなった。風呂だけどうにかすればいいだろう。

22.05.2024

無を過ごした。

23.05.2024

健康大事。

研究室の人とみんなで寿司を食べに行った。とてもおいしかった。

24.05.2024

大きな荷物をこっそりオフィスに運び込んだ。

25.05.2024

寮でまた良くない人間事案に（直接ではないが)遭遇して萎えた。

26.05.2024

Logic groupの倉庫を漁っていたら証明論の文献が大量にまとまった本棚を見つけた。 誰のものだろうと不思議に思っていたが、2008年まで証明論の大家であるPohlersがMünsterにいて、その痕跡だった。 Münsterは数理論理学の歴史がある大学である。Ackermann関数で有名なAckermannもMünsterにいた。驚くことに彼が使っていたソファーがなぜか私のオフィスにある。 私の指導教官ももちろん集合論の歴史に名を残す研究者である。そういうふうに数理論理学の歴史を感じることができる場所で過ごし研究できることはとても幸せなことである。 自分もそのMünsterの歴史の一部分に貢献できるように頑張っていきたい。

宮元先生のNice iterationを今週勉強してみようと思う。

27.05.2024

今日は少し曇り。涼しくてとても過ごしやすい。日本の夏と比べて乾燥しているのでドイツの夏はとても快適である。日差しは強いので日焼け止めは必須である。

今日もオフィスで黙々と数学をしていた。夜は指導教官の家でディナーの予定である。

指導教官の家でのディナーはとても楽しかった。集合論にまつわることをたくさん話した。

28.05.2024

朝退去前の部屋の点検を受けた。すぐに終わった。

午後はオフィスで数学をしていた。

29.05.2024

セミナー発表だった。

WoodinのSealing proofを今読んでいる。Stationary tower forcingを使ったSealingの証明はiterabilityを使った証明より真に情報を多く含んでいるように思われる。(だから読んでいるわけだが)

30.05.2024

明日部屋退去である。残りの荷物のほとんどを運び出した。あとはスーツケース1つのみである。

明日が給料日だと思っていたが、なぜか今日給料が振り込まれた。良くわからんが、ホクホクである。金銭的に全く困らない状況で数学ができているのはとてもありがたい。

31.05.2024

寮を退去した。部屋の電気がスイッチを20回ぐらいオンオフ繰り返さないと点かなくなっていたが、部屋の検査の時に点けておいたら何も指摘されなかった。まあ問題ないだろう()

今日明日は指導教官の家に泊めてもらうことになった。ちょうど指導教官が旅行に行っており、部屋が空いておりラッキーである。感謝。