Google
ブログ(iiyu.asablo.jpの検索)
ホットコーナー内の検索
 でもASAHIネット(asahi-net.or.jp)全体の検索です。
 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。
 例 中村(show) ki4s-nkmr

ウェブ全体の検索

注目のコンピュータサイエンス本2008年02月29日 00時32分49秒

ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 amazonが、「お前、わかりもしねえのに、コンピュータサイエンス関係の本
を買いやがって、生意気な奴。もっと教えてやるよ、この野郎」といって、推
奨してきた本がいくつもあるんですが、その中で、個人的に注目の本がありま
した。

http://www.amazon.co.jp/exec/obidos/ASIN/0470229055/showshotcorne-22/
The Annotated Turing: A Guided Tour Through Alan Turing's Historic
Paper on Computability and the Turing Machine (ペーパーバック)
C. Petzold (著)
 チューリングマシンの、あのアラン・チューリングの論文に注釈をつけて解
説しているもののようです。
 しかも、著者のPetzoldさんは、1990年代前半のWindowsがようやく実用にな
ってきた時期に多くのプログラマがお世話になった、あのプログラミング
Windows、いわゆるペゾルド本のペゾルドさんのようです。
 2008年5月出版予定だから、まだだいぶ先ですけど。

http://www.amazon.co.jp/exec/obidos/ASIN/052103311X/showshotcorne-22/
Compiling With Continuations (ペーパーバック)
Andrew W. Appel (著)
 これは、継続渡しスタイル(CPS, Continuation Passing Style)でコンパイ
ルする話です。目次などは中身検索をみてください。
 関数型言語の始祖といっていいのか、大親分といっていいのか、Standard
ML/New Jersey(SML/NJ)は、CPSで最適化コンパイラを書いてあるが、CPSでコ
ンパイラを書くのは、MLだけではなく他の言語のコンパイラを書くのにも非常
に有効。
 おれが教えてやるけん、勉強しんしゃいという本です。
 SML/NJのコンパイラはML自身で書いてあるけど、本書でも多くのコードはML
で書いてあるそうです。
 なんか、わくわくしてきますね。変態?\(^O^)/
 変態だろうがなんだろうが、プログラミング言語マニア、コンパイラマニア
必読でしょう。

訂正:2008/03/01
 関数型言語の始祖は、やっぱ、バッカス先生のFPでしょうね。

http://www.amazon.co.jp/exec/obidos/ASIN/038720248X/showshotcorne-22/
Parsing Techniques (Monographs in Computer Science) (ハードカバー)
Dick Grune (著), Ceriel J. H. Jacobs (著)
 これは、構文解析(パージング)だけに絞った本です。これも、プログラミン
グ言語マニア、コンパイラマニア必読でしょう。
 いろんなパージングアルゴリズムが出ていますが、恥ずかしながら、CYKは
知りませんでした。というか、もう忘れてたのかも。
参考:
http://en.wikipedia.org/wiki/CYK_algorithm

 本書は第2版(2nd Edition)ですが、初版(1st Edition)は、著者の一人、
Dick GruneさんのサイトでPSとPDFで配ってありますね。
http://www.cs.vu.nl/~dick/PTAPG.html
をどうぞ。
 2nd Editionのサポートページは、
http://www.cs.vu.nl/~dick/PT2Ed.html
です。
 1st Editionは、1990年の発売だから、2nd Editionはその後のこの分野の発
展をフォローして大幅拡張した内容のようです。
 著者のサイトに行って初めて気づきましたが、Dick Gruneさんは、
http://www.amazon.co.jp/exec/obidos/ASIN/0471976970/showshotcorne-22/
Modern Compiler Design (Worldwide Series in Computer Science) (ペーパ
ーバック)
H. E. Bal (著), Ceriel J. H. Jacobs (著), Koen G. Langendoen (著),
Dick Grune (著, 編集)
の著者の一人であり、編集責任者ですね。

 「Compiling With Continuations」はイギリスだし、「Parsing Techniques」
は、オランダの大学なんですね。何度も書くけど、ヨーロッパはちゃんとこう
いうのやってて、本も出てるよね。
http://iiyu.asablo.jp/blog/2008/01/02/2541270
Erlang, Oz/Mozart, Prolog, 単一化
で書いたけど、日本はプロセッサ(アーキテクチャ)もコンパイラも捨てちゃっ
たみたいになっちゃったけど、欧米は基盤のところをずっとやってるよね。
 日本は、技術の継承がうまくいかず、断絶しちゃった形だから、関数型言語
