なんで極限とか微小変位とか超準解析にこだわってんの?