グレブナー 基底 恨むな キティ