ゲイ・アンセム（英語: gay anthem）、またはLGBTアンセム（英語: LGBT anthem）は、LGBTコミュニティ（特にゲイ男性）において広くの間で好まれている歌を指す言葉。これらの歌詞には奇異の眼差しに立ち向かう希望や、尊厳、連帯、逆境からの反発といった要素が際立っているものが特に多い。ゲイ・アンセムは、ジュディ・ガーランドの「オーバー・ザ・レインボウ」をもっとも初期のルーツとしている。音楽ジャーナル「ポピュラー・ミュージック」によると、ゲイ・アンセムとして最もよく知られている曲は、グロリア・ゲイナーの「アイ・ウィル・サバイブ」（邦題：恋のサバイバル）である 。さらにダイアナ・ロスの「アイム・カミング・アウト」も、よく知られたゲイ・アンセムである。イギリスのLGBT権利慈善団体ストーンウォールは、LGBTの人々の為の2000年代の最も有力な歌として、クリスティーナ・アギレラの「ビューティフル」を挙げており 、エルトン・ジョンもそれが「アイ・ウィル・サバイブ」に代わる秀でたゲイ・アンセムになるだろうと予測している。他に有名なゲイ・アンセムとして、ヴィレッジ・ピープルの「YMCA」、「マッチョ・マン」、「イン・ザ・ネイビー」、「ゴー・ウエスト」、シルヴェスターの「ドウ・ユー・ワナ・ファンク」、ABBAの「ダンシング・クイーン」、マドンナの「ヴォーグ」、レディー・ガガの「ボーン・ディス・ウェイ」などがある。あまり有名ではないゲイ・アンセムとしては、パニック・アット・ザ・ディスコの「ガールズ/ガールズ/ボーイズ」、ヘイリー・キヨコの「ガールズ・ライク・ガールズ」、マックルモアーの「セイム・ラブ」、ケイティ・ペリーの「ファイアーワーク」などがある。
この曲により、ビルボードチャートにおいて、J-POPチャート週間1位とK-POPチャート週間1位を両方初めて獲得したアーティストとなった（日本の「Bo Peep Bo Peep」と韓国の「Cry Cry」が1位）。これは、ビルボードK-POPチャートが直前に開設された比較的新しいチャートであるためである。
他の活動が重なり、スケジュールがかなりの過密状態となった。まず、大手新聞社系の総合編成チャンネルの誕生により歌番組が増えている。さらに日本語版「yayaya」の発売時期と重なり、日本の歌番組などへ出演するために日本にいることが多かった。それらに加え、バラエティーのレギュラーと、主役を演じたドラマの収録があった。そのため全員がそろって出演した歌番組は少なくなっている。
冬によく似合う情緒的なバラード曲である、「Cry Cry　バラードバージョン」と、それをダンスに合わせた通常版の「Cry Cry」があり、これが歌番組で披露されるバージョンである。前曲の楽しいダンス曲と正反対のタイプの落ち着いた雰囲気となっている。ダンスはハンカチを組み合わせたスローテンポなもので、ヒョミンの杖を使ったダンスと、途中のメロディーが転調する部分でジャケットを大胆に脱ぐのが特徴的である。
1970年代終り頃、日本では通産省の電子技術総合研究所の淵一博を中心とするグループが論理プログラミングの重要性を認識して、日本のコンピュータ技術の基礎技術としてこれを取り上げることを提案する。これが最終的に1980年代の新世代コンピュータ技術開発機構の発足と活動につながった。総額約570億円の国家予算を約束されて1982年に新世代コンピュータ技術開発機構（ICOT）は活動を開始する。Prolog を含む論理型言語はこの研究の核言語と位置づけられ世界的な注目を浴びることとなる。約10年間の研究活動中に Prolog と論理プログラミングの研究は急激に深化した。実際1980年からの20年間に Prolog をメインテーマにした日本語の書籍は約50冊発刊された。ICOT の研究員は積極的に Prolog の啓蒙に努め、講習会、チュートリアル、ワークショップを年に一度ならず開催した。ICOT が主催したロジック・プログラミング・コンファレンスは1983〜1985年頃をピークに若い研究者達を刺激した。研究活動前半の期間では論理型言語の実用性を証明するために、Prologマシンが設計され、三菱電機と沖電気によって製作され、ICOT の他大学等研究機関に配布された。この個人用逐次推論マシン PSI の機械語 KL0 は単一化やバックトラックなど Prolog の基本的特徴を完全に備えていた。この KL0 によって、PSI のマイクロコードを制御した。KL0 を基礎として、オペレーティングシステム SIMPOS が設計され、これを記述するために、Prolog にオブジェクト指向プログラミングを取り入れた ESPが近山隆により設計されて使われた。ESPは多重継承を特徴とする当時としては先鋭のオブジェクト指向言語であったが、後にカプセル化の不備などが指摘されて、今日あまり話題となることはない。しかし、OSを記述するという課題を通じて、論理型言語にオブジェクト指向言語的要素を加えることによって、可読性が高まりプログラム管理がしやすくなることが確認された。その反面、Prolog のみでオペレーティングシステムを完全に記述してみる絶好の機会を逸したことも確かである。ESPはPSIを前提にせずに利用できるように、C言語で書き直したCESPが開発されたが、これが普及への起爆剤になることはなかった。後に述べるように、PrologのISO標準規格のモジュール仕様としてESPの採用が否決された1995-6年頃以降はほとんど利用されることはなくなった。ここまで述べたように、Prologは ICOT によって持ち上げられた言語 Prolog との印象が強いが、Prolog というプログラミング言語から見ての ICOT の影響は実は限定的だった。淵所長ら ICOT の主研究テーマは並列論理型言語にあり、研究後半では Prolog そのものからは離れて行くことになる。PSI に使用した電子基盤を利用して並列推論マシン PIM が製作されて、Guarded Horn Clauses（GHC）に基づく並列演算処理を追加した KL1 が設計された。この環境に依存する形で、並列論理プログラム言語のKL1は知識プログラミング全般の研究に利用された。PSI と SIMPOS を使った研究も続けられはしたが、割り当てられた研究員の数は極めて少なかった。ICOT の活動を総括して、知識プログラミング各課題において準備不足からくる未消化を指摘する向きが強いのだが、こと Prolog から見ての前半期の活動は、今日語られることも少ないが、極めて充実したものであったといえる。ICOT の活動盛期の1984年京都大学の学生3名が研究課題として製作した Prolog-KABA がその性能の高さとアセンブラで記述されたことからくる高速性で世界を驚かせた。この処理系は MS-DOS 上で製品化されて Prolog の普及に大きく貢献した。Successful pop や末尾再帰の最適化など高い安定した性能で黎明期のパソコン上のビジネスソフトの基礎言語としての展開も期待されたが、16ビットの整数しか持たず、浮動小数点数も扱えない仕様であったため、この分野への展開は起こらなかった。この点はアセンブラで記述されて簡単には拡張できない点が裏目に出た。結果としてこの仕様の乏しさが、日本のビジネスソフトが知識プログラミングの水準との間に横たわる分水嶺を越えることができなかった原因の一つとなった。