  Kobayashi-Ochiai's theorem says us that the set of dominant rational maps to
a complex variety of general type is finite. In this paper, we give a
generalization of it in the category of log schemes.
