hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
三体問題 問題
第  体の運動方程式は、その位置ベクトルを  、質量を  、時刻を  、重力定数を  、最初の位置ベクトルを  、最初の速度ベクトルを  とするとき、次式により与えられる。
一般三体問題は、これら3本の連立微分方程式を解いて、ベクトル関数 , ,  をそれぞれ , , , , , , , , , ,  を用いて表せ、という問題である。単に「三体問題」と言った場合は、この一般三体問題を指すことが多い。
この系に以下の10個の運動の積分が存在することは、レオンハルト・オイラーの時代までには既に知られていた（ は第  体の速度）。これらの積分はオイラー積分と呼ばれる。
この系の自由度は18であるため、三体問題が求積可能であるためには合計で17個の積分が必要であるが、これら以外の運動の積分は存在せず、積分の数が7個不足している。従って三体問題は求積可能ではない（#求積不可能性節を参照）。
三体問題の解は、ラグランジュ点のような例外を除いて、主に摂動論や数値シミュレーション（N体シミュレーション）などを用いて算出されている。
第三体の質量が第一体および第二体の質量に比べて十分小さいとき（）、第一体および第二体の運動方程式において第三体による重力の寄与を無視することができる。この近似のもとでの三体問題を特に制限三体問題 (restricted three-body problem) と呼ぶ。
三体問題 問題
制限三体問題においては、第一体および第二体の運動はケプラー運動であり、求積可能である。従って、この場合、二体がつくる重力場中を運動する第三体の軌道を求めることが主たる問題となる。
多くの場合に、制限三体問題のうち二体が楕円軌道を描く状況が興味の対象となる。特にその軌道が円軌道 (離心率 ) である場合を円制限三体問題 (circular restricted three-body problem) と呼ぶ。この場合、共動回転系では第一体および第二体が静止して数学的な取り扱いが容易になるため、共動回転系を使って計算されることが多い。この座標系では円制限三体問題の運動方程式は遠心力とコリオリ力を含む次の形を取る。
ここで  を二体運動の軌道長半径として ,  であり、第一体は座標  に、第二体は座標  にあるものとした。また  は  軸単位ベクトルである。円制限三体問題にはヤコビ積分として知られる保存量
が存在する。
なお第一体または第二体の近傍には、その天体の重力が強い影響力をもっている、支配的な領域が存在し、ヒル圏と呼ばれる。
三体問題 制限三体問題の解
円制限三体問題において、共動回転系において第三体が静止することが可能な5つの点をラグランジュ点と呼び、記号 L1, L2, L3, L4, L5 により表される。このうち L1 から L3 の3点は第一体、第二体、第三体が一直線上に並ぶもので、オイラーの直線解として知られる。一方 L4 と L5 は三体が正三角形を描くもので、ジョゼフ＝ルイ・ラグランジュによって1772年に発見された。ラグランジュの正三角形解は一般三体問題の場合にも存在する。
月の運動は主として地球の重力場によるが、太陽の重力もまた無視できない寄与を持つ。月の軌道の理論は三体問題として定式化され、その運動を正確に求めるために詳細に調べられてきた。この理論はアレクシス・クレロー、ジョージ・ウィリアム・ヒル、シャルル＝ウジェーヌ・ドロネー、アーネスト・ウィリアム・ブラウンらの研究によって発展した。
三体問題の解のうち周期解（ある時間  が経過するともとの配位に戻る解）には特に興味が持たれてきた。ジョージ・ヒルは円制限三体問題において（ある近似のもとで）周期解を発見した。アンリ・ポアンカレはヒルの研究に触発されて（回転を除いて）周期的な解が平面制限三体問題に無限に存在することを証明し、これらの解について次のように記述している。
三体問題 制限三体問題の解
D'ailleurs, ce qui nous rend ces solutions périodiques si précieuses, c'est qu'elles sont, pour ainsi dire, la seule brèche par où nous puissions essayer de pénétrer dans une place jusqu'ici réputée inabordable. (これらの周期解が貴重なものであるのは、それがこれまで手が届かないと思われていた場所に至る唯一の突破口になり得るからである) — Henri Poincaré、Les méthodes nouvelles de mécanique céleste, Tome 1, p. 82
三体問題 制限三体問題の解
計算機時代に入ると様々な周期解を数値的に求めることが可能になった。1963年に Richard Arenstorf は現在Arenstorf orbitとして知られる制限三体問題の周期解を数値的に計算した。1967年に Szebehely らはピタゴラス三体問題の研究を通じてひとつの周期解を数値的に構成した。1970年代にはMichel Hénonらによってひとつのパラメータで特徴づけられる周期解の族が発見された（このクラスの解は Broucke-Hadjidemetriou-Hénon family として知られる）。1990年代には三体が単一の閉曲線上を運動する解（例えば8の字を描く「8の字解」）の存在が証明され、注目を集めた。この解のクラスは Carles Simó によって舞踏解 (choreography) と命名され、同様の手法によってn体問題の周期解が多数得られた。
三体問題 解の性質
三体問題の求積可能性は、19世紀末に証明されたブルンスの定理およびポアンカレの定理によって否定的に解決された。
1887年に出版されたブルンスの定理は次のことを主張する。
一般三体問題について、座標 、運動量 、時刻  の代数関数であるような運動の積分でオイラー積分（重心運動、エネルギー、運動量、角運動量）と線型独立であるようなものは存在しない。
この事実は、ただちに三体問題の非可積分性を意味するものではないものの、可能な運動の積分の形について強い制約を課す。1898年にポール・パンルヴェはこの定理を拡張し、運動量に関して代数関数であるような運動の積分はオイラー積分以外に存在しないことを証明した。
アンリ・ポアンカレが1890年の研究報告および1892年の著書で定式化したポアンカレの定理は次のことを主張する。
パラメータ  を持つ近可積分系ハミルトニアン

（ここに  は作用・角変数で、 は  に関して周期  であるものとする）について、 が恒等的にゼロではなく、 の角変数  に関するフーリエ係数のうちゼロでないものが無限個存在するならば、パラメータ  に関してべき級数展開

