トロピカル幾何という枠で∞使ってるのに
形式論だけ語るアホばっかり