stanford-oval/wikipedia huggingface dataset:
それいけ!アンパンマン よみがえれ バナナ島
それいけ！アンパンマン リズムでてあそび アンパンマンとふしぎなパラソル > 概要

前作『うたって てあそび!アンパンマンともりのたから』に引き続き、観客が一緒にダンスや手遊びを楽しめる作品。
今作では手遊び歌が始まる際に、右下にアンパンマンの顔、または左下にばいきんまんの顔を表示する事で、観客側に手遊びの開始を予告するシステムを取っている。今作以降歌詞テロップは廃止された。
今作以降の同時上映作品では女性タレントに代わり、本シリーズの主題歌を担当しているドリーミングがゲスト声優に起用されている。
それいけ！アンパンマン リズムでてあそび アンパンマンとふしぎなパラソル > あらすじ

いつものようにパトロールをしていたアンパンマンは、お腹を空かせて泣いていたシドロ&モドロと出会う。彼女らは、でんでん一座の舞台でダンスを披露する事になっており練習をしていたのだが、なかなか上達せず自信をなくしていた。
そこで、ジャムおじさんとバタコさんの提案により、歌とダンスの名人であるパラソルパラコさんからダンスを教わる事に。一方、パラコさんの事を知ったドキンちゃんも、彼女にダンスを教わろうとばいきんまん、ホラーマンと共に彼女が住むパラソルランドへと向かう。
パラコさん達と一緒にダンスの練習を続けるシドロとモドロ。しかし、いつまで経っても上達しないあまり落ち込んでその場を立ち去ってしまう。
それいけ！アンパンマン リズムでてあそび アンパンマンとふしぎなパラソル > スタッフ

原作 - やなせたかし (『アンパンマンとシドロアンドモドロ』、フレーベル館刊)
製作 - 岡村秀樹、大島満
プロデューサー - 吉野朋子、久保雄輔、中谷和夫、岩佐直樹、大島由香
脚本 - 米村正二
音楽 - いずみたく、近藤浩章
キャラクターデザイン - 前田実
作画監督・原画 - 赤城由高
美術監督 - 小山田有希
色彩設計 - 平山礼子
撮影監督 - 白尾仁志
編集 - 小宅貴史
音響監督 - 山田知明
音楽監督 - 鈴木清司
音響効果 - 糸川幸良
文芸担当 - 飯沢洋子
担当プロデューサー - 岩崎和義
振り付け - 荒巻シャケ光弘
監督 - 篠原俊哉
製作 - バップ
ゲージ理論

ゲージ理論（ゲージりろん、英語: gauge theory）は、場の理論の分類である。局所変換の際にラグランジアンが不変となる系を扱う。
ゲージ（ものさし、尺度）という用語は、ラグランジアンの冗長な自由度を表している。可能なゲージを変換することをゲージ変換と呼ぶ。ゲージ変換は、リー群を形成し、理論の対称群あるいはゲージ群と呼ばれる。リー群には生成子のリー代数が付随する。それぞれの生成子に対応してゲージ場と呼ばれるベクトル場が導入され、これにより局所変換の下でのラグランジアンの不変性（ゲージ不変性）が保証される。ゲージ場を量子化して得られる粒子はゲージボゾンと呼ばれる。非可換なゲージ群の下でのゲージ理論は、非可換ゲージ理論と呼ばれ、ヤン＝ミルズ理論が代表的である。
物理学における有用な理論の多くは、ある対称性変換群の下で不変なラグランジアンによって記述される。物理的な過程が発生する時空の全ての点において一斉に同一な変換の下で不変であるとき、理論は大域対称性を持つと言う。局所対称性を要求すると、系により強い制約を課すこととなり、この点がゲージ理論の重要な点である。実際、大域対称性は、まさに時空内で固定された対称群のパラメータをもつ局所対称性である。
ゲージ理論は、素粒子を記述する場の理論として成功している。量子電磁気学はU(1)対称性に基づく可換ゲージ理論であり、ゲージボゾンを光子として持つ電磁ポテンシャルがゲージ場である。標準模型は U(1) × SU(2) × SU(3) 対称性に基づく非可換ゲージ理論であり、1つの光子、3つのウィークボソン、および 8つのグルーオンの合計 12 のゲージボゾンを持つ。
ゲージ理論は重力を記述する一般相対論においても重要な役割を持つ。一般相対論の場合は、ゲージ場がテンソル場である。量子重力理論において、このゲージ場を量子化した重力子が存在すると考えられている。
ゲージ対称性は、一般相対論の一般共変性(principle of general covariance)の類似と見なすことができ、そこでの座標系は任意の時空の微分同相の下に自由に選択することができる。ゲージ対称性も微分同相対称性も両方とも、系の自由度の冗長性を反映している。
歴史的には、これらの概念は、初めは古典電磁気学で、そして後に一般相対性理論において考えられていた。しかしながら、以下に詳しく述べるように、ゲージ対称性の現代的な重要性は電子の相対論的量子力学である量子電磁気学において最初に現れた。今日、ゲージ理論は凝縮系物性論、原子核物理学、あるいは高エネルギー物理学の分野で非常に有用である。
歴史

ゲージ変換の自由度を持った最初の理論は電磁気学における、1864年のマクスウェル(James Clerk Maxwell)による電磁場の公式であるが、この概念の重要性は永く気付かれないままであった。この定式化の持つ対称性の重要さは、早期の段階では注目されることがないままであった。ヒルベルト(David Hilbert)も注目することなく、一般座標変換の下の作用の不変性を詳しく調べ、アインシュタイン方程式を導出した。後日、ワイル(Hermann Weyl)が、一般相対論と電磁気学を統一しようと、スケール変換（もしくは、ゲージ変換）の下の不変性が、一般相対論の局所対称性であろうと予想した。量子力学の発展したのち、ワイル、フォック(Vladimir Fock)、ロンドン(Fritz London)が、スカラー要素を複素数値に置き換え、スケール変換を U(1) ゲージ対称性である相(phase)の変更に置き換えることにより、スケール（ゲージ）を変形した。このことが、電荷を帯びた量子力学的な粒子の波動函数として電磁場を説明した。これがヴォルフガング・パウリ(Wolfgang Pauli)により1940年代に広められ、ゲージ理論として広く認識された最初であった。
歴史 > 非可換ゲージ理論

1954年に楊振寧とミルズは核子の強い相互作用を説明するモデルを提唱した。
彼らは、電磁相互作用のU(1)対称性の理論を一般化して、陽子と中性子のアイソスピンSU(2)対称性に基づいた理論を構築した。このモデル自体は実験と整合しなかったが非可換対称性に基づくヤン＝ミルズ理論として多くの理論の原型となった。
このアイデアは後に、弱い相互作用と電磁相互作用を統一する電弱相互作用への応用が見いだされた。さらに、非可換ゲージ理論は漸近的自由性と呼ばれる特徴を再現できることが判明したことで、ゲージ理論はより魅力的なものとなった。漸近的自由性は強い相互作用の重要な特徴であると見なされていた。これにより、強い相互作用のゲージ理論を探求しようという動機が生まれた。この理論は量子色力学と呼ばれ、クォークのカラーSU(3)対称性に基づくゲージ理論である。ゲージ理論は、量子電磁力学 (QED) 、量子色力学 (QCD) およびワインバーグ＝サラム理論の基礎をなしている。さらに、電磁相互作用、弱い相互作用および強い相互作用を統一する標準模型はゲージ理論の言葉で記述されている。
歴史 > 数学におけるゲージ理論

