  The main purpose of this paper is to give a simple and non-combinatorial
proof of the toric Mori theory. Here, the toric Mori theory means the (log)
Minimal Model Program (MMP, for short) for toric varieties. We minimize the
arguments on fans and their decompositions. We recommend this paper to the
following people:
  (A) those who are uncomfortable with manipulating fans and their
decompositions,
  (B) those who are familiar with toric geometry but not with the MMP. People
in the category (A) will be relieved from tedious combinatorial arguments in
several problems. Those in the category (B) will discover the potential of the
toric Mori theory.
  As applications, we treat the Zariski decomposition on toric varieties and
the partial resolutions of non-degenerate hypersurface singularities. By these
applications, the reader will learn to use the toric Mori theory.
