2023.04.30
https://gyazo.com/dab102a81d2e9c490454875c3aa66f1a
道中のラノベの忘れ物
読んだ
やはり論理学の様々な成果に対する哲学的な側面に禁欲的でなく,良い
適切な形式化$ \vdash_\mathcal{S}, \vdash_\mathcal{N}, \vdash_\mathcal{H}を与え,
$ \vdash_\mathcal{S} \varphi \iff \vdash_\mathcal{N} \varphi \iff \vdash_\mathcal{H} \varphiという同値性を示すというものやってみたい
今ここは枝葉の部分は適当に言っている
こんなのでは様相論理の形式化なんて夢のまた夢ですよ 観た
シブラー引っ張りすぎというご意見が出ている
やった
競馬はやらないに越したことはない
馬が走り出すと場内の空気が変わってみんな「刺せ―ッ」「殺せーッ」と叫ぶのアツくてよかった
不人気の馬には不人気の相応の実力しか無いということがわかり,今後は気をつけます♪
思った
ラーメン屋で腹一杯になるまでラーメンを食べれた経験ってあんまり無い気がする