スマートフォンのカレンダーを1582年10月に戻してみると、10月4日の次がいきなり15日になっている。10日分の日付が、まるごと存在しないのだ…