32 票
著者 | 横内 寛文 |
---|---|
出版社 | 共立出版 |
ジャンル | 専門書 |
ISBNコード | 9784320026575 |
登録日 | 2009/06/25 |
リクエストNo. | 47154 |
リクエスト内容
カルテシアン閉カテゴリを用いてラムダ計算の意味論を定義する内容.
第1章 表示的意味論の考え方
第2章 ラムダ計算の基礎
第3章 領域理論の基礎
第4章 関数型言語の意味論
第5章 カテゴリ理論の基礎
第6章 領域方程式
第7章 ラムダ計算の意味論
投票コメント
全32件
-
表示的意味論について丁寧に学べる良書だと思います。GOOD!1
リクエスト内容に概要が書かれていますが、型無しλ計算からドメインセオリへ。
そしてその内容を踏襲してPCFについて学び、更にカテゴリセオリから型無しλ計算のモデルについてまで、考えられた並びに成っていると思います。
プログラムの意味論の本が軒並み絶版に成っている中、特に表示的意味論を扱った本として、復刊して欲しい本です。 (2009/07/18) -
ラムダ計算の基礎からしっかり学べ、高校生から大学生レベルの数学とコンピュータ科学の知識があれば理解できる内容となっている。GOOD!1
操作的意味論、型システム、cpoと不動点定理、カテゴリなどを詳しく説明してくれている。定理などについては丁寧な証明があるのも魅力。
この本に並ぶ良書が現在ないためぜひ復刊を望む。 (2009/06/25) -
興味があります。 (2016/04/05)GOOD!0
-
プログラムを学んでいて、興味のある内容だったので。 (2012/02/28)GOOD!0
-
言語意味論に興味があり、この本がとても良いと本だと聞いて (2012/01/22)GOOD!0
読後レビュー
このリクエストの関連商品
全1件
-
プログラム意味論(情報数学講座)
4,070円(税込)
37ポイント
投票数:32票
配送時期:3~6日後
プログラム意味論を展開する際に基礎となる数学的な枠組みを、表示的意味論を中心に詳しく厳密に解説した「プログラム意味論の本質」がわかる本。 第1章 表示的意味論の考え方 第2章 ラムダ計算の基礎 ...
NEWS
-
2011/09/12
『プログラム意味論(情報数学講座)』復刊決定! -
2009/06/25
『プログラム意味論 (情報数学講座)』(横内 寛文)の復刊リクエスト受付を開始しました。
復刊実現の投票はあなたの投票から。
復刊リクエスト投票であなたの思いを形にしましょう!
ranha