2024.08.02
https://www.youtube.com/watch?v=ZEy36W1xX8c
最近までこの曲がなんなのかよくわかってなかったの照という感じだ
いいね
https://open.spotify.com/playlist/24pTbB2oFjnOPwg4y7ECfn?si=7179e55cd058438d
本当にありがとう
メモ
「意外と解決していない数学的命題の一覧」という定性的なリストがほしいが意外性はその人の専門に依存するから作れない気がしてきた
メモ
2024年にもなって「全てのスマブラ族に告げる…」を擦っている人間が音MADについての造詣が浅いとは思えない
どちらかといえばYoutubeにある音MAD合作の途中パートすぎるとは思った（要するにニコニコ動画の音MADではない感じがした）
思った
直観主義論理のKripke意味論と様相論理のKripke意味論がバラバラなのは意味がわからないので統合するぞーと思って書き直していたけど型宇宙とメタ変数とその他諸々がグッチャグチャになって完全に破綻してきた
思った
Grzegorczykって名前がかっこよすぎると思う
メモ
面白い同人オタク研究をどのように行うか？
メモ
思った
$ \bf K4と$ \bf KTより強いことを証明