この資料をSMS送信: Fréchet differentiability of Lipschitz functions and porous sets in Banach spaces