よんたさんのページ

数少ない日本語で書かれたコンピュータサイエンスの教科書の一つです。 現在のプログラミング言語に幅広く使われている基礎理論であるラムダ計算や形式的意味論を丁寧に解説しています。 上記内容を学習したい人にとって貴重な一冊です。 他に同情報...

ラムダ計算に関する数少ない日本語の教科書。今後の学習者のためにも、ぜひ復刊をお願いいたします。