プログラム意味論（情報数学講座）

横内寛文

4,070円（税込）

（本体価格 3,700 円 + 消費税10%）

配送時期：3～6日後

Tポイント：37ポイント

ポイントについて

この商品は現在販売中です

お気に入りに追加

得票数：32票: プログラム意味論　(情報数学講座)

著者	横内寛文
出版社	共立出版
ジャンル	専門書

商品内容

プログラム意味論を展開する際に基礎となる数学的な枠組みを、表示的意味論を中心に詳しく厳密に解説した「プログラム意味論の本質」がわかる本。

第1章表示的意味論の考え方
第2章ラムダ計算の基礎
第3章領域理論の基礎
第4章関数型言語の意味論
第5章カテゴリ理論の基礎
第6章領域方程式
第7章ラムダ計算の意味論

読後レビュー

レビュー投稿はこちら

復刊投稿時のコメント

全32件

yattan

興味があります。 (2016/04/05)
GOOD!0
イシ

プログラムを学んでいて、興味のある内容だったので。 (2012/02/28)
GOOD!0
yuta

言語意味論に興味があり、この本がとても良いと本だと聞いて (2012/01/22)
GOOD!0
alpicola

プログラム意味論を学びたい (2012/01/04)
GOOD!0
khibino

型付きラムダ計算について述べられている数少ない日本語書籍であると認識していますので是非復刊をお願いいたします。 (2011/12/13)
GOOD!0