1988年5月23日，丁石孙在陈省身家中