1970年代になって、マイケル・アティヤは古典的ヤン＝ミルズ方程式の数学的解決法の研究を始めた。1983年、アティヤの学生サイモン・ドナルドソンは滑らかな4次元微分可能多様体の分類では、位相同型の違いを除いた分類とは異なっていることを示す方向の研究を進めた。マイケル・フリードマンは、ドナルドソンの研究成果を用いて、エキゾチック R4 の存在、すなわち、4次元ユークリッド空間とは異なるエキゾチックな微分構造（英語版）(Differential structure)が存在することを示した。このことは、ゲージ理論自体が持つ基礎物理学における成功とは独立して、数学的構造に対するゲージ理論への関心を呼び起こした。1994年、エドワード・ウィッテンおよびネーサン・サイバーグは、超対称性に基づいたゲージ理論的テクニックを発見した。ここでの方法はあるトポロジー的不変性の計算を可能とする方法でもある。これら、ゲージ理論からの数学への貢献は、この分野の新たな関心として注目されている。
ゲージ場 > 大域対称性と局所対称性

任意の物理的状況の数学的記述は、通常、過度の自由度を持っている。同一の物理状況は、多くの同値な数学的な構成によりうまく記述される。例えば、ニュートン力学では、2つの構成が互いにガリレイ変換（座標系の慣性変換）により、同一の物理的状況を表している。これらの変換は理論の対称性の群を形成し、物理的状況は個別の数学的構成に対応しているのではなく、この対称群により互いに関連付けられた構成のクラスに対応する。
この考え方を大域的な対称性と同様に局所対称性へ一般化することができる。このことは、全物理系をカバーする「慣性」座標系を選ぶことのないような状況でのより抽象的な「座標変換」であることと似ている。ゲージ理論はこの種類の対称性を持つ数学的モデルであり、モデルの対称性と整合性を持つ物理的な予言をなすことを可能とする一連のテクニックを伴っている。
ゲージ場 > ファイバーバンドルを使った局所対称性の記述

ゲージ理論は、ファイバーバンドルで記述することができる。
さらに複雑な理論の中で物理的状況を充分に記述するため、時空の中で点にラベル付けを与える座標との単純な関係を持たない対象に対して、「座標基底」を導入する必要がある。（数学用語では、点での対象の値を記述するときに使う座標基底からなるベース空間と、その各々の点でファイバーを考えたファイバーバンドルを意味する。）数学的な構成とするためには、各々の点で（ファイバーバンドルの局所切断に限った座標基底を選択し、理論の対象の値を座標を使い表現せねばならない（通常は、物理的意味では場の理論）。ファイバーバンドルと場の理論という 2つの構成は、それらの座標変換（局所切断の変換、ゲージ変換）によって関係し合うとき、等価である（同じ物理状態を記述する）と言う。
大半のゲージ理論では、時空の点の抽象的ゲージ基底の可能な変換は、有限次元のリー群である。最も単純なそのような群は、U(1)であり、現代の定式化では、複素数を使った量子電磁力学 (QED)である。QED は一般に、最初の最も単純な物理的ゲージ理論と考えられている。ゲージ理論が与えられたとき、全体の構成の中で取りうるゲージ変換の集合は、ゲージ群を形成する。ゲージ群の元は時空の点から（有限次元の）リー群への滑らかな函数によりパラメトライズされ、各々の点での函数とその微分の値は、各々の点上のファイバーでのゲージ変換の作用を表す。
時空の各点で定数であるゲージ変換は、幾何学的な座標系のリジッドな回転に似ている。この定数ゲージ変換は、ゲージ表現の大域対称性を表す。リジッドな回転の場合のように、このゲージ変換は、真に局所的な量を表現する方法と同じ方法で、ゲージ独立な量を経路に沿って変更する比率を表現することへ影響する。パラメータが定数函数でないゲージ変換は、局所対称性と呼ばれる。微分を意味する効果と、しない効果とは量的な差異がある。（このことは、コリオリの力として表すことのできる、座標の非惰性的な変換の類似物である。
ゲージ場 > ゲージ場

ゲージ理論の「ゲージ共変」バージョンは、ゲージ場を導入すること（数学のことばでは、エーレスマン接続）と、この接続の観点から共変微分の項で全ての変換の度合いを定式化することにより、この効果を考慮している。ゲージ場は、数学的構成の記述の本質的な部分となっている。ゲージ変換によりゲージ場を除去可能な構成は、場の強さ（英語版）（数学のことばでは、曲率）がどこでも 0 となる性質を持っている。ゲージ場はこれらの構成に限られているわけではない。言い換えると、ゲージ理論の際立った特性は、ゲージ場が単に単純な座標系の選択を償っているだけではないという特性であり、一般にはゲージ場を 0 とするようなゲージ変換は存在しない。
ゲージ理論の力学の解析のとき、物理的状況の記述での他の対象と同様に、ゲージ場は力学変数として扱わねばならない。共変微分を通して他の対象との基本相互作用に加えて、典型的にゲージ場は「自己エネルギー」項の形でエネルギーへ寄与する。ゲージ理論の方程式は次のようにして得ることができる。
ゲージ場がないというナイーブな仮設 (ansatz) より出発する（そこでは、微分が「裸の形」で現れる）。
連続パラメータにより特徴付けられる理論の大域対称性をリストアップする（一般には、回転角と同値である）。
場所により変換することができる対称性パラメータから来る結果の補正項を計算する。
これらの補正項をひとつあるいはそれ以上のゲージ場の結合と解釈し、これらの場の適切な自己エネルギー項と力学的な振る舞いを与える。
このことは、ゲージ理論が大域的対称性を局所対称性へと「拡張」することを意味し、一般相対論として知られている重力のゲージ理論の歴史的な発展と密接に関連する。
ゲージ場 > 物理実験

ゲージ理論は、本質的には次のようにして、物理実験の結果をモデル化することに使われる。
自然界の可能な構成を、実験で設定する情報と整合性を持つ構成へ制限する。
実験で設計された可能な出力の確率分布を計算することは、測ることを設計することである。
「設定情報」と「確率測度の出力」とを数学的に記述すること（大まかには、実験の「境界条件」）は、一般には、ゲージの選択を意味する特殊な座標系を使うことなしに表すことはできない（そうでなければ、ゲージ独立な状態を意味する「外側」の影響から充分に孤立した実験を前提とする）。境界条件でゲージ独立性を誤ると、ゲージ理論の計算でアノマリがしばしば発生するので、ゲージ理論はアノマリを回避するアプローチにより広く分類することができる。[要説明]
ゲージ場 > 連続体の理論

