計算理論の基礎　原著第２版(１) オートマトンと言語／ＭｉｃｈａｅｌＳｉｐｓｅｒ，太田和夫，田中圭介，阿部正幸，植田広

Michael Sipser 太田　和夫 共立出版ケイサンリロンノキソ マイケル シプサー オオタ　カズオ 発行年月：2008年05月26日 予約締切日：2008年05月25日 ページ数：240p サイズ：全集・双書 ISBN：9784320122079 原書第2版 太田和夫（オオタカズオ） 1979年早稲田大学大学院理工学研究科修士課程修了。1979ー2001年NTT情報流通プラットフォーム研究所。現在、電気通信大学情報通信工学科教授理学博士。1991ー2年マサチューセッツ工科大学客員研究員。1995ー8年電気通信大学情報システム学研究科客員教授。1999ー2000年マサチューセッツ工科大学客員教授。専門分野は情報セキュリティ 田中圭介（タナカケイスケ） 1997年北陸先端科学技術大学院大学情報科学研究科博士後期課程修了。1997ー2001年NTT情報流通プラットフォーム研究所。2001年東京工業大学大学院情報理工学研究科講師。現在、東京工業大学大学院情報理工学研究科准教授博士（情報科学）。2006ー現在、東京大学大学院情報学環・学際情報学府非常勤講師。専門分野は暗号理論、計算の複雑さの理論 阿部正幸（アベマサユキ） 1992年東京理科大学大学院電気工学専攻科修士課程修了。現在、NTT情報流通プラットフォーム研究所特別研究員、主幹研究員、博士（工学）。1996年スイス連邦工科大学客員研究員。専門分野は情報セキュリティ（主に暗号プロトコルの研究開発） 植田広樹（ウエダヒロキ） 1994年大阪市立大学大学院理学研究科前期博士課程（修士）修了。1994ー2006年NTT情報流通プラットフォーム研究所。現在、NTT西日本法人営業本部セキュリティサービス推進室担当課長。専門分野は実験整数論（素因数分解）、コンサルティング（セキュリティ） 藤岡淳（フジオカアツシ） 1990年東京工業大学大学院理工学研究科博士課程修了。現在、NTT情報流通プラットフォーム研究所主幹研究員。工学博士。1993ー4年スイス連邦工科大学客員研究員。1997年東海大学非常勤講師。2001ー3年東京大学客員助教授。2004ー8年国立情報学研究所客員准教授。専門分野は情報セキュリティ（特に暗号理論）（本データはこの書籍が刊行された当時に掲載されていたものです） 第1巻　オートマトンと言語（序論／正規言語／文脈自由言語）／第2巻　計算可能性の理論（ChurchーTuringの提唱／判定可能性／帰着可能性／計算可能性の理論における先進的な話題）／第3巻　複雑さの理論（時間の複雑さ／領域の複雑さ／問題の扱いにくさ／計算の複雑さの理論における先進的な話題） 本 科学・技術 数学

発売日:2008年05月 / ジャンル:物理・科学・医学 / フォーマット:全集・双書 / 出版社:共立出版 / 発売国:日本 / ISBN:9784320122079 / アーティストキーワード:マイケル・シプサ / タイトルキーワード:ケイサンリロンノキソ

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