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