プログラミング言語の基礎概念(ライブラリ情報学コア・テキスト) [全集叢書]

プログラミング言語の基礎概念(ライブラリ情報学コア・テキスト) の 商品概要

• 目次(「BOOK」データベースより）

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

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  五十嵐 淳(イガラシ アツシ)
  １９９５年東京大学理学部情報科学科卒業。２０００年東京大学大学院理学系研究科情報科学専攻博士課程修了博士（理学）。東京大学総合文化研究科助手。２００２年京都大学大学院情報学研究科講師。２００６年京都大学大学院情報学研究科助教授。現在、京都大学大学院情報学研究科准教授

プログラミング言語の基礎概念(ライブラリ情報学コア・テキスト) の商品スペック