今までsshでトンネリングしていたpopを元に戻したら、ウイルスバスター（というかトレンドマイクロインターネットセキュリティ）が「MEIWAKU」ヘッダをつけてくれることに気づいた。これが意外と正確。というか完璧。アルゴリズムではなくデータベースが良い…

例のOCaml日本語教科書の発売日のはずだが、Amazonどころか出版社のサイトから消えているとのタレコミ。手元に献本があるので、完成していることは確実。むう？？追記：浅井先生によると「新刊」から「近刊」に移動して、http://www.saiensu.co.jp/?page=boo…