プログラミング言語の基礎概念[本/雑誌] (ライブラリ情報学コア・テキスト) (単行本・ムック) / 五十嵐淳/著

ご注文前に必ずご確認ください＜商品説明＞＜収録内容＞第1部 導出システム入門(自然数の加算・乗算・比較メタ定理と帰納法による証明)第2部 MLの操作的意味論(整数・真偽値式の評価定義、変数束縛と環境関数と再帰静的有効範囲と名前無し表現リストとパターンマッチング)第3部 MLの型システム(単純型システム多相的型システム型推論)＜商品詳細＞商品番号：NEOBK-988413Igarashi Atsushi / Cho / Programming Gengo No Kiso Gainen (Library Joho Gaku Core Text)メディア：本/雑誌重量：299g発売日：2011/07JAN：9784781912851プログラミング言語の基礎概念[本/雑誌] (ライブラリ情報学コア・テキスト) (単行本・ムック) / 五十嵐淳/著2011/07発売