[BOOKデータベースより]
様々な計算モデルを通して、プログラミング言語のメカニズムを解き明かす。
第１章 計算の世界と計算モデル
第２章 抽象機械型計算モデル
第３章 命令型計算モデル
第４章 関数型計算モデル―帰納的関数
第５章 関数型計算モデル―ラムダ計算
第６章 論理型計算モデル
付録Ａ 数学の準備
付録Ｂ チューリング機械シミュレータ
付録Ｃ レジスタ機械シミュレータ
コンピュータによる計算とは何か？コンピュータで行える計算の限界はどこにあるのか？――計算機科学におけるもっとも基本的，かつ重要な疑問を，プログラミングを通して紐解く一冊．
本書では，チューリング機械・帰納的関数・ラムダ計算などのさまざまな計算モデルを取り上げ，それぞれのモデルにおける計算の基礎理論と計算可能性を，豊富な具体例と問題を通して解説します．
また，計算モデルの数学的基礎だけでなく，これらのモデルをもとに実装されたプログラミング言語についても，紙面を割いて解説しています．計算の理論と実装例とを比較しながら学習することで，スコープ・カリー化・継続など，抽象的で掴みづらいプログラミング技法への理解が深まります．
この商品をご覧のお客様は、こんな商品もチェックしています。
- 英語の発音をもう一度ひとつひとつわかりやすく。
-
価格：1,980円（本体1,800円＋税）
【2022年12月発売】
- ３ステップでしっかり学ぶＰｙｔｈｏｎ入門 改訂２版
-
価格：2,970円（本体2,700円＋税）
【2025年04月発売】
- 社会学
-
価格：3,300円（本体3,000円＋税）
【2025年04月発売】
- 希望格差社会、それから
-
価格：1,650円（本体1,500円＋税）
【2025年01月発売】
- Ｒｕｂｙ ｏｎ Ｒａｉｌｓ アプリケーションプログラミング
-
価格：3,960円（本体3,600円＋税）
【2024年12月発売】
のマークが目印です。
