blogSetomits

図書館で借りてプログラマの数学を読みました。
中でも第8章の「計算不可能な問題」の中の「停止判定問題」が面白いなと思いました。また、各章の始めと終わりにある先生と生徒の会話がよかったです。

Wikipediaのロゴにカーソルを持っていくと ctrl-z と出るのに気づいた。キーボードで ctrl-z を押すとメインページに行くようになってる。

追記 2007/Sep/11 22:06
ctrl-z だと、 Windows を使っている人が内容を編集していて Undo のつもりで ctrl-z を押したりしてヤなことが起こるんじゃないかなとちょっと心配したのですが、 ctrl-z がメインページへのジャンプに割り当てられているのは Mac のときみたい。
Windows で IE で見てみると alt-z に、 Windows で Firefox で見ると alt-shift-z に、 Winodows で Opera で見ると shift-esc-z がそれぞれメインページへのジャンプに割り当てられている模様。

さとちゃんの nico が調子悪いとのことなので、WX320Tに機種変更しました。秋葉原のウィルコムストアでデータ定額オプションをつけて 16,800 円でした。つけなかったら 19,800 円だったのですが、とりあえずつけておいていらなかったらはずしゃ良いかなと。
WX320T の特長は、

- W-OAM 対応 - NetFront （フルブラウザ）搭載 - 赤外線通信可能 - USB 充電可能 - USB 接続で microSD をマスストレージとして使用可能 - ファイルビューワ（ワード／エクセル／パワポ／PDFなどのファイルを開ける）搭載 - 130万画素カメラ - Java アプリ利用可能（ぷよぷよと上海のお試し版が入ってる） - 予測変換（AdvancedWnn 1.22）搭載

という感じ。あらためて書くと必要十分な感じでなかなか悪くないな。

今日は風向きが南寄りだったので鹿嶋に行ってきました。
水はちょっと冷たかったけど、スプリングを着ていたらどってことはないです。
2回ほど立てて、何度か立てそうなことがあり、その他の大抵はどうにもこうにもという感じでした。やっぱり立てると面白いです。

帰りに久々にティージェイスにお邪魔できたのですが、来週はオーナーとご一緒させていただく約束をしました。楽しみ。

後ろ向きなコメントスパム対策ブックマークレットをもうひとつ。
このブログのRSSにはコメントとトラックバックそれぞれの新しいものも含んでいて、僕自身も　RSS リーダでそちらを確認し、頂いたコメントを察知しています。で、新しいコメントがついているとそれを見て、スパムであれば処理をするわけです。エントリを表示している状態からコメントの管理画面に遷移するためには、

javascript:location.href='http://'+location.host+location.pathname+'/manage_comments'

というブックマークレットを使っています。ホストが決め打ちではないのは、ここ以外でも COREBlog を使っているからです。