正八角形町の長さ