ブームもちょっと浮ついた感じがするんですよね。前述「Erlang, Oz/Mozart,
Prolog, 単一化」で書いたように、関数型を知ってて論理型を知らない、関
数型を教えて論理型を教えないなんてのは、ちょっと考えられないしね。

 もう1冊は、アーキテクチャがらみで、
http://www.amazon.co.jp/exec/obidos/ASIN/1598291246/showshotcorne-22/
Transactional Memory (Synthesis Lectures on Computer Architecture) (ペ
ーパーバック)
James R. Larus (著), Ravi Rajwar (著)
です。
http://iiyu.asablo.jp/blog/2008/02/28/2670355
インテル スレッディング・ビルディング・ブロック ―マルチコア時代のC++
並列プログラミング
で書いたように、マルチコア時代になって、こういう技術もますます重要とい
うことでしょうかね。

参考:
http://en.wikipedia.org/wiki/Transactional_memory
http://en.wikipedia.org/wiki/Load-Link/Store-Conditional
http://ja.wikipedia.org/wiki/Software_transactional_memory
http://ja.wikipedia.org/wiki/Lock-freeとWait-freeアルゴリズム
http://ja.wikipedia.org/wiki/コンペア・アンド・スワップ

 amazonの推奨で面白いなと思ったのは、上記の本は、いずれもおれが、
http://iiyu.asablo.jp/blog/2007/11/29/2464148
Programming Erlang, The Pragmatic Bookshelf
で書いたように(その他、Erlangについては、検索窓で検索してみてね)、
http://www.amazon.co.jp/exec/obidos/ASIN/193435600X/showshotcorne-22/
Joe Armstrong著「Programming Erlang: Software for a Concurrent World」
を買ったからなんです。
 「Transactional Memory」は、並列・並行の世界だからわかるんですが、
「Compiling With Continuations」と「Parsing Techniques」は、なぜ推奨な
んでしょうかね。Erlangの本なんて買ったから、プログラミング言語マニアと
思われた?

 もっと変だなと思ったのが、Knuth先生の定番本の補足分冊
http://www.amazon.co.jp/exec/obidos/ASIN/0321335708/showshotcorne-22/
The Art of Computer Programming, Fascicle 4: Generating All Trees --
History of Combinatorial Generation (Art of Computer Programming) (ペ
ーパーバック)
Donald E. Knuth (著)
を推奨する理由が、
http://iiyu.asablo.jp/blog/2007/12/29/2534861
The Reasoned SchemerとLisp, AI本
で紹介した
http://www.amazon.co.jp/exec/obidos/ASIN/0521545668/showshotcorne-22/
Christian Queinnec著「Lisp in Small Pieces」
を買ったからなんです。どういう関係?

 もっともっともっともっともっともっともっともっともっともっと変だと思
ったのは、ハリー・ポッターの第7巻「Harry Potter and the Deathly
Hallows」を推奨してきたこと。そう、日本では今年の夏に出る予定の完結編
「ハリー・ポッターと死の秘宝」です。その原書を推奨してきたんです。
 その理由がとんでもなくて、前述「The Reasoned SchemerとLisp, AI本」で
紹介した
http://www.amazon.co.jp/exec/obidos/ASIN/0130803022/showshotcorne-22/
Stuart J. Russell, Peter Norvig著「Artificial Intelligence: A Modern
Approach (Prentice Hall Series in Artificial Intelligence)」
を買ったからなんです。\(^O^)/
 ハリー・ポッターは、LispやAIと関係があるんでしょうか。\(^O^)/
 死の秘宝って、Lispのことなの?\(^O^)/
 おれにとって非常に深刻な問題は、我が情報省とイギリスの魔法省との秘密
の関係が、amazonにはバレているんじゃないかということ。\(^O^)/
 えっ、情報省とハリー・ポッターに出てくる魔法省は、関係あるの?
 国際政治の超トップシークレットだけど、情報省と魔法省は、10年以上前か
ら業務提携しているのよね。\(^O^)/
 その秘密は、
http://www.amazon.co.jp/exec/obidos/ASIN/4344980115/showshotcorne-22/
インテリジェンス 武器なき戦争 (幻冬舎新書) (新書)
手嶋 龍一 (著), 佐藤 優 (著)
のことを書く機会があれば。\(^O^)/

コメント

_ とんこう ― 2008年02月29日 09時33分34秒

以前も書きましたが、日本にも嶋正利さんのような人もいたわけです。

