>>496
なぜコサイン45度倍角?北緯45度における緯線の長さは赤道の半分じゃないの?