プログラミング言語の基礎概念

内容詳細 関数型言語MLの一種Objective Camlを題材としてプログラミング言語の意味論，型システム，プログラミング言語の基礎概念，これらの概念間の数学的な関連を学ぶ．オンライン演習システムを用いて，「証明」を解答とする演習問題の正誤をWeb上で自動判定することもできる． 第1部 導出システム入門 第1章 自然数の加算・乗算・比較 1.1 自然数の加算・乗算：導出システム Nat 1.2 推論規則と導出の記法 1.3 自然数の比較：導出システム ComparaNat1-3 1.4 算術式の評価と簡約 第2章 メタ定理と帰納法による証明 2.1 メタ理論とメタ定理 2.2 数学的帰納法 2.3 構造帰納法 2.4 帰納法による定義 2.5 導出に関する帰納法 2.6 整礎帰納法 第2部 MLの操作的意味論 第3章 整数・真偽値式の評価 3.1 ML1とその評価：導出システム Eval

[akakit]

http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/CoPL/

[todesking]

「プログラミング言語の基礎概念」把握、日本語の型本ってけっこう貴重な気がする