2025.02.01
https://gyazo.com/918d855b5579413182afb042a94bd02d
行った
すごい…
「関東だけ盛り上がっててこっち交通費で割食うのおかしいよなあ?」みたいなことを言っていて確かにそうだと思った
盛り上がってくれると助かる
自分がDJをちゃんとやるぞということになってから,後学のためにmomoneのDJの手先を観ていたけど本当にすごいなと思った こんな人の前でDJやるんですかおれは…
思った
様相論理の健全性は,実際に証明体系が帰納的に定義されている必要がある.しかし完全性はあくまでも証明体系がモーダスポネンスや様相論理の公理Kを持っていることだけを要請していて,これは別に証明体系を適当に選んでもよい(使い回せる). 本当か?もっとちゃんと考えることにしよう
思った