日々の流転

λ. あー、眩暈がする。疲れてるな、おれ。

λ. 口座維持手数料

一定額以下の預金に口座維持手数料をかけるってのは合理的だし個人的には結構賛成だな。口座維持費用って基本的にオーダがO(1)なんで、少額の口座だと預金から得られる利益より大きくなるのよ。それなのに口座維持手数料を取らないとしたら、他に転嫁されるわけで、気持ち悪いでしょ。

λ. 帰り

救急車が甲高い音を立てて通り過ぎていく。ドップラー効果を思い起こして、ふと遠い想い出を聴いたような気がした。香る音は何か物悲しくて、涙が出てくる。

λ. tDiary

おっ。こないだ送ったパッチが取り込まれてます。

λ. "部分グラフ同型判定アルゴリズムのFPGAによる実装と評価", 市川 周一, ラターナセンタン・ウドーン(Lerdtanaseangtham Udorn), 小西 幸治

をなんとなく読んだ。この論文自体にはそれほど興味を惹かれなかったが、グラフを扱う機会も多いし、Ullmann, J.R.: An Algorithm for Subgraph Isomorphism, J. ACM, Vol23, No.1, pp.31-42 くらいは読んでおくべきか……

λ. RHG読書会::東京 Reloaded

今回は久しぶりにRubyの暗黒面を見ることができて楽しかった。

それから、"Conceptual Mathematics: A First Introduction to Categories" を、某t15uさんに貸した。

λ. 知識発見法

SVM(サポート・ベクタ・マシン)。 考えは分かるんだけど、こまかい部分がいまいち追っていけないなぁ。

λ. 古川研:Abduction勉強会

• floundering in negation-as-failure
• fluent range restricted condition
• range-restricted でないものに対して、否定をとってはいけない
• deductive databaseでは常識
• combination ではなく、permutation なのは何故?

λ. 100円スピーカー

ダイソーで100円のスピーカーが売っていたので、買ってきて iPod nano に繋げてみる。音質も当然相応のものでしかないけど、100円と思えば不満もない。

λ. 『位相と論理』 第四章「ブール代数の表現定理」

『Topology via Logic』とこの本とでは、Stone空間の定義が異なっている。もちろん同値な定義ではあるんだけど、流儀の違いが少し面白いと思った。 『Topology via Logic』では「スペクトラル*1な位相空間でコンパクト開集合がブール代数をなすもの」という定義なのに対して、 この本では「コンパクトなハウスドルフ空間Xで、clop(X)が開集合の基になるもの」という定義をしている。

p.62 の X_a,b が閉部分集合になるのが何でだか良くわからない。

λ. 最近のLast.fmクライアントでiPodを認識できない件

最近、Last.fmクライアントをアップデートしたら iPod を認識しなくなってしまって困ってしまった。どうも、ChangeLogを見ると、1.5.0.18515 (13/3/08) の Brand new system for iPod scrobbling using iTunes plugin instead of the LastFMHelper が影響してそうなので、この変更が行われる前のバージョン 1.4.2 に戻したら直った。

Last.fmのダウンロードページからは古いバージョンへのリンクは張られていないけど、ファイルはそのまま残っているので、<URL:http://cdn.last.fm/client/Win/Last.fm-1.4.2.58376.exe> などからダウンロード可能。

λ. おしごとの英語（フレーズ編）を完了

iKnow!のおしごとの英語（フレーズ編）-ビジネス英語チャンネルを完了した。 開始したのは4/18なので2ヶ月弱か。我ながらよく続いたものだ。 次はどのコースをやろう。

私のマイページ

λ. iPhoneのSMSのバックアップ

iTunesがバックアップしているファイルが、Windowsならば c:/Users/ユーザ名/AppData/Roaming/Apple Computer/MobileSync/Backup/iPhoneのID?/3d0d7e5fb2ce288813306e4d4636395e047a3d28.mddata とかにあるので、このファイルをバックアップしておけばよい。

このファイルはSQLiteのファイルなので、sqlite3 -csv -separator ',' 3d0d7e5fb2ce288813306e4d4636395e047a3d28.mddata "select * from message;" > output.csv でCSVに変換できる。