2026.05.21
https://gyazo.com/86e1da07fdc155b8587b5194dde1f7b5
前：
2026.05.20
後：
2026.05.22
#日報
書いた
https://arxiv.org/abs/2605.20769
T. Kurahashi & M. Noguchi; "Very weak subintuitionistic logics"
論文書いたよん
MLG60
でやった内容をようやく論文化
Formalized Formal Logic
でやった形式化についてオフィシャルに言及した最初の論文でもあるとも言える
いいね
https://x.com/saku_saku_sakup/status/2057284031239291113
これは素晴らしいね
メモ
https://www.youtube.com/watch?v=aaPKaaHA49w
ほぼエロフラみたいな内容に50分時間かけて解説してて神すぎる