HTML

いろいろうまく伝わらないことはあるものだ

文字だけで表現というのは難しい。特にこういう日記とかBlogとかだけだと。いろいろな背景があって理解できる文章と、背景が無く読んだ文章は、同じ文章でも意味が異なって取られることがあると言うことだ。なんだか今日読んだ論争は、_小飼さんと三浦さんと面識がない_と言うあたりで、ひどく空回りのような気がする。
そもそも引用時に「人材育成とか、日本発のＯＳＳとか、」が抜け落ちちゃっているが、そう言っている人は誰だろう? この辺に解く鍵があると思うのだけど。今回の意見はこの主語に相当する存在に対してであろうに… それも三浦さんの動きを見ていれば薄々分かる話だと思うのだけど、知らない人は知り得ない。あともとの三浦さんの意見には、おそらく凄く広範囲にいっぱい種をまいて、水をまいてみたけど、周りに生えているものが全部養分を吸ってしまって全然育たないのかもしれないという一抹の不安みたいなものと、そういうところを打開したいという想いと、やれOSSだとか時流に遅れまくって今頃言っている世界とのギャップなどもあって、ふと出てしまったものだろうかと思うのである。そのような不安は別にOSSに限った話ではない。日本に住んでいれば至る所にかいま見えるのだが…(今日の所得税納税ランキングでも明らかであろう。)
今回の一連の議論でおそらく両者に面識があるであろうMatzさんの意見が僕には本質を突いている気がするのだけども。

Donald E. Knuth / 「コンピュータの数学」

そんなわけで昨日からの続き。解析学が好きな自分としては、連続関数を対象とした関数論や微分方程式も面白い(あくまで現実の物理現象とつながりが必要)のだけど、数列や漸化式(懐かしい響きだ)、級数といった離散数学もなかなか面白い。(しかもこっちの方がコンピュータのアルゴリズムに通じている。) この手の話題は、行き着く本があって、Knuth先生のThe Art of Computer Programming vol.1に始まる百科事典というか歴史書のような本に行き当たるので、2年ほど前の新訳登場時から、_買わねばならない本だ_と思っていたので、昨日大宮ジュンク堂に出かけていったわけだ。
お値段もお値段なので、買おうか買わないか悩んでいたのだけど、The Art of Computer Programmingのとなりにこの本は置いてあった。題名は「コンピュータの数学」。原書のタイトルは「Concrete Mathematics」だから抽象数学ならぬ「具象数学」という変わった題名の本。ざっくり見てThe Art of Computer Programming vol.1の最初の半分を詳しく書いた本のようだ。お値段は同じくらいなので、こっちを買うことにする。
The Art of Computer Programmingの場合はいつも本棚に置いておいて参照すべき本のような気がする(それゆえ、必要なときにいつも立ち読みして読みふけっておしまいなのだけど)。やっぱりやはり教科書ではないと思うので、教育に適しているとは言えないと思う。ちょうど間を埋めるような本が欲しかったと言うわけだ。
スタンフォード大学では、Concrete Mathematicsという科目(1970年から, 86年までの半分の年はKnuth自身による講義)があるらしく、The Art of Computer Programming vol. 1のFundamental Algorithmsを使って講義していたらしいのだけど間を埋めるような本として、Knuth先生はこの本(だいたい600ページ)を約1年で書いたという。後ろに付いている参考文献の量を見てもただならぬ分量なだけに、やはり超人なのである。
1年以上は遊べる本だろうと思って購入してみた。いやぁ1ページ目から凄く面白く読んでいる。昨日の話題の和分・差分については、「2.6 離散系と連続系の微積分学」という所にまとまっている。あと手続きとかパズルの解法としての漸化式というのも問題としては面白い。語り口もなかなか良いので、お金と時間がある人にはお勧めするし、特にコンピュータサイエンスを志す(物理でも数学でもOKだけど)大学生は読んでかなり得るところは多いと思うし、変わった本で面白いので読んでおけと言いたい。また高校生から大学の初年度付近の世話をする人にはネタ本としておすすめかもしれない。僕としては、久しぶりに数学の面白い本を買ったので楽しみたいと思うのである。

