投票コメント

全32件

• 

  ranha

  表示的意味論について丁寧に学べる良書だと思います。
  
  リクエスト内容に概要が書かれていますが、型無しλ計算からドメインセオリへ。
  そしてその内容を踏襲してPCFについて学び、更にカテゴリセオリから型無しλ計算のモデルについてまで、考えられた並びに成っていると思います。
  
  プログラムの意味論の本が軒並み絶版に成っている中、特に表示的意味論を扱った本として、復刊して欲しい本です。 (2009/07/18)
  GOOD!1
• 

  ケン

  ラムダ計算の基礎からしっかり学べ、高校生から大学生レベルの数学とコンピュータ科学の知識があれば理解できる内容となっている。
  操作的意味論、型システム、cpoと不動点定理、カテゴリなどを詳しく説明してくれている。定理などについては丁寧な証明があるのも魅力。
  この本に並ぶ良書が現在ないためぜひ復刊を望む。 (2009/06/25)
  GOOD!1
• 

  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
• 

  kass

  λ計算の本は貴重であるため、復刊を希望致します。 (2011/12/09)
  GOOD!0
• 

  あちこ

  この分野で唯一の日本語書籍と聞いて (2011/11/06)
  GOOD!0
• 

  myamato_rakuten

  名著と評判です。 (2011/09/21)
  GOOD!0
• 

  ☆かずと☆

  表示的意味論と圏論の両方に興味あり。 (2011/09/16)
  GOOD!0
• 

  ukon

  これはぜひとも読みたい！！ (2011/09/16)
  GOOD!0
• 

  wataru

  読みたい (2011/09/12)
  GOOD!0
• 

  keigoi

  この本で表示的意味論を勉強しました。
  書店では手に入らず、図書館で借りて読みましたが、売っていれば買います。
  類書もそれほど豊富ではなく、とくに圏論に関する部分は貴重です。 (2011/09/10)
  GOOD!0
• 

  ぼのたけ

  プログラミング言語の意味論（ラムダ計算、領域理論）を圏論で解説した希少な本。和書で同様の類書は他にありません。ぜひとも復刊すべきです。 (2011/09/10)
  GOOD!0
• 

  いで

  プログラミング意味論に興味がある。
  プログラムを数学的にどう捉えるか、体系的に知りたい。 (2011/08/28)
  GOOD!0
• 

  バーゲンホルム

  数少ないこの種の本の中で極めて評価が高い本書をじっくり読んでみたい。 (2011/07/01)
  GOOD!0
• 

  aki

  圏論の勉学のために一度目を通したい本だと確信し要望します。 (2011/06/14)
  GOOD!0
• 

  dgz

  CCCを解説した本としてぜひとも手元においておきたい。 (2011/05/24)
  GOOD!0
• 

  nanashi

  読んでみたい。 (2011/05/18)
  GOOD!0