思い切って超準解析に逃げるとか