期末試験での現実逃避のため最近改めてCoqに触ってみた。ここでは、その内容と自分の理解について簡単にまとめて書き残すが、不正確な内容が含まれているかもしれない。 関数の連続性、数列の収束 微積分の証明をCoqで扱ってみたいなと思ったので、関係しそ…

mod_rewriteとCGIが使えるけどSSIが(たぶん)使えないサーバーで作業しててふと思いついた こんなのやりたがる人いるかは怪しいし、くだらないかなと思いつつも書いておくやったことは単純.htaccessに、名前が.shtmlで終わるファイルへのアクセスがあった時に…

Twitterでオバマ大統領(@BarackObama)があかり大好きbot(@akari_daisuki)をフォローしているとかいう画像を目にした 少し前からRubyのTwitter Gemを使ってみたかったので、Twitter Gemで検証してみた 環境 まず環境 今回はWindowsでやってみた >ruby -v ruby…