2024.10.29
https://gyazo.com/c936ba92f852c976d89d13ae4e6e9f66
いいね
https://nicothumb2img.vercel.app/image/sm43479263#.png https://nico.ms/sm43479263
これナイス
メモ
やった
使ったスライドの簡単な例（SmullyanTPの話）は意外と簡単でおもしろいので今後纏め直してどこかで使いかもしれません． 思った
今後の様相論理で私は何を形式化しようかなという方針が人と話してて固まった．
思った
忙しすぎるから開放になった
メモ
何しようとしてる？