内容説明
計算可能性の理論の先駆者たちの提唱した定義は、見た目にはまったく異なるものだった。本書では、そのうちの代表的な３つの表現、すなわち、計算の機械的な表現、帰納的関数による計算の表現、そしてラムダ計算による計算の表現、について述べる。これら３つの異なる観点で計算を表現し、その特徴を認識する。
目次
１ プログラムによる計算の表現
２ チューリング機械による計算の表現
３ 帰納的関数による計算の表現
４ ラムダ計算による計算の表現
５ 並列・並行・分散計算の表現
感想・レビュー
※以下の感想・レビューは、株式会社ドワンゴの提供する「読書メーター」によるものです。
Koning
6
λをもうちょいなんとか頭に染み付かせねばという魂胆で読むの図。 しかし、数学的論理記号を脳内で変換するのに時間がかかっちゃったという罠（ｗ。APL屋さんだったらまったく無問題なのだろうなぁ（笑）。とりあえずチューリングマシンを説明って本です。やはりもうちょいちゃんとLispらねばだめだなーと思い知らされる。2013/04/01
