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

内容紹介

関数型言語MLの一種Objective Camlを題材としてプログラミング言語の意味論，型システム，プログラミング言語の基礎概念，これらの概念間の数学的な関連を学ぶ．

オンライン演習システムを用いて，「証明」を解答とする演習問題の正誤をWeb上で自動判定することもできる．

著者略歴 (「BOOK著者紹介情報」より)

五十嵐/淳

1995年東京大学理学部情報科学科卒業。

2000年東京大学大学院理学系研究科情報科学専攻博士課程修了博士(理学)。

東京大学総合文化研究科助手。

2002年京都大学大学院情報学研究科講師。

2006年京都大学大学院情報学研究科助教授。

現在、京都大学大学院情報学研究科准教授(本データはこの書籍が刊行された当時に掲載されていたものです)