2026.03.06
https://gyazo.com/61b182495e74180fffe9b355a253a545
前：
2026.03.05
後：
2026.03.07
#日報
思った
いよいよ明日が本番だが上手くいくのかは神のみぞ知る
メモ
直観主義様相論理
を形式化するのも良さそうに思えてきた．