関数名マッチングの整理と、複数引数をもつ関数型に対応。