微分可能関数 - 他の言語