Categories |
CPUの創りかた |
Modern Compiler Implementation in ML |
NerdTV |
PDP-11シミュレータで古代のUNIXを動かしてみる |
The Yakumo Project |
やさぐれ読書録
最近のツッコミ:1.Dominic(2008-06-23 05:05)
2.CheapestCheapOEMoem(2008-06-17 03:00)
3.NewDownloadCreativAdobOEM(2008-06-12 20:00)
最近のトラックバック:1.濃縮還元オレンジニュース:プロ.. (2006-12-22 22:02)
2月26日から聴いていたAudiobook"The Hitchhiker's Guide to the Galaxy"(Douglas Adams)を読(?)了。朗読はなんと作者本人（！）によるもの。名作との評判も高い一編だが、録音が少々よろしくない（でも途中で慣れた）、イギリス英語バリバリ（これも途中でなんとか?慣れた）、SF特有の聞き慣れない固有名詞の連続（辛うじてクリア）、さらにナンセンス満載、予想外の展開だらけ（最後まで苦労）と、かなりの難敵。中盤までは2度聴かないと話がつかめず、大変であった。短めの作品（収録時間約5時間）だったのでKOされるまえにゴングに救われた感もなきにしもあらず。ちなみに今年の4月に映画が公開されるらしい。日本ではいつやるのかな…
今週は不調。集中力が続かず、コーディングはほとんど進まない。ちなみに現在はWindows2000+cygwin上で作業をしているが、ここはひとつ、気分転換を兼ねてLinux環境を仕立て上げてみることにした。とは言ってもハードディスクのパーティションを切り直して新たにLinuxをインストールするのは面倒なのでパス。VMWareも一応持ってるが死ぬほど古く（2000年12月購入のVersion2.0）しかもネットワーク関係の設定がどうもうまく行かない。いっそのことbochsあたりに挑戦してみるか…と、うろうろしつつ「ただのにっき」を見ると"coLinux"というキーワードが見えた。なんか面白そうだ。
疲れてたのでcoLinux本家の解説ではなく「Cooperative Linux(coLinux)のメモ」に従って、言われるままにインストールしてみた。今回は最低限の開発環境さえ使えればいいので、GUIまわりの環境がデフォルトではインストールされないcoLinuxは丁度良い。
ネットワークはTAP-Win32でのNAT接続を選択。自宅の無線ネットワークが192.168.0.0/24だったため、「インターネット接続の共有」を設定する際にWindows側が設定するデフォルト値と衝突するなど、少々手間取ったが、まず無線ネットワークの設定にて、存在しない無線アクセスポイントのESSIDを指定することにより、『有線のネットワークカードからEthernetのケーブルを外した場合』と同じ状態を作り出した後、「ネットワークとダイアルアップ接続」の設定にて、TAP-Win32に対応するネットワークアダプタのIPアドレスを、デフォルトの192.168.0.1から192.168.1.1へ変更するという荒業を使うことで、なんとかクリア。coLinux側のIPアドレスは192.168.1.4にしておいた。
apt-getで"gcc3.3""libc6-dev"をインストールした後、おなじみの"hello.c"を"-S"オプション付きでコンパイルして、アセンブリコードを出力させてみた。Linux側(gcc3.3.5)の出すアセンブリコードとcygwin側(gcc3.3.3)の出すアセンブリコードを比べてみると、directive(指示文)周りを中心に結構違うことがわかるが、今作っているコンパイラを両方の環境で動かそうとする際に悩んで眠れなくなるほどの差でもない。そろそろアタマも痛くなってきたし、もし困ったらそのときにまた考えればいいや、ということにして、本日はおひらき。
"mciML"は"MoveRelated"と"MakeWorkList"の実装。と言いつつ2月27日に実装した"NodeMoves"と"Adjacent"のコードにも大幅に手直しが入った。やはり出だしは肝心。テキトウにやってると（今回のように）後で困るワケだ。今回新たに実装した部分は下のグラフ中の赤い色のノード。コード(color.sml)はこちら。
今まで実装した関数はいずれも、color()という関数の内側に隠れた、いわゆる内部関数(inner function)になっているので、そのままでは各関数を個別にテストすることが出来ない。とはいってもモジュール全体が組みあがるまでテストを一切やらない、というのも論外である。さて、どうしようか。
3月2日から読んでいた「悲しき熱帯」( I )( II ) （レヴィ=ストロース）を読了。( I )は、一体これは哲学書なのか人類学の本なのか文学なのかそれとも回想録なのか、なんとも判断しがたい掴みどころの無さと、難解な文章に苦労したが、( II )では「はじめての構造主義」で触れられていた題材が少しずつ登場し、徐々に本の内容へ引き込まれて行く。終盤には、いろいろと面白いテーマが出てきたが、本日はその中から二つほど紹介を。
■ 「お返し文化」
おがわさんのところの日記で、
日本人ってつくづくお返しが好きだねえ。僕は好きではないけど。(中略)
ふと電車の中で、「お返しのお返し」で新たなビジネスチャンスって無いもんかなあと思ったのだが、たとえば4月14日はバレンタインデーのお返しのお返しの日とか。5月14日はバレンタインデーのお返しのお返しのお返しの日とか...
お菓子業界だけではなくいろんな業界で遊べそうだけど、さすがに人を馬鹿にしすぎだな。
（おがわの戦いの軌跡 2005/03/14「お返し文化」）
なんてことが書かれているの読んで「まぁそうだよな」とうなずいていたら、その直後に「悲しき熱帯」のこんな一節に行き当たって、思わずひっくり返った。どうやらおがわさん、思わぬところで本質を突いていたようだ。
北アメリカの平原インディアンのことを考えてみよう。彼らは(中略)組織された警察を備えた未開民族のまれな例を示している(中略)。現地人の誰かが部族の掟に背くようなことがあれば、彼はその全財産―テントと馬―を破壊することによって罰せられる。しかし同時に、警察は彼に対して一つの債務を負うことになる。罪人が罰せられたために蒙った被害を共同で償うべく、警察が音頭をとらなければならない。この保証のために,罪人は集団に恩を受けたことになり、彼は贈り物によって,集団に感謝の意を表さなければならないが、この贈り物は,警察自身も含む集団の全体が彼に力を貸して集めたものなので、またもや関係が逆転することになる。このようなことが、贈り物と返礼の長々しい遣り取りの果てに、前の無秩序が消えて最初の秩序が回復されるまで続くのである。
（「悲しき熱帯 ( II )」p.377-378）
「お返し文化」ってのは、思ったよりも普遍的で手ごわい相手なのかも知れない。まぁ考えてみれば、日記に誰かがコメントしてくれたらそれに返事をして、またそれに返事が返ってきて…というのが延々と続くのも、お返し文化の一種と言える。ちなみにこの日記にも、コメントをもらったまま、返事を出していないものがいくつかある。無理してつまらない返事をするのもアレだし、ここは虚礼廃止と行こう、とかテキトウな理屈をつけてはいるものの、うしろめたい気分はどうしても残るのであった。ということで、コメントをいただいたまま、返事をしていない皆様、どうもすいません(_o_)とまとめてお詫びを。
■ 「新しいもの信仰」対「過去の発掘」
進歩の熱狂的な信奉者達は、彼らがそこから目をそらすまいとしている狭い畝を外れたそちこちに人類が蓄積してきた膨大な富を、彼らが進歩について作り上げる僅かの事例を盾に無視すると言う破目に陥る。過去になされた努力の重要さを低く評価する結果、達成すべく残されている努力の一切を貶めるのである。(中略)遠い祖先を動かした力は、われわれのうちにも相変わらず存在している。何も手は打たれていず、われわれには、すべてをまた始めることが可能だ。かつて為されたがうまく行かなかったものは遣り直すことができる。
（「悲しき熱帯 ( II )」p.387）
IT（この言葉はどうにも好きになれないのだが）の世界には「新しいもの信仰」、つまり最新の技術を追いかけるのが大事、という考え方がどうしてもついて回るが、古いものの中にも宝は沢山埋まっていると思う。「過去の発掘」はこの日記で、もっと取り上げていきたいテーマの一つでもある。
『何も手は打たれていず、われわれには、すべてをまた始めることが可能だ。かつて為されたがうまく行かなかったものは遣り直すことができる』ってのは、やっぱりいい言葉だと思うよ。
"mciML"、今週はレジスタ割り付け部の構造をごっそりと直したため、アルゴリズムの追加はなし。（ちなみに書き直したコードはこちら）
先週の日記で述べていた件（テストへの対応）は、"color"という関数の中に隠れていた内部関数を外側に引っ張り出して、外（この場合はテストプログラム）から直接さわれるようにすることで解決した。引っ張り出された各関数には、従来よりも多くの引数を渡す必要があるが、関数型言語においては、この事はそれほど問題とならない（カリー化という技があるのだ。と言いつつまだちゃんと使いこなしていないけど）。来週はテストプログラムをちゃんと書く（予定）。
「美しい日本のMLコンパイラ」が完成し、公開されていたことに今ごろ気づく（遅いよ）。「2004年度未踏ソフトウェア創造事業」にこのテーマが採択されてからずっと注目していたハズなのに、いつの間にかすっかりチェックを忘れていた。しかも向こうはコンパイラを教える側、一方こちらはコンパイラを学ぶ側、ということで同列に扱うなんて恐れ多くてとても出来ない…と思いつつもコメントをする。
let lexbuf outchan l = (* バッファをコンパイルしてチャンネルへ出力する *)
Id.counter := 0;
Typing.extenv := M.empty;
Emit.f outchan
(RegAlloc.f
(Simm13.f
(Virtual.f
(Closure.f
(iter !limit
(Alpha.f
(KNormal.f
(Typing.f
(Parser.exp Lexer.token l)))))))))
今僕が参考にしている"Modern Compiler Implementation in ML"と「美しい日本のMLコンパイラ」は、どちらもコンパイラの作成というテーマでありながら、良く見ると攻略ルートは結構違う。最初に見たときには「ぁ〜なんかカブっちゃったかな」と心配になったが、どうやらガッカリする必要はなさそう。どちらかというと、比較する楽しみが増えた、というべきかも。
3月18日から読んでいた"The Other Wind"(Ursula K. Le Guin)を読了。日本語版のタイトルは「アースシーの風」。"The EarthSea Cycle"(ゲド戦記)の6番目、そして（現在のところ）シリーズ最後の本である。このシリーズの4巻目である"Tehanu"(2004年10月6日)までは話の重さに苦しみながら読んでいたのだが、"Tales From EarthSea"(2005年1月30日)ではそれが少し和らぎ、そしてこの"The Other Wind"ではついに、霧が完全に晴れたというか、背負っていた重荷から自由になった登場人物たちの姿をやっと見ることが出来た。まさに「おとぎ話」の最後を飾るにふさわしい作品である（とはいえ、本作がこのシリーズの最後と決まったわけではないが）。ここまで読んできて本当に良かったと思う。
ちなみに日本語版では、この本（「アースシーの風」）の後に「ゲド戦記外伝」が発行されているが、英語版でのこの2冊の刊行順はその逆であり、「外伝」には「アースシーの風」の物語の前段にあたる大事な物語が含まれている。ということで、必ず「ゲド戦記外伝」の方を、この本の前に読むこと。これを守らないと、この本（もしかしたらこのシリーズ全体）の価値は半減するどころか三分の一になってしまう、かも知れない。
とりあえず
に申し込み。もしも見かけたら声でもかけてやってください。
ということでまとめ。
■ 朝と昼
最初の聴講セッションは東京 Inferno/Plan9 ユーザーズ グループの山梨さんによる「Plan 9の紹介」。開始10分前くらいに会場に到着すると、すでに高野了成（りょうせい）さんの姿が。さっそく挨拶すると同時に隣の席に座った。セッションはやや地味にスタート。とは言っても割と分かっている人が多いせいか、時々「ほぅ」とか「おぉ」という声があがる。途中からささださんも会場に。
昼食はりょうせいさんとともに、昨年のLL Weekendのときにも行ったタイ料理のお店「ピッチーファー」へ。なんかまた勝手にヘンな話をしてしまったような気がしないでもない…
午後最初のセッションはストヤン・ジェコフさん、続いて高橋さん（高橋メソッドは健在）、ささださん（未踏ユースのプレゼンベースの発表。やっぱり発表時間は少々足りなかったかな）による「Ruby Hot Topics 〜YARV and Rails〜」。そのまま同じ部屋にてかずひこさんによる「Wikiの基本から活用まで − Hiki を題材として −」（かずひこさんはオシャレだった）。会場ではおぎのさんや角谷さんにも会ったが、どちらも忙しいため夜は欠席とのこと。残念。
■ 夜（その１）：「オープンソースパーティー in OSC2005」
会場は新宿歌舞伎町、東宝会館地下の「刀削麺菜館」。200名以上入る広いフロアをほとんど貸し切っての飲み会。早く着き過ぎたせいか、まだ会場はガラガラ。テキトウに空いた席に座る。同じ席に座った皆さん、お互いいずれも初対面である。そのまま座っているのでもナンなので、お名前など伺おうとしたとたんに名刺交換会に早替わり。正面は上智大博士課程の岡田さん、斜め前に高橋郁（カオル）さん（この日記をご存知であった。知り合い以外で直接そういった方に会うのは初めて。恐縮です）、右隣に日本ベーレーの石坂さん（きちんと話をしなかったが、OPC Diaryという名前はどっかで聞いたような気がする…）という顔ぶれ。乾杯が始まるあたりからいきなり混みはじめ、広い会場が一気に埋まる。やたら盛り上がったというか騒がしかったというか。
■ 夜（その２）：喫茶店で
一次会終了後、高橋郁さん、りょうせいさん、そしてRubyな人々数名と近くの喫茶店に。本日Ruby on Railsのセッションで講演をされていたストヤンさんから面白い話をいろいろと聞く。
と、いつの間にかそこにshelarcyさんが加わり、Functional Programming in C++の本を取り出したあたりから、会話は2名による暴走モードに入る。
気がつくと他のヒトを置き去りにして2人で語りつづけていた。いかん...＿|￣|○
10時過ぎくらいに散会。帰りは昨年のLL Weekendの飲み会でもご一緒した、藤澤さんと共に。藤澤さんに混んでいる電車の中でStandard MLを布教（？）しながらの帰宅となった。一体何をやっているのだか…
# りょうせい [Plan9 のセッションに行くと思います． ]
# 福盛 [ぉっ(いや、やっぱりというべきか :) では明日、会場にてお会いしましょう。 ]
# しゅ [いばらっきーから出ていくと、時間もお金もかかるもんなー。 ちえらぼ http://www.google.com/se..]
# 福盛 [同じ関東とは思えませんね（とか言う） ちえらぼかぁ…Necca秋葉原で開催とはまたマニアックな。 …特別セッションに..]
# ささだ [私も plan9 行きます。 ]
# 石坂 [お世話になります。石坂＠日本ベーレーです。 そういえばちゃんとお話も出来ず、申し訳ございませんでした。 またよろしく..]
# 福盛 [次回は8月(LL Weekend?)かも知れません :) ちなみにOPC Diaryの「UTF8, SSH2対応のT..]
"オープンソースカンファレンス2005"の帰り道に藤澤さんとこんな話をした：
ちょうど手持ちのテストプログラムを見直していた最中だったので、具体例としてこれをネタに少々お話を。去年の12月ごろに、変数の依存性解析のサブルーチンをテストするプログラムを書いていたのだが、似たようなコードのコピーが続く関数が並んでいたのがどうにも気に食わず、なんとかしたいなぁと考えていた。
ということで、今週はこのテストプログラムを相手に、類似するコードを切り出しては束ねるという作業を繰り返しながら、無駄をどんどん切り取っていった。これ自体はJavaなどのプログラミング言語でもよくやる作業なのだが、MLなどの関数型言語だと、パラメータに（変数だけではなく）関数をとることが出来る、という特徴があるので、これを有効に使う。結果：
サイズは修正前92行に対して、修正後は40行。さすがに「3分の1まで縮められる」は大げさだったか。元のコードもとにかく冗長だったし…いや、"showDefUse"と"showInOut"の二つの関数を共通化すれば、今よりもさらに小さくできるハズだ、などと考えている間に今週は終わってしまった。寄り道もほどほどにしなければ。
3月24日から聴いていたAudiobook"Who Says Elephant Can't Dance?: Inside IBM's Historic Turnaround "(Louis Gerstner)を読(?)了。1993年、危機に瀕していたIBMの会長に就任したガースナーが同社を建て直し、以後約10年にわたり強力な地盤を作り上げていく様子を描いた本。「総合力を生かす」「選択と集中」「サポートビジネス」といったキーワードに、なんとも言えない既視感（デジャブ）を覚えた一冊。
# 三浦 [元はラジオドラマだしねえ。 ]