落合先生がいなかったら日本の微分幾何は今頃ずいぶん寂しいだろうね