2019-11-02から1日間の記事一覧
twitterやwebで調べて、jokerと関連のありそうな作品を見てから、jokerを見に行きたいと思います。 お金がもったいないので、Amazonのprime videoで見れるやつだけみます(せこっw) (もちろん)ダークナイト3部作全て タクシードライバー○ カッコーの巣の上…
前回までの論理学 公理系APLの完全性を証明したい ヘンキンの定理を証明する必要がある 証明で使いたい補助定理をあらかじめ証明しておく 【補助定理44-1 リンデンバウムの補助定理(Lindenbaum's lemma)】→done 【補助定理44-2 極大無矛盾集合の充足可能性補…
メインブログの下書きに眠ってた技術メモを供養的に放出してみる。 おかしなことが書いてあったらコメントでガシガシ指摘ください。 select ST_GeomFromText('POLYGON((0 0, 0 1,1 1,1 0,0 0))'), ST_Expand(ST_GeomFromText('POLYGON((0 0, 0 1,1 1,1 0,0 0…