【Haskell】グレブナー基底とその応用の評価