F-nameのブログ

知らない概念が色々出てくる。計算モデルは突き詰めておいた方が良さそう。数式が厄介だけど。 コンピューティング。主要な3つの計算モデル。情報の表現方法を与える。30年代に登場し等価であることが。チューリング機械、帰納関数論。ラムダ計算。チューリング機械。計算。情報の書き換え。コンピューティングはコンピュ…