2023.04.29
https://gyazo.com/d8552f6ac3ab33b861688da790eae3e9
前:
2023.04.28
後:
2023.04.30
#日報
観た
涼宮ハルヒの憂鬱 第1話『涼宮ハルヒの憂鬱Ⅰ』
涼宮ハルヒの憂鬱 第2話『涼宮ハルヒの憂鬱Ⅱ』
涼宮ハルヒの憂鬱 第3話『涼宮ハルヒの憂鬱Ⅲ』
BIRDIE WING 第17話
また命賭けあうのかよ!
メモ
定理証明支援系での論理の形式化
やった
様相論理
の形式化を調べるとたいてい
Gödelの存在論的証明
が出てくる気がするの気の所為?