NII Shon­an Meet­ing Sem­in­ar 125: Piece­wise smooth sys­tem and op­tim­iz­a­tion with piece­wise lin­ear­iz­a­tion via al­gorithmic dif­fer­en­ti­ation