0430
お昼から仕事。不具合対応ぷちぷち。
「チューリングと超パズル」読みました。パズルの可解性の話。まあでも可解性の一般論となるとどうしても停止性問題の話が出てきて、そこはフンフンという感じだったので、個人的には15パズルの話が一番印象に残っています。15パズルの可解性は偶置換であることと同値だそうです(それでサム・ロイドの懸賞問題が解けないことがわかりますね)。おもしろい。
socket.ioを動かしたところで飽きてしまったnode.jsですが、VPSのほうに置いてtwitterの過去ログ検索装置にしてはどうかと思いました。どうかってなんだ。となるとmongodbで全文検索~~となってまたいろいろ調べなくちゃとなるわけですが、なによりapache2.2系はリバースプロキシ?がwebsocketを通してくれないらしく、えーなにそれ、じゃあ2.4系に上げないといけないの?でもそれ結構面倒そうだよね……と躊躇しています。うーん、でも使ってみたいのよね、websocket。