2023.06.17
https://www.youtube.com/watch?v=hg9en6238rQ
観た
正確には観たことはあるので観返した
やっぱり映画館で観たほうが良いな，配信だと映像が終わる
みんな観たか？！
メモ
時計を買う
やった
あんまり書かれていない事実
思った
今日は忙しい（予定）なので絵を描くことに失敗
「様相命題論理」（または『〇〇命題論理』、〇〇は線形時相など）と言うからには「様相述語論理」みたいなものもあるのだろうがあまり聞いたことがない（様相論理GLの拡張として見たことはある）しあったとして普通の様相論理にある良い性質を投げ捨てている気がするがどうなのだろう