公文式は微分幾何まであるのか