上記の 2つの理論（連続電磁気学と一般相対論）は、連続体の理論の例である。連続体の理論の計算テクニックを暗に前提としている。
完全にゲージの選択を固定すると、個別の構成の境界条件は、原理的には完全に記述することが可能である。
完全にゲージを固定し一連の境界条件が与えられると、最小作用の原理は、これらの境界と整合性を持つ一意な数学的構成（従って一意な物理的状況）を決定する。
測定結果の可能性は次のように決定することができる。
全ての物理的状況の確率分布の確立は、設定情報と整合性を持つ境界条件により決定される。
可能な物理状況の各々の出力測定の確率分布の確立。
設定情報と整合性を持つ出力確率の分布を得るためのこれら 2つの確率分布の畳み込み。
ゲージ固定すると、境界条件の部分的情報の記述のゲージ依存性か、もしくは、理論の不完全性のどちらかのためのアノマリを計算から排除することができる。
これらの前提は充分に閉じられた形を持っているので、エネルギースケールや実験条件の広い範囲を渡って有効であり、光や熱、電気から日食、宇宙旅行と言ったことまでの日常生活の中で出くわす現象の大半について、理論は正確に予言することが可能である。数学的テクニック自体が破れるときである（理論自身の中の省略により）最も小さいスケールと最も大きなスケールのときのみ、理論がうまくいかない（最も有名な場合は、乱流とほかのカオス的な現象）。
ゲージ場 > 場の量子論

これらの「古典的」連続体理論以外に、もっとも広く知られている理論が、量子電磁気学や素粒子物理学の標準模型を含む場の量子論である。場の量子論の出発点は、連続に類似する議論に非常に良く似ている。ゲージ共変な作用積分は、最小作用の原理に従い「可能な」物理的状況を特徴付ける。しかし、連続体の理論と場の量子論は、ゲージ変換により表される大きすぎる自由度をどのように扱うかということにおいて、重要な違いがある。 連続体の理論と教育的に扱われた最も単純な場の量子論は、ゲージ固定（英語版）(gauge fixing)の処方を使い、与えられた物理的状況を表わす数学的構成の軌道を、より小さな群の表す小さな軌道へ還元する。この小さな群は、大域対称群であったり、自明な群であったりする。
より複雑な場の量子論は、特に非アーベル的なゲージ群を持つ場合は、摂動論の枠内で、場（ファデエフ・ポポフゴースト場と、BRST量子化（英語版）(BRST quantization)として知られているアプローチで、アノマリキャンセル（英語版）(anomaly cancellation)に動機を持つ反対項を導入し、ゲージ対称性を破る。これらの問題はある意味非常にテクニカルなことであるが、問題は、観測の性質、物理的状況を知ることの限界、や不完全な特別の実験条件と不完全にしか理解されていない物理理論の間の相互作用といったことと密接に関係している[要出典]。ゲージ理論を扱い易くするために開発された数学的テクニックは、固体物理学や結晶学から低次元トポロジーまで、多くの応用を持っている。
古典ゲージ理論 > 古典電磁気学

歴史的には、最初に発見されたゲージ対称性は、古典電磁気学である。静電気学では、電気的な場 E、もしくは対応する電位 V のどちらもを議論することが可能である。一方が分かれば、定数だけ異なるポテンシャル  V\rightarrow V+C が同じ電場に対応することを除いて、他方も分かる。これは、電場は空間の一点から他の点までのポテンシャルの変化を関連付け、定数 C はポテンシャルの変化を見つけるために引くとキャンセルされるからである。ベクトル解析のことばでは、電場はポテンシャルの勾配  \mathbf {E} =-\nabla V である。静電気学から電磁気学へ一般化すると、第二のポテンシャルであるベクトルポテンシャル（英語版）(vector potential) A を得て、次の式を満たす。
さて、一般ゲージ変換は  V\rightarrow V+C だけでなく、
となる。ここに f は位置と時間に依存する任意の関数である。場はゲージ変換しても変わらないままであり、従って、マックスウェルの方程式はそのまま成立する。すなわち、マックスウェルの方程式はゲージ対称性を持っている。
古典ゲージ理論 > 例：スカラー O(n) ゲージ理論

次の説明は、局所ゲージ不変性が大域対称性の性質から始め、どのようにして発見的に動機付けられることが可能かか、また、どのようにして元は相互作用のないの間に相互作用を導くかを説明する。
質量 m をもつ相互作用を持たない n 個の実数のスカラー場の集まりを考える。この系は、各々のスカラー場  \varphi _{i} の作用の和である作用により記述される。
ラグランジアン密度は、場のベクトル
を導入することにより、
とコンパクトに書くことができる。
項  \partial _{\mu } は、次元 4 のうちの各々で  \Phi  の偏微分についてのアインシュタインの縮約記法を使っている。すると、G が n 次直交群 O(n) に属する定数行列であるときにはいつでも、変換
の下にラグランジアンが不変であることが明らかとなる。 \Phi  の微分は  \Phi  自身へと変換され、両方の量はラグランジアンの中ではドット積で現れる（直交変換はドット積を保存する）ので、ラグランジアンが保存されることが分かる。
この式は、特別なラグランジアンの大域対称性を特徴付け、対称群はゲージ群と呼ばれる。数学用語では、構造群であり、特にG-構造（英語版）(G-structure)の理論と呼ばれる。結局、ネーターの定理は、この変換群の不変性がカレント
の保存を導くことを意味する。ここに行列 Ta は群 SO(n) の生成元である。全ての生成元がカレントを保存する。
さて、このラグランジアンが局所的に O(n)-不変であることを要求することは、行列 G が（最初は、定数であった）、時空の座標 x の函数となるべきと言うことである。
不幸にも、行列 G は G = G(x) （G は x の函数とすると）のとき、微分を「通過」しない（行列と偏微分とが非可換となる）。
G と微分が可換でないことは、（積の法則を保つために）追加項を導入することになり、ラグランジアンの不変性を壊す。これを修正するために、新しい微分作用素を  \Phi  が再び  \Phi  と同一視できるように
として定義する。
この新しい「微分」をゲージ共変（英語版）(gauge covariant derivative)と呼び、
と言う形を取る。
ここに g は相互作用の強さを定義する量であり、結合定数と呼ぶ。簡単な計算の後、ゲージ場 A(x) が次のように変換せねばならないことが分かる。
ゲージ場はリー代数の元であり、
と拡張できる。
従って、リー代数の生成元と同じゲージ場がある。
結局、今では、局所ゲージ不変(locally gauge invariant)ラグランジアン
が得られている。
パウリ(Pauli)は、 \Phi  として場の理論へ適用されたゲージ理論を第一種のゲージ変換と呼び、一方、 A の中で償われる変換を第二種のゲージ変換と呼んだ。
このラグランジアンと元々の大域ゲージ不変(globally gauge-invariant)なラグランジアンとの差異は、相互作用ラグランジアン(interaction Lagrangian)
である。
この項は、局所ゲージ不変性の要求の結果として n 個のスカラー場の間の相互作用を導入することになる。しかしながら、この相互作用を物理的とし完全には任意としないするためには、媒体 A(x) は空間を伝搬する必要がある。次のセクションでは、もうひとつの別な項  {\mathcal {L}}_{\mathrm {gf} } をラグランジアンへ導入することで扱われる。古典場理論を得るような量子化のバージョンでは、ゲージ場 A(x) の量子は、ゲージボゾンと呼ばれる。量子場理論の相互作用多グランジアンの解釈は、これらのゲージボゾンの交換によって相互作用するスカラーボゾンである。
古典ゲージ理論 > ゲージ場のヤン・ミルズラグランジアン

