速度可変のプロクシは、どのようなアルゴリズムを使っているのでしょうか。