三角関数の離散系バージョン

結城 浩さんの読み物は非常に親切で読みやすく、きっちりと書かれているので、書籍もWebにおける文書・日記などもよく参考にさせていただいている。
そのなかで最近アップされた読み物「ミルカさんの隣で」から始まる離散系の解析の話がなかなかノスタルジックで楽しい。(ノスタルジックなのは多分僕だけ？ 高校時代にこういう計算してみたことがある。) 連続関数における微分・積分に相当する差分・和分の導入、離散系バージョンのべき関数を探して、下降階乗べきにたどりつく。ゾクゾクするように楽しいのである。
さらにその続編「離散系バージョンの関数探し」では、さらに離散バージョンの指数関数・対数関数・三角関数と話が広がっている。鉛筆を持てば計算を追いかけることができるので、試してみるとなかなか楽しい。一つの演算規則から、これまで知っている世界の関数の対応物を探していくことはすごく楽しくて、数学を感じるところであるかもしれない。(こういう原体験は本来高校時代にあるべきなのだが。)
表題の「三角関数の離散系バージョン」は更にその続編であるが、離散系の三角関数がどうしても直感的に三角関数に思えないと言う話(周期性はあるが、絶対値がどんどん大きくなる発散数列)で、純粋な周期関数としての三角関数はどこに行ってしまったのだろうという疑問だと思われる。
僕も計算してみようと言うことで、三角関数に絞って計算をしてみた。出発点を波動方程式に対応する2階の差分方程式にしてみた。計算結果は結城さんが得ているものと同じになっているはず。残念ながら結局ちゃんとした周期関数にはならない。原因はどこにあるのだろうと考えてみたのだが、おそらく差分というものが持つ離散的な性質から来るものだろうと思っている。「ミルカさんの隣で」計算している差分はhを1にしたものだけど、hをそのまま残して、極限を取らない方法もあるはずで、hを0にした極限が連続にした関数ということにしておけば、自然につながると思うのだが…
僕の計算ではEularの式へのつながりが少し見える段階で止まっている。指数関数をどう導出し直せばいいものか悩んでいるところなのだが、良いアイディアはあるだろうか？
数式がいっぱいなので、

RSS配信開始

連休中いろいろがんばったおかげで、この日記のRSSを配信できるようにしました。多分今日の修正で所望の動作をするはず。広瀬さん作のmkdiary.rbのRSS生成パッケージrss.tar.gzを配布しますので、mkdiary.rbをご利用の方はつかってやってください。一応ruby-1.6系でもruby-1.8系でも動きます。(追加するパッケージはuconvもしくはrbuconvのみです。)
ドキュメントもあらかた書いたので、多分インストールできると思いますが、ようわからん人はご連絡ください。

Google自分の日記の名前で検索

Google自分の日記の名前で検索してみると、意外な方面の意外な記事にリンクが貼られていたりしてなかなか面白い。やっぱりGoogleで飛んでくるのだろうか？

ApacheのMIME型とcharset設定のメモ

忘れないようにメモ。RSSの配信に伴って、RSSのMIME型を text/xml ; charset=UTF-8とすることにした。(本来ならtext/xml+rss ; charset=UTF-8だろうけど) .htacessファイルに以下のように設定する。
AddType “text/xml ; charset=UTF-8” rss
XHTML 1.1でもこの辺の問題はあるので、非常に悩ましい。(text/xml+xhtmlとかtext/xml+rssとか言ったMIME型をちゃんとサポートしているものは少ないのです。)

TFT

今日はTFTで行われているイベントに出かけてみたのだが、あまり写真は撮れなかった… 仙台にいた頃にお世話になったきょうさん・こうさんの写真を撮って、あとはぶらぶらしているだけで夕方になってしまった… 全部方付けて帰ろうかなと思ったところで、シホさんにお会いしたが既に写真を撮るような時間帯ではなかった… 残念。

