復刊投票コメント一覧
数理情報学入門:スコット・プログラム理論
全13件
表示的意味論、スコット理論の日本語で書かれた教科書としては数少ないもの。必要なことを、少ない前提知識で理解できるように書かれている。スタイルが若干古くなっているが、英語の類書と比べても、よい教科書の一つだと思う。
2012/12/07
表示的意味論、スコット理論の日本語で書かれた教科書としては数少ないもの。必要なことを、少ない前提知識で理解できるように書かれている。スタイルが若干古くなっているが、英語の類書と比べても、よい教科書の一つだと思う。
2012/12/07
学生の頃,この本で束論や不動点定理を学びました。コンピュータサイエンス分野でのその後の展開はあれど,未だ基礎は変わらないようです。
読み返してみたい一冊です。
2011/05/19
学生の頃,この本で束論や不動点定理を学びました。コンピュータサイエンス分野でのその後の展開はあれど,未だ基礎は変わらないようです。
読み返してみたい一冊です。
2011/05/19
この分野の和書は残念ながら絶滅の危機に瀕しています。もちろ
んこの分野を専門とする人は洋書を読めば良いのでしょうが、少
し高度なことを勉強したい大学学部生のためにも、和書の存在は
貴重です。この本は一般的なプログラミング言語のための表示的
意味の構成法に加え、2種類の意味領域(D∞とPω)の構成方法
について詳しく解説してある貴重なものです。復刊を強く希望し
ます。
2004/11/25
この分野の和書は残念ながら絶滅の危機に瀕しています。もちろ
んこの分野を専門とする人は洋書を読めば良いのでしょうが、少
し高度なことを勉強したい大学学部生のためにも、和書の存在は
貴重です。この本は一般的なプログラミング言語のための表示的
意味の構成法に加え、2種類の意味領域(D∞とPω)の構成方法
について詳しく解説してある貴重なものです。復刊を強く希望し
ます。
2004/11/25