A. Saito and K. Kaneko, ``Geometric structure of undecidability in Universal Turing Machine", in preparation