首都大学東京、元の「都立大」に名称変更するかも……