状態ベクトルで充分わかる