_ 中村(show) ― 2008年02月29日 19時27分21秒

過去形になってるところが問題。
嶋さんのことは、出たばかりのヘネパタ本のことを書くときに書こうと思ってますが、仕事と身の回りのことをまず片付けないと。
カマー先生のアーキテクチャ本の紹介が先になります。

_ とんこう ― 2008年03月01日 09時43分36秒

現在では、インテルのプロセッサを買う方が安いと思いますけど。
日本では、DSPぐらいでは?

_ nfunato ― 2008年03月01日 21時29分22秒

Appel先生は princetonですね。New Jerseyにいて、ベル研の人達と一緒にやったということですよね。
コピーライト表記には、Cambridge University Press, 1992; Printed in USA とありますので、このCambridgeはMAの方ということみたいです。

_ nfunato ― 2008年03月01日 21時52分14秒

舟渡と申します。
> このCambridgeはMAの方ということみたいです。
Cambrdige University PressのHP(www.cambridge.org)を見ると、既にworld wideになっちゃっていますけど、ちゃんと cam.ac.uk と同じ標章を使っていますから、Cambrdige大学と関係はあるみたいです。
よく調べもせずに書いて失礼しました m(_ _)m

コメントをどうぞ

※メールアドレスとURLの入力は必須ではありません。 入力されたメールアドレスは記事に反映されず、ブログの管理者のみが参照できます。

※なお、送られたコメントはブログの管理者が確認するまで公開されません。

※投稿には管理者が設定した質問に答える必要があります。

名前:
メールアドレス:
URL:
次の質問に答えてください:
一富士、二鷹、三は? ひらがなで。

コメント:

トラックバック

_ ホットコーナーの舞台裏 - 2008年04月11日 08時46分34秒

ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2008/03/17/2768032
コンパイラ本
で、名前だけは

_ ホットコーナーの舞台裏 - 2008年04月17日 22時20分02秒

ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 原書をamazon本家でみつけたとき、気にはなっていたが、エッセ

_ ホットコーナーの舞台裏 - 2008年07月08日 10時12分52秒

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/4627836090/showshotcorne-22/
対話によるCom

_ ホットコーナーの舞台裏 - 2008年09月19日 09時52分40秒

ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2008/09/04/3741480
ピンボールのリトルウイングの

_ ホットコーナーの舞台裏 - 2008年09月25日 06時33分49秒

ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2008/09/04/3741466
Re: Jon Kleinberg, Eva Tardos著「アル

_ ホットコーナーの舞台裏 - 2009年02月23日 22時29分21秒

ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 アマゾンで買ってくださった人がいて気づきましたが、
http://ww

_ ホットコーナーの舞台裏 - 2009年03月11日 22時17分14秒

ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2009/02/27/4141043
JavaVM上新Lisp Clojure, Scalaのこと

_ ホットコーナーの舞台裏 - 2009年06月05日 10時05分07秒

ASAHIネット(http://www.asahi-net.or.jp)のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 かつてのコンパイラ本の定番中の定番。その表紙からドラゴン

_ ホットコーナーの舞台裏 - 2009年10月23日 08時46分55秒

ASAHIネット(http://www.asahi-net.or.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2009/02/13/4115774
プログラミング言語本
で、名

_ ホットコーナーの舞台裏 - 2009年11月10日 06時28分35秒

ASAHIネット(http://www.asahi-net.or.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2009/02/23/4137093
Modern Compiler Implementation In ML, ペ

_ ホットコーナーの舞台裏 - 2009年11月10日 06時28分37秒

ASAHIネット(http://www.asahi-net.or.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
http://iiyu.asablo.jp/blog/2009/02/23/4137093
Modern Compiler Implementation In ML, ペ

_ ホットコーナーの舞台裏 - 2012年08月25日 04時49分43秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 お買い上げありがとうございます。
http://iiyu.asablo.jp/blog/2012/08/16/6543

_ ホットコーナーの舞台裏 - 2012年12月11日 10時13分07秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 日本最初のハッカーといわれる、日本スーパーハッカーの始祖、和

_ ホットコーナーの舞台裏 - 2013年07月22日 10時14分54秒

ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。
---
 お買い上げありがとうございます。
 現代思想は、ときどき、びっ
Google
ブログ(iiyu.asablo.jpの検索)
ホットコーナー内の検索
 でもASAHIネット(asahi-net.or.jp)全体の検索です。
 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。
 例 中村(show) ki4s-nkmr

ウェブ全体の検索