The previous name was the valuation vectors.)
それ以前の名前は「付値ベクトル(the valuation vectors)」であった。