コンピュータの思考法―計算モデル(情報数学の世界〈3〉) [全集叢書]

コンピュータの思考法―計算モデル(情報数学の世界〈3〉) の 商品概要

• 要旨(「BOOK」データベースより）

  コンピュータの動作を広い意味での計算ととらえ、その計算の骨格であるアルゴリズムに注目して、その数理的なモデルを考察。形式言語やオートマトン理論など古典的な内容から、再帰的なアルゴリズムの話題までを含めている。

• 目次(「BOOK」データベースより）

  計算モデルとは
  生成文法
  同時導出文法と疑似正規表現
  有限状態オートマトンのモデル
  テューリング機械
  セルオートマトンとライフゲイム
  日本の暦の話題
  マルコフのアルゴリズム
  項書き換えシステムとポストの対応問題
  再帰的なアルゴリズム
  見返り関数とアッカマン関数
  再帰的な構文解析アルゴリズム
  ＮＰ完全

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  有沢 誠(アリサワ マコト)
  １９４４年中国長春市に生まれる。１９６７年東京大学工学部計数工学科卒業。現在、慶応義塾大学環境情報学部教授、大学院政策・メディア研究科委員。工学博士（情報工学）

コンピュータの思考法―計算モデル(情報数学の世界〈3〉) の商品スペック