1: \begin{abstract}

2:   The type IIB matrix model is a promising nonperturbative formulation

3:   of superstring theory, which may elucidate the emergence of (3+1)-dimensional

4:   space-time. However, the partition function is divergent

5:   %as it is

6:   due to the Lorentz symmetry, which is represented by a noncompact group.

7:   This divergence has been regularized conventionally

8:   by

9:   %

10: %  In order to regularize it, it was proposed to

11:   introducing some infrared cutoff,

12:   %convergence factor,

13:   which breaks the Lorentz symmetry.

14:   %  We find that Lorentz invariant observables are finite

15:   Here we point out that Lorentz invariant observables

16:   %are finite but

17:   become classical as one removes the infrared cutoff and that

18: %  We show, however, that the observables

19: %  calculated in this way becomes classical as one removes the infrared cutoff.

20:   this ``classicalization'' is actually an artifact of the Lorentz symmetry

21:   breaking cutoff. In order to overcome this problem, we propose a natural

22:   way to ``gauge-fix'' the Lorentz symmetry in a fully nonperturbative manner.

23:   This also enables us to perform numerical simulations in such a way

24:   that the time-evolution can be extracted directly from the matrix

25:   configurations.

26: %  The gauge-fixed model is simple enough to be studied by numerical simulation.

27: \end{abstract}

28: