中古品: ￥369
配送料 ¥350 4月22日-24日にお届け（19 時間 25 分以内にご注文の場合）
詳細を見る
中古商品: 良い | 詳細
発売元 ノースブックセンター（不備・不具合があれば返品・返金対応致します）
コンディション: 中古商品: 良い
コメント: ▼ 全体的に若干使用感・スレキズ・薄ヤケ・薄汚れ少々
新品＆中古品 (25)件の出品：
￥369  + ￥350 配送料
Kindleアプリのロゴ画像

無料のKindleアプリをダウンロードして、スマートフォン、タブレット、またはコンピューターで今すぐKindle本を読むことができます。Kindleデバイスは必要ありません。

ウェブ版Kindleなら、お使いのブラウザですぐにお読みいただけます。

携帯電話のカメラを使用する - 以下のコードをスキャンし、Kindleアプリをダウンロードしてください。

KindleアプリをダウンロードするためのQRコード

著者をフォロー

Michael Sipser
フォロー
何か問題が発生しました。後で再度リクエストしてください。

計算理論の基礎 [原著第2版] 1.オートマトンと言語 単行本 – 2008/5/21

Michael Sipser (著), 太田 和夫 (翻訳), 田中 圭介 (翻訳),
5つ星のうち4.6 33
すべての形式と版を表示
計算の理論の世界へ,ようこそ!
Michael Sipser教授の“Theory of Computation”の講義も,本書と同様に,このフレンドリーな挨拶から始まった.彼の講義はMIT屈指の名講義で,教室には活気と笑いが絶えることはない。本書は,その講義ノートをもとにまとめられたもので,計算の理論の主テーマである,「オートマトンと言語の理論」,「計算可能性の理論」,そして「複雑さの理論」をカバーした,この分野の標準的教科書である。
定理を述べたあと直ちに証明に取りかからず,証明のアイデアを与える工夫,証明の失敗例に言及して理解を深めさせるなど,随所に講義の雰囲気が感じられる,教育的配慮の行き届いた教科書になっている。
今回の第2版では,「第1巻:オートマトンと言語の理論」,「第2巻:計算可能性の理論」,「第3巻:複雑さの理論」の全3巻に分冊化した.また,初版の内容に「選ばれた問題」に対する解答を追加するとともに,いくつかの話題に関して,初版後の研究の進展について説明を加えた。
Previous page
  1. ISBN-10
    4320122070
  2. ISBN-13
    978-4320122079
  3. 版
    原著第2
  4. 出版社
    共立出版
  5. 発売日
    2008/5/21
  6. 言語
    日本語
  7. 本の長さ
    232ページ
  8. すべての詳細を表示
Next page

商品の説明

著者について

0.序 論
0.1 オートマトン,計算可能性,複雑さ
複雑さの理論
計算可能性の理論
オートマトン理論
0.2 数学的概念や用語
集合
列と組
関数と関係
グラフ
文字列と言語
Boole理論
数学的な語句の要約
0.3 定義,定理,証明
証明の発見
0.4 証明のタイプ
構成的証明
背理論
帰納法
演習,問題,解答

1.正規言語
1.1 有限オートマトン
有限オートマトンの正式な定義
有限オートマトンの例
計算の正式な定義
有限オートマトンの設計
正規演算
1.2 非決定性
非決定性有限オートマトンの正式な定義
NFAとDFAの等価性
正規演算の閉包性
1.3 正規表現
正規表現の正式な定義
有限オートマトンとの等価性
1.4 非正規言語
正規言語に対するポンピング補題
演習,問題,解答

2.文脈自由言語
2.1 文脈自由文法
文脈自由文法の正式な定義
文脈自由文法の例
文脈自由文法の設計
曖昧さ
Chomsky標準形
2.2 プッシュダウン・オートマトン
プッシュダウン・オートマトンの正式な定義
プッシュダウン・オートマトンの例
文脈自由文法との等価性
2.3 非文脈自由言語
文脈自由言語に対するポンピング補題
演習,問題,解答

登録情報

  • 出版社 ‏ : ‎ 共立出版; 原著第2版 (2008/5/21)
  • 発売日 ‏ : ‎ 2008/5/21
  • 言語 ‏ : ‎ 日本語
  • 単行本 ‏ : ‎ 232ページ
  • ISBN-10 ‏ : ‎ 4320122070
  • ISBN-13 ‏ : ‎ 978-4320122079
  • カスタマーレビュー:
    5つ星のうち4.6 33

著者について

著者をフォローして、新作のアップデートや改善されたおすすめを入手してください。
Michael Sipser

Michael Sipser

Brief content visible, double tap to read full content.
Full content visible, double tap to read brief content.

著者の本をもっと発見したり、よく似た著者を見つけたり、著者のブログを読んだりしましょう

カスタマーレビュー

星5つ中4.6つ
5つのうち4.6つ
33グローバルレーティング

この商品をレビュー

他のお客様にも意見を伝えましょう
カスタマーレビューを書く

上位レビュー、対象国： 日本

