2009-08-01から1ヶ月間の記事一覧

Agda + Lattice + Poset

ひさしぶりにagdaを触ってみた. コンパイラと標準ライブラリを最新版に更新して,あちこち眺めた. コンパイラが2Gのメモリを食い潰すくらいに標準ライブラリが充実してきているみたい. Equational Reasoningができるようになっているらしい.試しに見よう…

twitter投稿スクリプト

今日の(ほぼ)一行スクリプトhttp://www.oceans.mydns.jp/memo/20090506001.htm を参考にtwitterの投稿スクリプトを書いてみた。 パスワードが平文で保存されているのはちょっときもちわるい。uri-encode #!/usr/bin/ruby -n require "cgi" print CGI.escap…