2024
https://gyazo.com/f5b28bb124dceeca37fa60cd27914b31
今年何が起きたかを大雑把に書く
今年主に人生の基点となったであろうイベントと,形式化した事実をいくつか書いておく.
1月
卒論と戦う
卒論を書く.全くやる気が生まれず,全てのスケジュールが破綻していたがなんとか間に合わせることが出来てよかった.
今見るとややムチャクチャだ.
おそらく卒論を提出した.
2月
大学がひとまず区切りがつきヒマな時間が流れる
卒論の研究発表をした.第一関門を突破.
研究生になるにあたって承諾を得るために神戸大学に向かった. ちなみに提出期限はこの日までだったので本当に全てがギリギリだった.
$ \bf GLのフレーム定義性:推移的な逆整礎フレームクラスによって定義されることを形式化した.
ナムナマさんから現状のアイコンを書いてもらいました. 3月
全てが確定する
家を引き払う
大学の卒業が確定する.
私は4年の後期の時点で教養科目が一つ足りなくて,実際には卒論発表した時点(つまり1月の時点で)でほぼ確実にわかるはずだったことが3月まで不明だった.
無事に卒業ができてよかった.
神戸大学の研究室で研究生をすることが確定する.
書類を出すためにもう一度神戸大学に
4月
新生活が始まる
研究室の人と初会話
東京に行く.
5月
ちょっと移動した
はてなのバイトに受かって,PCを受取に京都に行った ポリネシアンバイト研修 1日目
まずは支給PCを開かず、そっと撫でて、帰宅
$ \bf Kの完全性の形式化を書き直した.
6月
この月は特に何もしなかったと思う
7月
ウソのサマーウォーズ上映会をやったら今テレビでサマーウォーズやってるんだと勘違いする人間を少なくとも2人作り出した
8月
院試があり精神がガタガタになる.そして東京に行く.
多分このあたりでバイトを休止し,辞める
院試の筆記試験を受ける.今年はありえないほど難化したためここで落ちることを確信する
院試の面接を受ける.
東京に向かう.
周りが音MAD作者なので完全にアウェーすぎて終わった
結果的に支払い0円で終わってよかった
9月
激動の月
院試の合否発表があり,院試に落ちた.と思ったらなんと勘違いで,院試に合格していた.
なぜこんな奇妙な事態が発生したかを書き残しておく.
この時点では実家に帰っていて,このとき台風が襲来していたため帰るタイミングを逃して延期していた.
このようなことが起こるとは思っていなかったので,私は受験番号が書かれた受験票を下宿先に置きっぱなしだった.
合否発表当日,試験番号を控えていなかった私は面接試験で呼ばれた順番から受験番号を逆算することを試みた.
このとき5番目に呼ばれた記憶があったので,面接試験の呼ばれる順番の書かれた紙を一緒に受けた人から送ってもらい,上から5番目の番号を自分の受験番号だと思い込んだ.
そしてこの番号は合格者ではなかった!したがって私は院試に落ちたと完全に思い込んだ.
私はとりあえず研究室のチャットに院試に落ちたことを報告した.
それを伝聞で聞いた指導教員から全然合格者名簿に名前ありますよと報告された.
しかし私は受験番号を確かめる術が無いので,完全に宙ぶらりんの状態で2日過ごす羽目になった
自宅に帰り,ポストに合格通知が来ていた.ここで私は院試に合格していたことを知る.
ということで,来年からは私は神戸大学の(おそらく)倉橋 太志先生のもとで論理学の研究をする予定です. 東京に向かう
またぞろ。の書き起こしイラストが本当に美しく,私はアクリルボードを買いました. 10月
論理学の人と会話したりする
すいません,そのうち動かします…多分…
また東京に向かう
興味深い話がたくさん聞けてよかった.
懇親会で「こいつがsno2wmanです」と言われて全員エーッとなってた上に,そのあと全員からスノーマンさんと言われておれだけオフ会みたいな感じになって最悪だった
帰りの夜行バスに乗り遅れる
帰る
11月
論理学の人と会話したりする(2)
ホテルを1日前に取ってしまい宿が存在しなくなるというこれまでで一番マズい苦境に陥る
野宿を考えたが寒すぎて死ぬ危険があったため土壇場で快活CLUBを思い出して助かる 12月
いろんな話が聞けておもしろい
懇親会の飲み会でつまらないアニメを観ている人がいるという話になり,アニメ!アニメ!になってこんなことに
「すいません劇場版 巨蟲列島のアニメ映画は本当につまらないのでオススメですよ!」という話をした。研究集会なのに… 振り返り
できなかった.
2. 働く.
2ヶ月だけ…
3. 成す.
院試に受かって来年から院生になることはあったが,まあ大枠では成せなかったと言えるのでは…
よかった
抱負
より多くの計算体型を形式化していきたい.
総評
今年はよく移動したし,よく人と会った.
特にこの4方には大きくお世話になったと思う.ありがとう!
https://gyazo.com/58de9c51de97f36c8d54f656ef2cbb8c
以上.