ホットコーナーブログ(iiyu.asablo.jpの検索)ホットコーナー内の検索でもASAHIネット(asahi-net.or.jp)全体の検索です。検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。)に転載したものから。---日本のコンパイラの権威、中田先生の新刊が出てますね。買ってませんが、速報ということで。(著)コンパイラの共通インフラを作るプロジェクトCOINSの成果を本にまとめたということなんでしょうね。コメントをつけてくれているkmoriさんは、COINSに参加してたんだもんね。COINSのサイトは、http://www.coins-project.org/並列化コンパイラ向け共通インフラストラクチャをどうぞ。Lisp」へのコメントから。http://iiyu.asablo.jp/blog/2005/09/07/65944プログラミング言語で考える「小泉改革とは何か」http://iiyu.asablo.jp/blog/2007/01/08/1100918プログラミング言語Dで、kmoriさんとウォルター・ブライトさんの話、書いてますね。グラフカラーリングといえば、最近、久々にそのものに遭遇したんです。(著)で、グラフカラーリングが出てきます。コンパイラとは直接の関係はありません。純粋に数学としてのグラフカラーリング。Scienceのことで思い出した。いま、すごいんですよ。元に戻って、この場合のグラフは、円グラフや棒グラフのほうのグラフじゃなくて、点と辺で、点のつながりを示すグラフのほうね。能を使う本が並んでいたりと、本屋さんも混乱しているから、改めて。「やさしく学べる離散数学」の後半3分の1くらいは、グラフをやります。最後がグラフの応用として有限オートマトンです。規表現、インタープリタやコンパイラの字句解析でも、有限オートマトンは出てきますから、女装、もとい、助走にはなりますね。有限オートマトンの前にグラフの基礎があって、オイラーの公式、オイラーグラフ(一筆書き)、ハミルトン閉路などが出てきて、グラフの彩色問題(グラフカラーリング)も出てきます。あ、彩色は、「さいしき」と読むんだ。いま、見直して気づいた。おれ、ずっと「さいしょく」と読んでいた。ひとつ、頭よくなったじゃん。頭よくなりすぎて、困るなあ。\(^O^)/グラフの彩色では、コラムで4色問題の話も出てきます。4色問題は、コンピュータを使って証明したから、数学者の多くは妥当な証明とは認めてないなんて書いてあります。数学のノーベル賞といわれるフィールズ賞はもらえてないですよね。いって、コンピュータサイエンスのノーベル賞といわれるチューリング賞ももらえてないでしょう?境界領域の仕事だと、大きな業績でもそんな扱いになっちゃうんですかね。バイオインフォマティクスだってそんな感じがしますよね。ノーベル賞ももらえそうにないし、かといってチューリング賞がもらえるかといったら、どうなんでしょうね。4色問題もそうだけど、コンピュータを大々的に使ったんなら、チューリング賞くらいやってもいいと思うんだけどね。あ、kmoriさんが、COINSで書いたグラフカラリーングの資料がある。Algorithmなんか、今日、あ、と思うことが多いなあ。大当たりの日なのかな。いえば、kmoriさんがhttp://iiyu.asablo.jp/blog/2005/11/22/151472Lisp特別イベントその2のコメントで書いていた「えんざんし」がなくなる話。物理数学細々やって気づいたけど、演算子って、プログラミング言語の世界と物理数学方面じゃ、ちょっとニュアンス違いますよね。数学のほうに行くと、作用素なんて呼び方になっていて、少し混乱しました。いえば、おれ、汎関数で書き間違えていたことがあったね。なんだっけ?これかあ。Protocolのことkmoriさん、元気にしてるかな。http://d.hatena.ne.jp/kmori58/20080705/p1をみると、2008/07/05が最新エントリだから、この日までは生きてたね。\(^O^)/ばかー。kmoriさんレベルのプログラマになると、あたかも人間が書いたごとき文章を生成し、勝手にブログを更新するソフトくらいは書いてるよ。ブログが更新されているからといって、生きている保証にはならんぞ。\(^O^)/そ、そうか。おれも、おれが死んでもマシンがウェブやブログを更新するようにしておくか。すれば、武田信玄みたいに3年くらい死を敵に悟られずに済むかな。それは、情報省のスパイとして当然の心得だね。\(^O^)/あ、kmoriさんのhttp://d.hatena.ne.jp/kmori58/20080630/p1間抜けなAmazonで思い出した。[コメント(0)|トラックバック(12)]コメントコメントをどうぞ※メールアドレスとURLの入力は必須ではありません。入力されたメールアドレスは記事に反映されず、ブログの管理者のみが参照できます。※なお、送られたコメントはブログの管理者が確認するまで公開されません。※投稿には管理者が設定した質問に答える必要があります。)に転載したものから。)に転載したものから。)に転載したものから。)に転載したものから。)に転載したものから。)に転載したものから。)に転載したものから。---かつてのコンパイラ本の定番中の定番。)に転載したものから。)に転載したものから。---旧版をつい数日前に買っている人がいて、申し訳ない。)に転載したものから。)に転載したものから。---お買い上げありがとうございます。)のjouwa/salonから。チンチンは、余計やろ。31このブログについて本業はプログラマでありながら、文章がICT業界を超えて大人気の中村正三郎のブログ。ICT関連の話題、セキュリティの話題からマスコミ、科学、お笑い、ちょっとHなネタまで硬軟織り交ぜ話題沸騰。詳しいプロフィールは、http://www.asahi-net.or.jp/~ki4s-nkmr/profile.htmlをどうぞ。ネットの闇に巣喰う人々」Packtの5ドルセールまだやってた。Ecto」アンテナハウスのオンデマンド本。勝手に講談社ブルーバックス祭り。一行野郎(1行野郎)。(日本語)、法律入門でベストセラー1位。いじめと戦うためにも、子供も法律で理論武装せよ。講談社ブルーバックス、奄美の海底にミステリーサークルを作る、かわいいアマミホシゾラフグ。下関の水族館で観たシロナガスクジラのあれ。オライリー・ジャパンから、プログラミング言語Juliaの日本語の本が出てた。Juliaプログラミングクックブック\(^O^)/ますますLisp化するC++。スパークガード50「要介護の親を廃人にしたくない」なら必ず知っておきたいこと。ブラックホールってすごいやつ。C++には、5合目から始める入門書がないのか。太宰府に車で行ったらいけんよ。太宰府インターから太宰府天満宮の駐車場まで、6時間かかったよ。お笑い芸人、はなわと、漫才ナイツの漫才師、塙宣之は、兄弟。第2版」ノーベル経済学賞、リチャード・セイラ―の「行動経済学の逆襲」は文庫が出ていた。いまの限定は「豆乳担々麺」。