「計算する(compute)」という述語はほぼ誰もが知っていて、実際に私たちは計算することができる。計算するとは、チューリング・マシーンを使うのであれば、左右に限りなく伸ばすことのできるテープの上の一つのマス目に0か1の数字、あるいは空白をつくる
続きを読む
ログインでお困りの方はこちら
mixiニュース一覧へ