Categories |
CPUの創りかた |
Modern Compiler Implementation in ML |
NerdTV |
PDP-11シミュレータで古代のUNIXを動かしてみる |
The Yakumo Project |
やさぐれ読書録
最近のツッコミ:1.Braritemeal(2008-08-25 00:41)
2.dyendignify(2008-08-18 10:20)
3.Dominic(2008-06-23 05:05)
最近のトラックバック:1.濃縮還元オレンジニュース:プロ.. (2006-12-22 22:02)
前回（6月19日）実装したコードの叩きなおしを試みる。コードの見通し改善をもくろみ、タプル（丸括弧でくくられたカンマ区切りのパラメータ）のうち、実行中に内容が変化しないものをレコード型（中括弧の名前付きパラメータ）に書き換えたが、効果のほうはまだ不明。現状のコードはこのような姿。次は"Coalesce"用のテストプログラムを書く予定。
僕が最初にJavaという言葉を聞いたのは10年前の今日。Sunが今よりもっとギラギラしていたころだ。
1995年の6月、日本サンから"Japan ERC(Education and Research Conference)"という、教育研究機関向けのカンファレンスの招待券が村岡研究室に届いたところから話は始まる。説明によると、会場は幕張のホテルニューオータニ、昼食と夕食（立食パーティー）はもちろん、ホテルニューオータニでの宿泊（！）まで付いているとのこと。ということで月が明けた7月5日の朝、研究室のメンバー数人がぞろぞろと幕張へ向かったのであった。
カンファレンスの講演者にはJohn Gage, Guy Steele Jr.と、そうそうたる面々が並び、当時のSunがいかに気合を入れていたかが良くわかる…ということに気づいたのは、実はずいぶん後のこと。当時の僕は、John GageやGuy Steele Jr.がどんな人たちだったのかを知らなかったのだよ（勉強不足だな）。John GageはChief ResearcherにしてSunの創立者の一人（JavaOneでは毎年壇上に登ってプレゼンをしている）、もう一方のGuy Steele Jr.と言えば、プログラミング言語Schemeの設計者、"Common Lisp the Language"の著者、"The Hacker's Dictionary(The Jargon File)"の編纂、さらにJavaの言語仕様をまとめた人物としても知られる。要するにどちらも超有名人なのである。
でもって、そのカンファレンスの最初のほうで行われたJohn Gageの講演で"Java"という名前の、新しい言語の話を聞いたワケだ。いわく「C++ ++ -- = Java (C++に機能を追加しつつ、危険であったり必要でない部分を取り除いたのがJavaである)」とか、「JavaはOSという概念を取り払う、OSは将来的には不要になる」とか。「なんかすごそうではあるな」とは感じたものの、いまいちピンとこなかった。Guy Steeleがどんな講演をしたかは覚えていない。あの場では講演はしていなかったかも知れない。
…そうそう、カンファレンス終了後の立食パーティーがとんでもなく豪華だったな。パーティー会場に寿司の屋台（本物の職人さんが握ってくれる）が出ているのを見たのは多分これが初めて。キャビアも出ていたらしい（僕はまったく気がつかなかったけど）。立食パーティーではこんな話を聞いたと思う：
John Gage:「6個のトランジスタで動く昆虫型ロボットがあるんだ。たくさん作って同時に動かしてやるといつの間にか群れを作ったり、一列になって移動したりするんだよ。面白そうだろ？」
Guy Steele Jr.:「オブジェクト指向を勉強するにはJavaは最適だ。並列計算にも向いていると思うよ。」
幕張で一泊した後、授業に出席するために大学へ戻った。その週末には研究室のワークステーションにJavaの言語処理系がインストールされ、新しい物好きの連中がいじり始めていたようだ。しかし僕はこの時点でもなお、Javaにはそれほどピンとこないまま、John Gageが送ってくれると言った、昆虫型ロボットに関する資料の方を楽しみにしていたのであった（が、結局資料はやってこなかった。まぁそんなもんだ）。
僕が実際にJavaを使い始めたのは、さらに半年ほど後のこと。"Hooked on Java"という本を読みつつ、オブジェクト指向というものはどうもよく分からないなぁと、一人でうなっていた。その後、"The Java Tutorial"も読んだがまだしっくりこない。結局、本当に理解できたという段階に至ったのはさらに3年近く経った、1998年冬のある日のことであるが、これについてはまた別の機会にお話しすることにしたい。
6月12日から読んでいた"Competing on Internet Time: Lessons From Netscape and Its Battle with Microsoft"(Michael A. Cusumano and David B. Yoffie)を読了。日本語版は「食うか食われるか ネットスケープvs.マイクロソフト」（すごいタイトル、というか、いくらなんでもコレはあんまりだと思うよ…）以下、まとめ。
■ Netscape
これは「クスマノ・シリーズ」（と僕が勝手に呼ぶ）4冊セットの2冊目に当たる本。「クスマノ・シリーズ」の本来の目的はMicrosoftの開発の様子と僕らの開発の姿を比較していく、という点にあるのだが、この本の主役はNetscapeなのでまずはそこから話を始める。まず印象深かったのが、Netscapeの関係者がCMMI的な考え方を真っ向から否定する姿。CMMIの段階表現モデルにおいてはソフトウェア開発組織の成熟度を、最低レベルの1から最高レベルの5までに分類し、ソフトウェア開発を「特定の個人の力量に依存しない」、「予測可能な」プロセスにすることを実現するための道筋を示している。
成熟度レベル1では、通常、プロセスは場当たり的で無秩序である。（中略）成熟度レベル1の組織での成功は、（中略）組織に属する人員の力量や英雄的行為に依存している。
（能力成熟度モデル統合(CMMI), 1.1 版、段階表現 p.11）
（CMMIの）成熟度レベル4では、プロセスの実績は、統計的技法およびその他の定量的技法を使用して制御され、定量的に予測可能である。
（能力成熟度モデル統合(CMMI), 1.1 版、段階表現 p.13）
Netscape関係者の発言を拾い上げてみると、上記のような考え方の正反対を主張している様子が浮かび上がる。まずは1995年にBorlandからNetscapeに移った、シニアデベロッパのLloyd Tabbの言葉：
「本当に素晴らしいソフトウェアはヒーローたちの手から生まれる」
（"Competing on Internet Time" p.235、やさぐれ訳）
そしてNetscape社、クライアントプロダクトのリリースマネージャであったMichael Toy（ちなみにこのヒト、何とRogueの作者でもあったらしい）の言葉：
「コントロールは悪だ。過剰なコントロールからは、予測可能な結果しか得られない。わずかにコントロール不能な状態にしてやるほうがはるかに良い。こうすれば予測不能な大成功を手に入れることが出来る」
（"Competing on Internet Time" p.222、やさぐれ訳）
「予測不可能な大成功を手に入れる」とは魅力的なフレーズだし、ここまではっきりと言い切ってくれるとなかなか痛快だ。ところが、Netscapeの中心的開発者の一人、Jamie Zawinskiの言葉をこれらに重ね合わせてみると、その印象は少々変化する：
ぼくたちは、新しいコミュニケーションのメディアの先鞭を切ったのだ。ぼくたちは世界を変えた。
でも、それをやったのは 1994〜1995 年のことだった。1996 年から1999年にやったことは、以前にやったことから生じた波に乗り、惰性で進んできただけだ。
なぜか？ 会社がイノベーションを止めてしまったからだ。
（Jamie Zawinski 「辞職そして追悼。」）
さすがのNetscapeも「予測不能な大成功」を何度も繰り返すことは出来なかった、というのが現実のようだ。イノベーションというのは、つくづく厄介な代物であると改めて思う。
■ Microsoft
続いてMicrosoft。彼らの開発の姿を追うという、「クスマノ・シリーズ」本来の目的に沿って、関係者の言葉を拾う。まずAlex Edelsteinの言葉：
「マイクロソフトでは、ちゃんとしたドキュメント無しには、APIをデベロッパやパートナーに公開しないというのが常識だった。ドキュメントはドラフト版であることもあったが、すくなくとも存在はしていた」
（"Competing on Internet Time" p.82、やさぐれ訳）
4月のRHG読書会で行われたartonさんの講演「COM―古きを訪ねて新しきを知る」の中では、『"The Component Object Model Specification"というドキュメントが、Microsoftが出しているCOMの仕様書だ。でもDraft Versionの0.9が公開されたっきりで、その後正式版が出た、という話は聞かないけどね』という話があった。上の「ドキュメントはドラフト版であることもあったが、すくなくとも存在はしていた」っていう話と確かに一致する。ちなみに"The Component Object Model Specification"は現在は（辛うじて？）ここで参照できるようだ。
次はMicrosoftでのコードレビューの話。
Slivkaによれば、IE 1.0, 2.0,そして3.0にかけて、Microsoftの開発者たちは全てのチェックインに対してコードレビューを行い、（自分のコードが直ちに他の人の目に触れることから）良いコードを書くように動機付けるとともに、コードベースやコーディングスタイルといった一般的テクニックに関する知識を広めることに努めていた。
（"Competing on Internet Time"p.244、やさぐれ訳）
コードレビューをやっていたとは、ちょっと意外。「その割にはあの当時のIEの出来はどうにもイマイチだったな」と思ったのだが、しばらく経った後に、通常はコードだけではなく仕様書もレビューの対象にするはずだが、そこがどうなっているかが本書には書かれていない、ということに気が付いた。実情はどうなのか、次に読む予定の"Microsoft Secrets"に手がかりがあることを期待しておく。
■ そしてコンポーネントモデル
最後に、この本のもう一つ大きなトピックである、コンポーネント化に関する議論についても書いておく。
1990年代初めから中ごろにかけ、MicrosoftはComponent Object Model(COM)を設計し、それに合わせ、Word、Excel、PowerPoint、およびWindowsとWindows NTのアーキテクチャとコードベースを再設計するという作業にかなりの時間を費やしていた。この再設計はコンポーネントの共有を目的としたものである。例えば、Wordのプロダクトユニットはテキスト処理モジュールや印刷モジュールをビルドするが、これはWordだけでなくExcelや他のOffice製品、さらにはテキスト処理やプリントを行うほかのいくつものアプリケーションでも使われることとなる。
（"Competing on Internet Time"p.201、やさぐれ訳）
コンポーネント化を実現する方法にはいくつかあるが、一つ有力なアプローチとしては、成功したアプリケーションを解体し、組み合わせ可能な部品の集まりとして再構築するという方法がある。IE3.0のコンポーネント化に携わったBen Slivcaの言葉から：
「我々にはCOM、すなわちコンポーネント・オブジェクト・モデルを理解する人間がおり、ソフトウェアのコンポーネント化を正しく行った場合、それがどのような価値を生み出すかについても理解しているという強みがあったが…それでも我々は95年の秋にコンポーネント化を進めるかについて、厳しい判断を迫られていた。これは「行くか、戻るか」迷っていた時期とも言える。別の言い方をすれば、『我々はこの子（ソフトウェア）をバラバラに解体すべきか、それともそのままにしておくべきか?』という悩みであった」
（"Competing on Internet Time" p.184、やさぐれ訳）
90年代中盤はあちこちでコンポーネント化が熱心に進められた時期とも言える。NetscapeはCommunicator Version 6でブラウザのコンポーネント化を目論んでいたし、ジャストシステムも1995年に「一太郎7」で、「JUSTSYSTEM Open Component Architecture JOCA）」という名前のコンポーネント技術を立ち上げようとしていた。だがコンポーネント化というのは半端で無いほどの開発資源の投資を伴う割に、かなり後にならないとその効果が目に見えないという点で、非常に大きなリスクを伴う、一種のギャンブルであるとも言える…と書き始めたところで、このまま進むと収拾がつかなくなるほど奥の深いトピックであることに気が付く。コンポーネント技術については別の機会に書くことにしよう。
7月7日から読んでいた「鏡のなかの迷宮： 光る石」（カイ・マイヤー）を読了。三巻シリーズの二巻目である。物語は大きく展開しているものの、まだ謎も多い。この巻の訳者あとがきでは最終巻について、「その後の思いがけない展開に、初めて読んだときは、本を置いた後もしばらく物語の世界から抜け出すことができませんでした」と書いてある。ということで次に期待。
今月のRHG読書会では（あろうことか）講師として『美しい日本のMLコンパイラ』をネタに20名弱の人々を前に話をすることになった。
いずれにせよ、orz度高し。このままでは終われん。オチ（落とし前？）をつけるべく資料は今後も更新するつもり。
# しゅどう [先生と懇意の日本Sunの方が研究室に来て、先生を招待していたところ、先生が学生連中に向かって「誰か興味ある人いる？」..]
# 福盛 [うはは、10年目にして明らかになる真相ですな（というか僕が忘れてただけか） みんな若かったなあ（と他人事のように語る..]
# ささだ [いーなー．寿司（そっちか） ]
# たけちゃん＠ぼけ役 [「Sunが今よりもっとギラギラしていたころ」か。そういえば、筐体を開けたら中はシールドだらけだったな…。 ]