復刊投票コメント一覧

数少ない日本語で書かれたコンピュータサイエンスの教科書の一つです。
現在のプログラミング言語に幅広く使われている基礎理論であるラムダ計算や形式的意味論を丁寧に解説しています。
上記内容を学習したい人にとって貴重な一冊です。
他に同情報が書かれたものを探すと、英語で書かれた教科書や論文しかでてこないのが現状です。
この本自体もAmazonでプレミアム価格となってしまっています。
学習希望者のために、ぜひとも貴重な一冊の復刊をよろしくお願いいたします。