チューリング完全でなければならないプログラムとは言えない、ということ?