銘柄入れ替え。