本、雑誌、CD・DVDをお近くの本屋さんに送料無料でお届け！

    こだわり検索

    • 本

    計算理論の基礎　１

    オートマトンと言語

    出版社名 共立出版
    出版年月 2023年4月
    ISBNコード 978-4-320-12561-2
    （4-320-12561-4）
    税込価格 3,740円
    頁数・縦 １９４，４０Ｐ　２１ｃｍ
    シリーズ名 計算理論の基礎

    商品内容

    目次

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

    著者紹介

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