ナンバーペイントは正式名称なのか？