CS

アンダースタンディング・コンピュテーション

『アンダースタンディング・コンピュテーション』を監訳者の笹田さんから頂戴したので、読んだ感想をまとめてみる。この本はRubyを用いて計算理論を紹介しようというものだ。具体的には次のようなトピックを扱っている。 形式的意味論 操作的意味論 表示的意…