>>891 その数論幾何の人にプログラミング言語を作ってもらえばいいんでね