2024.05.15
https://www.youtube.com/watch?v=G_ArBx1Mphc
前:
2024.05.14
後:
2024.05.16
#日報
メモ
Dizzylab
という中国版
Bandcamp
みたいなものがあり,東方アレンジが転がっている?のではないかみたいなことを思った
https://www.dizzylab.net/d/GKCD-004/
読んだ
A. Chagrov, M. Zakharyaschev; "Modal Logic"
直観主義論理
の部分どうなってんだよと思えるぐらい複雑で…