商品の説明
出版社／著者からの内容紹介
有限オートマトン／文脈自由言語／形式言語とベキ級数／無限の対象上のオートマトン／グラフ置換え：代数的・論理的アプローチ／書換え系／関数型プログラミングとラムダ計算／プログラミング言語における型理論 ほか ; Ｊ．ｖａｎ Ｌｅｅｕｗｅｎの“理論的計算機科学ハンドブック”の全訳。理論的計算機科学のほとんど全域に及び、現在のホットな話題は全て網羅。本分冊はオートマトンと書き換え系の理論、新しいプログラミング言語の基礎づけ他。
内容（「MARC」データベースより）
J.van Leeuwenの“理論的計算機科学ハンドブック”の全訳。理論的計算機科学のほとんど全域に及び、現在のホットな話題は全て網羅。本分冊はオートマトンと書き換え系の理論、新しいプログラミング言語の基礎づけ他。
登録情報
|
この商品にタグをつける(詳細)タグは、商品との関連性が非常に強いキーワードまたはラベルのようなものです。
タグにより、すべてのお客様がお気に入りの商品の整理と確認を行うことができます。 ※タグは初期設定で公開になっています。詳しくはこちら |
カスタマーレビュー
最も参考になったカスタマーレビュー
1 人中、1人の方が、｢このレビューが参考になった｣と投票しています。
今、形式手法の勉強をしています。この本を手引きにして、いろいろ挑戦しています。
ハンドブックは、しらみつぶしに調べて、わからないところを著者に質問するようにしています。訳者のお一人である、名古屋大学の結縁先生も身近におみえになるので、がんばろうと思います。
読み始めて１年、
第１章 有限オートマトン
第２章 文脈自由言語
は、昔から関連文献を読んだり、道具を使っていたので馴染みがあります。
まだまだよくわかっていないのは、
第３章 形式言語とべき級数
第４章 無限の対象上のオートマトン
第５章 グラフ書き換え：代数的・論理的アプローチ
第６章 書き換え系
第７章 関数型プログラミングとラムダ計算
第８章 プログラミング言語における型理論
第９章 機能的な関数型プログラム図式
全部理解するのに３年はかかりそうです。
ハンドブックは、しらみつぶしに調べて、わからないところを著者に質問するようにしています。訳者のお一人である、名古屋大学の結縁先生も身近におみえになるので、がんばろうと思います。
読み始めて１年、
第１章 有限オートマトン
第２章 文脈自由言語
は、昔から関連文献を読んだり、道具を使っていたので馴染みがあります。
まだまだよくわかっていないのは、
第３章 形式言語とべき級数
第４章 無限の対象上のオートマトン
第５章 グラフ書き換え：代数的・論理的アプローチ
第６章 書き換え系
第７章 関数型プログラミングとラムダ計算
第８章 プログラミング言語における型理論
第９章 機能的な関数型プログラム図式
全部理解するのに３年はかかりそうです。
クチコミ
クチコミは、商品やカテゴリー、トピックについて他のお客様と語り合う場です。お買いものに役立つ情報交換ができます。
|
この商品のクチコミ一覧
クチコミを検索
|
関連するクチコミ一覧
|
リストマニア
|
|
同じキーワードの商品を探す
フィードバック
- カタログ情報、または画像について報告
- 著者からのコメント
- 出版社からのコメント
|
