グレブナー基底の現在(いま)