2025.02.08
https://www.youtube.com/watch?v=1Bka075UuQg
前：2025.02.07
後：2025.02.09
#日報
思った
https://www.youtube.com/watch?v=E74wm1P6CPI
2015年ぐらいのMonstercatのAu5すぎ
観た
WORKING!!
暴力すぎる
思った
「「貧乳はステータスだ！希少価値だ！」の元ネタは『らき☆すた』のこなたではない（更に元ネタがある）」という事実が今のところ2025年に入って最も驚きだった
やった
T,B,4,5,Dでの様相論理の拡張は高々15種類しかないを形式化（真に）
https://github.com/FormalizedFormalLogic/Foundation/pull/191/files#diff-93819dc6f67e02e5d7f980ef8eb1c30b59d5d5783ab25d9bfbb4015d13a8f644R134-R657
ハアハアハア