今日は 12 時起床。まあ３時半まで DB やってたしこんなもんでしょう。 そろそろ 夏休み 18日目 - ねこ． にある↓ ourworldindata.org を見て楽しみたいが、日本の更新が 16 日で止まっているのでまだあまり楽しくない。 追記：21時頃に見たら出てた。多分 1…