EF 70-200mm F4L試写

昨日購入した新レンズの評価と言うことで早速撮ってみようということとなり、帰りにご一緒したhoshiさんと台場にて夕焼け写真を撮ってみることになった。いろいろ撮ってみたが、基礎的な部分(AFのズレなど)は特に問題なし。作例は以下にあげてみます。どうでしょうか？ 久しぶりに望遠な絵になってます。

あとあまりに空のグラデーションが綺麗だったので、35mm F1.4でも撮影してみた。

やっぱりこのレンズも絞り込まないと夜景には使えないか…

洗車

せっかく平日に休みを取ったので洗車することにした。自分の手で洗車するのは結構久しぶり。凄く綺麗になったのは良いのだが、こびりついていたものは花粉ですか…

グレン・グールド / ゴルドベルク変奏曲(1981年デジタル録音版)

久しぶりにバッハが聴きたくなって、トッカータとフーガのようなオルガン曲を聴きまくっていたのだが、ピアノも良いかもと思い立ち、グレン・グールドの衝撃的な名演ゴルドベルク変奏曲(1955年モノラル版)も取り出したら、シンプルながらすさまじく良いので、表裏一体を成す81年のデジタル録音版を購入してみた。表裏一体を成すというのは、再録音したものがゴルドベルク変奏曲だけで、55年版はグールドの衝撃のデビュー作であり、81年版はグールドが生前に残した最後の録音と言うこともあって、非常に興味深かったのである。
55年版を初めて聞いたときのような衝撃は1度体験しているだけ合ってあまり無いのかもしれないが、聞けば聞くほどこっちも深い。演奏はこっちの方がだいぶんゆったりしていているので聴きやすいかも。(グールドの歌がじゃまだという人には勧めないが。) どちらの演奏も基本的な路線は変わらないと思う。
グールドのゴルドベルク変奏曲は、今日は何も聴くものがないなと思ったときに取り出して聴いてみて、見事なくらい空白が埋まる演奏で、何度聴いても実に飽きが来ない。持っているCDでベストをあげよと言われると、このCDと55年版とできっと迷うことであろう。(昔はマーラーの9番だったり、マタイだったりしたのだが、いかんせん毎日聴くにはどちらもテーマが重すぎる。)

訃報と…

先日の列車事故で直接の知人が亡くなったという話は僕の場合はないけれど、以前より世話になっていたドキュメントを書かれた方がなくなられたそうだ。Matzにっきによると、今回の尼崎の事故で石井 勝さんがなくなられたそうだ。(Object Clubの追悼 BBSあたりも参照のこと。)
石井さんは凄く早い段階でXP(eXtreame Programming)を取り上げて分かりやすい記事を書かれており、OOP(Object Oriented Programming)やDesign Patternに関する記事にも、非常に創意工夫のある記事があって、良く参照させていただいてました。このような事故で素晴らしい技術的な記事を書かれる方がなくなられるのは、非常に残念でならない。これまでたびたび役に立ってくれた記事を書かれたことに関して深い感謝と、ご冥福をお祈りします。
あと今回の訃報で思ったのはまつもとさんの日記にもあるように、自分と同世代の若い、まだこれから先がある人が亡くなったことを聞くのは凄く切ないし、悲しい。それともうこのような年になって、死がそんなに遠いところにはなくなってしまったと言う気がしてならない。
またこのように多くの人に役立つ文書を書かれている人は本当に少なく得難い存在であるし、またその書かれた文書が電子媒体の場合は、著者の死ととも(もしくはそう遠くない将来に)にそれらの文書が失われてしまう(石井さんのページの場合はNiftyとの契約が切れたところで無くなってしまうかもしれない)ことについて、何とか永続性を持たせてあげられないものかと考えてしまう。その人が生きてきた証をなんとか残してあげられないものか… この辺がネット媒体、電子媒体の情報の脆弱な部分かなと思わずにいられないのである。(良い方法があればいいけど。)

