この商品をご覧のお客様は、こんな商品もチェックしています。
- 科学的根拠（エビデンス）で子育て
-
価格：1,980円（本体1,800円＋税）
【2024年12月発売】
- 神と科学 世界は「何」を信じてきたのか
-
価格：3,080円（本体2,800円＋税）
【2025年08月発売】
- 眠れない夜に、言語化の話をしよう 脳科学者はため息を言語化し、開発者は深呼吸を可視化する
-
価格：1,760円（本体1,600円＋税）
【2025年08月発売】
のマークが目印です。
[BOOKデータベースより]
いかに複雑なソフトウエアも単純な計算の原理に基づいている。本書はプログラミング言語の基礎を与える計算のモデルについて、機械モデル、関数モデル、論理モデル、書換えモデル、代数モデルを取りあげ、詳細に解説した。
計算モデルへの招待
機械モデル
関数モデル（帰納的関数；ラムダ計算）
論理モデル
書換えモデル
代数モデル