Collaborations between Isao Tomita and Masatoshi Nagase