2024
https://gyazo.com/f5b28bb124dceeca37fa60cd27914b31
前:2023
後:2025
#年報
今年何が起きたかを大雑把に書く
今年主に人生の基点となったであろうイベントと,形式化した事実をいくつか書いておく.
1月
卒論と戦う
2024.01.05
Rekordboxに触ってDJ体験をした.
2024.01.10周辺
卒論を書く.全くやる気が生まれず,全てのスケジュールが破綻していたがなんとか間に合わせることが出来てよかった.
2024.01.25
おそらくこの日に一回目の正規様相論理の完全性定理を示す.
今見るとややムチャクチャだ.
2024.01.31
おそらく卒論を提出した.
2月
大学がひとまず区切りがつきヒマな時間が流れる
2024.02.01
卒論の研究発表をした.第一関門を突破.
2024.02.02
研究生になるにあたって承諾を得るために神戸大学に向かった.
ちなみに提出期限はこの日までだったので本当に全てがギリギリだった.
2024.02.11
$ \bf GLのフレーム定義性:推移的な逆整礎フレームクラスによって定義されることを形式化した.
2024.02.25
ナムナマさんから現状のアイコンを書いてもらいました.
3月
全てが確定する
2024.03.03
家を引き払う
2024.03.05
大学の卒業が確定する.
私は4年の後期の時点で教養科目が一つ足りなくて,実際には卒論発表した時点(つまり1月の時点で)でほぼ確実にわかるはずだったことが3月まで不明だった.
無事に卒業ができてよかった.
神戸大学の研究室で研究生をすることが確定する.
2024.03.10
書類を出すためにもう一度神戸大学に
2024.03.18
直観主義命題論理の完全性定理の形式化
2024.03.21
直観主義論理の選言特性の形式化
2024.03.23
Gödel-McKinsey-Tarskiの定理の形式化
4月
新生活が始まる
2024.04.01
研究室の人と初会話
2024.04.13
Geach論理の完全性定理の形式化
2024.04.26 - 2024.04.29
東京に行く.
M3に行った.
Digital Offlineへ行った.
音MADエキスポの公式サイトを依頼されて作りました.
5月
ちょっと移動した
2024.05.04
CAR CRASH AND SIRENへ行った.
2024.05.14
はてなのバイトに受かって,PCを受取に京都に行った
ポリネシアンバイト研修 1日目
まずは支給PCを開かず、そっと撫でて、帰宅
https://twitter.com/SnO2WMaN/status/1790284076597018684
2024.05.18
otogrooveを観た.
2024.05.29
$ \bf Kの完全性の形式化を書き直した.
6月
この月は特に何もしなかったと思う
2024.06.12
導出可能性条件を用いた不完全性定理の証明を形式化した.
2024.06.13
算術的健全性定理の形式化
2024.06.26
様相論理の濾過法の形式化
7月
2024.07.05
ウソのサマーウォーズ上映会をやったら今テレビでサマーウォーズやってるんだと勘違いする人間を少なくとも2人作り出した
2024.07.07
DJMixを作る
2024.07.10
GLのKripke完全性を形式化した.
2024.07.26
Formalized Formal LogicをPalalansoukîと一緒に設立
8月
院試があり精神がガタガタになる.そして東京に行く.
2024.08.03
音MAD華を観た.
2024.08.10
Formalized Formal LogicがProxima Technologyから支援を受けることが決まる.
多分このあたりでバイトを休止し,辞める
2024.08.22
院試の筆記試験を受ける.今年はありえないほど難化したためここで落ちることを確信する
2024.08.23
院試の面接を受ける.
東京に向かう.
GLのKripke完全性の形式化を書き直す
2024.08.24, 2024.08.25, 2024.08.26
東京旅行記 2024.08を参照.
GrzのKripke完全性を形式化する
旅行先のRAKU SPAで.
individual candysに行った.
音MAD華を日本の人たちと観る回に出席した.
周りが音MAD作者なので完全にアウェーすぎて終わった
対面でポーカーをした.
結果的に支払い0円で終わってよかった
9月
激動の月
2024.09.06 - 2024.09.08
院試の合否発表があり,院試に落ちた.と思ったらなんと勘違いで,院試に合格していた.
なぜこんな奇妙な事態が発生したかを書き残しておく.
2024.09.06
この時点では実家に帰っていて,このとき台風が襲来していたため帰るタイミングを逃して延期していた.
このようなことが起こるとは思っていなかったので,私は受験番号が書かれた受験票を下宿先に置きっぱなしだった.
合否発表当日,試験番号を控えていなかった私は面接試験で呼ばれた順番から受験番号を逆算することを試みた.
このとき5番目に呼ばれた記憶があったので,面接試験の呼ばれる順番の書かれた紙を一緒に受けた人から送ってもらい,上から5番目の番号を自分の受験番号だと思い込んだ.
そしてこの番号は合格者ではなかった!したがって私は院試に落ちたと完全に思い込んだ.
2024.09.07
私はとりあえず研究室のチャットに院試に落ちたことを報告した.
それを伝聞で聞いた指導教員から全然合格者名簿に名前ありますよと報告された.
しかし私は受験番号を確かめる術が無いので,完全に宙ぶらりんの状態で2日過ごす羽目になった
2024.09.08
自宅に帰り,ポストに合格通知が来ていた.ここで私は院試に合格していたことを知る.
ということで,来年からは私は神戸大学の(おそらく)倉橋 太志先生のもとで論理学の研究をする予定です.
2024.09.27 - 2024.09.30
東京に向かう
2024.09.27
きらら展に行った
またぞろ。の書き起こしイラストが本当に美しく,私はアクリルボードを買いました.
コトヤマ展に行った
あすたーいずむ氏と会話しました.
2024.09.28
CAR CRASH AND SIREN 2に行った.
2024.09.30
キルミーベイベー 15周年展に行こうと思って失敗した
10月
論理学の人と会話したりする
2024.10.09
Vercelの無料枠が突破してOTOMADBが止まる.
すいません,そのうち動かします…多分…
2024.10.11 - 2024.10.16
また東京に向かう
2024.10.12
ELECTRO WIZZARD EPISODE 2を観た
数学基礎論若手の会2024に出席
Palalansoukîととうとう遭遇
興味深い話がたくさん聞けてよかった.
懇親会で「こいつがsno2wmanです」と言われて全員エーッとなってた上に,そのあと全員からスノーマンさんと言われておれだけオフ会みたいな感じになって最悪だった
2024.10.15
キルミーベイベー 15周年展に行った.
帰りの夜行バスに乗り遅れる
2024.10.16
帰る
2024.10.25
Smullyan's Truth and Provabilityの形式化
11月
論理学の人と会話したりする(2)
2024.11.17
Foreground vol.5に行った
Xat0liのDJで本当に感動
2024.11.23
Illegal Complex Release Partyに行った
saradiskのDJが本当にすごくて…
2024.11.25 - 2024.11.26
TPP2024でFormalized Formal Logicの様相論理の形式化についてのショートトークをするために九州大学へ
ホテルを1日前に取ってしまい宿が存在しなくなるというこれまでで一番マズい苦境に陥る
野宿を考えたが寒すぎて死ぬ危険があったため土壇場で快活CLUBを思い出して助かる
12月
2024.12.03
Smullyan's Truth and Provabilityの記事を書いた
https://github.com/SnO2WMaN/notes-on-smullyanTP
2024.12.09
ELECTRO WIZZARD EPISODE 3にviveisdeadとDJすることが決まりました.
なぜ初めてのDJでCIRCUS TOKYOでDJすることになるんだとまだ思ってるんですが,まあせいぜい頑張ります…
2024.12.14
神聖なる天使の怒りにより異次元の闇を打ち砕く至高の次元浄化破壊装置に行った
Loctekすごすぎる…
2024.12.16 - 2024.12.18
実家に帰りつつ証明論シンポジウム2024に出席するため名古屋に向かう
いろんな話が聞けておもしろい
「正規様相論理の完全性定理を実行するには2階算術のどのぐらい強い公理が必要か?」みたいな話が興味深いと思った.
証明可能性論理って実際にこうやって使うんだみたいな驚きがあった.
懇親会の飲み会でつまらないアニメを観ている人がいるという話になり,アニメ!アニメ!になってこんなことに
「すいません劇場版 巨蟲列島のアニメ映画は本当につまらないのでオススメですよ!」という話をした。研究集会なのに…
https://x.com/SnO2WMaN/status/1868955542577987737
振り返り
1. OtoMADBをどうにかする
できなかった.
2. 働く.
2ヶ月だけ…
3. 成す.
院試に受かって来年から院生になることはあったが,まあ大枠では成せなかったと言えるのでは…
よかった
見る専も作者も選ぶ2024年の音MAD10選に提出した音MAD
抱負
1. OTOMADBをどうにかする
2. GLの算術的完全性定理を進める
3. ラベル付きシークエント計算の形式化を実装する.
より多くの計算体型を形式化していきたい.
総評
今年はよく移動したし,よく人と会った.
特にこの4方には大きくお世話になったと思う.ありがとう!
Palalansoukî
viveisdead
naari3
cannorin
出会いとは奇跡の連続である
https://gyazo.com/58de9c51de97f36c8d54f656ef2cbb8c
以上.