On several applications of nonstandard mathematics