石垣島於茂登岳から与那国島が見えるかどうかの理論的考察