2023.05.04
https://gyazo.com/4907a6bc51008a3368464dfe38530f0c
ずっとこういう感じではあるんだけど，なんとか感情を戻しています．本当に助けてほしい
知った
冰剣のアニメは完パケで放送していたから1月6日時点のMVで全然10話や最終話（3月24日放送）などのカットが入っているの今更ながら知っておもしろい
https://www.youtube.com/watch?v=-ODi7T8akHI
鳥のカットって最終回だったっけ？と思ったけど多分10話だった
思った
認識論理において命題というのは何を現実世界で表すものなのか？
命題$ pについて，$ \mathcal{K}pで「（私が）$ pを知っている」は論理式だとする．では論理式というのは現実世界では何を意味しているのか？
$ p \to qと$ \mathcal{K}(p \to q)と$ \mathcal{K} p \to \mathcal{K} qは何が違うのか？
apiという名前でバカみたいに責務がデカすぎるのなんとかしてほしい
特にAuth0周りがメチャクチャになっていて，とんでもないことになっている メモ
Peano算術$ \mathbf{PA}$ \approx中高生レベルの数学者（の証明能力） 観た
小泉がチェスのキングを制服ポケットにしまう行為の違反性はチェスのルールからは導かれない
ということを暗示しているとも思ったが別にチェスのルールから導かれないか？