BasicVectorの定義を修正