2024.12.17
https://www.youtube.com/watch?v=QIXjf5x9zjA
無断転載なんだけどそれはそれとしてこの曲いいな
歌詞意味不明すぎる
前:2024.12.16
後:2024.12.18
#日報
Memo
$ \bf GLの完全性が二階算術のどの程度の体系で出来るのか
$ \bf KのModal Cube拡張の弱完全性は$ \sf WKL_0で出来るらしい.
Solovayの算術的完全性定理などがどの程度の二階算術で実行できるのか?
あるんじゃないか?実は
行った
証明論シンポジウム20242日目
なぜかアニメ!アニメ!になった
「すいません劇場版 巨蟲列島のアニメ映画は本当につまらないのでオススメですよ!」という話をした。研究集会なのに…
https://x.com/SnO2WMaN/status/1868955542577987737
どうしてこんなことに…
踏切時間もおもしろくないですよという話をして盛り上がりました
どうしてこんなことに…
思った
普段は漫画の登場人物に共感したりしないのに『ダウナー系お姉さんに毎日カスの嘘を流し込まれる話』を読んでいるときだけ「これアタシだ…」以外の感情しか出てこなくてくるしい
すいませんこれおれです