グレブナー基底の高速計算法、検証法とその応用