ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
　日本のコンパイラの権威、中田先生の新刊が出てますね。まだ、買ってませ
んが、速報ということで。^^;
http://www.amazon.co.jp/exec/obidos/ASIN/4254121733/showshotcorne-22/
コンパイラの基盤技術と実践―コンパイラ・インフラストラクチャCOINSを用
いて (単行本)
中田 育男 (著)

　コンパイラの共通インフラを作るプロジェクトCOINSの成果を本にまとめた
ということなんでしょうね。
　COINSについては、
http://iiyu.asablo.jp/blog/2007/10/13/1851600
Re: The LLVM Compiler Infrastructure
http://iiyu.asablo.jp/blog/2005/11/22/151472
Lisp特別イベントその２
など、何回か言及したことがあったけど、「Lisp特別イベントその２」が一番
詳しいみたいね。
　コメントをつけてくれているkmoriさんは、COINSに参加してたんだもんね。
　COINSのサイトは、
http://www.coins-project.org/
並列化コンパイラ向け共通インフラストラクチャ
をどうぞ。
　kmoriさんといえば、すぐ、グラフカラーリング(グラフの塗り分け)による
レジスタ割り当ての最適化を思い出してしまうんだけど、
http://iiyu.asablo.jp/blog/2005/09/17/78194
「Practical Common Lisp」へのコメントから。
http://iiyu.asablo.jp/blog/2005/09/07/65944
プログラミング言語で考える「小泉改革とは何か」
http://iiyu.asablo.jp/blog/2007/01/08/1100918
プログラミング言語D
で、kmoriさんとウォルター・ブライトさんの話、書いてますね。
　グラフカラーリングといえば、最近、久々にそのものに遭遇したんです。
http://iiyu.asablo.jp/blog/2008/06/18/3583332
物理数学入門本の感想
で、紹介した
http://www.amazon.co.jp/exec/obidos/ASIN/432001846X/showshotcorne-22/
やさしく学べる離散数学 (単行本)
石村 園子 (著)
で、グラフカラーリングが出てきます。コンパイラとは直接の関係はありませ
ん。純粋に数学としてのグラフカラーリング。
　あ、
http://iiyu.asablo.jp/blog/2006/01/21/220708
ちくま学芸文庫 Math & Science
のことで思い出した。これ、別に書きます。いま、すごいんですよ。

　元に戻って、この場合のグラフは、円グラフや棒グラフのほうのグラフじゃ
なくて、点と辺で、点のつながりを示すグラフのほうね。
http://iiyu.asablo.jp/blog/2007/05/23/1527799
で書いたように、応用数学の棚のグラフ理論のところには、Excelのグラフ機
能を使う本が並んでいたりと、本屋さんも混乱しているから、改めて。
　「やさしく学べる離散数学」の後半３分の１くらいは、グラフをやります。
最後がグラフの応用として有限オートマトンです。基礎的な話だけですが、正
規表現、インタープリタやコンパイラの字句解析でも、有限オートマトンは出
てきますから、女装、もとい、助走にはなりますね。序奏でもいいね。
　有限オートマトンの前にグラフの基礎があって、オイラーの公式、オイラー
グラフ(一筆書き)、ハミルトン閉路などが出てきて、グラフの彩色問題(グラ
フカラーリング)も出てきます。
　あ、彩色は、「さいしき」と読むんだ。いま、見直して気づいた。おれ、ず
っと「さいしょく」と読んでいた。また、ひとつ、頭よくなったじゃん。頭よ
くなりすぎて、困るなあ。＼(^O^)／
　グラフの彩色では、コラムで４色問題の話も出てきます。４色問題は、コン
ピュータを使って証明したから、数学者の多くは妥当な証明とは認めてないな
んて書いてあります。
　そうなんですよね。数学のノーベル賞といわれるフィールズ賞はもらえてな
いですよね。かといって、コンピュータサイエンスのノーベル賞といわれるチ
ューリング賞ももらえてないでしょう？
　境界領域の仕事だと、大きな業績でもそんな扱いになっちゃうんですかね。
　バイオインフォマティクスだってそんな感じがしますよね。ノーベル賞もも
らえそうにないし、かといってチューリング賞がもらえるかといったら、どう
なんでしょうね。
　４色問題もそうだけど、コンピュータを大々的に使ったんなら、チューリン
グ賞くらいやってもいいと思うんだけどね。

　あ、kmoriさんが、COINSで書いたグラフカラリーングの資料がある。なんと、
素晴らしい。＼(^O^)／
http://www.coins-project.org/050303/base/BackEnd/RegisterAllocation.html
Coins Register Allocation Algorithm
　なんか、今日、あ、と思うことが多いなあ。大当たりの日なのかな。

　そういえば、kmoriさんが
http://iiyu.asablo.jp/blog/2005/11/22/151472
Lisp特別イベントその２
のコメントで書いていた「えんざんし」がなくなる話。
　物理数学細々やって気づいたけど、演算子って、プログラミング言語の世界
と物理数学方面じゃ、ちょっとニュアンス違いますよね。もっと数学のほうに
行くと、作用素なんて呼び方になっていて、少し混乱しました。
　そういえば、おれ、汎関数で書き間違えていたことがあったね。なんだっけ？
　これかあ。
http://iiyu.asablo.jp/blog/2007/01/14/1111083
AMOPはThe Art of the Metaobject Protocolのこと

　kmoriさん、元気にしてるかな。元気だといいけど。
http://d.hatena.ne.jp/kmori58/20080705/p1
をみると、2008/07/05が最新エントリだから、この日までは生きてたね。＼(^O^)／
　ばかー。kmoriさんレベルのプログラマになると、あたかも人間が書いたご
とき文章を生成し、勝手にブログを更新するソフトくらいは書いてるよ。だか
ら、ブログが更新されているからといって、生きている保証にはならんぞ。＼(^O^)／
　そ、そうか。おれも、おれが死んでもマシンがウェブやブログを更新するよ
うにしておくか。そうすれば、武田信玄みたいに３年くらい死を敵に悟られず
に済むかな。
　それは、情報省のスパイとして当然の心得だね。＼(^O^)／

　あ、kmoriさんの
http://d.hatena.ne.jp/kmori58/20080630/p1
間抜けなAmazon
で思い出した。これも別に書きます。