スマリヤンの数理論理学の本を斜め読みしてて、コンパクト定理のとこでわけが分からなくなって放置してたんだけど、最近読み直して、なんとなくその時なぜ分からないと思ったのかが分かったような気がする。本の構成上、その直前まで木について説明が続いて…

麻薬使用者を憐んであげますというエントリ http://fujipon.hatenablog.com/entry/2016/10/27/011319ブックマーク http://b.hatena.ne.jp/entry/fujipon.hatenablog.com/entry/2016/10/27/011319大麻取締法の時効は七年だそうで、もう時効だから書きますが、…

仕事がつまらんので逃避中。https://www.cis.upenn.edu/~bcpierce/sf/current/ 読み始めて三年の月日が経とうというのに、まだ半分もいかない。 ちょっと読んでは分からんので中断し、忘れているので最初からやりなおしとかやってりゃ進まないのは当たり前。…

この一週間くらい手を動かしてた、Software Foundationsの「サブシーケンスという関係は推移的である。」ということの証明が出来た!めっさうれしい。 Inductive subseq : list nat -> list nat -> Prop := | subseq_nil : subseq [] [] | subseq_e : forall …

死ぬほど面倒くさい。 検証環境で中間証明書から発行されたオレオレサーバ証明書を作ろうとして嵌る。テキトーにコマンドでオレオレ証明書発行して、nodejsのexpressサーバに中間証明書を設定すると、 chromeブラウザからの検証でエラーになって、強制的にペ…

clojureScriptを触るついでに。 clojureScriptはまださわれていない。会社のproxy環境下でいろいろ動かなかった。 Light Tableでpluginの一覧が取れない。proxyパスワード存在下ではそもそもまだ動かないみたいだ。 leiningenはproxyパスワードに:が入ってた…