usata3
5つ星のうち5.0 色褪せない古典的教科書
2018年8月18日に日本でレビュー済み
Amazonで購入
情報通信システムコース2年生前期の「オートマトンと言語理論」の授業で、4年間教科書として使いました（組織再編で、この授業の担当は別の先生になりましたが、同じ教科書です）。半年の授業でこれ1冊を全部やります。

半分の内容は平易で、演習や例題も（和書と比べると多いですが）適切なボリュームです。授業ではほとんどの演習を解きますが、たくさん解くことで理解が深まります。演習の答えは全部にはありませんが、独習できる（解けなかったら正解は分かりませんが、解けたらそれが正解だとは自分で判断できる）内容だと思います。

アメリカの大学の教科書は、本当によく作られています。1年目に使ったときにはよく分からなかった記述が、2年目になって「なるほど」と分かるようになったりしました。自分は自然言語処理が専門で、形式言語は専門ではありませんが、これらの知識は研究でも使う（誤り訂正や機械翻訳で出てきます。最近は全部深層学習でやることも多いですが）ので、授業で教えることになって勉強し直したらとてもおもしろく、ためになりました。

大学院入試でこのあたりが必要な人で独習あるいは復習したい人も、オートマトン周りはこの本を断然おすすめします。
16人のお客様がこれが役に立ったと考えています
役に立った
 レポート
Amazon カスタマー
5つ星のうち5.0 おすすめ
2018年4月23日に日本でレビュー済み
Amazonで購入
院試でオートマトンの問題が出題されるため1から勉強したく、購入しました。
数学の抽象的な表現はもちろんありますが、噛み砕いた説明がきちんと載っているので初学者の私でも理解しやすかったです。
3人のお客様がこれが役に立ったと考えています
役に立った
 レポート
重城良国
5つ星のうち5.0 オートマトンを説明する教科書のなかで最高
2014年1月23日に日本でレビュー済み
Amazonで購入
オートマトンを説明する教科書的な書籍をこの本の前に数冊買っているが、きちんと読み切ったのはこれだけ。
僕の買った他の本とは違い、この本はこの分野の本質的な面白さを伝えるのに成功している。
MITの人気教授の授業を教科書にしたということだ。

ひとつひとつの定理について丁寧な証明がされていて、しかもその証明がわかりやすく、美しい。
証明のアウトラインをイメージしやすくするために、正式な証明の前にその証明の戦略をおおまかに述べている点も、この本を非常に読みやすくしている。
「証明は数学の魂である」と本のなかでも述べているが、それを体感できる。

この第1巻で扱っている範囲は、
有限オートマトンと正規言語、そしてその等価性とその限界、
プッシュダウンオートマトンと文脈自由文法、そしてその等価性とその限界、だ。

内容自体は知っていたが、その証明については、あやふやだったので、霞がはれた思いだ。

豊富な演習問題があるが、豊富すぎてまだ手をつけていない。
演習問題を解かなくても本文だけで十分理解することができる。
演習問題は後の楽しみにとっておくつもりだ。

2巻3巻も買う予定だ。読むのを楽しみにしている。
15人のお客様がこれが役に立ったと考えています
役に立った
 レポート
中挾義夫
5つ星のうち5.0 オートマトンの言語の基礎がわかりやすい
2013年2月17日に日本でレビュー済み
Amazonで購入
オートマトンンと言語の基礎がわかりやすく書いてあり、
楽しく読めました。
2人のお客様がこれが役に立ったと考えています
役に立った
 レポート
yuu
5つ星のうち5.0 初心者にも優しい
2019年8月25日に日本でレビュー済み
私は、大学が情報系ではないが、この分野に興味を持って独学で色々勉強している。この本は展開が非常に丁寧に書かれているので情報系のバックグラウンドがなくても読み進めることができた。
2人のお客様がこれが役に立ったと考えています
役に立った
 レポート
be
5つ星のうち5.0 論理的アイデアの記述の見本
2012年4月20日に日本でレビュー済み
自分の専攻は物理で情報ではなく、
他の類書を読み通したわけでもないが、
理系教科書の中でも、
書かれているアイデアの高度さと、
その記述の易しさの幅は、
この本がかつて読んだ中では最高のものである。

情報・計算の分野の人の方が、
こういったアイデアの記述には一日の長でもあるのだろうか？

とにかく、目的と論理が（口語的であるにもかかわらず）明確で、
定理の証明の前にある「証明のアイデア」は特に素晴らしい。

内容は、
一巻：DFA（有限決定オートマトン）,NFA（非決定〃）,PDA（プッシュダウン）,REX（正規表現）,CFL（文脈自由言語）の解説と等価性、
二巻：チューリング機械
で、どれもこれも、　不思議と曖昧さ無く話が進み、
大変な知的興奮を味わえる。

内容も面白いのだが、それ以上にこのスタイルが圧倒的に素晴らしい。
17人のお客様がこれが役に立ったと考えています
役に立った
 レポート
車屋
5つ星のうち4.0 良かったです
2021年6月20日に日本でレビュー済み
Amazonで購入
勉強します
1人のお客様がこれが役に立ったと考えています
役に立った
 レポート