→詳細は「ヤン＝ミルズ理論」を参照
前のセクションでの古典ゲージ理論の描像は、ほぼ完全ではあるが、共変微分 D の定義するために、全ての時空の点でゲージ場  A(x) の値を知らねばならないという問題がある。この場の値を手で(manually)で特定する代わりに、場の方程式としてこれを与えることができる。さらに、この場の方程式を生成するラグランジアンも同じように局所ゲージ不変であることを要求すると、ゲージ場のラグランジアンの取りうる形は、
として表すことができる。ここでは、
であり、トレースは場のベクトル空間上にとることとする。これをヤン・ミルズ作用(Yang–Mills action)と呼ぶ。他にもゲージ不変な作用は存在している（例えば、非線型電磁気学、ボルン・インフェルト作用（英語版）(Born–Infeld action)、チャーン・サイモンズモデル、テータ項(theta term)など）。
このラグランジアンの項の中には、 A の一つと均衡を保つ変換をもつような場が存在しないことに注意します。この項のゲージ変換の下での不変性は、前提的に古典（幾何学的）対称性です。この対称性は量子化を遂行するために制限される必要があり、この過程はゲージ固定（英語版）(gauge fixing)ですが、制限した後でもゲージ変換は可能である。
そこで、ゲージ理論の完全なラグランジアンは
となる。
古典ゲージ理論 > 電磁気学の例

前のセクションで示した定式化の単純な応用として、電子の場だけがある電磁気学の場合を考える。裸の骨だけの（最も中心となる）電子の場であるディラック方程式を生成する作用は、
である。
この系の大域対称性は、
である。
このゲージ群は U(1) であり、まさに定数 θ を持つ場の相（絶対値 1 の複素数値を角度で表したフェーズ）である。
この対称性を「局所化」することは、θ を θ(x) で置き換えることを意味する。適切な共変微分は、
となる。
「電荷」 e を普通の電荷(electric charge)（ゲージ理論の用語の使い方の原型）を同一視し、ゲージ場 A(x) を電磁場の 4元ベクトルポテンシャルと同一視すると、相互作用ラグランジアンは、
となる。ここに  J^{\mu }(x) は、通常の 4元ベクトルの電気的カレンド密度である。従って、ゲージ原理は、電子の場へ電磁場のいわゆる最小結合（英語版）(minimal coupling)を導入することを意味する。
ちょうど電磁気学のように場の強さのテンソルへゲージ場  A_{\mu }(x) のラグランジアンを加えることにより、量子電磁気学の出発点として使われるラグランジアン
を得る。ディラック方程式、マックスウェルの方程式、量子電磁気学も参照。
数学的定式化

ゲージ理論は、普通、微分幾何学の言葉で議論される。数学的には、ゲージは主バンドルの（局所）切断を選ぶことである。ゲージ変換とは、まさにそのような 2つの切断の間の変換のことである。
ゲージ理論は（第一に高エネルギー物理学者たちにより主要に研究された）接続の研究により支配されるにもかかわらず、接続のアイデアは一般にはゲージ理論の中心ではない。実際、一般的なゲージ理論は、ゲージ変換のアフィン表現（英語版）(affine representation)（つまり、アフィン加群が、ある性質を満たすジェットバンドル（英語版）(jet bundle)の切断として分類されることを示している。（物理学者は第一種のゲージ変換と呼んでいる）点での共変変換であるような表現が存在して、（物理学者が第二種のゲージ変換と呼んでいるアフィン表現）接続形式としての変換と BF理論の B場のようなより一般的な表現である。さらに一般的な非線型表現（英語版）(nonlinear representations)もあるが、極度に複雑である。未だ、非線型シグマモデルは非線型に変換するので、これへの応用がある。
主バンドル P のファイバーバンドルの構造群がリー群であれば、P の切断はゲージ変換群の主等質空間（英語版）(principal homogeneous space)を形成する。
数学的定式化 > 接続による定式化

接続（ゲージ接続）は、主バンドルを定義するので、各々の随伴ベクトルバンドル（英語版）(associated vector bundle)では共変微分 ∇ が存在する。局所座標（切断の局所基底）を選択すると、この共変微分は物理学ではゲージポテンシャルと呼ばれるリー代数に値を持つ 1-形式である接続形式 A により表現される。これは確かに本質的でないが座標に依存した量である。曲率形式 F はリー代数に値を持つ 2-形式である曲率形式から構成される本質的な量で、
である。ここに d は外微分であり、 \wedge  はウェッジ積である。（ \mathbf {A}  は、生成子  T^{a} によってはられるベクトル空間の元であり、よって、 \mathbf {A}  の成分は互いに可換ではない。従って、ウェッジ積  \mathbf {A} \wedge \mathbf {A}  は 0 とならない。）
無限小ゲージ変換はリー代数を形成し、スカラー ε に値を持つ滑らかなリー代数により特徴付けられる。そのような無限小ゲージ変換の下に、
となる。ここに  [\cdot ,\cdot ] はリーブラケットである。
素晴らしいことがあり、 \delta _{\varepsilon }X=\varepsilon X であれば、
 \delta _{\varepsilon }DX=\varepsilon DX である。ここに D は共変微分
である。
また、 \delta _{\varepsilon }\mathbf {F} =\varepsilon \mathbf {F}  である。このことは、 \mathbf {F}  が共変に変換することを意味する。
全てではないが、一般に、ゲージ変換は無限小ゲージ変換により生成される。例として、底空間が多様体からリー群への写像が非自明である写像のホモトピー類が非自明であるようなコンパクト多様体である。例えば、インスタントン（英語版）(instanton)を参照。
数学的定式化 > ヤン・ミルズ作用

ここで、ヤン・ミルズ作用(Yang–Mills action)は
により与えられる。ここに * はホッジ双対を表し、積分は微分形式を使い微分幾何学的に定義される。
ゲージ不変量（すなわち、ゲージ変換の下に不変である量）は、次の式のように、任意の閉じた経路 γ で定義されるウィルソンループである。
ここに χ は複素表現 ρ の指標であり、 {\mathcal {P}} は経路の向きづけられた作用素を表す。
ゲージ場の量子化

