或るプログラマの一生

今日は秋葉までマザーを漁りに行きました。BIOS アップデートしようとして失敗したので、今度はアップデートしなくても出荷時点で G0 Quad 対応しているのを狙います。

Q6600 を買ったので、使えるようにするためにマザー (P5B-E PLUS) の BIOS をアップデート。元々載っているのは最初のバージョンだったので、アップデートは必須です。

ソフマップでいろいろ買い物してきました。Core 2 Quad Q6600 (G0) とか。

で、ソフマップは現在新装開店セールをやっていて、買い物をするとガラポンorスロットの抽選券をもらえます。

Skypeネットワークが全世界的に障害が起きた頃から、Skypeクライアントが不安定になったように思える（自分だけ？）。起動しっぱなしにしているマシンでは、大体3日に1回ぐらいの割合で、クライアントがハングアップしている。出社したり帰宅したりした時に見てみるとハングアップしている感じ。障害が起きた時にクライアントをバージョンアップしたので、そこで問題が入り込んだのかもしれない。

今アップデートを確認したらマイナーバージョンアップしていたが、改版履歴を見てもそれらしい症状は直っていないようなのでダメかもしれない。うーん。

仕事で VLAN いじらなきゃいけなくなったので、Catalyst を貰って自席に持ってきた。

プログラムの内部構造をちょっと変えて、ビット演算から集合演算にしてみた。格段に遅くなるけど、読みやすくなる、はず。で、実際解かせてみたら相変わらず一瞬で解ける。描画にかかってる時間の方が長い気がする…

昨日から、いきなり雲行きが怪しくなって5分ぐらいすごい雨が降るとすぐ止む、というのを繰り返す傾向が強くなってる気がします。私はどうせ室内勤務なのでいいですが、営業の人はハマると大変そうですね。

今日は台風が来るので定時に会社から脱出したのですが、襲来には間に合わず雨の中の帰宅となってしまいました。脱出前に既に止まっている電車もあったのですが、まあ無事に着いたので一安心。明日は晴れるかしら。

廉価版の第4弾が11月1日に発売される模様。シルフィードもありますね。

…って11月1日ってエースコンバット6の発売日じゃないですか。あと1ヶ月早く発売してくれればいいのに廉価版orz

3年ぶり、全国的に観測できるものだけを考えるなら6年ぶりの月食らしいですが、残念ながら地球が月を隠すのではなく雲が月を隠している状態なので全く見えません。とか思っていたら雷が鳴って雨が降ってくるし。3年おきに起きるとすると2010年までお預けなんですかね。

以前作った数独の自動解法であるが、その後まったく動かしていない。速いプログラムを組むのが目的なのであって既存の問題を解くのが目的ではないのだから、そうなってしまうのは仕方が無いのだが。あと解かせようと思うとパズル雑誌を買い込んで入力しなければいけない。これは非常に面倒くさい。

が、今日こんな記事が。
高性能「ナンプレ」自動生成プログラムがオープンソースに – ITmedia News

私の作った自動解法だと狭い意味での全数探索をやらないので、正当な問題（可能な解が1つに定まるような問題）を必ず解けるかどうかは実はチェックしていないし、恐らく証明することもできないのではないかと思う。問題を大量に解かせてみて、解けない問題が出てこないことをもって大丈夫だね、ということになる。生成プログラムがオープンソースで配布されるなら、自動で生成して自動で解くことでこの作業ができる。まさに自作自演。やってみるか。なんの役に立つのとか聞かない。

…と決心(?)したところで今日はおしまい。続きはまた後日（逃