最終的にはチューリングマシン云々とかマシン語云々に行き着くんだろうな