→詳細は「(Quantum gauge theory)」を参照
ゲージ理論は、場の量子論に適用される方法の特別化により量子化することが可能である。しかし、ゲージ固定(gauge constraint)による微妙な点があるので（上の数学的定式化のパラグラフを参照）、他の場の理論では発生し得ない問題の解決に多くの技術的な問題がある。と同時に、ゲージ理論の豊富な構造により、簡単に計算することができる量になることもあり、例えば、ウォード・高橋の恒等式は、もうひとつ別な繰り込み定数の定義に結び付いている。
ゲージ場の量子化 > 方法と目的

最初に量子化されたゲージ理論は量子電磁力学(QED)であった。最初の方法は、ゲージ固定し、それから正準量子化へ適用するという方法であった。グプタ・ブロイラー（英語版）(Gupta–Bleuler)の方法も、この問題を扱うために開発された。非可換ゲージ理論は、今では、多くの方法により扱われている。量子化の方法は、量子化の記事で記述されている。
量子化の主要な点は、理論で記述されている様々な過程の確率振幅(probability amplitude)を計算することを可能とすることである。テクニカルには、確率振幅は真空期待値のある相関函数の計算である。このことは理論の繰り込みを含んでいる。
理論の結合定数が充分に小さいとき、求めるべき量の全ては摂動論により計算することができる。量子化のスキームはそのような計算（正準量子化）の単純化を意図していて、摂動量子化スキームと言われることもある。現在は、これらの方法のからゲージ理論の詳細な実験検証の大半が導かれる。
しかしながら、ほとんどのゲージ理論では、多くの興味のある量は非摂動的である。この問題に適合する（格子ゲージ理論のような）量子化スキームは、非摂動的量子化スキームと呼ばれる。このスキームの詳細な計算は、スーパーコンピュータを必要とし、他のスキームよりもうまく開発されているとは言えない。
ゲージ場の量子化 > アノマリ

古典理論の対称性のうちのいくつかは、量子理論では保たれないことが分かる。この現象をアノマリと言う。知られているもの列挙すると、
スケールアノマリ（英語版）(scale anomaly)、このアノマリは結合定数をもたらす。量子電磁力学(QED)では、ランダウの極（英語版）(Landau pole)の現象をもたらす。量子色力学(QCD)では、漸近自由性をもたらす。
カイラルアノマリ（英語版）(chiral anomaly)、フェルミオンのあるカイラル場やベクトル場でのアノマリである。このアノマリはインスタントン（英語版）(instanton)の考え方を通して、トポロジーと密接な関係を持っている。量子電磁力学では、このアノマリはパイ中間子の 2個の光子への崩壊を引き起す。
ゲージアノマリ（英語版）(gauge anomaly)、全ての整合性のある物理理論でキャンセルされるべきアノマリである。電弱理論では、このキャンセルは、クォークとレプトンの数が等しいことを要求する。
大域対称性

物理学で、大域対称性(global symmetry)とは、点から点への移動により変換する局所対称性とは対照的に、時空の全ての点で保たれる対称性である。
大域対称性は、力ではなく、保存則を要求する。
大域対称性 > 例

大域対称性の例としては、( \theta  を定数としたときに、大域的変換となる)ディラックのラグランジアン：
への群  U(1)=e^{iq\theta } の作用がある。
この変換の下では波動函数は、 \psi \rightarrow e^{iq\theta }\psi  and  {\bar {\psi }}\rightarrow e^{-iq\theta }{\bar {\psi }} として変換し、
となる。
局所対称性

物理学では、局所対称性(local symmetry)とは、滑らかな基礎多様体上の点によって、何らかの物理量の対称性を持つことである。そのような量の例は、理論の観測可能量、テンソル、ラグランジアンである。この意味で対称性が局所的ならば、局所ゲージ変換を適用することができる。局所ゲージ変換は、対称群の表現が多様体上の函数であり、従って時空の異なる点では異なって作用するように取ることができることを意味する。
微分同相群は、定義により局所対称性であり、全ての幾何学的、より一般には共変な理論（すなわち、一般相対論のように、理論の方程式がテンソル方程式となる）は局所対称性を持つ。
局所対称性という言葉は、特にヤン・ミルズ理論では局所ゲージ対称性と結び付いている（標準模型も参照）。そこでは、ラグランジアンがあるコンパクトリー群の下に局所的に対称である。局所ゲージ対称性は光子やグルオンのようなボゾンのゲージ場を持っている。局所対称性は、常に保存則に加えて、力を導く。
局所対称性 > 例

一般相対論は重力を生成すると考えられる局所対称性を持っている（一般共変性(general covariance)、微分同相。 特殊相対論は大域対称性しかもたない（ローレンツ対称性、あるいはより一般的にポアンカレ対称性）。
素粒子物理学では、多くの大域対称性（例：アイソスピンの対称性のSU(2)）と、局所対称性（例：弱い相互作用のSU(2)）がある。素粒子物理学の標準模型はヤン・ミルズ理論から構成される。
超重力理論の対称群は局所対称性であり、一方、超対称性は大域対称性である。
ゲージボゾンを通して相互作用するスカラーボゾンのファインマン・ダイアグラム
木津武士

木津 武士（きづ たけし、1988年7月15日 - ）は、日本のラグビー選手。
プロフィール

大阪府東大阪市出身。
身長183cm、体重115kg
日本代表通算キャップ数は44。
ポジションはフッカー(HO)。
ニックネームはたけし。
来歴

小学校・中学校時代は相撲に打ち込んでいた。中学校2年生の時にラグビー部の顧問に誘われ、助っ人としてラグビー部に入部し、近畿中学校総合体育大会ラグビーフットボールの部で優勝した。その後、東海大学付属仰星高等学校に入学。東海大仰星高校時代は第86回全国高等学校ラグビーフットボール大会で優勝を経験。その後東海大学に進み、3年の時に、第46回全国大学選手権で準優勝、4年時となる第47回の同大会でもベスト4をそれぞれ経験。なお東海大学時代の同級生にはリーチマイケル、三上正貴、森川海斗らがいる。
2009年11月21日、リポビタンDチャレンジ2009第2戦の対カナダ戦で、日本代表における初キャップを獲得した。
2011年、神戸製鋼にプロ契約で加入。同年11月13日に行われたジャパンラグビートップリーグ第3節の宗像サニックスブルース戦に途中出場で公式戦初出場を果たす。 2015年、ラグビーワールドカップ2015の日本代表に選出された。また同年12月にはスーパーラグビーの日本チームサンウルブズの2016年スコッドに入った。
2018年、日野レッドドルフィンズに加入。
2023年3月31日、5年所属した日野レッドドルフィンズからの退団を発表した。
2023年8月1日、自身のSNSで現役引退を発表した。
2024年3月、トップイーストリーグAグループに所属しているAZ-COM丸和MOMOTARO'Sにプレイングコーチとして加入、現役復帰することが発表された。
トップをねらえ!

