modular 算法による多項式GCD計算について(数式処理と数学研究への応用)