ReLU関数って原点で微分不可能だけど、こんなものが含まれる関数を偏微分できるの?