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

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



【目次】（「BOOK」データベースより）
第１部　導出システム入門（自然数の加算・乗算・比較／メタ定理と帰納法による証明）／第２部　ＭＬの操作的意味論（整数・真偽値式の評価／定義、変数束縛と環境／関数と再帰／静的有効範囲と名前無し表現／リストとパターンマッチング）／第３部　ＭＬの型システム（単純型システム／多相的型システム／型推論）

【著者情報】（「BOOK」データベースより）
五十嵐淳（イガラシアツシ）
１９９５年東京大学理学部情報科学科卒業。２０００年東京大学大学院理学系研究科情報科学専攻博士課程修了博士（理学）。東京大学総合文化研究科助手。２００２年京都大学大学院情報学研究科講師。２００６年京都大学大学院情報学研究科助教授。現在、京都大学大学院情報学研究科准教授

ライブラリ情報学コア・テキスト
五十嵐淳
サイエンス社

・発売日： 2011年07月
・サイズ： 全集・双書
・ページ数： 176p
・ISBNコード： 9784781912851

1,943円（税込）送料無料

【送料無料】プログラミング言語の基礎概念