半正矢関数(Haversine Formula)を使用して地球上の2つの球面座標間の球面距離を返します。どちらの座標も、ST_Point値で指定する必要があります。 有効なデータ型ST_Point 結果のタイプFLOATを返します。