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

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

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

得票数 13
著者 中島玲二
出版社 朝倉書店
ジャンル 専門書
ISBNコード 9784254114133
登録日 2003/02/12
リクエストNo. 14750
リクエスト内容
プログラミング意味論を学ぶ上で,欠かせない教科書の一つです.

投票コメント (全13件)

この分野の和書は残念ながら絶滅の危機に瀕しています。もちろ んこの分野を専門とする人は洋書を読めば良いのでしょうが、少 し高度なことを勉強したい大学学部生のためにも、和書の存在は 貴重です。この本は一...

2004/11/25

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

2012/12/07

読んでみたいため。

2018/09/09

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

2016/01/16

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

2014/08/09

読後レビュー

まだレビューはありません。

この本をお読みの方、ぜひレビューをお書きください。

ニュース

2012/12/07
『数理情報学入門:スコット・プログラム理論』が10票に到達しました。
2003/02/12
『数理情報学入門:スコット・プログラム理論』(中島玲二)の復刊リクエスト受付を開始しました。

関連キーワード

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

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