最短距離はLurie "A Survey of Elliptic Cohomology"だな