2022.07.31
https://wotaku-reply-generator.vercel.app/api/image?icon=https%3A%2F%2Fgithub.com%2Fsno2wman.png&name=SnO2WMaN&pattern=129358#.jpg
観た
すごすぎる！！！！！！！！！！！
みんなも観てみてください
この女子高生の命が安い 2022
まあ それはそうだろうなと思った
武器が変形すると… うれしい！
やった
https://tweet-card.now.sh/1553678677472583682.jpg?lang=ja https://twitter.com/SnO2WMaN/status/1553678677472583682
https://wotaku-reply-generator.vercel.app/api/image?icon=https%3A%2F%2Fgithub.com%2Fsno2wman.png&name=SnO2WMaN&pattern=129358#.jpg
こういう画像を生成します
思った
自然数と実数は1:1ではないで用いられる対角線論法においてあれを対角線で構成する意味ってなんかあるのだろうかと思ってしまった 皆めっちゃアニメ見てるんだなと最近素朴に思ってしまう
本ってやっぱり横書きのほうがよみやすいな
悪夢を見た
人間の子供を生きたままスパゲティに改造して食べる
脳味噌をスパゲティにする
最後はむき出しのミキサーみたいなのでグチャグチャにして終わった
逆法律（今存在している法律から逆に最も根源的な規範を抽出する）
ポンコツなので今気づいた
ごんぎつねに鍋で煮るシーンなんかあったか？と思ってサッと読んでみたら結構唐突に出てきて何の説明もなくてまあ確かにそうだなと思った いいね
https://www.arabnews.com/sites/default/files/2022/07/25/3353266-910853562.jpg
かっこE
読んだ
そういえばと思って述語論理のタブローの書き方この本にわかりやすく載ってねえかなと思って再読
あった
$ \forall: $ \forall x. Fxについては
上段に現れている命題のうちどれか（例えば$ Pとか），
なければ適当な$ \alpha
で$ F \alphaと書き換える
$ \exists: $ \exists x.Fxについては上段に現れていない命題$ \alpha\neq P,Q,\cdots
で$ F \alphaと書き換える
$ \lnot (\forall x.Fx) \vdash \exists x.(\lnot Fx)
$ \lnot (\exists x.Fx) \vdash \forall x. (\lnot Fx)
おれの論理式ソルバーは{"P": {1: true}, "Q": {0: true}}というテーブルを持つのでなんか意外と実装簡単なような気がしてきた
これ本当か？
いいね
これ表記もいいな
］･/ｔ°ｭ─勺ｰ
https://tweet-card.now.sh/1553611630252277760.jpg?lang=ja https://twitter.com/8co28/status/1553611630252277760
知った
今売ることあるんだ
これにハマってめっちゃ時間食った
広いだろ すべてが