Collaborations between Masahiko Hori and Mikio Ôsawa