目次
計算モデル概論
現実のコンピュータ
ラムダ計算
関数プログラミング
計算と論理
オートマトン
チューリング機械
状態と様相
並列・分散計算
コンピューティングの展開
人工知能概論
生物に触発された計算モデル
自然現象を活用する計算モデル
著者等紹介
萩谷昌己［ハギヤマサミ］
１９５７年東京都に生まれる。１９８０年東京大学理学部情報科学科卒業。１９８２年東京大学大学院理学系研究科修士課程修了。１９８８年京都大学理学博士、京都大学数理解析研究所助教授。１９９２年東京大学理学部助教授。１９９５年東京大学大学院理学系研究科教授。２００１年東京大学大学院情報理工学系研究科教授（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
hisaos
0
2024年第二学期単位認定試験に伴い通読。2025/01/21
