Collaborations between Tatsuo Ozeki and Masahiko Hori