小学生の頃、台風の12号や13号はそう呼ばれる種類があるんだと思ってた