2022.10.16
https://gyazo.com/cf3f3874128ef35331a595259c490e96
観た
その…この要望に対してなんでこのシチュエーションなの？
何もかも面白くて素晴らしすぎる！！！
思った
少なくともScrapboxに書いてあるニコニコ動画の音MADは片っ端からバックアップ取っておくべきだな
インターネットに本名を出してはならないという文化は2chに由来する（と思う） 創設者自体は全然，本名由来のハンドルネームだということに気付いた
わかるなあ
「死んでいる」とは2項関係なのではと思った（死んでいるは一人では成立しない）
1. 対話可能な知性全体の集合を$ \mathbf{I}とする
2. $ \mathbf{I}上の2項関係$ x \to y($ xは$ yと対話できる)
3. $ a,b \in \mathbf{I}とし，$ \exists b.b \to a（$ aと会話できる$ bが少なくとも一人存在）
$ \iff「$ aは生きている」
4. ここから「$ aは生きていない（=死んでいる）」はこれの否定なので
$ \lnot(\exists b.b \to a) = \forall b. b \not\to a
$ aとは対話できる者は誰も存在しない
これの便利なところは$ Iと$ \toにどんな意味を与えるかで「生きている」の解釈をめちゃくちゃにできる点にある