2024.11.19
https://www.youtube.com/watch?v=2lvu_32xPHY
前：
2024.11.18
後：
2024.11.20
#日報
メモ
Leanの無矛盾性について
知った
https://x.com/watanare_anime/status/1858782279717556622
おー
わたしが恋人になれるわけないじゃん、ムリムリ！（※ムリじゃなかった！？）
百合作品のアニメ化、嫌な予感がするからやめてほしいぜ
ハハハ なんのことだか…
あと7巻が出る
よかったー
知った
Projekt Kagonishの名の由来
メモ
系譜学的Gödel数
やった
名義を考えたりしていた