計算理論の基礎　１/Ｍｉｃｈａｅｌ　Ｓｉｐｓｅｒ／著　太田和夫／監訳　田中圭介／監訳　阿部正幸／〔ほか〕訳本・コミック：オンライン書店e-hon

計算理論の基礎　１

オートマトンと言語

計算理論の基礎　　　１　原著第２版

商品内容

目次	第１巻　オートマトンと言語（序論正規言語文脈自由言語）第２巻　計算可能性の理論（Ｃｈｕｒｃｈ‐Ｔｕｒｉｎｇの提唱判定可能性帰着可能性計算可能性の理論における先進的な話題）第３巻　複雑さの理論（時間の複雑さ領域の複雑さ問題の扱いにくさ計算の複雑さの理論における先進的な話題）
出版社商品紹介	ＭＩＴ屈指の名講義、Ｓｉｐｓｅｒ教授の“Ｔｈｅｏｒｙ　ｏｆ　Ｃｏｍｐｕｔａｔｉｏｎ”の講義ノートをもとにまとめられた教科書。

第１巻　オートマトンと言語（序論
正規言語
文脈自由言語）
第２巻　計算可能性の理論（Ｃｈｕｒｃｈ‐Ｔｕｒｉｎｇの提唱
判定可能性
帰着可能性
計算可能性の理論における先進的な話題）
第３巻　複雑さの理論（時間の複雑さ
領域の複雑さ
問題の扱いにくさ
計算の複雑さの理論における先進的な話題）

出版社
商品紹介

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

太田　和夫 (オオタ　カズオ)　　: １９７９年早稲田大学大学院理工学研究科修士課程修了。１９７９‐２００１年ＮＴＴ情報流通プラットフォーム研究所。現在、電気通信大学情報通信工学科教授理学博士。１９９１‐２年マサチューセッツ工科大学客員研究員。１９９５‐８年電気通信大学情報システム学研究科客員教授。１９９９‐２０００年マサチューセッツ工科大学客員教授。専門分野は情報セキュリティ

田中　圭介 (タナカ　ケイスケ)　　: １９９７年北陸先端科学技術大学院大学情報科学研究科博士後期課程修了。１９９７‐２００１年ＮＴＴ情報流通プラットフォーム研究所。２００１年東京工業大学大学院情報理工学研究科講師。現在、東京工業大学大学院情報理工学研究科准教授博士（情報科学）。２００６‐現在、東京大学大学院情報学環・学際情報学府非常勤講師。専門分野は暗号理論、計算の複雑さの理論

阿部　正幸 (アベ　マサユキ)　　: １９９２年東京理科大学大学院電気工学専攻科修士課程修了。現在、ＮＴＴ情報流通プラットフォーム研究所特別研究員、主幹研究員、博士（工学）。１９９６年スイス連邦工科大学客員研究員。専門分野は情報セキュリティ（主に暗号プロトコルの研究開発）

植田　広樹 (ウエダ　ヒロキ)　　: １９９４年大阪市立大学大学院理学研究科前期博士課程（修士）修了。１９９４‐２００６年ＮＴＴ情報流通プラットフォーム研究所。現在、ＮＴＴ西日本法人営業本部セキュリティサービス推進室担当課長。専門分野は実験整数論（素因数分解）、コンサルティング（セキュリティ）

藤岡　淳 (フジオカ　アツシ)　　: １９９０年東京工業大学大学院理工学研究科博士課程修了。現在、ＮＴＴ情報流通プラットフォーム研究所主幹研究員。工学博士。１９９３‐４年スイス連邦工科大学客員研究員。１９９７年東海大学非常勤講師。２００１‐３年東京大学客員助教授。２００４‐８年国立情報学研究所客員准教授。専門分野は情報セキュリティ（特に暗号理論）（本データはこの書籍が刊行された当時に掲載されていたものです）