- プログラミング言語の基礎概念
-
- 価格
- 2,035円（本体1,850円＋税）
- 発行年月
- 2011年07月
- 判型
- Ａ５
- ISBN
- 9784781912851
この商品をご覧のお客様は、こんな商品もチェックしています。
- 家族法 第３版
-
価格：2,860円（本体2,600円＋税）
【2023年10月発売】
- 化石が語る植物の進化５億年史
-
価格：2,860円（本体2,600円＋税）
【2025年08月発売】
- ８の都市からよむ「世界一周」の世界史
-
価格：1,100円（本体1,000円＋税）
【2025年06月発売】
- 複合国家から読み解く世界史
-
価格：4,400円（本体4,000円＋税）
【2024年12月発売】
- セキュリティエンジニアの知識地図
-
価格：2,860円（本体2,600円＋税）
【2025年03月発売】
のマークが目印です。
[BOOKデータベースより]
第１部 導出システム入門（自然数の加算・乗算・比較；メタ定理と帰納法による証明）
第２部 ＭＬの操作的意味論（整数・真偽値式の評価；定義、変数束縛と環境；関数と再帰；静的有効範囲と名前無し表現；リストとパターンマッチング）
第３部 ＭＬの型システム（単純型システム；多相的型システム；型推論）