プログラム意味論(情報数学講座)

横内寛文

4,070円(税込)
(本体 3,700 円)
Vポイント 37ポイント
Vポイントについて
この商品はご購入いただけません
在庫切れ
著者 横内寛文
出版社 共立出版
ジャンル 専門書
商品内容
プログラム意味論を展開する際に基礎となる数学的な枠組みを、表示的意味論を中心に詳しく厳密に解説した「プログラム意味論の本質」がわかる本。

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

読後レビュー

まだレビューはありません。

この商品をお持ちの方、ぜひレビューをお書きください。

復刊投票時のコメント (全32件)

表示的意味論について丁寧に学べる良書だと思います。 リクエスト内容に概要が書かれていますが、型無しλ計算からドメインセオリへ。 そしてその内容を踏襲してPCFについて学び、更にカテゴリセオリか...

2009/07/18

ラムダ計算の基礎からしっかり学べ、高校生から大学生レベルの数学とコンピュータ科学の知識があれば理解できる内容となっている。 操作的意味論、型システム、cpoと不動点定理、カテゴリなどを詳しく説明して...

2009/06/25

興味があります。

2016/04/05

プログラムを学んでいて、興味のある内容だったので。

2012/02/28

言語意味論に興味があり、この本がとても良いと本だと聞いて

2012/01/22

支払い / 配送方法

送料は全国一律380円(税込)です。代金引換をご利用の場合、配送手数料とは別に代金引換手数料300円(税込)が別途必要になります。

5,500円以上送料無料、11,000円以上代引き手数料無料