| --- | --- |
: この項目では、1988年に制作されたOVAについて説明しています。 スピンオフとなるメディアミックス作品群については「トップをねらえ! NeXT GENERATION」をご覧ください。  2004年に製作された続編OVAおよび劇場版については「トップをねらえ2!」をご覧ください。
| トップをねらえ! | トップをねらえ! |  |
| --- | --- | --- |
| ジャンル | ロボットアニメ、SFアニメ |  |
| OVA：トップをねらえ! | OVA：トップをねらえ! |  |
| 原作 | 岡田斗司夫 |  |
| 監督 | 庵野秀明 |  |
| 脚本 | 岡田斗司夫（山賀博之） 庵野秀明 |  |
| キャラクターデザイン | 窪岡俊之、美樹本晴彦（キャラクター原案） |  |
| メカニックデザイン | 宮武一貴 |  |
| 音楽 | 田中公平 |  |
| アニメーション制作 | GAINAX |  |
| 製作 | バンダイ、ビクター音楽産業 |  |
| 発表期間 | 1988年10月7日 - 1989年7月7日 |  |
| 話数 | 全6話 |  |
| 映画：トップをねらえ! | 映画：トップをねらえ! |  |
| 監督 | 庵野秀明 |  |
| 制作 | GAINAX |  |
| 封切日 | 1989年6月10日 |  |
| 上映時間 | 170分 |  |
| その他 | テアトル池袋単館での全6話特別ロードショー |  |
| 映画：トップをねらえ!&トップをねらえ2! 合体劇場版 | 映画：トップをねらえ!&トップをねらえ2! 合体劇場版 |  |
| 配給 | バンダイビジュアル |  |
| 封切日 | 2006年10月1日 |  |
| 上映時間 | トップをねらえ! 劇場版：95分 トップをねらえ2! 劇場版：95分 |  |
| その他 | 全6話の再編集版 |  |
| 映画：トップをねらえ! OVA前編 / OVA後編 | 映画：トップをねらえ! OVA前編 / OVA後編 |  |
| 配給 | バンダイナムコアーツ（2020年公開版） バンダイナムコフィルムワークス（35周年記念） |  |
| 封切日 | 2020年11月27日 2023年5月26日（35周年記念） |  |
| 上映時間 | 前編（1話～4話）：104分 後編（5～6話）：56分 |  |
| その他 | 2ch オリジナル音声 |  |
| テンプレート - ノート | テンプレート - ノート |  |
| プロジェクト | アニメ |  |
| ポータル | アニメ |  |
『トップをねらえ!』（Aim for the Top! GunBuster）は、1988年から1989年にかけて、ガイナックスにより1話30分、全6話のOVAとして製作・販売されたSFロボットアニメである。第21回（1990年度）星雲賞メディア部門受賞。キャッチフレーズは「炎の熱血友情ハードSF宇宙科学勇気根性努力セクシー無敵ロボットスペクタクル大河ロマン!!!!!」。
概要

庵野秀明初監督作品。本作品は『王立宇宙軍 オネアミスの翼』だけを制作して解散するはずのガイナックスが興行不振により生まれた借金を返済するために制作された。地味な作風でアニメファンへ受けが悪かった同作の反省を踏まえ、本作ではキャラクター原案に当時『超時空要塞マクロス』などの美少女キャラクターで人気のあった美樹本晴彦を起用、そのタイトルに見られるようにアニメ『エースをねらえ!』や映画『トップガン』を始めとする往年の作品のパロディ的な構成とし、昭和時代のアニメ・特撮作品に対するオマージュを盛り込むなど、一転して明るくとっつきやすい作風となった。
本作はパロディを中心に始まりつつも、次第にシリアスな内容になっていく物語構造を持ち、ジョー・ホールドマンのSF小説『終りなき戦い』から着想を得て、「ウラシマ効果」を積極的にストーリーに取り入れるなど、根底には重厚なSF描写や細かい科学設定がある。最終回の第6話はほぼ白黒で、作品題名とラストシーンにごくわずかな着色があるのみ（リマスター版収録のノートリミング版に至ってはその部分も白黒になっている）。ラストは企画段階ですでに構想されており、庵野と岡田は「これならいける」という確信があったという。
企画立案の際、岡田のコンセプトは「作り手がやりたいSF・女の子・メカをそのまま出すのではなく、1万本売れる様に、1万円払った人が満足できるビデオを作る」を提示し、そこに庵野は「もし岡本喜八がアニメーションを監督したらどうなるか?」というテーマを持ち込んだ。そこから「しゃべる人間の顔を必ず映す」「キャラクターがあまり動かずに、切り返しを多くする」「ロケとセットもきっちり分けて、セットは今あるものの中に小道具スタッフが作ったものがポンとあるだけ」という表現を多用した。それはセル画の枚数をかけずに面白く見せるために開発した手法でもあった。
家庭用ビデオデッキの普及を背景に「バブル育ち」と形容されるようなOVA作品が数多く作られた1980年代にあって、映像やドラマ性を重視した本作は「OVAの金字塔」とも形容された。ビデオ1巻につき2話収録。1巻あたりの制作費は2500万円。1巻あたり3万本を販売。VHS、ベータマックス、LD、VHD、ビデオCDの5方式にて各全3巻リリースされている。
発売当時の宣伝などでは主人公タカヤ・ノリコとその声優である日髙のり子、オープニングテーマ『アクティブ・ハート』・エンディングテーマ『トライAgain…!』を歌っているアイドル歌手酒井法子のトリプルノリコを売りにしていた。岡田によれば、当初は酒井にノリコ役を依頼しようと検討されていたという。
なお、登場人物の名前はスタッフやガイナックス関係者に近しい人々の名前から取られているものが多く、主人公のタカヤ・ノリコは当作品の美術スタッフ・高屋法子から。オオタ・コウイチロウは岡田斗司夫の友人である漫画家・みんだ☆なお（眠田直）の本名 からなどである。
まず岡田斗司夫が企画を立ち上げてプロットを書き、それを元に山賀博之が脚本を書き上げた。岡田斗司夫名義にした理由について山賀は「小さい下請け仕事を、山賀の次回作という形で世間に出すわけにはいかない」「脚本をまとめた僕としては、“脚本：岡田斗司夫”というクレジットは匿名脚本家としての共同ペンネームのつもりでした」 と語っており、共同ペンネームとして当時ガイナックスの代表だった岡田斗司夫の名前が使われた。4話以降は半分以上が庵野によって書き直された。
ストーリー

