Rogue Engineer's Diary / やさぐれ日記(2005-05)

2005-05-01

■ [Modern Compiler Implementation in ML] ガンジス川とパイプライン

最近やっている作業については先々月の日記で

先週の日記で述べていた件（テストへの対応）は、"color"という関数の中に隠れていた内部関数を外側に引っ張り出して、外（この場合はテストプログラム）から直接さわれるようにすることで解決した。引っ張り出された各関数には、従来よりも多くの引数を渡す必要があるが…
（「やさぐれ日記」3月20日）

こんな風に書いているが、これが具体的にどのようなカンジの作業なのか、図にしてみることする。まず「内部関数」と変数の関係から。

変数"a"と"b"は一度定義されると、関数"outer"の終わりまで使うことができる。イメージとしては、定義された変数が上流から下流へ流れていくみたいというか、いろんなモノが流れるガンジス川に変数も流れていくってところか。もちろんこの川の中にひたる内部関数"inner"の中でも"a"と"b"は利用可能である。

ところが内部関数"inner"を外側に引っ張り出すと…

ガンジス川にひたっていたはずの"inner"は陸にあがってしまい、もはや変数"a","b"を使うことができない。これを解決するには、"inner"の引数に"a","b"を加えてやる必要がある。

今度は工場がパイプラインで結ばれているみたいな雰囲気になった。"inner"を単体でテストしたいと思った場合にも、また"inner"を複数の関数から使いたいと思った場合にも、これならばパイプラインをつなぎかえることで、問題なく利用することができる。これにて一件落着…

…とは実はならなかったりするのが悩ましいところである。パイプライン(引数)の数が多くなると、プログラムの見た目がスパゲッティみたいになってしまうので、これをどう解決して見やすくするかが、当面の課題なのであった。やっぱりプログラミングってのはムズカシイ。

[ツッコミを入れる]

本日のリンク元 | 11 | 7 | 5 | 4 | 4 | 4 | 3 | 3 | 2 | 2 | TrackBack(0)

2005-05-04

■ [やさぐれ読書録] "Fermat's Last Theorem"読了

4月29日から読んでいた"Fermat's Last Theorem"(Simon Singh)を読了。日本語では「フェルマーの最終定理―ピュタゴラスに始まり、ワイルズが証明するまで」というタイトルで知られる本。読了後、BBCで放送されたというドキュメンタリー版を観てみたくなったが…ちょっと調べてみた限りでは、ビデオやDVDなどは入手出来ないみたい。しょうがないのでarchive.orgに残っているtranscriptで我慢することにする。

[ツッコミを入れる]

本日のリンク元 | 3 | 3 | 2 | 2 | 1 | 1 | 1 | 1 | 1 | 1 | TrackBack(1)

2005-05-08

■ [Modern Compiler Implementation in ML] 干渉グラフをVRMLで

干渉グラフ（4月17日の日記参照）は2次元の平面にノードを並べているので、どうしてもノード同士を結ぶ線がからまったような図になってしまい、少々見づらい。4月のRHG読書会の雑談のときも、これを3次元表示できればいいのにという話がでていたりした。一方Graphvizには3次元データ形式の代表格であるVRMLによる出力機能が備わっているので、これが使えばいいのかなぁと思いつつ、とりあえず実験。

GraphvizにVRMLを出力させるには"-Tvrml"というオプションを使えば良い（とても簡単）。表示は"Cortona VRML Client"というのを使ってみることにした。Graphviz経由で出来上がったVRMLファイルをダブルクリックすると、Internet ExplorerのプラグインとしてインストールされたCortona VRML Clientがそのまま立ち上がる。エラーもなく、無事表示されたみたいだ。よしよし…と思いながら良く見るとなんかヘン。

どうやら平べったいままの2次元グラフを3次元空間に置いただけ、というデータだったらしい。

なんということだ...＿|￣|○

本日のツッコミ(全2件) [ツッコミを入れる]

# isida [M研のisidaです。お邪魔します。不覚にも笑ってしまいました。この3次元表示意味あるんですかね。というよりも..]

# 福盛 [GraphvizのFAQ http://www.graphviz.org/cvs/doc/FAQ.html を良く見..]

本日のリンク元 | 31 | 18 | 10 | 10 | 8 | 6 | 6 | 5 | 5 | 4 | TrackBack(0)

