講談社選書メチエ●中国人郵便配達問題｛西野哲朗｝'99　版元品切れ重版未定

身の回りに潜む、コンピュータもお手上げの超難問の数々。なぜ、中国人郵便配達問題など「NP完全問題」を解くのに、何千年という計算時間が必要なのか？　なぜ、言語理解など、簡単なことがうまくできないのか？「ニューロイダルネット」「量子コンピュータ」が切り開くコンピュータの新地平。より柔軟で、より速い「夢のマシン」の実現にむけ、格闘を続ける計算機科学の最前線。 【目次】 プロローグ　中国人郵便配達問題への挑戦 第一章　計算とは何か？ １　理論計算機科学とは ２　計算の定義 ３　コンピュータ開発の歴史 第二章　計算時間の爆発 １　計算時間の測り方 ２　R=NP？問題 ３　アルゴリズム論におけるブレークスルー 第三章　学習するコンピュータ １　脳は学習する回路である ２　知能の複雑さ ３　学習するコンピュータの実現に向けて 第四章　量子コンピュータ １　未来のコンピュータ ２　量子コンピュータのモデル ３　量子コンピュータの実現に向けて 第五章　計算機科学の未来 １　理論計算機科学の発想 ２　情報科学技術立国に向けて エピローグ　計算量理論とコンピュータの未来 ブックガイド あとがき 索引 著者紹介 著：西野　哲朗（ニシノ　テツロウ） 1959年生まれ。早稲田大学理工学部卒業。同大学院前期博士課程修了。理学博士。日本IBM東京基礎研究所、東京電機大学助手、北陸先端科学技術大学院大学助教授を経て、電気通信大学助教授。専門は、数学、計算機科学。 著書に、『量子コンピュータ入門』（東京電機大学出版局）『計算量理論概説』（共著・朝倉書店）、訳書に、『形式言語理論入門』（東京電機大学出版局）などがある。