人類が宇宙に進出するようになった21世紀初頭、人類は「宇宙怪獣」と通称される正体不明の宇宙生物群 (STMC) の脅威にさらされていた。その脅威に打ち勝つため、地球はマシーン兵器の最強型決戦兵器であるバスターマシン「ガンバスター」の建造を進めていた。
宇宙怪獣との遭遇で消息不明となった「るくしおん」艦隊艦長タカヤ・ユウゾウの娘タカヤ・ノリコは、沖縄に所在する宇宙パイロット養成学校、沖縄女子宇宙高等学校に通い、父を探しにゆくことを夢見て宇宙パイロットを目指していた。しかし、ノリコはずば抜けた体力だけが唯一の取り柄でマシーン兵器の操縦はからっきしな劣等生だった。彼女の特別な才能を見出したコーチことオオタ・コウイチロウによる厳しい特訓や、同級生による嫉妬やいじめ、憧れの「お姉様」であるアマノ・カズミとの交流といった経験を経て、自信の持てない落ちこぼれであったノリコは努力や根性によってその才能を開花させていく。そして学校の卒業を待たずしてパイロット候補生となり、戦場である宇宙へと旅立つことになる。
ライバルとなるユング・フロイトとの出会いや、ウラシマ効果で遭難直後の姿のまま漂流していた父の乗艦との遭遇といった出来事を挟みつつも、物語は宇宙怪獣との戦いへと移っていく。ノリコの未熟さを懸念したカズミからコンビ解消を言い渡されたショックを引きずっていたノリコは、ひょんなことから親しくなった男性パイロット、スミス・トーレンと心を通わせ新たにパートナー同士となるが、スミスは「リーフ64会戦」の戦闘で帰らぬ人となる。初めての戦闘で何もできないままスミスを失った失意とトラウマで戦えなくなったノリコをよそに、宇宙怪獣に太陽系への侵入を許したことにより始まった「火星沖会戦」の戦況は絶望的なものとなっていく。共に戦うカズミやユングも追い詰められていくが、辛うじて迷いを振り切ったノリコは未完成の状態にあった人類側の切り札ガンバスターに搭乗して出撃、死闘の末に不利な戦況を覆し宇宙怪獣に一矢報いることに成功する。
ノリコとカズミは人類の未来を担うガンバスターの正式なパイロットとして「太陽系絶対防衛戦」など二人一組での戦いを続けていく。ウラシマ効果でずれていく地球との時間差を織り込みつつ、宇宙で戦うカズミと宇宙放射線病に冒されたコーチとの恋愛模様や苦悩も描かれる。やがて宇宙怪獣の殲滅を決意した人類は、宇宙怪獣の本拠地である銀河系の中心いて座A*をブラックホール爆弾「バスターマシン3号」を用いて丸ごと消滅させる「カルネアデス計画」を実行する。太陽系絶対防衛戦後にコーチと結ばれ、沖女のコーチとなっていたカズミも15年のブランクを経て最終決戦に志願し、バスターマシン3号と共に遅れて出立。カズミは先行していたエルトリウム内でノリコと久方ぶりの再会を果たし、共に最後の任務に臨む。
地球人類の存亡を賭けた最終決戦において、人類側は大破・轟沈1,700隻、中破4,500隻、未帰還機28,800機の多大な犠牲を払いつつバスターマシン3号の爆縮開始までの時間を稼ぐが、宇宙怪獣の攻撃により傷ついたバスターマシン3号は質量不足に陥り、爆縮は失敗してしまう。ノリコはバスターマシン1号の縮退炉を誘爆させてバスターマシン3号の爆縮を再起動する事を提案し、タシロ艦長の了承を得ぬまま単身バスターマシン3号に突撃する。バスターマシン2号に搭乗するカズミはバスターマシン1号との強制合体を行い、ノリコと共にガンバスターにてバスターマシン3号内に侵入する。ユングも二人の後を追いバスターマシン3号内に突入するが、ノリコとカズミに説得され、地球に戻った二人に「おかえりなさい」と歓待する事を約束し、バスターマシン3号を後にする。ガンバスターの縮退炉により再起動したバスターマシン3号の爆縮により生じたブラックホールに、ノリコとカズミは巻き込まれてしまう。事象の地平面をかろうじて振り切るものの、超重力の影響により地球では既に12,000年もの膨大な月日が流れ去っていた。明かりのない地球を目の当たりにした二人は人類の存続を半ば絶望視するが、まもなく地球の表面には永劫の時を超えて帰還した英雄を歓迎するためのメッセージ「オカエリナサイ」が映し出された。二人は歓喜の涙と共に損壊したガンバスターに別れを告げ、地球へと降下していった。
兵器 > 宇宙戦艦

人類の外宇宙進出以前の第二次日米戦争で日本が経済力と超科学兵器の活躍によって勝利し、地球帝国を建国したという背景設定があるため、公用語は日本語が使用され、艦内インテリアやデータ表示はほぼ日本風で統一されている。ヱクセリヲン艦内の交通手段として鉄道が走っており、それも日本の国電を模したものとなっている。もっとも、ヱクセリヲンの艦名は英語で表記されており（ただし、英語表記の下に日本語表記もされている）、ヱルトリウム時代になると艦内の表記も英語のものが増えていることが確認できる。
兵器 > 宇宙軍艦隊（巡洋艦、艦載機など）

これらの他にも名称不明の艦艇が数種類登場している。
科学講座用語

『トップをねらえ!』の世界に設定された科学講座にでてくる用語。以下は科学講座及び『サイバーコミックスNO05』（バンダイ出版課、1988年（昭和63年）12月25日 ISBN 978-4891890018）、『トップをねらえ2!』公式サイト上に掲載されている『トップをねらえ2!大百科』を出典とする。
トップ世界の太陽系

『トップをねらえ!』の世界では第9番惑星の冥王星より外側に4つの惑星と太陽の伴星「ねめしす」が発見されている。
|  | 10 | 11 | 12 | 13 |
| --- | --- | --- | --- | --- |
| 名称 | 魔王星 Lucifer | 智王星 Metis | 神無月星 Kamnatukisei | 雷王星 Jupiter2 |
軌道要素
| 軌道半長径 (a) | 45.306 AU | 89.609 AU | 97.997 AU | 281.72 AU |
| 離心率 (e) | 0.021 | 0.042 | 0.025 | 0.448 |
| 公転周期 (P) | 666.00年 （逆行） | 744.44年 | 856.78年 | 5659.8年 |
| 衛星の数 | 3 | 0 | 1 | 0 |
物理的性質
| 直径 | 764,700 km | 14,864 km | 3,444 km | 164,200 km |
| 質量 | 154,200 （地球=1） | 1.347 | 0.073 | 427.11 |
| 平均密度 | 1.97 | 4.2 | 5.0 | 1.2 |
| 赤道重力 | 16.819 G | 0.97 G | 0.077 G | 2.66 G |
| 自転周期 | 1.875日 | 2.838日 | 21.622日 | 98.100日 |
第5話の「太陽系絶対防衛戦」における雷王星軌道付近でのエクセリヲンの自沈によって、魔王星と智王星は軌道を外れ、雷王星も構成物質の9割を失った。また木星はバスターマシン3号（ブラックホール爆弾）の中心核として使われ、やはり消滅した。なお、『トップをねらえ2!』の時代では別の天体等が「木星」と新11番惑星になっている。
その他

