蔵書紹介アンダースタンディング コンピュテーション

コンピュータの底にある「計算理論」を分かりやすく学ぼう

コンピュータとは、いったいどういう仕組みで動いているのか。コンピュータの「計算」とは何なのか。本書は、プログラミング言語Rubyを使いながら、そういったコンピュータの本質を解説していく本です。「プログラムの意味」から始まって、もっとも単純なコンピュータである「有限オートマトン」についての解説、アラン・チューリングが1930年に考えたチューリングマシンの考え方、最小限のプログラミング言語、型なしラムダ計算、SKIコンビネータ計算など本格的な計算理論を分かりやすく紹介していきます。プログラムの底にあるある理論を学ぶことで、より深くプログラミングを考えていくことができる一冊です。