海里とは緯度一分角の距離と知りはるか大航海時代に思ひを馳せぬ