計算理論とは 計算とはなんなのか，計算の複雑さとはなんなのかについて詳しく検討する分野。分かりやすいモチベーションとして，ある計算を行うのにどれくらいの時間がかかるのか，また，どれくらいのメモリを必要とするのかについて知りたいとする。この疑…