アンダースタンディング コンピュテーション ―単純な機械から不可能なプログラムまで

「計算とは何か」というコンピュータサイエンスの根源的な問いに、Rubyを駆使して迫るユニークな一冊です。難解な数学的証明は避け、Rubyによる実践的なプログラミングを通じて、計算理論の核心を直感的に理解できるようになります。チューリングマシンや計算可能性といった抽象的な概念も、コードを書きながら学ぶことで、その意味と重要性を深く実感できるでしょう。本書で得られる知識は、単なる理論の習得に留まりません。アルゴリズムの効率性や、プログラムが扱える限界についての理解は、より洗練された、あるいは不可能ではないプログラムを設計するための確かな基盤となります。日々のプログラミング業務においても、問題解決の視野を広げ、より本質的なアプローチを可能にするでしょう。日本語版には、まつもとゆきひろ氏による「日本語版まえがき」も収録されており、プログラミングの理論的背景に興味を持つすべてのプログラマにとって、必読の価値がある内容です。