この間人と会話してるとき「マジで？アタシめっちゃアニメ観てるし！」でアニメの話しようと思ったら「いやあなたはどちらかと言えば"インターネット"のオタクですよね」みたいな感じのこと言われて反論できずこの顔になった
日報(2026.10.20)
scrapbox.io/sno2wman/2026.10…
ナードコアと音MADの区別がつかなくなりつつある僕に「この動画・音声は音MADか否か？」という判断能力があるかとか権限があるのはちょっと恐ろしいと思うけど、こういうデータベース的な作業をやっている自閉的な人間がパブリックには日本にそんなにいないのが問題なんだよね。(自動翻訳)
「音MADとは何か」というのは何か分析的な概念というよりも社会的構成物つまり（これって音MADっぽいなー…）という人々の認知によって決まるという自分の考えのもと、こういう感じで全然音MADとは言ってないけどまあそうだろみたいな動画群もotoDBで登録し始めている
otodb.net/tag/%E9%9F%B3mad%E…
SnO₂WMaN retweeted
こちらの論文を大幅に改訂し、タイトルごと刷新しました。arXivに上げたその日に、Emil JeřábekさんにP≠NPの仮定を外す可能性について指摘していただきました。感謝です。
[2609.10872] Elementary modal logics and circuit complexity
arxiv.org/abs/2609.10872
それはそれとして、新しいプレプリントを公開しました。まさか人生で自分が(AIがではなく)P≠NPを仮定して何かを証明することになるとは思いませんでした。
[2609.10872] Non-elementary modal logics, assuming P $\neq$ NP arxiv.org/abs/2609.10872
