>>496
次元拡張して微分可能には出来ないものかね