13 票
数理情報学入門：スコット・プログラム理論
復刊活動にご賛同の方は
リクエスト投票をお願いします。
得票数 13票
| 著者 | 中島玲二 |
|---|---|
| 出版社 | 朝倉書店 |
| ジャンル | 専門書 |
| ISBNコード | 9784254114133 |
| 登録日 | 2003/02/12 |
| リクエストNo. | 14750 |
リクエスト内容
プログラミング意味論を学ぶ上で，欠かせない教科書の一つです．
投票コメント
全13件
-
この分野の和書は残念ながら絶滅の危機に瀕しています。もちろGOOD!2
んこの分野を専門とする人は洋書を読めば良いのでしょうが、少
し高度なことを勉強したい大学学部生のためにも、和書の存在は
貴重です。この本は一般的なプログラミング言語のための表示的
意味の構成法に加え、２種類の意味領域（D∞とPω）の構成方法
について詳しく解説してある貴重なものです。復刊を強く希望し
ます。 (2004/11/25) -
表示的意味論、スコット理論の日本語で書かれた教科書としては数少ないもの。必要なことを、少ない前提知識で理解できるように書かれている。スタイルが若干古くなっているが、英語の類書と比べても、よい教科書の一つだと思う。 (2012/12/07)GOOD!1
-
読んでみたいため。 (2018/09/09)GOOD!0
-
この歳になると、時間が惜しいので、日本語で書かれた本が欲しい。 (2016/01/16)GOOD!0
-
情報系の書籍は巷に溢れてますが、良質な基礎理論の入門は未だ不足しています。 (2014/08/09)GOOD!0
読後レビュー
NEWS
-
2012/12/07
『数理情報学入門：スコット・プログラム理論』が10票に到達しました。 -
2003/02/12
『数理情報学入門：スコット・プログラム理論』（中島玲二）の復刊リクエスト受付を開始しました。
復刊実現の投票はあなたの投票から。
復刊リクエスト投票であなたの思いを形にしましょう！
cinnamonbear