とみん "グレブナー基底と代数多様体入..." 2026年5月24日