個人的には「公的な名前」は番号で構わないな。