単行本(実用) 科学・自然 グレブナ基底と代数多様体入門 上