https://123deta.com/document/qm3j3e4y-飽和イデアル計算なしCGSQE数式処理発展その最新研究基礎理論の再構.html