그렇다면 도시로서의 도쿄도 정식 명칭을 사용해야겠지요. 그럼 님께서 생각하시는 도쿄 23구만을 포함하는(실제로는 그렇지 않습니다만) 도쿄의 정식 명칭은 무엇인가요?