Alexandria

本棚を管理するソフトで良いものがないかなあと思っていたが、Unix Userの05年02月号を読んでいると、Alexandriaというソフトが紹介されていた。Debianな環境に早速インストールである。apt-getでサクッと入るのは何とも気軽なものだ…
さて使おうと思ってAmazonの設定をして、ISBN検索(ASIN検索)を行ったところ、なぜかamazon.comの方に検索に行くようだ。どうやら_うまくLocaleが認識されない模様_。で、ソースを眺めてみた。alexandria/book_providers/amazon.rbをBug Tracker #1633に乗っていたパッチのように書き直し。さらにASINでURLを返すメソッドの返り値をamazon.jpに置き換え。とりあえず、現在のsidに納められているバージョンがsargeに反映されるまで、これで使うことにしよう。
で、ISBNを入力してみたのだが、なかなか良い感じ。サクサク入力するかぁと思いきや、目の前に広がる本の山。バーコードリーダーを買うしかないのかな。やっぱし…

国際化 R(GNU R-2.1.0)

4月18日にリリースされたR-2.1.0では正式にI18N対応になってますね。これまで日本語を使うだけで、それなりの苦労があったけど、今後はそんな苦労も無くなるのね。ああっ、すばらしい… 国際化をされた皆様ありがとうございます。これからがんがん使わせて貰います。ということで、ダウンロードしてみた。

Excel、有効桁が足りないみたい…

昨日の問題を乗り切ったかと思ったら、新たな問題を与えられてしまった。今日の課題は2個の独立変数(x, y)に対する測定値 z を、xとyの3次項までの多項式で当てはめを行いたいとのこと。xとyは10^8程度の大きさなので、3次項まで計算すると3次項の係数を計算するための必要な桁数は結構な桁数が必要だ。Excelで多重回帰してみたけど、欲しい値から若干ずれている。他の系での計算結果と比較すると言うことで、Mathematicaの非線形回帰(NonlinearRegress関数)とRの非線形回帰(nls関数)で計算した結果はほぼ欲しい値と一致しており、Excelでの計算で有効桁がまるで足りてないようだ。この手の計算にはExcelはやっぱ使うべきではないのかもしれない。
まぁ今回の場合は、xとyの値適当にスケールすればいいだけの話だけど…

いろいろ調べもの…

いろいろ調べもの。今はこんなことを調べている。
XHTMLファイルの解析
SAXやDOMを使わずに、もっと簡単な方法での特定要素の中身を取り出したい。(たとえばh3要素やa要素)
プログラムコードのHTMLにおける引用の仕方
これまでpreでくくった中身をさらにcodeでくくっていたんだが、これはやっぱおかしい。もっと論理的に表現したい。
UTF-8でのファイルの保存について
1つはBOM(Byte Order Mark)を付けるべきか否か。本来UTF-8でのエンコードではエンディアン(卵を丸みがある方から食べるのが好きかのか、尖った方から食べるのが好きかとか言った区別だ)は関係ないはずなのだけど、Unicodeの規格を読むと署名として使っているらしい。BOMを付けるとおかしくなったり(たいていのエディタで付けてくれない)、無いとおかしかったり(IEは文字コードの自動認識が巧く行えない)するので、どうしたものか。2つ目は_変換表はどれが正しい?_ どれも同じ程度に微妙に違う。何を信じればいいのか… いずれにせよ全く何とかして欲しい。(それ以外はUTF-8の方が扱いやすいのよね。XMLの場合。)
X-Windowでの漢字変換
うちの環境ではGnomeもKDEもデスクトップ環境としては使ってません。(鬱陶しいんだもの。) ウィンドウマネージャはFluxboxを使っている。適当なディスプレイマネージャ(kdmやwdm)でウィンドウマネージャにFluxboxに指定してログインすると、kinput2が起動してくれないというか~/.xsessionを無視しているっぽい動作をするため、いろいろ不便な目に遭っている。なぜだろう?