2026.05.23
https://gyazo.com/a5af2d90ef454d413218ece7fd8d074a
前：
2026.05.22
後：
2026.05.24
#日報
メモ
https://pbs.twimg.com/media/HI1s_zDawAA8oIm?format=jpg&name=large#.jpg
冰剣の魔術師が世界を統べるⅡ
https://x.com/hyouken_pr/status/2057748298703032535/photo/1
マジで？
見た
上伊那ぼたん、酔へる姿は百合の花 #7
ヤマノススメ
ですよね？
街角の恋
、出世したな．．．．
思った
https://github.com/FormalizedFormalLogic/VeryWeakSubintuitionistic
FormalizedFormalLogic/VeryWeakSubintuitionistic
T. Kurahashi & M. Noguchi; "Very weak subintuitionistic logics"
の形式化を切り出して論文の内容に沿うように修正しました．
思った
Jean-Yves Girard
を読んでいくことになるのかもしれない．．．
「
黒髪と金髪の2人組の少女たちが何かをする
」類型というのは何かしら名前が付いているのかそれとも人類が無意識に持ち合わせている神話の体系なのか