>>503
大域的にスキームを計算するとは?(笑)