計算理論の基礎〈1〉オートマトンと言語 [単行本]

計算理論の基礎〈1〉オートマトンと言語 [単行本] の 商品概要

• 目次

  第0章　序論
  　0.1　オートマトン，計算可能性，複雑さ
  　0.2　数学的概念や用語
  　0.3　定義，定理，証明
  　0.4　証明のタイプ
  
  第1章　正規言語
  　1.1　有限オートマトン
  　1.2　非決定性
  　1.3　正規表現
  　1.4　非正規言語
  
  第2章　文脈自由言語
  　2.1　文脈自由文法
  　2.2　プッシュダウン・オートマトン
  　2.3　非文脈自由言語
  　2.4　決定性文脈自由言語

• 出版社からのコメント

  Ｍ．Ｓｉｐｓｅｒ教授によるＭＩＴ屈指の名講義“Ｔｈｅｏｒｙ　ｏｆ　Ｃｏｍｐｕｔａｔｉｏｎ”の講義ノートを基にまとめた教科書。

• 内容紹介

  　Michael Sipser教授による “Theory of Computation” の講義はMIT屈指の名講義で、教室には活気と笑いが絶えることはない。本書はその講義ノートをもとにまとめられた、この分野の標準的教科書である。
  　定理を述べたあと直ちに証明に取りかからず、証明のアイデアを与える工夫、証明の失敗例に言及して理解を深めさせるなど、随所に講義の雰囲気が感じられる、教育的配慮の行き届いた教科書になっている。
  　第3版では、「決定性文脈自由言語」に関する節が新たに加えられたほか、問題や解答が追加されるとともに、いくつかの話題に関して、第2版刊行後の研究の進展について説明を加えた。

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  田中 圭介(タナカ ケイスケ)
  １９９７年北陸先端科学技術大学院大学情報科学研究科博士後期課程修了。現在、東京工業大学情報理工学院教授、サイバーセキュリティ研究教育センター長、博士（情報科学）。専門分野：暗号理論、計算の複雑さの理論
  
  藤岡 淳(フジオカ アツシ)
  １９９０年東京工業大学大学院理工学研究科博士課程修了。現在、神奈川大学情報学部システム数理学科教授、工学博士。専門分野：暗号理論、暗号応用
  
  阿部 正幸(アベ マサユキ)
  １９９２年東京理科大学大学院電気工学専攻科修士課程修了。現在、ＮＴＴ社会情報研究所フェロー、工学博士。専門分野：暗号理論、暗号プロトコル
  
  植田 広樹(ウエダ ヒロキ)
  １９９４年大阪市立大学大学院理学研究科前期博士課程（修士）修了。２０１９年‐現在、ＮＴＴ技術企画部門セキュリティ・アンド・トラスト室次長・担当部長。専門分野：実験整数論（素因数分解）、コンサルティング（セキュリティ）
  
  太田 和夫(オオタ カズオ)
  １９７９年早稲田大学大学院理工学研究科修士課程修了。２０１９年‐現在、産業技術総合研究所客員研究員。専門分野：情報セキュリティ
  
  渡辺 治(ワタナベオサム)
  １９８２年、東京工業大学大学院理工学研究科修士課程修了。１９９７年、東京工業大学大学院情報理工学研究科教授。２０１６年、東京工業大学情報理工学院教授。現在、東京工業大学理事・副学長（研究担当）・工学博士。専門分野、計算の理論、計算の複維さの理論とその応用

計算理論の基礎〈1〉オートマトンと言語 [単行本] の商品スペック