復刊投票コメント一覧

読みたいです

不動点関数についての記述を読みたい

初学者である自分に向いてそうだったため．

ぜひ復刊を

意味論分野についてのわかりやすい解説書を読みたいと考えている。
共立出版の情報数学講座は基礎理論を主軸においているので基本的に流行廃りはないため、
全巻が常に入手可能であってほしいとおもう。

プログラミング言語の基礎について興味があるので，ぜひ読んでみたい。

カルテシアン閉圏について興味があります

是非読みたい。

プログラム意味論をこの本のように展開している日本語の書籍は他になく、この本の形式での勉強をしてみたいと思っています。

プログラム意味論における日本語文献の名著だと聞き、復刊希望

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

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

プログラムの意味論の本が軒並み絶版に成っている中、特に表示的意味論を扱った本として、復刊して欲しい本です。

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