クイックマイナーで掘り始めたんですけど、勝手にダガー橋本になってるけど、アルゴリズムの変更はどうやるんですか？