minisat という SAT ソルバの ruby バインディングを作ってみました。1.8.5 と 1.9.0 で動作確認してます。http://dame.dyndns.org/misc/misc/ruby-minisat-1.14.0.tar.bz2 例えば という SAT 問題を解くときはこんな風にします。 require "minisat" solver …

歩き初めです。昨日、都営大江戸線を半分くらい歩きました。前編では都庁前から時計回りに麻布十番まで。朝 8 時過ぎから夜 6 時前まで 9 時間半。歩いた距離で 25.5 km 、線路の距離は wikipedia のエントリに載ってないのでわかりません。大江戸線の特徴は…

明日から仕事です。