/の後ろの名前は、現実世界での呼び名である。