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)
"mciML"は二つ残っていた課題のうちの一つ、ループ中のbreak文への対応をなんとかやっつけ、現在は関数呼び出しのコード生成部分と格闘中。入れ子状に定義された関数を相手にするために、"static link"という手法（同様の機能を実現する方法としては、他に"display"や"lambda lifting"というものがあるらしい…あれ、lambda liftingってどっかで聞いたような気がするぞ。どこだったっけ）を使うのだが、スタックフレームが具体的にどう積まれていくかのイメージがまだちゃんと見えていないせいか、ほぼ出来上がっているにもかかわらず手がなかなか動かない。コードにすると恐らく残り数行で済むところまで来ているはずなのだが…
今週末は"Lightweight Language Weekend"に参加予定。もし見かけたら声をかけてやってください。悪いようにはしませんので :-D
ということであっという間に夏祭り…もとい、"Lightweight Language Weekend"の日がやってきた。
■ Language Update
最初のセッション(10:00〜12:00)は"Language Update"。11人のスピーカーが入れ替わり立ち代わり言語の宣伝をしてくれる。いきなり竹内郁男先生がCommon Lispのネタで会場を魅了。というか一同バカウケ。一旦落ち着いたかに見えた会場は角谷さんによるGroovyの紹介の最後に登場した「飛び道具」こと「ジャヴァの奇妙な冒険」で再び大爆笑の渦に(というか発表の途中から皆爆笑していたのだが)。まつもとさんはスライド無しの語り一本でどこまでやれるかに果敢に挑戦していた…のではなくマシン不調でかなり大変な目に。梅澤さんはSqueakの紹介にて「いつもより多く回っております」とかをやってウケていたり、などなど。
■ 昼食
「アウェイ組(©角谷さん)」、つまりJavaなど"Lightweight"でない言語で日ごろ生活している一団がなぜか自然に寄り集まり、韓国料理屋へ。昼から生ビールを頼み（駄目）飲んだくれる人々多数。皆がキムチチゲ、ユッケジャン、石焼ビビンバなど暑苦しいメニューを選ぶ中、右隣に座った久井さん（コールドブレス）は冷麺で涼しげにキメていた。左隣は昨年「オブジェクト指向シンポジウム2003」の飲み会で一緒になった天野(amapyon)さん。顔を合わせるのはほぼ一年ぶりであったがちゃんとこちらのことを覚えていてくれた（恐縮です）。
うだうだと飲んだり食べたりしゃべってたりしているうちに午後のセッション開始時刻を余裕でオーバー。一同が会場に戻ったのは13時半であった。30分の遅刻。
■ LLを仕事に
13:00〜14:30のセッションは「LLを仕事に」。半分酔ってたので真面目に聞いてない（ぉぃ）。
■ 君ならどう書く
15:00〜16:40のセッションは「君ならどう書く」。各言語の代表が事前に与えられたお題をどう解いたか、披露するというもの（発表資料など詳細はこちらを参照）。前半は「ls -lR シェル」。「デザインパターンを利用してコーディングすることを条件とし」というルールであったが、これは一歩間違えればここにあるファウラーの言葉のような事態を起こしかねないという点でキワドイ。ここで言われている「デザインパターン」はGoFのそれ、つまりオブジェクト指向型のソフトウェアにおける再利用のためのパターンのことを指しているようだったが、関数型言語のHaskellが無理に合わせようとしていたり。
後半は「n-Queensゲーム」。3つ以上のプログラムが同時に対戦するゲームというのはなかなか難しいものであるなぁと思った次第。本日のセッションはこれにて終了。
■ 懇親会
そのまま西武新宿駅前の「甘太郎」へ徒歩で移動。参加者は軽く100名を超えるとのことで、1フロア丸ごと貸し切りでの宴会。テキトウな席に座ると右にはまつの(tokuhirom)さん、正面には野首(knok)さんという顔ぶれ。と言ってもこの時点では名前と顔がまったく一致していなかったため誰が誰だか全く分からない状況であった。宴会は飲み放題、食べ放題ということだったのでテキトウに注文。一つのテーブルで各人がチャーハンを一皿ずつ独占するなど極悪なことをやっていたような気が。
左前に座っているヒトがPlan9のTシャツを着ていたので「どこで手に入れたんですか」と聞いてみたところ「去年のUSENIXで」との答えが。ほほぅと感心したあと十数分無難な話をする。ふとしたきっかけから名刺を交換すると、なんとPlan9のTシャツのお方は高野了成（りょうせい）さんであったことが発覚（ががん）。りょうせいさんのところのページは2〜3年ほど前から拝見していて、ぁ〜すごいなぁとか思っていたのであった。その本人が目の前にいたというのに全く気がついてなかったよ＿|￣|○
ちなみに左隣にいたBSDのデーモンくんのTシャツを着た方にも衝撃のヒミツがあったのだが、それを知ったのは翌日のことである。
■ 二次会
Ruby系な人々とHaskell系な人々が混ざる二次会へ参加。
そんなこんなで二次会が終わったところで本日の日程も終了。家路につく。
きちんと起きられるか心配していたが特に問題無し。10分ほど前に会場に到着。10:00〜10:10は「その場でどう書く」の課題発表。続いて12:00まで「LLとblog」というセッション。
■ 昼食
お昼はogijunさんオススメの、タイ料理のお店「ピッチーファー」へ。ランチで頼んだグリーンカレーは絶品。こりゃいいわ。ogijunさん曰く、「少し前まではよくこの店に通ってたんですよ。『ピッチ―ファー』というキーワードで検索すると多分出てきます」と言っていたので探してみた。こんなの（その１）（その２）が出てきた。ディナーメニューも確かにおいしそうだ。今度行ってみることにしよう。
■ Lightning Talk
午後最初のセッションはLighting Talk(13:00〜14:00)。スピーカーは10人、各人の持ち時間は5分。
セッション終了後の休憩時間にりょうせいさんとお話。「いまどきの若いヒトたちは本当に元気が良いですな」「いやいやワシらもまだまだ」とジジイな会話をしたような。「オーディオはやっぱりヘッドフォンに限りますヨ」とか変なことを力説してしまったような気もする。
■ その場でどう書く
14:30〜16:30はLLWeekend最後のセッションとなる「その場でどう書く」。この日朝に発表されたお題（Webを使ったカレンダー・予定表システム）を実装した結果を、5言語5名の出場者が発表するというもの。2時間も間が持つのかなと少々心配になったが、途中から乱入組が登場したりしてそれなりにイベントらしく。
■ 飲み会
昨日の懇親会でBSDのデーモンを着ているお方はなんとG7さんであったことが判明（いや、実際に気がついたのは本当はもう少し後のことだったんですが。というか他のヒト達は前日に気がついてたらしいし。ダメじゃ＞自分）ということで、そのG7さん、MoonWolfさん、おがわけんたろうさん、りょうせいさん、藤澤さん(UNIX USER編集部)と、あともう一人のかた（名前を忘れてしまった。仮称「若者」としておく(駄目））とで新宿西口の白木屋へ。
「コーヒーでもどうですか」とスターバックスを探したがテイクアウト専門店だったり8時で閉店してしまう店だったりして壊滅。数名の人々を従えて新宿の街を引きずり回してしまう結果となった（すみません）。藤澤さんはここで離脱（まことにスミマセン(_o_)）。結局G7さん、MoonWolfさん、けんたろうさんと西口ヨドバシカメラの近くの「ルノワール」へ。以下テキトウな記憶を元にイイカゲンに書いたものなので誤りがあれば指摘ください＞各位
といった具合に語りつづけ、23時ごろだったかに解散。これにて（僕にとっての）Lightweight Weekendも終了となった。皆様、またお会いできる日を楽しみにしております。
"mciML"は先週からの懸案となっていた"static link"の実装部分の問題を解決、さらに関数呼び出しの仮引数にまつわる不良（というか勘違い）を修正し、ついに真っ当な中間コードが出るようになった。非常に疲れたがこれでやっと次に進める。章末の練習問題は…後で考えよう。
"mciML"は7章末尾の演習問題をテキトウにすっ飛ばし、第8章"Basic Blocks and Traces"に進む。ざっと読んだところ、生成された中間コードに対してなにやらいろいろと変形を加えるとかなんとか。章が変わるとトピックも一変するのでなかなかついていくのは大変である。現在は175ページあたり。
「Rogue Engineer's Diary / やさぐれ日記」のリストラクチャリング（リファクタリングではない）をやってみた。具体的にはカテゴリ分けによるトピックの整理という作業である。カテゴリ分けで一般的に良く見られるのはカテゴリ名にシンプルな文字列を使い、それを分類のためのキーとして用いるというアプローチだが、
という点がどうにも気になっていた。いろいろと考えたあげく、今回は
という方針で対処した。その結果、[CPUの創りかた][Modern Compiler Implementation in ML][PDP-11シミュレータで古代のUNIXを動かしてみる]という三つのカテゴリが作られた。というのが表向きのストーリー。
■ 直交性と凝集度の観点から
さて、ここで少し裏側に回って、「そもそも自分は何をしたかったのか?」という方向から整理してみる。半ば無意識にやっていた上記の作業、結局のところ、「今までに書いた日記の文章のうち、あるカテゴリに属するエントリをまとめて、完結した文書を作りたい」というのが最終目的だったようだ。tDiaryなどのblog系ツールの強みというのはやはりこういった作業が自動的にできるという点に尽きる。
ここで重要となるのはカテゴリ名の付けかたであろう。ソフトウェアの世界では直交性(orthogonality)や凝集度(cohesion)という概念があるが、同様の考え方を日記の世界にも導入してみるとどうなるか。
我々が目指すのは自己完結したコンポーネント、すなわち独立性と、はっきりと定義された目的（YourdonとConstantineが呼ぶところの凝集度）を持つコンポーネントの設計である。
("The Pragmatic Programmer"35ページ"Benefit of Orthogonality"より。やさぐれ訳)
一般的なアプローチによって、つまりゆるやかなカテゴリ名をキーにして日記の文章をまとめようとすると、分類された文書の一貫性が確保できず、直交性や凝集度は下がる。
そのようなケースにおいては、似たジャンルの文章が集まってはいるものの、それらはあくまで寄せ集めであり、通して読もうとすると少々ツラい。今回のアプローチは言い換えれば、カテゴリ名を出来るだけ具体的にすることで、直交性と凝集度のコントロールが可能になるかどうか、その結果出来た「トピック別文書」が読みやすくなるかどうかについて試みたという言い方も出来るかもしれない。
■ 疑問
と、ここまで書いたところでちょっとした疑問が浮かんだ。
前者についてはある程度の期間にわたって日記を書いているとそれなりの量のトピックが集まるわけで、しばらくじ〜っと眺めていれば、適切なカテゴリ名とトピック群の組み合わせを発見する余地はあるんじゃないでしょうかねぇとかテキトウな回答で逃げることにする。ただ一つ言えそうなのは、あらかじめユルいトピック（カテゴリ名）を定義した後に、そこへ文章を放り込んでいくスタイルだと、上記に述べたようなコントロールは恐らく困難となるであろうという点である。
後者についてはそのときそのときの出来事を書き下ろすと言う日記のスタイルはやはり楽だったり、現時点で分類された文書をよく眺めてみると時系列の流れで束ねられていたりする、というのも事実。ということで日記を使う意義はまだあるんじゃないでしょうかねぇ、と思う。もしかしたら単なる慣れの問題なのかも知れないが…
7月27日から読んでいた"Concurrent Programming in Java Second Edition"を読了。う〜ん、とにかく難しい本であった。3年前に購入したときには半分もいかずに挫折したので、今回こそはと意気込んで読んでみたものの、なんかボコボコにされたあげく、「出直して来い!」と言われた気分。
"mciML"は先週に引き続き第8章"Basic Blocks and Traces"。本文を見ているだけではなかなか理解し切れないので、章末の演習問題を解きつつ進むことにした（第7章でもそうしておけば良かったかも）。第8章で追加するコードはあらかじめ提供されているので楽といえば楽だが、中身を理解するのに少々時間が必要なカンジ。というか他のヒトが書いたMLのコードを真面目に読むのは"Elements of ML Programming"のとき以来。現在は179ページあたり。
今年1月に購入し、今も少しずつ読んでいる"Great Dialogues of Plato"という本、題名の通り紀元前のギリシャの哲学者のお話なのだが、その中に登場するApollodorosの言葉にこんなのがあった：
実のところ、自ら哲学について語ったり他の人が哲学を語るのを聞くと、私は大きな喜びを感じ、またそれが自らのためになると信じることができる。しかし他のたぐいの話、特に君たちのような金持ちや、金儲けにのみ関心を持つ者の話を聞くと私はうんざりし、また哀れに思うのだよ。君は何か意義あることを行っていると思っているのだろうが、実のところ何もしていないのだ。
("Great Dialogues of Plato" 71ページ)
なんかどっかで見たことのある言葉だな…と思ったら、Eric S. Raymondの「ハッカーになろう How To Become A Hacker」にこんな一節があった：
ハッカーになるためには自分の技術をみがき、知性を働かす訓練して、問題を解決することにゾクゾクするような喜びを感じるようでなければいけません。
あなたが生まれつきこのように感じないなら、ハッカーになるにはまずそのような人にならなくてはいけません。さもないとハッキングへの意欲が、セックスやお金や社会的な名声のようなつまらないことに惑わされてしまうでしょうから。
（「ハッカーになろう How To Become A Hacker」）
なるほど、ハッカーはギリシャの哲学者の系譜に連なるモノたちだったのね。ついでに言うと、富や名声を求める者たちは今も昔も存在していて、どちらもそれにうんざりしていたり、つまらないモノだなと思っていたりする、という構図が見えるのがなんともおかしい。
カツマくんイチオシの「下妻物語」を見損ねたのでリベンジとして（ちょっと違う）向井さんイチオシの「茶の味」を昨日観る。渋谷シネマライズでの単館上映、しかも7月から公開しているという作品なので前売り券は当然のように手に入らず、1800円きっちり払って券を買う。公開から2ヶ月も経つ作品なのに場内は満席。約2時間半後…満足して映画館を出た。確かに『面白い！これ面白いよ！』。皆で一緒にクスクスしたり爆笑したりするのが似合う作品なので、後からDVDで観るのでは少々もったいない。今のうちに映画館で、かつ客の多い時間帯に観るのが吉。「微妙なバランス」の上に乗っている「他愛も無いお話」と言ってしまえばそれまでなのだが、ツボにはまればかなり幸せな気分になれるはず。
"mciML"は第8章の章末問題とコード読みを終わらせ第9章の"Instruction Selection"に入る。中間コードから機械語への変換の第一歩となる作業について説明されている模様。"Maximal Munch"というアルゴリズムで、中間コードのツリーの中から最長一致となるものを対象プロセッサの命令語から拾いあげていくという話らしい。現在は191ページあたり。
# かくたに [福盛さんや久井さんはホームのお方でしたね……。失礼しました。 ]
# 福盛 [いやいや、僕も仕事はJava、趣味ではStandard ML(今回はHaskellに圧倒されてたし)という生活なので..]