復刊ドットコム

新規会員登録

新規会員登録

T-POINT 貯まる!使える!

32

投票する

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

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

復刊活動にご賛同の方は
リクエスト投票をお願いします。

投票する

得票数 32

リクエストに関連する復刊/関連商品をみる

著者 横内 寛文
出版社 共立出版
ジャンル 専門書
ISBNコード 9784320026575
登録日 2009/06/25
リクエストNo. 47154

リクエスト内容

カルテシアン閉カテゴリを用いてラムダ計算の意味論を定義する内容.

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

関連キーワード

キーワードの編集

投票コメント

全32件

  • 表示的意味論について丁寧に学べる良書だと思います。

    リクエスト内容に概要が書かれていますが、型無しλ計算からドメインセオリへ。
    そしてその内容を踏襲してPCFについて学び、更にカテゴリセオリから型無しλ計算のモデルについてまで、考えられた並びに成っていると思います。

    プログラムの意味論の本が軒並み絶版に成っている中、特に表示的意味論を扱った本として、復刊して欲しい本です。 (2009/07/18)
    GOOD!1
  • ラムダ計算の基礎からしっかり学べ、高校生から大学生レベルの数学とコンピュータ科学の知識があれば理解できる内容となっている。
    操作的意味論、型システム、cpoと不動点定理、カテゴリなどを詳しく説明してくれている。定理などについては丁寧な証明があるのも魅力。
    この本に並ぶ良書が現在ないためぜひ復刊を望む。 (2009/06/25)
    GOOD!1
  • 興味があります。 (2016/04/05)
    GOOD!0
  • プログラムを学んでいて、興味のある内容だったので。 (2012/02/28)
    GOOD!0
  • 言語意味論に興味があり、この本がとても良いと本だと聞いて (2012/01/22)
    GOOD!0

もっと見る

読後レビュー

レビュー投稿はこちら

このリクエストの関連商品

全1件

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

    【著者】横内寛文

    4,070円(税込)

    37ポイント

    投票数:32

    配送時期:2024/04/上旬

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

    購入ページへ

NEWS

  • 2011/09/12
    『プログラム意味論(情報数学講座)』復刊決定!

  • 2009/06/25
    『プログラム意味論 (情報数学講座)』(横内 寛文)の復刊リクエスト受付を開始しました。

この本に関する情報を提供する

この本の情報を復刊ドットコムまでお寄せください

詳しくはこちら

復刊実現の投票はあなたの投票から。
復刊リクエスト投票であなたの思いを形にしましょう!

復刊リクエストTOPへ

T-POINT 貯まる!使える!