Coqをインストールしたので http://d.hatena.ne.jp/qnighy/20101220/1292829222 この辺を参考に勉強中です。 ついでに自分で命題を考えて証明してみた。 命題は forall (x : nat), x > 1 -> x こんなもの直感的だろ！ といいたい所ですが、論理学の世界では…

http://stkr.dip.jp/maps 先週の3連休、私は家にひきこもって酒を飲みながらemacsの誰得的な記事を書きつつVPSで遊んでいました。 そこで作ったtwitterを利用したサービスが出来るまでの流れをざっくり公開しようかと思います。 作ったサービスは http://stk…