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

計算理論をＲｕｂｙでわかりやすく紹介する書。コンピュータサイエンスの主要なテーマである「計算とは何か」という問いに対して、難しい数学の知識を利用をせずＲｕｂｙを使って実際にプログラムを作りながら解説。