グレブナ基底と代数多様体入門〈下〉イデアル・多様体・アルゴリズム の検索結果