モジュール解決法アルゴリズム