復刊投票コメント一覧

数理情報学入門:スコット・プログラム理論

全13件

読んでみたいため。

2018/09/09

この歳になると、時間が惜しいので、日本語で書かれた本が欲しい。

2016/01/16

情報系の書籍は巷に溢れてますが、良質な基礎理論の入門は未だ不足しています。

2014/08/09

表示的意味論、スコット理論の日本語で書かれた教科書としては数少ないもの。必要なことを、少ない前提知識で理解できるように書かれている。スタイルが若干古くなっているが、英語の類書と比べても、よい教科書の一つだと思う。

2012/12/07

学生の頃,この本で束論や不動点定理を学びました。コンピュータサイエンス分野でのその後の展開はあれど,未だ基礎は変わらないようです。
読み返してみたい一冊です。

2011/05/19

ある本の参考文献にこの本が載っていました.読んでみたいです.

2010/06/26

Denotational Sematics について日本語で書かれた唯一の本。是非、復刊して下さい。

2006/09/21

この分野の和書は残念ながら絶滅の危機に瀕しています。もちろ
んこの分野を専門とする人は洋書を読めば良いのでしょうが、少
し高度なことを勉強したい大学学部生のためにも、和書の存在は
貴重です。この本は一般的なプログラミング言語のための表示的
意味の構成法に加え、2種類の意味領域(D∞とPω)の構成方法
について詳しく解説してある貴重なものです。復刊を強く希望し
ます。

2004/11/25

たまには理論的な方面の本を読んでみたいと思ってみたり・・・

2004/10/30

この分野の理論に數學的な興味がある。

2004/06/25

プログラミングの数学的基礎の研究に有用なため

2004/02/14

.

2003/02/13

この分野に関しては和書の解説書が少ないので,ぜひ復刊をお願いします.

2003/02/12