Hu-Tuckerのアルゴリズム