Collaborations between Jun'ichi Kikuchi and Takefumi Haketa