Collaborations between Mutsumi Takemiya and Hisao Shirai