>>890先にどんなベクトル空間なのか教えろ