2005-05-15

■ [Modern Compiler Implementation in ML] "Simplify"アルゴリズム動作確認

"Simplify"アルゴリズムの動作確認ができた。4月17日に出した図から"Simplifywork"という属性が付いたノードを一通り「消した」後の状態はこんな風になる。

途中経過を連続写真のように見られるようにしたのがこちら。ノードが消えるごとにグラフから余分な線が消えてすっきりしていく様子が分かる。最終的に残るのは"Freezework"と"Precolored"という属性が付いたノード。"Freezework"の方はこの後の"Coalesce"以降で処理される。

本日のツッコミ(全2件) [ツッコミを入れる]

# shelarcy [まだ書いてないというかそこまで日記が進んでないようなので一応知らせておきます。 http://page.freett..]

# 福盛 [情報ありがとうございます。 "Software Factories"というと、僕が知る限りでは、 (a) Mich..]

本日のリンク元 | 28 | 26 | 19 | 7 | 6 | 5 | 4 | 4 | 4 | 3 | TrackBack(0)

2005-05-18

■ IPAX 2005短信

…ふと我に返ると、そこはIPAX 2005の懇親会会場であった。場所は東京ビッグサイト、時刻は夜の6時過ぎ。

「美しい日本のMLコンパイラ」の作者である住井さんにお会いすることができた。

今年から東北大学で教えられているとのこと。プログラミングの授業でMLを採用する方向で進めているが、Standard MLにするかOCamlにするかで調整中なのだとか。
「MLがメジャーになるにはどうしたらいいか、Rubyなどからヒントを得られれば」という会話。「やっぱり日本語のドキュメントはあった方がいいですよね」「エラーメッセージを日本語にするのは？」「あまり効果ないんじゃないでしょうか」などなど。
shelarcyさんの友人（C言語を主力に活動している）にMLの良さを説明しようとして苦戦。
ICFP Programming Contestの話なども聞いておくべきだったかな。（出場する予定がある、とかそういうワケではないが）すっかり忘れていた。もったいない。
あ、そうそう、OCamlの"O"、つまりオブジェクト指向に関する部分はざっと見たところ（"Functional objects"のスタイルを使わない限り）関数型プログラミングのスタイルからずいぶんと離れているように見えるが、OCamlのユーザはみんな気にせずに使っているのか、それともオブジェクト指向まわりの機能はあまり使っていないのか、などなど聞いておくべきだったな。

かずひこさんはイイ人だった。もらった名刺に書かれていた名前を見て、漢字ではこう書くのかと、妙なところで感心。
全文検索システム"Rast"の開発者である雄也さんともお会いする。Rastの話とか聞いておくべきだったかも。
大崎で2次会。

[ツッコミを入れる]

本日のリンク元 | 7 | 5 | 4 | 2 | 2 | 2 | 2 | 2 | 2 | 1 | TrackBack(1)

2005-05-22

■ [Modern Compiler Implementation in ML] "Coalesce"アルゴリズム着手

ついに"Coalesce"アルゴリズムに到達。その土台となるアルゴリズムのうち、今週は"AddWorkList"と"Conservative"の実装を行う。

現状のソースはこちら。いずれも"Coalesce"以外からは呼ばれておらず、また単体テストの対象にはしない、と割り切っているため、いずれも内部関数として書いている。"Coalesce"への引数のスタイルはまだ変わる予定。

[ツッコミを入れる]

本日のリンク元 | 17 | 14 | 7 | 7 | 4 | 4 | 4 | 3 | 3 | 3 | TrackBack(0)

2005-05-29

■ [Modern Compiler Implementation in ML] 引き続き"Coalesce"

引き続き"Coalesce"アルゴリズムの土台部分の実装。今週は"OK"、"GetAlias"、そして"Combine"の実装を行う。

現状のソースはこちら。"Combine"の実装はまだ半分くらいの出来である。前回(5月22日)と比べると実装状況のグラフの姿が若干変わっているが、これは"Combine"から"NodeMoves"への依存関係が新たに見つかったことによる影響。"Coalesce"の実装は揃いつつあるが、テストは全く行っていないので、そろそろ検討を始めなければ。

[ツッコミを入れる]

本日のリンク元 | 81 | 18 | 17 | 14 | 12 | 5 | 5 | 5 | 5 | 5 | TrackBack(0)