数論幾何寄り(局所的)のことをしてます