>>57
厳密には

∂♀/∂♂=φ

ぐらいじゃないか