が可能であるような  について解析的な運動の積分  でハミルトニアン  と独立なものは存在しない。
三体問題 解の性質
特に、制限三体問題は 、かつ  をハミルトニアンと解釈することでこの定理の仮定を満足し、従ってパラメータ  に関して解析的な運動の積分は存在しない。この結果は「三体問題は解析的に解けない」という表現で広く知られている。ただしこれはあくまでパラメータ  に解析的に依存する運動の積分が存在することはないということを主張するだけであって、個々の  の値での非可積分性は定理の主張に含まれない。
その後、20世紀後半から21世紀初めにかけて、ソフィア・コワレフスカヤの特異点解析（これは彼女をコワレフスカヤのコマの発見に導いた）の流れを受ける Ziglin 解析による、あるいは Ziglin 解析に微分ガロア理論を応用する Morales-Ramis 理論による、三体が任意の質量を持つ一般三体問題の非可積分性の証明が得られた。
三体問題 解の性質
n体問題の有限時間  での解  について、それを時刻  を超えて延長できないとき、その点を特異点 (singularity) と呼ぶ。極限  において粒子座標が有限値に収束する場合、これは粒子の衝突を意味するため衝突特異点 (collision singularity) と呼ぶ。一方そうでない場合を非衝突特異点 (non-collision singularity) と呼ぶ。ただし三体問題においては非衝突特異点が存在しないことがポール・パンルヴェによって証明されている（この考察がパンルヴェ予想の出発点となった）。
三体問題 解の性質
三体問題における二体衝突は正則であり適切な座標変換により除去できることがトゥーリオ・レヴィ＝チヴィタやカール・スンドマンの研究によって20世紀前半には明らかになっていた（詳細はレヴィ＝チヴィタ変換を見よ）。一方、三体の同時衝突については Siegel (1941) によって真性特異点であり正則化できないことが示されている。スンドマンは三体衝突が可能であるためには系の全角運動量がゼロでなければならないことを証明した（カール・ワイエルシュトラスはスンドマンより早くこの事実を知っていたが、証明を出版しなかった）。なおスンドマンはこれらの結果をもとに、全角運動量がゼロでない初期値に対して、すべての時刻  で収束する三体問題の無限級数解の存在を、それを実際に構成することにより証明した。ただしこの無限級数解は収束が極めて遅く、このような解の表示から何らかの帰結を引き出すことは実際上不可能であると考えられている。
McGehee は1974年に現在McGehee変数と呼ばれる座標変換を考案し、三体衝突近傍の振る舞いを取り扱うブロー・アップ (blow up) という手法を開発した。この方法はその後の研究でしばしば用いられている。
Chazy (1922) は、三体問題の特異性のない解の  での最終的な振る舞いについて研究し、以下に述べる7パターンのいずれかであると結論した。なおここで添え字 ,  は 1, 2, 3を走り、例えば  は第2体と第3体の距離を表す。
このうち振動運動 (oscillatory motions) については、Chazy は理論的可能性としてこのパターンを指摘したものの、それが実際に三体問題において存在するのかどうかは不明だった。この問題については1960年に Sitnikov が制限三体問題に（現在シトニコフ問題として知られる配位において）振動運動解が存在することを証明し、その後 Alekseev (1968), Saari and Xia (1989) といった研究を経て Xia (1994) が平面三体問題において振動運動解の存在を証明した。
三体問題 天文学への応用
恒星系力学では三体相互作用を通じて連星を形成するチャンネルが存在し、その効果が系全体の進化に影響を及ぼすため重要視されている。一方、近接連星に関して伴星から主星へのガス降着という問題におけるロッシュモデルは円制限三体問題に基づいて構築されている。
2010年代の重力波の直接検出は、ブラックホール連星の実在を証明し、同時にその起源という問題を提示した。三体相互作用はブラックホール連星形成シナリオの重要な要素のひとつとして検討されている。
FORTRAN 77の言語仕様
FORTRAN 77の言語仕様（フォートランななじゅうななのげんごしよう）は、FORTRAN 66とFORTRAN 77の言語仕様と、言語仕様にまつわるエピソードについて解説している。なお、Fortran 90以降の言語仕様については、Fortranの言語仕様を参照のこと。
FORTRAN 77の言語仕様 言語仕様
Fortranの言語仕様は、年代によってかなり変化して来ている。他のプログラミング言語で実装された構造化プログラミングの機能などがどんどん取り入れられて来ているからである。
FORTRAN 66の言語仕様はおおよそ下記のとおり。
プログラムは以下の形式で記述する。もともとパンチカードに書くことを前提としていたので、1行は80文字で構成されていた。行の左端からの文字位置を桁（けた）またはカラムと呼んだ。
もともとのFORTRANは、字句解析の仕組みがCやJavaと大きく異なり、桁位置（行の左端からの文字位置）に依存していた。これを固定プログラム形式という。これは、当時、データの入力にパンチカードを 使用していたためである。1桁目から5桁目が文番号で、6桁目が継続行の指定、7桁目から72桁目に文の本体を記述する。73桁目から80桁目は任意に指定可能な、行を識別するための文字列を記述する領域である。また、文字列定数中以外の空白文字は一切無視されていた。二つ以上の字句を空白無しで続けて書 いたり、逆に一つの字句の途中に空白文字を入れても構わない。
1～5桁目
文番号を書く。1カラム目にCを書くとその行はコメント行になる。
6桁目
継続行であるときはここに任意の文字（空白又は0以外）を書く
7～72桁目
本文を書く
73～80桁目
FORTRAN 77の言語仕様 言語仕様
シーケンシャル番号を書く（行を識別するための番号、本文には影響しない）
物理的に穴を開けるパンチカードのほかに、鉛筆で塗りつぶすマークシート方式も存在した。消しゴムで消せば楽に修正できるわけである。いずれも、カード1枚がプログラム1行に相当する。これらは「FORTRANカード」と呼ばれた。
以下の数を扱える。
以下の変数宣言を扱える。
実行文
代入文
ASSIGN文ASSIGN文で変数に割り当て、次の割当て型GO TO文で割り当てられた文番号にジャンプする。
制御文
FORTRAN 77の言語仕様 言語仕様
単純GO TO文
計算型GO TO文飛び先がリストされていて、その後にある変数の内容を評価し、その値によって飛び先にジャンプする。
割当て型GO TO文ASSIGN文で割り当てられた飛び先にジャンプする。
算術IF文値を評価し、その値がマイナス、0、プラスによって3方向にジャンプする。
論理IF文現在主流のプログラミング言語では、ごく一般的なif文。値の真偽値に基づき、真なら命令文を実行する。
CALL文サブルーチン副プログラムを呼び出す。
RETURN文サブルーチン副プログラムで、呼出し元に戻る。
DO文繰り返しを構成する。制御変数は整数型のみ。
CONTINUE文それ自身では何もしない。通常、DO文の終端を示すのに使われる。
STOP文プログラムの実行を終了する。
PAUSE文プログラムを一旦中止し、コンソール上にメッセージを出す。記述できるメッセージは数字のみ
入出力文
READ文デバイスと書式を指定し、リストされた変数に値を入力する。デバイスは数字。5がカードリーダ入力、6がラインプリンタにあらかじめ指定されていることが多い。書式無しのREAD文もある
WRITE文READ文の逆で、リストされた変数の内容を書式に従って出力する。
補助入出力文
FORTRAN 77の言語仕様 言語仕様
磁気テープ装置の入出力を行いやすくするために使われるのが基本。
REWIND文読み出し又は書き込み位置を装置の先頭に位置づける。
BACKSPACE文一つ前の記録位置に位置づける。
END FILE文ファイルエンドマークを記録する。
宣言文
DIMENSION文配列を定義する。
COMMON文プログラム間での共通領域を定義する。
EQUIVALENCE文ある変数と別の変数を同じ物とみなす。
EXTERNAL文外部手続きであることを宣言する。
型宣言文型宣言文は配列定義も兼ねられる。
INTEGER文
REAL文
DOUBLE PRECISION文
COMPLEX文
LOGICAL文
DATA文
初期データを定義する場合に利用する。
FORMAT文
各種の書式を定義する。
型変換
I変換整数の変換
F変換小数点付きの実数の変換
E変換指数表示の実数の変換
D変換指数表示の倍精度実数の変換
G変換桁数に応じて、EまたはF変換
L変換論理型の変換
H変換桁数指定の文字列の変換。プリンタに出力する場合、行の最初の桁が改行指示となる。
+行送りなし（重ね打ち）
空白1行送り（通常）
02行送り（1行飛ばし）
1改ページ
A変換文字列の変換
副プログラム関連
FUNCTION文
SUBROUTINE文
BLOCK DATA文
以下の関数を扱える。
文関数
FORTRAN 77の言語仕様 言語仕様
そのプログラム内で有効な関数定義を1行で記述する。
組込み関数
組込み関数は、同じ機能でも引数の型と関数の型によって名前が異なる。関数名の先頭がI～Nのものが整数型、Dが倍精度実数型、Cが複素数型、それ以外が実数型である。
絶対値（IABS、ABS、DABS）
切捨て（INT、AINT、DINT）
剰余（MOD、AMOD）
最大値（MAX0、MAX1、AMAX0、AMAX1、DMAX1）
最小値（MIN0、MIN1、AMIN0、AMIN1、DMIN1）
実数化（FLOAT）
整数化（IFIX）
符号の付け替え（ISIGN、SIGN、DSIGN）
超過分（IDIM、DIM）
単精度実数化（SNGL）
倍精度実数化（DBLE）
複素数の実数部（REAL）
複素数の虚数部（AIMAG）
複素数化（CMPLX）
共役複素数（CONJG）
外部関数
あらかじめライブラリとして提供されている関数
関数副プログラム
関数副プログラムは、FUNCTION文で始まるサブルーチンである。
平方根（SQRT、DSQRT、CSQRT）
指数（EXP、DEXP、CEXP）
自然対数（ALOG、DLOG、CLOG）
常用対数（ALOG10、DLOG10）
正弦（SIN、DSIN、CSIN）
余弦（COS、DCOS、CCOS）
逆正接（ATAN、DATAN、ATAN2、DATAN2）
剰余（DMOD）
絶対値（CABS）
FORTRAN 77は、FORTRAN 66に、よりプログラムを書きやすくするための文や、動作の明確化をはかっている。FORTRAN 66でのプログラムはほぼそのまま動くようになっている。以下はFORTRAN 77で追加/変更になった点の概要である。
変数などについて以下の変更が加えられた。
入出力文
入出力文の書式が大幅に強化された。以下のパラメータが利用できるようになった。これらを使うことで、入出力操作の柔軟性が向上した。
UNIT=（装置指定子）
FMT=（書式指定子）
ERR=（誤り指定子）
END=（ファイル終了指定子）
IOSTAT=（入出力状態指定子）
REC=（記録指定子）
補助入出力文に以下の文が追加された
OPEN文
CLOSE文
INQUIRE文
以下の関数が追加された。
FORTRAN 77の言語仕様 FORTRANの言語仕様にまつわるエピソード
FORTRANのプログラムにおいては、とくに型宣言をしない場合、アルファベットI,J,K,L,M,Nのいずれかで始まる変数名で表される変数は整数型（integer）になり、その他のアルファベット（A～H, O～Z）で始まるものは実数型（real）になる。これが「暗黙の型宣言」といわれるFORTRANの文法上の規則である。なお、この命名規則についてBakusは『Iから始まる6文字に決まったのは、みんな添え字にI、J、Kをつかっていたので、(L、M、Nを)気前よく増やした。』と言っている。
FORTRANのプログラムでは、特にループ構造を表すDO構文におけるカウンター変数としてアルファベットI～Nの1文字の変数名が伝統的によく使用されており、プログラミングにおける慣習上の変数命名規則の一つとなっている。i, j,...の1文字変数をインデックス参照などに使われるループカウンタに使うことは、他の多くのプログラミング言語に伝搬したが、プログラミング言語における慣習としてはFORTRANに由来する（数学の総和などでもiを使う慣習があるので、プログラミング言語以外について含めたら、必ずしもFORTRANが元祖とは言い切れない）。
FORTRAN 77の言語仕様 FORTRANの言語仕様にまつわるエピソード
いくつかの観点から、変数には明示的な宣言が必要とされることもある。Fortran 90以降ではIMPLICIT NONE文により暗黙の型宣言を無効にできるようになった。コンパイラのエラーメッセージや警告により暗黙の型宣言に起因するバグの発見が容易になるので積極的に用いるべきである。
FORTRANの「空白は無視する」という言語仕様が招く、コンマとピリオドの打ち間違いがコンパイルエラーにならず、間違ったプログラムになる、という例を説明する。
Cで、次のように書くプログラムの一部があったとする。
これをFORTRAN 66で書くと次のように書ける。
最初の行は、整数型変数Iを1から5まで1ずつ増加させつつ、行ラベル10の行までを繰り返し実行することを表す。行ラベル10のCONTINUE文はループ制御の端末文ではなく、どこにでも置ける「何もしない」機能の文である。
この、DO文のコンマをピリオドに打ち間違えたとする。すると、空白を無視するFORTRAN 66では、この行は、
FORTRAN 77の言語仕様 FORTRANの言語仕様にまつわるエピソード
という、「DO10Iという実数型変数に1.5という実数を代入する代入文」と解釈される。FORTRANでは変数宣言が無い場合、DO10Iは実数型変数を暗黙に示すからである。
この結果、このプログラムは（他のどこからも参照されない）変数DO10Iへの代入とただ1回の「何らかの処理」が実行されるだけとなり、意図した繰り返し処理は起こらない。
C言語などでは、空白文字は字句要素の切れ目として解釈されるため、DO と 10 と Iが結合して一つの字句要素になることはない。
「これが原因でNASAの宇宙ロケットが制御不能になり爆破された」という話が度々語られる。しかしこの話は、1960年代前半のほぼ同時期にあった、二つの異なった事件の混同による、ある種の「都市伝説」である。
要約すると、
DO文によるバグは、1963年、マーキュリー宇宙船の軌道計算ソフトウェアを開発中に、スタッフの一人が計算精度に問題があることに気づいた。コードを調査した結果、「DO 10 I=1.10」という行を発見した。それが原因で、ループにより近似の精度を高めるはずのコードが、ループしないため精度を高めることなく通り過ぎてしまっていた。これを「DO 10 I=1,10」と修正したところ、期待した精度が得られるようになった。
FORTRAN 77の言語仕様 FORTRANの言語仕様にまつわるエピソード
宇宙機の喪失につながった事故は、1962年、金星探査機マリナー1号を打ち上げるアトラスロケットには、Rate SystemおよびTrack Systemと呼ばれる二種類の制御系統が搭載されていた。Rate Systemは搭載型であり、地上型のTrack Systemは前者に対するバックアップとして動作する。1962年7月、マリナー1号の打ち上げ直後に、ロケットのguidanceアンテナは必要な性能を発揮しなくなり、搭載型システムのみに頼ってロケットは制御されることになった。しかし搭載型システムには次のような仕様バグがあった。「このようにプログラムすべき」として指示されていた手書きの数式中の、平均化を示す線（しばしば「ハイフン」と言及されるが、正確にはオーバーライン）が欠落しており、そのため平均化した値を使うべきところでそのままの値が使われ、微妙なタイミング差の平滑化処理に問題があった（プログラム自体は「指示された仕様の通り」正しく書かれていた。指示された仕様が間違っていたのである）。結果として、制御コンピュータは、ロケットが正常に上昇しているにもかかわらず、異常な補正動作をロケットに指示し続け、正常なコースから外れていった。結局、ロケットには破壊指令が送られ自爆し、マリナー1号は大西洋へと沈んだ。
Fortranの言語仕様
Fortranの言語仕様(フォートランのげんごしよう)は、Fortran 90以降の言語仕様について解説している。なお、Fortran 77以前の言語仕様については、FORTRAN 77の言語仕様を参照のこと。
Fortranの言語仕様 言語仕様
Fortran 90以降、Fortran 95、Fortran 2003、Fortran 2008と言語仕様が改定されている。Fortran 95、Fortran 2008はマイナーな改定、Fortran 2003はメジャーな改定である。他のプログラミング言語で実装されたフリーフォーマット、構造化プログラミング、モジュールプログラミング、配列演算、ユーザ定義の総称関数、演算子のオーバーロード、High Performance Fortran、オブジェクト指向、コンカレント・コンピューティングなどの機能が言語仕様の改定により取り入れられている。
Fortran 90には、他の言語にある、モジュラープログラミングを行うためのmodule、use、interfaceなどの文法、配列の動的割り付け、配列同士の四則演算、部分配列と添字配列などが取り入れられた。
Fortran 90では、現在のCのように、桁位置を気にする必要のない、自由プログラム形式（文脈自由文法）で記述できるようになった（FORTRAN 77時代でも処理系によっては自由形式で記述できるものもあった）。予約語が存在しないという特徴は今でも残っている。なお、同様に古くからあるCOBOLでは数百個の予約語があるのが一般的である。
Fortranの言語仕様 言語仕様
変数などについて以下の変更が加えられた。
多くの内部関数は拡張された。一例としてmaxloc 内部関数にdim引数が追加された。
Fortran 90で時代遅れとされた、いくつかの機能はFortran 95から削除された。
Fortran 95への重要な追加は、一般にはAllocatable TRとして知られる、ISO technical report、TR-15581: Enhanced Data Type Facilitiesである。この仕様は、Fortran 2003準拠のFortran コンパイラより前に、ALLOCATABLE アレイの強化した用法を定義した。そのような用法は、プロセジャーのダミー引数リストとしての派生タイプコンポーネントALLOCATABLEアレイと、関数の返し値を含む。ALLOCATABLEアレイは、POINTER-ベース・アレイより好ましいものである。なぜなら、ALLOCATABLE アレイは、スコープから抜けたとき、Fortran 95による自動的なdeallocateを保証しメモリリークの可能性を無くすからである。
Fortranの言語仕様 言語仕様
エイリアシングはarrayの参照において最適化の障害にならず、Fortranコンパイラがポインタ-ベース・アレイより高速なコードを生成することを可能にする。
他の重要なFortran 95への追加は ISO technical report TR-15580: 浮動小数点例外ハンドリングである。一般にはIEEE TRとして知られている、この仕様はIEEE 浮動小数点演算と例外ハンドリングを定義する、
Fortran 2003はメジャーな改訂であり、たくさんの新しい機能を導入した。 Fortran 2003における新しい機能の包括的なサマリーは、Fortran Working Group (WG5)のオフィシャルWebサイトから得ることができる。
この記事から、このバージョンが含む大幅な強化は:
Fortran 2003 への重要な追加は、ISO technical report TR-19767である。
Fortranの言語仕様 言語仕様
Fortranにおけるモジュール機能の強化。このレポートは、submodulesを提供する。これは、FortranのモジュールをよりModula-2のモジュールに近づける。これらは、Adaのプライベート・チャイルド・サブユニットに似ている。これは分離したプログラムユニットとして表現すべきモジュールの仕様と実装を可能にし、大規模なライブラリのパッケージ化を改善し、インターフェース定義を公開しても企業秘密を保持することを可能にし、コンパイレーション・カスケードを防ぐ。
Fortran 95と同様に、これはマイナー・アップグレードである。Fortran 2003の明確化と訂正と共に、新しい特長も導入された。新しい特長は、以下を含む。
ファイナル・ドラフト・スタンダード（FDIS）は、ドキュメントN1830として利用できる
。
Fortran 2008における重要な追加は、ISOテクニカルスペシフィケーション(TS) 29113のFortranにおけるC言語とのより高いインターオペラビリティであり


