計算モデルとプログラミング / 猪股　俊光　著

様々な計算モデルを取り上げ，その基礎理論と計算可能性，さらにはモデルを基に実装したプログラミング言語について解説．コンピュータによる計算とは何か？コンピュータで行える計算の限界はどこにあるのか？――計算機科学におけるもっとも基本的，かつ重要な疑問を，プログラミングを通して紐解く一冊．<br><br>本書では，チューリング機械・帰納的関数・ラムダ計算などのさまざまな計算モデルを取り上げ，それぞれのモデルにおける計算の基礎理論と計算可能性を，豊富な具体例と問題を通して解説します．<br><br>また，計算モデルの数学的基礎だけでなく，これらのモデルをもとに実装されたプログラミング言語についても，紙面を割いて解説しています．計算の理論と実装例とを比較しながら学習することで，スコープ・カリー化・継続など，抽象的で掴みづらいプログラミング技法への理解が深まります．<br>猪股　俊光　著
森北出版
2019年04月
ケイサン　モデル　ト　プログラミング
イノマタ　トシミツ
/