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

計算理論の基礎　３

複雑さの理論

Ｍｉｃｈａｅｌ　Ｓｉｐｓｅｒ／著　田中圭介／監訳　藤岡淳／監訳　阿部正幸／〔ほか〕訳

出版社名	共立出版
出版年月	2023年5月
ISBNコード	978-4-320-12563-6 （4-320-12563-0）
税込価格	4,290円
頁数・縦	Ｐ３３０～５４０　４０Ｐ　２１ｃｍ
シリーズ名	計算理論の基礎

商品内容

目次	７　時間の複雑さ（複雑さの測定クラスＰ　ほか）８　領域の複雑さ（Ｓａｖｉｔｃｈの定理クラスＰＳＰＡＣＥ　ほか）９　問題の扱いにくさ（階層定理相対化　ほか）１０　計算の複雑さの理論における先進的な話題（近似アルゴリズム確率的アルゴリズム　ほか）

著者紹介

田中　圭介 (タナカ　ケイスケ)　　: １９９７年北陸先端科学技術大学院大学情報科学研究科博士後期課程修了。現在、東京工業大学情報理工学院教授、サイバーセキュリティ研究教育センター長、博士（情報科学）。専門分野：暗号理論、計算の複雑さの理論

藤岡　淳 (フジオカ　アツシ)　　: １９９０年東京工業大学大学院理工学研究科博士課程修了。現在、神奈川大学情報学部システム数理学科教授、工学博士。専門分野：暗号理論、暗号応用。主要著書：『暗号・ゼロ知識証明・数論』（共著、共立出版）『ＩＴ　Ｔｅｘｔ情報セキュリティ（改訂２版）』（共著、オーム社）

阿部　正幸 (アベ　マサユキ)　　: １９９２年東京理科大学大学院電気工学専攻科修士課程修了。現在、ＮＴＴ社会情報研究所フェロー、工学博士。２０１８年‐現在、京都大学大学院情報学研究科客員教授。専門分野：暗号理論、暗号プロトコル

植田　広樹 (ウエダ　ヒロキ)　　: １９９４年大阪市立大学大学院理学研究科前期博士課程（修士）修了。２０１９年‐現在、ＮＴＴ技術企画部門セキュリティ・アンド・トラスト室次長・担当部長。専門分野：実験整数論（素因数分解）、コンサルティング（セキュリティ）

太田　和夫 (オオタ　カズオ)　　: １９７９年早稲田大学大学院理工学研究科修士課程修了。現在、電気通信大学名誉教授（２０２０）、理学博士。２０１９年‐現在、産業技術総合研究所客員研究員。専門分野：情報セキュリティ。主要著書：『暗号・ゼロ知識証明・数論』（共著、共立出版）『ほんとうに安全？現代の暗号』（共著、岩波書店）

渡辺　治 (ワタナベ　オサム)　　: 東京工業大学大学院理工学研究科修士課程修了。現在、東京工業大学理事・副学長（研究担当）、工学博士。主要著書『計算可能性・計算の複雑さ入門』（近代科学社）、『コンピュータサイエンス』（丸善出版）（本データはこの書籍が刊行された当時に掲載されていたものです）