Collaborations between Jun'ichi Kikuchi and Masahiro Toda