2022.08.27
https://github.com/hlky/stable-diffusion-webui/raw/master/images/loopback.jpg
AIジェネレーテッドな
ハル子
だ
#フリクリ
https://github.com/hlky/stable-diffusion-webui
前：
2022.08.26
後：
2022.08.28
#日報
思った
なんと
Skolem標準形
の定義は本によって2パターンある
存在量化子
を含まない
冠頭標準形
全称量化子
を含まない
冠頭標準形
小野寛晰『情報科学における論理』
どっちも
導出原理
について解説している
そんなことあるんだと本当に思った
私が飲酒を避けている理由
読んだ
情報理論のための数理論理学(本)
述語論理の部分アルゴリズムへの道のり
哲学入門(和田山和久の本)
機能，情報
やった
Skolem標準形
ぐらいならササッと実装出来るだろと思ったけど全然出来ず，発狂
いらないだろうと思って
戸次 大介; "数理論理学"
を持ってくるのを忘れて，項の代入の部分がなんか言ってること若干違う気がして狂う
観た
ゴジラSP 第1話「はるかなるいえじ」
円城塔
すぎる！！
台詞が多く，冗長だ，という意味です
出てくる女の子かわいすぎ
未踏
という文字列がアニメに出てくることがあるんだ
リコリス・リコイル 第9話
これ普通に亡くなって終わりなのでは