チューリングマシンは加算個しかない