再帰的頭字語(さいきてきとうじご、)は、その正式名称の中にそれ自身が含まれている頭字語を指す。自己言及型頭字語(じこげんきゅうがたとうじご)とも。

コンピュータ関連の例

GNU - GNU is Not Unixhttps://www.gnu.org/#More-GNU TikZ - TikZ ist kein Zeichenprogrammhttp://texdoc.net/texmf-dist/doc/generic/pgf/pgfmanual.pdf#page=118 Wine - Wine Is Not an Emulator

GNU Hurdの"Hurd"は更に凝っていて、"Hurd"は"Hird of Unix-Replacing Daemons,"の略、その"Hird"は"Hurd of Interfaces Representing Depth."の略、というように相互再帰になっている。

再帰的頭字語のいくつかは他の方法へ意味が拡張したバクロニムである。

ディルバートにおいても再帰的頭字語がネタになったことがある。ディルバートが「TTPプロジェクトの『TTP』って何の略?」と聞かれ、「The TTP Project」と回答するというもので、きれいに再帰的頭字語になっているが、結局何のプロジェクトなのか全くわからない、という皮肉ネタとなっている。また、この例はRAS症候群の一例ともなっている。

技術用語以外での例 再帰的頭字語はコンピューター関係に限らない。例えば、 BWIA — BWIA West Indian Airways (旧British West Indian Airways) SAAB — Saab Automobile AB(サーブ自動車)、Saab Aeroplane AB(サーブ航空機)。元は創業地スウェーデン(Sweden)を意味するSであったが、部門の独立、多国籍化、ブランド力の向上目的などを理由に為された変更である。 RESPECT - Respect, Equality, Socialism, Peace, Environmentalism, Community, and Trade unionism. Scaled — Scaled Composites: Advanced Link to Efficient Development TAPポルトガル航空 — TAP Air Portugal (ポルトガル語ではTAPはTransportes Aéreos de Portugalとなり再帰的ではない。) VISA — Visa International Service Association PETS法 - Pets Evacuation and Transportation Standards Act マスオ - マスオか弘。増岡弘が『サザエさん』のフグ田マスオの声優であったことを、「マスオの声優はマスオか弘」と読み替える言葉遊び。この「マスオ」をさらに「マスオか弘」で置き換えると、「(マスオか弘)か弘」となり、同じ置換を繰り返すことで再帰的に展開できる。 一見すると、マスオの声優が「マスオか弘」のどちらなのかは決まらないように見える。しかし、「の声優の声優はの声優である」とし、重複する選択肢を数える記法と正の固定重みによる選択規則を導入すると、つまり「マスオ」と「弘」をそれぞれくじの札と考え、同じ名前が出てくるたびにその札を1枚ずつ加え、各札には名前ごとに決まった正の当たりやすさを与えて抽選すると、「マスオの声優は、マスオではなくほとんど確実に弘である」と結論する擬似証明を組み立てられる。以下、証明する。 まず、「声優の声優」という表現を考える。例えば、『サザエさん』の世界でマスオが声優事務所に転職し、別のアニメののび太役を獲得したと仮定する。この場合、作品内ではのび太の声優はマスオであり、現実にはそのマスオの声を増岡弘が演じるため、声を現実の演者までたどれば、のび太の声も増岡弘に行き着く。 この例は作品内の演者から現実の演者へ声をたどる説明であり、両者が同一人物であることを意味しない。以下の言葉遊びでは、「の声優」を現実に声を担当する最終的な演者を求める操作と解釈し、声優本人については本人を返すと約束する。この意味で「の声優の声優はの声優である」とする。 「の声優」を与える操作を とし、反復を次のように定める。

「の声優の声優はの声優」という約束より、

また、「かか」を「か」、「かか」を「か」と書く。これは通常の論理和とは異なり、重複する選択肢の個数を保持する記法である。「マスオ」を 、「弘」を と書けば、展開された表現は次のようになる。

次に、展開回数によらない正かつ有限の定数 が存在し、「」からの選択結果 が次の確率に従うと仮定する。これは、「マスオ」の札1枚に重み 、「弘」の札1枚ごとに重み を与え、重みに比例する確率で札を選ぶことに相当する。

したがって、

ここで、何回「の声優」を重ねても同じ「マスオの声優」を指すことと、この選択確率の極限を同一視すれば、「マスオの声優は、マスオではなくほとんど確実に弘である」。以上、証明終わり。 ただし、最後の同一視はジョーク上の飛躍である。同じ対象を指す表現であっても、その表現中の重複を数えて抽選すれば選択確率は変化する。厳密に示されているのは選択結果 の「弘」への確率収束であり、声優の同一性そのものの証明ではない。

LISPの自己参照能力 再帰的頭字語はLISPの自己参照能力のデモンストレーションへ用いられる事が知られていた。例えばダグラス・ホフスタッターはメタマジック・ゲームのいくつかの論文中でtatoという単語を用いた。

'tato (and tato only)'という言葉を全部のtatoへ代入する:

n=0: tato n=1: tato (and tato only) n=2: tato (and tato only) (and tato (and tato only) only) n=3: tato (and tato only) (and tato (and tato only) only) (and tato (and tato only) (and tato (and tato only) only) only)

etc.

脚注

参考文献 この記事はパブリックドメインのジャーゴンファイルに部分的に基づきます。 関連項目 RAS症候群 (Redundant Acronym Syndrome syndrome) 自己言及

it:Acronimo#Acronimo ricorsivo