最終話はほぼ全編がモノクロとなっているが、この理由は長径869km、短径415kmという巨大なサイズのバスターマシン3号が登場するなど、ストーリーの規模が大きすぎるためにカラー映像だとリアリティが出ないことから、モノクロにして質感を消すことでリアリティを担保するため。更に当時の庵野秀明は特撮映画から邦画の方へ傾倒していたため、モノクロにすることで昔の邦画のようなテイストになるのではないかと思ったためと庵野は語っている。エンディングのみカラーのバージョンもある。
最終話で登場する片仮名のキーワードが一文字だけ逆さ文字なのは、特定の文字文化が衰退してしまい、その時点で解読が困難だったからという設定。グレートアトラクター編によると主人公の帰還後急いでいたために間違えたとなっている。
スタッフ

製作 - 早川忠継、生明俊雄
企画 - 鵜之沢伸、仙田勇、岡田斗司夫
原作・脚本 - 岡田斗司夫
監督 - 庵野秀明
絵コンテ・設定 - 樋口真嗣、庵野秀明
キャラクター原案 - 美樹本晴彦
メカニックデザイン - 宮武一貴（スタジオぬえ）
ロボットデザイン - 大畑晃一
アニメーションキャラクター・総作画監督 - 窪岡俊之
作画監督 - 森山雄治、貞本義行
美術監督 - 菊地正典、佐々木洋
撮影監督 - 沖野雅英、渡辺英俊
音響監督 - 山田悦司（オリジナル版） / なかのとおる（5.1ch版）
色彩設定 - 飯塚智久（劇場版）
演出 - 増尾昭一
編集 - 森田清次、坂本雅紀、片山理恵
音楽 - 田中公平
選曲 - 合田豊
効果 - 倉橋静男（東洋音響→サウンドボックス）
プロデューサー - 高梨実、佐々木史朗、井上博明
オープニングアニメ - 摩砂雪
エンディングイラストレーション - 前田真宏
メインタイトルデザイン - むらかみゆたか（アートミック）
音響制作 - 東北新社
音楽制作 - ビクター音楽産業
音楽制作協力 - サンミュージック、イマジン、アッポサウンドプロジェクト
制作担当 - 村濱章司、榎本歩光
制作進行 - 鈴木高明
宣伝協力 - ゼネラルプロダクツ
制作 - ガイナックス
制作協力 - ファンタジア
製作 - バンダイ、ビクター音楽産業
各話リスト

| 収録巻 | 話数 | サブタイトル | 脚本 | 絵コンテ | 演出 | 作画監督 |
| --- | --- | --- | --- | --- | --- | --- |
| VOL.1 | 第一話 | ショック！ 私とお姉様がパイロット!? | 岡田斗司夫（山賀博之） | 樋口真嗣 庵野秀明 | 増尾昭一 | 窪岡俊之 |
| VOL.1 | 第二話 | 不敵！ 天才少女の挑戦!! | 岡田斗司夫（山賀博之） | 樋口真嗣 庵野秀明 | 増尾昭一 | 森山雄治 |
| VOL.2 | 第三話 | 初めてのときめき☆初めての出撃 | 岡田斗司夫（山賀博之） | 樋口真嗣 庵野秀明 | 増尾昭一 | 森山雄治 |
| VOL.2 | 第四話 | 発進!! 未完の最終兵器！ | 岡田斗司夫（山賀博之） | 樋口真嗣 庵野秀明 | 増尾昭一 | 窪岡俊之 |
| VOL.3 | 第五話 | お願い!! 愛に時間を！ | 岡田斗司夫（山賀博之） 庵野秀明 | 樋口真嗣 庵野秀明 | 増尾昭一 | 貞本義行 |
| VOL.3 | 最終話 | 果てし無き、流れのはてに… | 岡田斗司夫（山賀博之） 庵野秀明 | 樋口真嗣 庵野秀明 | 増尾昭一 | 貞本義行 |
CDおよびPS2ゲームにある設定上のサブタイトル。
| 話数 | サブタイトル | 備考 |
| --- | --- | --- |
| 第◯話 | トップをねらえ！前夜祭 |  |
| 第一話 | ショック！私とお姉様がパイロット!? | OVA第一話 |
| 第二話 | 不敵！天才少女の挑戦 | OVA第二話 |
| 第三話 | 特訓！竜巻ビアンキの謎 |  |
| 第四話 | 夕陽の対決！決めろイナズマ反転キック!! |  |
| 第五話 | エクセリオン発進！銀河中心への挑戦 |  |
| 第六話 | 連続ワープ!!危機を呼ぶドップラー・ボウ |  |
| 第七話 | 絶体絶命！中性子星は地獄星 |  |
| 第八話 | 蒼いほうき星のエチュード |  |
| 第九話 | 初めてのときめき☆初めての出撃 | OVA第三話 |
| 第十話 | 必死の逃亡！魔のスターバースト現象!! |  |
| 第十一話 | なぜだ!?ユングの裏切り!! |  |
| 第十二話 | クエーサーより愛をこめて | 欠番 |
| 第十三話 | ＴＯＰ全滅!?恐怖のエーテル生命 |  |
| 第十四話 | 発進!!未完の最終兵器 | OVA第四話 |
| 第十五話 | エクセリオン・レポート（総集編） |  |
| 第十六話 | 廃艦!?さらばエクセリオンよ…… |  |
| 第十七話 | お願い!!愛に時間を！ | OVA第五話 |
| 第十八話 | 発動！起死回生カルネアデス計画 |  |
| 第十九話 | 激ファイト!!ガンバスター対ガンバスター |  |
| 第二十話 | 捨身の攻撃！飛ばせバスターホームラン!! |  |
| 第二十一話 | 対決!!銀河系最後の日!? |  |
| 第二十二話 | 遂に来た！銀河中心波高し |  |
| 第二十三話 | 決断!!敵絶対防衛線突入！ |  |
| 第二十四話 | 死闘！星屑の彼方へ…… |  |
| 第二十五話 | 果てしなき流れの果てに | OVA最終話 |
映像特典 > 科学講座

本編第1-4話までの各話の最後に収録のミニコーナー。後述の追加エピソードの関係でソフトによって収録話の構成が異なっている。
| 話数 | サブタイトル |
| --- | --- |
第一回: エーテル宇宙
第二回: 星虹（スターボウ）とウラシマ効果
第3回: 超光速航法 「ワープ」について
第4回: 凶悪宇宙怪獣の巻
映像特典 > 新科学講座

LD-BOX『オカエリナサイBOX』に収録された映像特典。鶴巻和哉第1回監督作品。
監督・絵コンテ・演出・原画 - 鶴巻和哉
脚本 - 鶴巻和哉、庵野秀明
音楽 - 田中公平
音響 - 庵野秀明
製作 - バンダイビジュアル、ビクターエンタテインメント
制作 - ガイナックス
声の出演 - 日髙のり子、佐々間レイ、若本規夫
| 話数 | サブタイトル |
| --- | --- |
第4+1回: 宇宙船の歴史
最終回: 真・太陽系