最近ベクトル問題(CVP)