、2012年5月のISOの承認に向けてまとめられた。C言語の配列へのFortranアクセスに関してタイプとランクを無視する仕様が加えられた。
新潟雪国型メガソーラー発電所
新潟雪国型メガソーラー発電所（にいがたゆきぐにがたメガソーラーはつでんしょ）は、新潟県新潟市東区出光興産（旧昭和シェル石油新潟製油所跡地）敷地内にある太陽光発電所。
新潟雪国型メガソーラー発電所 概要
新潟県がメガソーラー施設を公募し、昭和シェル石油（当時）が応じたことによりプロジェクトが発足。2010年8月31日から運用を開始。総事業費7億円（うち5億7千万円は国・新潟県からの補助）。年間発生電力量は、約100万kw時で、発電した電気は全量、東北電力に売電する。
新潟雪国型メガソーラー発電所 太陽電池
CIS薄膜型の太陽電池12,528枚を並べる。太陽電池は、全て昭和シェル石油の子会社（ソーラーフロンティア、2019年より出光興産の子会社）が製造したモジュールを使用。
新潟雪国型メガソーラー発電所 特徴
一般に、冬季に降雪があり日射量が減少する日本海側では、大規模な太陽光発電所は建設が難しい。そこに敢えて挑戦するという意味で、施設に「雪国型」の名が冠せられている。新潟雪国型メガソーラー発電所では、立地条件（海岸付近は山間部より降雪量が少ない）や発電効率にすぐれた太陽電池を採用する等により、冬季こそ発電量が落ち込むことは避けられないものの、年間を通じて東京都内の施設と遜色のない発電量を確保している。
パティ・キム
パティ・キム(Patti Kim、패티김、1938年2月28日 - )は、韓国ソウル特別市出身の歌手。日本では、ペティ・キムとも表記される。
パティ・キム 経緯
1959年、アメリカ第8軍の舞台から本名で活動を開始する。その後、パティ・ペイジのような歌手になりたいという意味を込めて現在の芸名にする。
自身のヒット曲である「ソウル賛歌 （서울의 찬가）」や「離別 （이별）」の作詞・作曲を行った吉屋潤と結婚するが、後に離婚。
韓国国内のみならず、日本、東南アジア、アメリカなどでも活動する。日本では1969年に「愛するマリア（사랑하는 마리아）」の日本語詞版「サラハヌ・マリア（いとしのマリア）」がヒットした。1989年には、第40回NHK紅白歌合戦に出場、韓国での大ヒット曲で日本でも人気のある「離別（イビョル）」を歌う。
2000年には韓国人歌手として初めてシドニー・オペラハウスの舞台に立った。
2012年に6月から始まるコンサートツアーを最後に引退を表明。一年に渡るコンサートツアー後の2013年10月26日に引退した。
2022年、約10年ぶりにステージ復帰。KBS 2TVの番組『不朽の名曲2～伝説を歌う』に出演した。
吉村流
吉村流（よしむらりゅう）とは、明治初期に吉村ふじによって創設された上方舞の流派である。
吉村流 概説
吉村流は江戸時代末期に京都の御所に出仕した狂言師が始めた御殿舞を源流としている。家元は世襲せず、代々実力のある女性の内弟子が跡を継ぐという独特な伝統があった。
明治初期、京舞山之内流の山之内ふくの門弟だった吉村ふじは、大阪南地の花街・宗右衛門町に移り、地唄舞などの座敷舞を本分とする吉村流を起こした。
二世吉村ゆう、三世吉村雄光と家元を継いだが、第二次世界大戦の空襲でミナミ一帯は焼け野原となり、代々家元に伝わった譜面や振り付けの多くが焼失してしまった。くわえて病気がちになっていた雄光は、5歳のときから家に置いていた内弟子の橋本昇一に流派の将来を託した。
初の男性家元として昇一は四世吉村雄輝を襲名。ストーリー性を重視した新作を振り付けて、わかりやすい上方舞をめざし、一地方の花柳界の芸事だった吉村流の舞を全国的な伝統舞踊の域にまで昇華させた。その業績が認められ、人間国宝に認定、さらに文化功労者にも選ばれたが、直後に急逝した。
吉村流 概説
雄輝の実子が俳優の池畑慎之介 (ピーター) で、幼児の頃から父に厳しく仕込まれていたため、長らく「吉村雄秀」の名取名を持つ才能ある舞踊家だった。雄輝は晩年「慎之介をどうかよろしく」と家元継承を臭わせる発言もしていたが、その父が死去すると池畑は自ら「雄秀」を返上して吉村流とは決別し、実力のある内弟子が家元を継ぐという流派の伝統を守らせた。
その結果内弟子の吉村雄輝夫が五世を継いだが、襲名直後の2000年5月に急逝してしまう。このため翌年弟弟子の吉村輝章が六世を継いで、男性が3代続く形で今日に至っている。
現在は東京を本拠とし、名取は全国に約800人。
ピンク・マルティーニ
ピンク・マティーニ（Pink Martini）は、アメリカ合衆国のジャズアンサンブル。
1994年にオレゴン州ポートランドで、ピアノ担当のトーマス・ローダーデールを中心に結成された（当時はクインテット）。1997年に女性ボーカルのチャイナ・フォーブスが正式加入して12人編成となった（遅くとも2010年の時点では13人編成になっていた）。
日本ではユニバーサルミュージックに所属していた当時は「ピンク・マルティーニ」と表記されていたが、ポニーキャニオンへの移籍後は「ピンク・マティーニ」という表記になっている。
ピンク・マルティーニ 紅白出演
2011年、由紀さおりとのコラボレーション・アルバム『1969』が、米iTunesのジャズチャートで第1位を記録するヒットを飛ばし話題となった。
2012年の大晦日恒例の「第63回NHK紅白歌合戦」（NHK総合・ラジオ第1）に由紀の単独（例年は姉の安田祥子とのデュオでの出場が多かった）での出場が決まった。由紀とピンク・マルティーニとは前述のコラボでの関連もあり、12月31日の本番ではオレゴン州ポートランドに所在するアーリン・シュニッツァー・コンサート・ホールから生中継で、由紀のデビュー曲である『夜明けのスキャット』を伴奏して共演を果たした。
ピンク・マルティーニ ディスコグラフィ
『サンパティーク』 - Sympathique（1997、Wrasse Records）
Amado Mio
No Hay Problema
Sympathique
Qué Será Será
La Soledad
¿Donde Estas, Yolanda?
Andalucía
Song of the Black Lizard
Children of Piraeus (D'après la musique du film : Never on Sunday)
Brazil
Lullaby
『ハング・オン・リトル・トマト』 - Hang on Little Tomato（2004、Wrasse Records）
Let's Never Stop Falling in Love
Anna (El Negro Zumbon)
 Hang on Little Tomato
 The Gardens of Sampson & Beasley 
 Veronique
Dansez-vous
Lilly
Autrefois
ピンク・マルティーニ ディスコグラフィ
『Joy to the World (アルバム)』 （2010、Heinz Records）
White Christmas
White Christmas (part II)
Shchedryk (Carol of the Bells)
Santa Baby
Elohai
Little Drummer Boy
Happy New Year
Do You Hear What I Hear?
La vergine degli angeli
We Three Kings
Snowglobe Christmas
ピンク・マルティーニ ディスコグラフィ
『1969』 (「ピンク・マルティーニ&由紀さおり」名義) （2011、Heinz Records）
夕月 - Yuuzuki (Evening Moon)
真夜中のボサ・ノバ - Mayonaka no Bossa Nova (Midnight Bossa Nova)
さらば夏の日 - Du soleil plein les yeux (Eyes Full Of Sun)
パフ - Puff, The Magic Dragon
いいじゃないの幸せならば - Ii janaino Shiawase naraba (It’s Okay If I’m Happy)
ブルー・ライト・ヨコハマ - Blue Light Yokohama
夜明けのスキャット - Yoake no Scat (Melody For A New Dawn)
マシュ・ケ・ナダ - Mas Que Nada
イズ・ザット・オール・ゼア・イズ? - Is That All There Is?
私もあなたと泣いていい? - Watashi mo Anata to Naite Ii? (Consolation)
わすれたいのに - Wasuretainoni (I Want To Forget You, But...)
ピンク・マルティーニ ディスコグラフィ
季節の足音 - Kisetsu no Ashioto (Footsteps Of The Seasons)
ピンク・マルティーニ ディスコグラフィ
『レトロスペクティヴ』 （2011、Heinz Records）
Una Notte A Napoli (First Recording)
Hang on little tomato
¿Donde Estas Yolanda? (China Forbes Vocal version)
Hey Eugene!
La soledad
Splendor in the Grass
菊千代と申します - Kikuchiyo To Mohshimasu (The Hiroshi Wada Mix)
Anna (el negro zumbon)
Ma Solitude (feat. Georges Moustaki)
Mas Que Nada (feat. Saori Yuki)
Sympathique
Lilly
How Long Will It Last? (feat. Michael Feinstein)
Tuca Tuca
Qué sera sera
Moon River (feat. Gus Van Sant)
Amado mio
The Man With The Big Sombrero
Aspettami (First Recording)
Una Notte A Napoli (DJ Johnny Dynell Remix)
ピンク・マルティーニ ディスコグラフィ
『ゲット・ハッピー』 (2013, Heinz Records)
Ich dich liebe (featuring China Forbes)
Quizás, Quizás, Quizás (featuring Storm Large)
ズンドコ節 - Zundoko-Bushi (featuring Timothy Nishimoto)
Je ne t'aime plus (featuring China Forbes and Philippe Katerine)
Yo te quiero siempre (featuring Ari Shapiro)
I'm Waiting for You (featuring Meow Meow)
Omide zendegani (featuring Storm Large)
Üsküdar'a Gider İken (traditional) (featuring China Forbes)
Până când nu te iubeam (traditional) (featuring Storm Large)
She Was Too Good to Me (featuring Robert Taylor)
Sway (featuring Storm Large)
Kitty Come Home (featuring Rufus Wainwright with the von Trapps)
Get Happy/Happy Days (featurng China Forbes and Rufus Wainwright)
What'll I Do? (featuring China Forbes)
Heliotrope Bouquet (instrumental)
Smile (featuring Phyllis Diller)
『ドリーム・ア・リトル・ドリーム』 (2014, Heinz Records)
Storm
黒ネコのタンゴ - Kuroneko no tango
Dream a Little Dream
Fernando
Hayaldah hachi yafah bagan (The Prettiest Girl in the Kindergarten)
Friend
Die Dorfmusik (The Village Music)
In stiller Nacht (In the Still of the Night)
Le premier bonheur du jour (The first happiness of the day)
Rwanda nziza
Gong Xi
Hushabye Mountain
The Lonely Goatherd (ウェイン・ニュートンとJack Hanna参加)
Edelweiss (featuring Charmian Carr)
Thunder (チーフタンズ参加)
マブラヴシリーズの登場人物
マブラヴシリーズの登場人物では、âge原作の恋愛アドベンチャーゲーム『マブラヴ』、『マブラヴ オルタネイティヴ』及びそのスピンオフ作品である『マブラヴ オルタネイティヴ トータル・イクリプス』や『暁遙かなり』などの登場人物について記述する。
マブラヴシリーズの登場人物 マブラヴ
担当声優は、18禁版 / 全年齢移植版の順に表記。ただし、同じ場合は省略する。
白銀 武（しろがね たける）
声：相庭剛志（幼少期：日高圭） / 保志総一朗（幼少期：笹本優子）
誕生日：12月16日
マブラヴ、及びマブラヴ オルタネイティヴの主人公。白陵柊学園3年生。割と成績も良く、夕呼に目を付けられているという点を除けばそつのない学校生活を送っている。 「バルジャーノン」という対戦型ロボットゲームに夢中で、腕前は上級クラス。
鑑 純夏（かがみ すみか）
声：藤原理加 / 田口宏子
誕生日：7月7日 血液型：O
武の幼馴染で、毎朝起こしにきてくれる。武とは家が隣で、部屋も向かい側であることから、窓越しに会話ができる。性格は極めて明るく、ドジで騙され易い。協調性を重んじるが、武に対してのみお節介で強気。
必殺技は「どりるみるきぃぱんち」で、武を成層圏外まで吹っ飛ばすほどの威力。感情の起伏に合わせてアホ毛が変化する。長い髪を襟足で纏めており、使っている大きな黄色のリボンがトレードマーク。
普段のおっちょこちょいとは裏腹に、毎日欠かさず日記を付けているという一面も持つ。『マブラヴ』本編は彼女の日記から始まる。
UNLIMITED編では戸籍上存在しないという設定であり、本編にも登場しない。
御剣 冥夜（みつるぎ めいや）
声：奥田秋 / 奥島和美
マブラヴシリーズの登場人物 マブラヴ
誕生日：12月16日 血液型：AB
世界的財閥の1つ「御剣財閥」の次期当主であり、突然武の家に転がり込んでくる。
『君が望む永遠』のヒロイン大空寺あゆとは令嬢同士の面識がある描写が見られるが、金持ちという立場を鼻にかけることのない正反対の性格。
無現鬼道流剣術を極め、常に御剣家に伝わる宝刀「皆琉神威（ミナルカムイ）」を帯刀している。侍従の月詠による偏った教育と勘違いのせいで、周囲には天然ボケとして見られる一面もある。反面教養は深く、優秀な頭脳の持ち主。
落ち着いた物腰で動じないなど純夏とは対照的な性格ではあるが、人間性はシンプルで、ある意味似た者同士。その単純明快にして揺るがない姿勢は、後々まで武に大きな影響を与えることになる。
双子の姉がいたが、3歳の頃に事故で亡くなっている。
榊 千鶴（さかき ちづる）
声：高柳香帆 / 倉田雅世
誕生日：5月5日 血液型：A
武のクラスの委員長。生真面目で口うるさくおせっかいだが、周囲の人望は厚い。一方、武の女性関係がだらしないという理由から彼と衝突することが多いほか、一匹狼の慧とは犬猿の仲。元ラクロス部部長で、同じ学年の涼宮茜とはライバルであり親友。
生真面目すぎる性格には、複雑な家庭環境が深く関わっている。
マブラヴシリーズの登場人物 マブラヴ
家事全般をそつなくこなす。足元まで届きそうな長い髪は普段三つ編みに結っているが、私服の時にはおろしていることがある。私服でいるときには眼鏡をかけていないことも。
他者評価
ライターの森瀬繚はアダルトゲーム雑誌「メガストア」に連載したコラムの中で、千鶴のキャラクター性は『To Heart』の保科智子で確立された委員長像の集大成であると評している。
彩峰 慧（あやみね けい）
声：吉野なつき / 永島由子
誕生日：9月27日 血液型：B
武のクラスメイトで、口数が少なくクラスの中でも飛びぬけて変わっている。餌付けと称して武に競争率の高い焼きそばパンをくれる。
高いところが好きで、屋上でサボることが多い。遅刻とサボリの常習犯。反体制的な性格から規律を重んじる千鶴とは馬が合わない。また、千鶴と口論する際に武が出てきたときは彼の後ろに引っ込み、その後ろから千鶴の陰口をたたく。一方で、壬姫とは仲が良い。
運動能力が抜群で、体術にも長ける。意外と手先が器用で、負傷に対する処置も保健委員も真っ青なくらい手際が良い。料理も人並み以上にこなせる模様。「バルジャーノン」についても、武を接近戦で簡単に圧倒するほどの腕前。
焼きそばと焼きそばパンには一家言あり、そのこだわりは尋常ではない。
黒髪をシャギーカットにしている。
珠瀬 壬姫（たませ みき）
マブラヴシリーズの登場人物 マブラヴ
声：北都南 / ひと美
誕生日：2月29日 血液型：A
武のクラスメイトで、無邪気で人懐っこい性格からマスコットのような存在として扱われている。小柄な体格が特徴。
かなりの猫好き。「みんな仲良し主義」で千鶴と慧の争いにいつもハラハラしている。
弓道部所属で実家も弓道場であり相当な実力の持ち主だが、極度のあがり症であるため大会ではいまいち実力を発揮できない。
尻尾とツインテールが大きな特徴だが、これらは感情によって形状が変化する。トレードマークの大きな鈴は夕呼がつけたもの。これらのアイテムは制服時にのみ使っているが、その状態で尻尾が外れるとバランスが崩れてまともに歩けないらしい。
遅刻寸前の駆け込み常習犯のためか、足がものすごく速い。お菓子作りは不得手なようだが料理はできるらしく、重箱に詰めて持ってくる。
鎧衣 尊人（よろい みこと）
声：野中真澄 / 久保田恵
誕生日：4月1日 血液型：O
武のクラスメイトで、ゲーム『バルジャーノン』仲間。マイペースで人の話を聞かない。冒険家の父親に無理矢理拉致され、学校を欠席することが多い。基本的には心優しい美少年。
女子だけでなく男子からの人気も高い。日本文化に異様な程詳しい。
大きめの学生服を着用している。白陵柊には2年生の時に転入してきた。
神宮司 まりも（じんぐうじ まりも）
声：南綾香 / 井上美紀
マブラヴシリーズの登場人物 マブラヴ
誕生日：8月10日 血液型：A
武のクラス担任の英語教師。武たちからは「まりもちゃん」と呼ばれている。優しく面倒見の良い性格をしている反面、やや堅物で融通が利かないところもある。夕呼とは学生時代からの旧知の仲で、行事などで何かある度に巻き込まれ、弱みを握られていく。彼女を攻略することは可能だが、どのルートを進んでもバッドエンドになる。
また酒豪であり、「狂犬」の異名を持つ。白陵大学で数々の男たちを酒の海に沈めてきた。酔った彼女には普段は主導権を握っている夕呼も恐怖を抱く。
香月 夕呼（こうづき ゆうこ）
声：稲葉貴子 / 本井えみ
誕生日：6月8日
物理教師。性格は過激で、面白いことが大好き。かなりの天才だが、学会からは黙殺されている。学生時代からの腐れ縁であるまりもを振り回すことが多い。
愛車はランチア・ストラトス。作中これで純夏を吹き飛ばしたりしたが、まったく悪びれていない。グラウンドをグラベルステージ代わりに使っている。
アナーキーではあるものの、武にとっては良き理解者であり、彼女自身生徒に対する思い入れもあるようである。いささか生真面目で堅いところがあるまりもと比べても、はるかに柔軟な対応力を見せる。
『君が望む永遠』『君がいた季節』の香月モトコ、ミツコの妹でもある。ただ、作中ではモトコを「知り合い」とのみ言っている。
マブラヴシリーズの登場人物 マブラヴ
月詠 真那（つくよみ まな）
声：上田亜紀子 / 星野千寿子
誕生日：1月14日
御剣家の冥夜専属侍従長兼教育係（御剣家御庭番衆筆頭とも）。武に対する冥夜の色仕掛けは彼女の発案によるところが多いものの、本人は男性経験には乏しい。逆上すると人が変わり、丁寧だった口調も、荒々しいものへと変わる。
冥夜のために尽力するが、他人を陥れる様なことは絶対に行わず、正義感が強い。短刀を使わせたら右に出る者はいない程の腕前。
一文字 鷹嘴（いちもんじ たかはし）
声：十文字隼人 / 子安武人
御剣家の御車役（送迎係）。60mものリムジンを手足の様に操る。かつては関東のカリスマ的な走り屋であったが、その当時の腕を見込まれて御車役に就くこととなった。仕事中もノートパソコンを携帯し、日々「送迎最速理論」の研究をしている。名の由来は「大空を舞う俊敏な鷹の嘴たれ」という意味から。周囲の人間は彼の頼みもあって「たかはし」と名前で呼んでいるが、冥夜曰く「全く違和感がない」。
神代 巽（かみよ たつみ）
声：海原エレナ / 氷青
御剣家に仕える月詠直属の侍従。通称「三バカ」の1人。褐色の肌とストレートな毒舌が特徴。
勘違いが多く、はた迷惑なことばかりを引き起こす。武に仕えているという自覚が足りておらず、タメ口で話す事も多い。
マブラヴシリーズの登場人物 マブラヴ
なお巴・戎と連携することで絶技「噴射気流殺」を繰り出すことができるなど、御剣家に仕えるだけの力量は持ち合わせている模様。
巴 雪乃（ともえ ゆきの）
声：宮内裕香 / 笠井律子
御剣家に仕える月詠直属の侍従。通称「三バカ」の1人。真横に尖った茶髪が特徴。
悪巧みによって立場が悪くなると、他の2人から人柱にされる場面も多い。
戎 美凪（えびす みなぎ）
声：まつもとちあき / 阪口あや
御剣家に仕える月詠直属の侍従。通称「三バカ」の1人。お団子頭と金髪の巻き毛が特徴。
おっとりした口調で残酷な事を口走る。
涼宮 茜（すずみや あかね）
声：上原ともみ / 水橋かおり
誕生日：10月20日 血液型：A
香月先生のクラスの生徒。元水泳部部長で委員長。武のクラスの榊千鶴とはライバルであり親友。
前作『君が望む永遠』のメインキャラクターでもある。ゲーム上での関わりも多いが、ある人物のルートでは特に深く関わることになる。
柏木 晴子（かしわぎ はるこ）
声：夏野巳琴 / 松浦チエ
誕生日：10月10日
武のクラスメイトで、元バスケ部のポイントガード。スポーツ推薦枠で大学への推薦が決まっている。
活発でサバサバした性格が好かれ、男性はもとより女性からも人気がある。弟らからはハルーと呼ばれている。また弟たちの影響でゲームなどに詳しい。
石沢 主将（いしざわ しゅしょう）
マブラヴシリーズの登場人物 マブラヴ
声：福島隆志 / 川村拓央
弓道部の主将。元3年F組。
紅蓮 醍三郎（ぐれんだいざぶろう）
冥夜に無現鬼道流を叩き込んだ師匠。
非常に厳格で、常に冥夜の覚悟を問う。戦闘能力も凄まじく高く、冥夜の無茶苦茶な戦闘能力はこの男の修行によるところが大きい。
しかし冥夜の体を見て鼻血を吹き出すなど相当初心な人物。
無現鬼道流の奥義の数々を操るほか、「宇宙乃雷」、「反重力乃嵐」といった我流の必殺技を持っている。
御剣 雷電（みつるぎ らいでん）
御剣財閥の現当主。冥夜の祖父。
その立場に相応しい威厳を持ち、厳格な性格ではあるが、冥夜に対する愛情は深い。初登場時に冥夜に斬られる（無事だったが）。
本編中ではその実力のほどを示すことはないが、「ランブリングエンジェル」では「神乃剛弓」、「神乃怒声」といった必殺技を持っている。
七瀬 凜（ななせ りん）
白陵柊学園2年A組所属。風紀委員。
純粋な意味でのEXTRAの人員ではなく、極めて近い別世界『マブラヴデュエリスト』のキャラクター。『マブラヴ』世界に存在するかは不明。
『ランブリングエンジェル』デュエリストとしては校内屈指の腕前（学年では十指に入る）。武に『ランブリングエンジェル』をレクチャーしてくれる。
超実践主義によって秩序を失った白陵を救うため、たった一人で戦い、その体には大きなダメージが蓄積している。
マブラヴシリーズの登場人物 マブラヴ
兄がおり、ブラコン。兄のためなら盲目的に突っ走る。
柏木 太一（かしわぎ たいち）
柏木晴子の上の弟、中学三年生。
シスコンで妄想癖あり。真田沙希によく吹っ飛ばされている。
柏木 健二（かしわぎ けんじ）
柏木晴子の下の弟で小学生。
カードゲーム好きなどの子供ぽい面がある。
真田 沙希（さなだ さき）
声：沢菜りょう
下記の真田久信の妹でブラコン。
えぐるように太一をよく殴り、飛ばしている。
真田 久信（さなだ ひさのぶ）
男子バスケットボール部の部長で、赤城奈緒とは恋人同士。
さわやか系だが、変態趣味が原因で妹に引かれている。
赤城 奈緒（あかぎ なお）
声：松本奈穂
女子バスケットボール部の部長。
「EXTRA」編で登場している人物は、ほとんどが「UNLIMITED」編にも登場している。言動や態度、性別などが異なる人物もいるが、本質的な性格はほぼ同一と考えられる。
白銀 武
主人公。白陵柊学園3年生。
割と成績も良くそつない学校生活を送っていたが、ある日突然並行世界に入り込み、地球外生命体「BETA」に蹂躙された戦場の中で生きていくこととなる。
マブラヴシリーズの登場人物 マブラヴ
当初は厳しい訓練の中で他のメンバーの足手まといになることが多かったが、元の世界のバルジャーノンで得た経験がこの世界の戦術機の操縦技術においても遺憾なく発揮された結果、戦術機適性は「歴代最高」であり、各自初搭乗の際は嘔吐に備えて袋を渡されるぐらいに乗り心地の悪い戦術機シミュレーター内で眠りかけるほどである。またゲームのクセの抜けきらない操作ログから「先行入力」「キャンセル」などの概念をまりもに説明させられる。「キャンセル」と、（説明させられなかったとはいえ比較的ユニークな機動である）「多段ジャンプ」については、後日の模擬戦において同じチームとなった榊と彩峰にも修得させ、模擬戦を勝利に導く事になる。
Episode11では任官しており、階級は少尉。榊に代わり横浜地区207分隊の分隊長に就任している。
御剣 冥夜
国連太平洋方面第11軍横浜基地衛士訓練学校 第207衛士訓練部隊所属の訓練兵。得意技は抜刀術。帯刀の描写はないが皆琉神威は所持している模様。
「EXTRA」編と比べると一般的な常識を持っており、行動も落ち着いている。物語序盤では「EXTRA」編と違い、武への恋愛感情は持ち合わせていない。 Episode11では任官しており、階級は少尉である。
コミカライズ版のヒロイン。
榊 千鶴
207分隊の訓練兵で分隊長。「EXTRA」編同様、規律・統率を重んじ、指揮能力の高さも窺わせる。