ミナシゴノシゴトとかテンケイパラドクスとか名前付けても命名規則的には大丈夫なの？