Product Details
ISBN 10 : 4320125622
Content Description
目次 : 3 Church‐Turingの提唱(Turing機械/ Turing機械の変型 ほか)/ 4 判定可能性(判定可能な言語/ 判定不可能性)/ 5 帰着可能性(言語理論における判定不可能問題 計算履歴を用いた帰着/ 単純な判定不可能問題 ほか)/ 6 計算可能性の理論における先進的な話題(再帰定理/ 数理論理における判定可能性 ほか)
【著者紹介】
田中圭介 : 北陸先端科学技術大学院大学情報科学研究科博士後期課程修了。現在、東京工業大学情報理工学院教授、サイバーセキュリティ研究教育センター長、博士(情報科学)。専門分野:暗号理論、計算の複雑さの理論
藤岡淳 : 東京工業大学大学院理工学研究科博士課程修了。現在、神奈川大学情報学部システム数理学科教授、工学博士。専門分野:暗号理論、暗号応用。主要著書:『暗号・ゼロ知識証明・数論』(共著、共立出版)『IT Text情報セキュリティ(改訂2版)』(共著、オーム社)
阿部正幸 : 東京理科大学大学院電気工学専攻科修士課程修了。現在、NTT社会情報研究所フェロー、工学博士。2018年‐現在、京都大学大学院情報学研究科客員教授。専門分野:暗号理論、暗号プロトコル
植田広樹 : 大阪市立大学大学院理学研究科前期博士課程(修士)修了。2019年‐現在、NTT技術企画部門セキュリティ・アンド・トラスト室次長・担当部長。専門分野:実験整数論(素因数分解)、コンサルティング(セキュリティ)
太田和夫 : 早稲田大学大学院理工学研究科修士課程修了。現在、電気通信大学名誉教授(2020)、理学博士。2019年‐現在、産業技術総合研究所客員研究員。専門分野:情報セキュリティ。主要著書:『暗号・ゼロ知識証明・数論』(共著、共立出版)『ほんとうに安全?現代の暗号』(共著、岩波書店)
渡辺治 : 東京工業大学大学院理工学研究科修士課程修了。現在、東京工業大学理事・副学長(研究担当)、工学博士。主要著書『計算可能性・計算の複雑さ入門』(近代科学社)、『コンピュータサイエンス』(丸善出版)(本データはこの書籍が刊行された当時に掲載されていたものです)
Customer Reviews
Recommend Items
Feedback
Missing or incorrect information?
Product information of this page .