https://123deta.com/document/qvv2p50q-D加群のグレブナ基底の計算とその応用数式処理と数学研究へ応用.html