計算モデルとプログラミング

森北出版
猪股俊光　山田敬三　

• 価格: 3,520円（本体3,200円＋税）
• 発行年月: 2019年04月
• 判型: Ａ５
• ISBN: 9784627854710

内容情報

[BOOKデータベースより]

様々な計算モデルを通して、プログラミング言語のメカニズムを解き明かす。

第１章　計算の世界と計算モデル
第２章　抽象機械型計算モデル
第３章　命令型計算モデル
第４章　関数型計算モデル―帰納的関数
第５章　関数型計算モデル―ラムダ計算
第６章　論理型計算モデル
付録Ａ　数学の準備
付録Ｂ　チューリング機械シミュレータ
付録Ｃ　レジスタ機械シミュレータ

[日販商品データベースより]

コンピュータによる計算とは何か？コンピュータで行える計算の限界はどこにあるのか？――計算機科学におけるもっとも基本的，かつ重要な疑問を，プログラミングを通して紐解く一冊．

本書では，チューリング機械・帰納的関数・ラムダ計算などのさまざまな計算モデルを取り上げ，それぞれのモデルにおける計算の基礎理論と計算可能性を，豊富な具体例と問題を通して解説します．

また，計算モデルの数学的基礎だけでなく，これらのモデルをもとに実装されたプログラミング言語についても，紙面を割いて解説しています．計算の理論と実装例とを比較しながら学習することで，スコープ・カリー化・継続など，抽象的で掴みづらいプログラミング技法への理解が深まります．