generated at
チャーチ=チューリングのテーゼ