Constructive Nonsmooth Analysis and Related Topics