なんかチューリングマシン以外に計算機のモデルがあるような
物言いだけど、そんなのあるの？