よんたさんのページ 復刊リクエスト投票 コンピュータサイエンス入門〈1〉アルゴリズムとプログラミング言語 【著者】大堀淳、ジャックガリグ、西村進 数少ない日本語で書かれたコンピュータサイエンスの教科書の一つです。 現在のプログラミング言語に幅広く使われている基礎理論であるラムダ計算や形式的意味論を丁寧に解説しています。 上記内容を学習したい人にとって貴重な一冊です。 他に同情報が書かれたものを探すと、英語で書かれた教科書や論文しかでてこないのが現状です。 この本自体もAmazonでプレミアム価格となってしまっています。 学習希望者のために、ぜひとも貴重な一冊の復刊をよろしくお願いいたします。(2019/04/03) プログラミング言語の基礎理論 【著者】大堀淳 ラムダ計算に関する数少ない日本語の教科書。今後の学習者のためにも、ぜひ復刊をお願いいたします。(2019/03/26)
復刊リクエスト投票
コンピュータサイエンス入門〈1〉アルゴリズムとプログラミング言語
【著者】大堀淳、ジャックガリグ、西村進
現在のプログラミング言語に幅広く使われている基礎理論であるラムダ計算や形式的意味論を丁寧に解説しています。
上記内容を学習したい人にとって貴重な一冊です。
他に同情報が書かれたものを探すと、英語で書かれた教科書や論文しかでてこないのが現状です。
この本自体もAmazonでプレミアム価格となってしまっています。
学習希望者のために、ぜひとも貴重な一冊の復刊をよろしくお願いいたします。(2019/04/03)
プログラミング言語の基礎理論
【著者】大堀淳