[教会]安息日ひさびさの松江の教会。いくつか知らない顔が増えている。ありがたいというか、希望が持てるというか。甥っ子も1ヶ月もたつとだいぶ人間らしくなってた。教会からの帰りに遠まわりして出雲空港に寄り、置いてきてた車をとってくる。2台ないと不便だから。その後、遅い昼食をいただき、昼寝。なんと3時間以上もねてしまった。目が覚めると暗くなってた。いうのは昼寝とは言いません。[車][UI]エラーは饒舌に夕べのことだが、松江駅まで妻に迎えにきてもらった。帰ろうとするとエンジンがかからない。バッテリーが上がったかと思ってちょっと焦った。ルームランプはつくし、ワイパーは動くし、電圧は下がってはいないようだ。おかしいと思って、席を交代して見るとシフトが[D]ポジションのままだった。普段、マニュアルを運転している彼女は停車時に[P]ポジションにするのを忘れていたのだった。なんの表示もなくエンジンがかからないので、理由が分かるのに時間がかかってしまった。エラーのときにはユーザにあれこれ推測させないようにできるだけ多くの情報を与えましょう。[日記]祝1ヶ月5月1日にこの「Matzにっき」を書きはじめてからちょうど1ヶ月がたちました。楽しいこともありました。反応があったことそのものが意外でした。私の意図とは違った解釈をされる方もいらっしゃいましたが、それはそれと言うことでしょう。これほどたくさんの人が読んでくださっているというのも驚きでした。これを励みにこれからもくだらない文章を書いていこうと思います。バージョン管理ツールCVSのセキュリティ・ホールを突いた不正侵入が続発あーあ、helium.ruby-lang.orgも記事になってるよ。5月28日には,「Ruby」の公式サイトに不正侵入があったことが公表された。「何者かがhelium.ruby-lang.orgに侵入していたことを,2004年5月28日にサイト管理者が確認した」という。原因はCVSのセキュリティ・ホールと見られる。chrootと呼ばれるセキュリティ対策ツールを使用し,CVSに侵入されても他のプロセスやファイルに不正な操作ができないようにしていたため,他のサービスやコンテンツへの影響の可能性は低いと考えられるとしている。公式サイトに置かれていたruby-1.8.1.tar.gzとruby-1.6.8.tar.gzには改ざんがないことが確認されたという。完全に安全かどうかを証明するのは不可能に近い。ありそうな(かつ楽観的な)推測は以下の通りである。侵入者はそれには関心がなく、改竄は行われなかった。実際にはrootを奪われたと想定して検証する必要がある。残りは証拠を保全した後、クリーンインストールしよう。英一郎(日立製作所)最適化のためポインタ解析を効率よく、かつシンプルに実装するという話。deductiveを関係代数を使って実装するというのが素敵。なんかすっごい頭よさそうに見える。雅彦(島根大)私の発表。漢字の名前はひさしぶり。スレッドローカルGCを実装するという話。全体としては新規性がある(と信じたい)。下手にGCに知識のある人には替えって分かり難かったかも。期待した性能は出ていない。なんとかならないものか。昼休みちょうど来てくださっていた、恩師、佐々先生とお話をする。お会いするのは15年近くぶりではないかと。久野先生と笹田くんとで昼食。15年以上になるのだが、実際にお会いしたのはまだ二度目という。静的型や動的型など面白げな話題について話す。守(電通大)正直、よくわからなかった。その割には「部品」に加えられる制約が厳しいような。実態と理想との解離が大きいのかもしれない。靖(筑波大)久野先生のところからの発表。「学生はみな動的型の言語を作るんだよねえ」とのことだった。発表者は多摩美の講師。学生にウケたという話。その辺がはっきりしないところが惜しい。言語の研究は難しいねえ。私は論文は実装方面に限定することで逃げているんだけど。発表後も集まってうだうだと話しているうちに時間切れ。今日は16:40の飛行機なのでここであきらめて松江に帰る。MagazineでのRubyの紹介。ほったらかしにしてしまっていたのだった。思っていたのだが、2ヶ月ほど遅れて登場した、ということらしい。