三角点に香川県小豆島の石が使われているのをご存じですか―。