Collaborations between Takashi Shimura and Kihachi Okamoto