明示的なベクトル・プログラミング