よく一緒に購入されている商品
商品の説明
内容紹介
計算の理論の世界へ,ようこそ!
Michael Sipser教授の“Theory of Computation”の講義も,本書と同様に,このフレンドリーな挨拶から始まった.彼の講義はMIT屈指の名講義で,教室には活気と笑いが絶えることはない。本書は,その講義ノートをもとにまとめられたもので,計算の理論の主テーマである,「オートマトンと言語の理論」,「計算可能性の理論」,そして「複雑さの理論」をカバーした,この分野の標準的教科書である。
定理を述べたあと直ちに証明に取りかからず,証明のアイデアを与える工夫,証明の失敗例に言及して理解を深めさせるなど,随所に講義の雰囲気が感じられる,教育的配慮の行き届いた教科書になっている。
今回の第2版では,「第1巻:オートマトンと言語の理論」,「第2巻:計算可能性の理論」,「第3巻:複雑さの理論」の全3巻に分冊化した.また,初版の内容に「選ばれた問題」に対する解答を追加するとともに,いくつかの話題に関して,初版後の研究の進展について説明を加えた。
Michael Sipser教授の“Theory of Computation”の講義も,本書と同様に,このフレンドリーな挨拶から始まった.彼の講義はMIT屈指の名講義で,教室には活気と笑いが絶えることはない。本書は,その講義ノートをもとにまとめられたもので,計算の理論の主テーマである,「オートマトンと言語の理論」,「計算可能性の理論」,そして「複雑さの理論」をカバーした,この分野の標準的教科書である。
定理を述べたあと直ちに証明に取りかからず,証明のアイデアを与える工夫,証明の失敗例に言及して理解を深めさせるなど,随所に講義の雰囲気が感じられる,教育的配慮の行き届いた教科書になっている。
今回の第2版では,「第1巻:オートマトンと言語の理論」,「第2巻:計算可能性の理論」,「第3巻:複雑さの理論」の全3巻に分冊化した.また,初版の内容に「選ばれた問題」に対する解答を追加するとともに,いくつかの話題に関して,初版後の研究の進展について説明を加えた。
著者略歴 (「BOOK著者紹介情報」より)
太田 和夫
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年国立情報学研究所客員准教授。専門分野は情報セキュリティ(特に暗号理論)(本データはこの書籍が刊行された当時に掲載されていたものです)
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年国立情報学研究所客員准教授。専門分野は情報セキュリティ(特に暗号理論)(本データはこの書籍が刊行された当時に掲載されていたものです)
登録情報 |
この商品を見た後に買っているのは？
カスタマーレビュー
リストマニア
|
|
同じキーワードの商品を探す
フィードバック
- カタログ情報、または画像について報告
- 著者からのコメント
- 出版社からのコメント
|
