stanford-oval/wikipedia huggingface dataset:
Arthur–Merlinプロトコル
概要

Arthur–Merlinプロトコルは、ArthurとMerlinがやりとりをして、与えられた問題を解く(受理する/拒否する)ようなプロトコルである。他の対話証明プロトコルと用語を合わせるため、以降、Arthurを検証者(Verifier)、Merlinを証明者(Prover)と呼ぶ。検証者は、確率的多項式時間で動く標準的なコンピュータであり、証明者は事実上無限の計算能力を持つオラクルである。ただし、証明者は質問に対し必ずしも正直に答えるわけではなく、検証者は回答をよく吟味しなければならない。このような状況下において、問題の答えが"Yes"ならば検証者が受理する確率が少なくとも2/3あり、答えが"No"ならば受理する確率が高々1/3となるようなプロトコルがArthur–Merlinプロトコルである。
Arthur–Merlinプロトコルの特徴的な点は、検証者の使う乱数(コイン)は公開と設定される所にある。プロトコルでは、検証者からの「質問(クエリ)」は、自身が動作するために使用する乱数のみを送る。よって、無限の計算能力がある証明者は、回答を受け取った検証者がどのように振る舞うのかを完璧に知ることができる。使うコインを秘密にした対話証明であるIPと対比できるが、能力にほぼ差がないことが知られている。
最初、どちらから情報を渡すかによって区別し、検証者から証明者への通信で始まるプロトコルをAMプロトコル、証明者から検証者への通信で始まるプロトコルをMAプロトコルと呼ぶ。通信がk回のAMプロトコルを持つ言語のクラス(あるいはMAプロトコルを持つ言語のクラス)をAM[k](あるいはMA[k])で表す。ただし、単にAM(あるいはMA)と言った場合、定数回moveのAM[const](あるいはMA[1])を表す。また、AM=AM[2]であることが知られているため、AMを2-moveのAMプロトコルを持つ言語のクラスとして扱うこともある。
その他の複雑性クラスとの関係は、
 \mathbf {BPP} \subseteq \exists \cdot \mathbf {BPP} \subseteq \mathbf {MA} \subseteq \mathbf {AM} =\mathbf {BP} \cdot \mathbf {NP} \subseteq \Pi _{2}^{p}
であることが知られている。この内、分離( \mathbf {C} \not \subseteq \mathbf {D} を示すこと)は難しく、逆の包含関係も証明されていない。一方で、AMとBP・NPの関係は、単なる定義の言い換えに留まらない。そもそもBabaiのAM導入の動機は、PとBPPの関係の如くNPを拡張できないかという点にあり、検証者が決定的に振る舞うNPに対して、AMは確率的に振る舞う。
定義

他の確率的な複雑性クラスにも言えることだが、定義に現れる2/3や1/3と言った数字に大きな意味はない。複数回行うことによって、確率増幅が可能であるから1/2より有意に大きい(あるいは小さい)ことが重要である。
定義 > 対話証明としての定義

証明者(Prover, P)を無限の計算能力を持つチューリングマシン、検証者(Verifier, V)を確率的多項式時間チューリングマシンとする。PとVは互いに通信可能であり、P→Vの通信と、V→Pの通信をそれぞれ1-moveと数え、合わせて1ラウンドの対話と呼ぶ。Vは自分の持つランダムテープによって挙動が確率的となるが、このテープをV→Pの通信の際に送る。PとVは同一の入力xに対して、k-moveの通信後、Vが受理(accept)したとき、チューリングマシンのペア(P,V)(x)はxを受理するとする。次の条件を満たすとき、言語Lに対するAM[k](V→Pから始めた場合。P→Vから始めた場合はMA[k])対話プロトコルを構成しているといい、言語LはAM[k](あるいはMA[k])に属する。
(完全性 completeness) x\in Lならば、 \Pr((P,V)(x){\mbox{ accepts}})\geq 2/3
(健全性 soundness) x\not \in Lならば、 \forall P^{*}\Pr((P^{*},V)(x){\mbox{ accepts}})\leq 1/3
定義 > AM

ある言語Lが複雑性クラスAM(=AM[2])に属するとき、次を満たす。ただし、M(・)は決定的多項式時間チューリングマシン、p(・)、q(・)は多項式を表す。
(完全性 completeness) x\in Lならば、 \Pr _{r\in \{0,1\}^{q(|x|)}}(\exists w\in \{0,1\}^{p(|x|)}\,M(x,w,r)=1)\geq 2/3
(健全性 soundness) x\not \in Lならば、 \Pr _{r\in \{0,1\}^{q(|x|)}}(\forall w\in \{0,1\}^{p(|x|)}\,M(x,w,r)=1)\leq 1/3
あるいは、次のようにしてもよい。
ある決定的チューリングマシンが存在し、次を満たす。
答えがYesならば、どんな乱数rを選んでも、証拠wが存在し、少なくとも2/3以上の確率で受理する。
答えがNoならば、どんな乱数r、証拠wでも、1/3以下の確率でしか受理しない。
定義 > MA

ある言語Lが複雑性クラスMA(=MA[1])に属するとき、次を満たす。ただし、M(・)は決定的多項式時間チューリングマシン、p(・)、q(・)は多項式を表す。
(完全性 completeness) x\in Lならば、 \exists w\in \{0,1\}^{p(|x|)}\,\Pr _{r\in \{0,1\}^{q(|x|)}}(M(x,w,r)=1)\geq 2/3
(健全性 soundness) x\not \in Lならば、 \forall w\in \{0,1\}^{p(|x|)}\,\Pr _{r\in \{0,1\}^{q(|x|)}}(M(x,w,r)=1)\leq 1/3
AMと同様に言い換える。
ある確率的チューリングマシンが存在し、次を満たす。
答えがYesならば、少なくとも2/3以上の確率で受理する証拠wが存在する。
答えがNoならば、どんな証拠wでも、1/3以下の確率でしか受理しない。
定義 > 定義に関する補足

AMとMAの違いは、乱数を証明者が知ることができるか否かである。AMの場合、乱数が明らかになってから証拠を探すことができる(もはや証明者から見ると、確率的な挙動をしない)が、MAの場合は、検証者がどのように動くのか、証明者は知らない状態で、証拠を提示しなければならない。
また、健全性の定義は、
\forall w\in \{0,1\}^{p(|x|)}\,\Pr _{r\in \{0,1\}^{q(|x|)}}(M(x,w,r)=0)\geq 2/3
等としても同じことである。
定義 > 派生するクラス

複雑性クラス一般に、補問題のクラスを定義できる。AMもまた、co-AMというクラスを考えることができる。形式的には次のように表される。
\mathbf {co{\text{-}}AM} =\{{\bar {L}}|L\in \mathbf {AM} \}
AM=co-AMかは知られていないが、2つのクラスは異なっていると予想されている。
絶対完全性(perfect completeness)は、確率1で完全性が満たされることであり、これを満たす言語のクラスを \mathbf {AM} ^{pc}と書くことにする。一方、絶対健全性(perfect soundness)は、確率1で健全性が満たされることであり、これを満たす言語のクラスを \mathbf {AM} _{ps}と書くことにする。AM及びAM[poly]は、絶対完全性の条件を課しても不変である。つまり、
\mathbf {AM} ^{pc}=\mathbf {AM}
\mathbf {AM} [{\text{poly}}]^{pc}=\mathbf {AM} [{\text{poly}}]
が成り立つ。一方で、
\mathbf {AM} [{\text{poly}}]_{ps}=\mathbf {NP}
である。
AMに属する問題

グラフ非同型問題(Graph Non-Isomorphism problem, GNI)は、2つのグラフ G_{0},G_{1}が与えられたとき、同型でないことを判定する問題である。GNIは、AMに属する。具体的なAMプロトコルを構成するよりも、IP[const]プロトコルを構成した方が分かりやすい。
検証者はランダムに b\in \{0,1\}、 \pi \in {S_{n}}を選び、 \pi (G_{b})を証明者に送る。
証明者は、 \pi (G_{b})=G_{\tilde {b}}となるような {\tilde {b}}\in \{0,1\}を検証者に送る。
検証者は、 {\tilde {b}}=bならば受理し、そうでなければ拒否する。
上記のプロトコルは、IP[const]プロトコルである。2つのグラフが非同型のとき検証者は必ず受理し、同型のときどんな証明者でも検証者は1/2の確率で拒否する。
性質

定数回moveのAM[const]及びMA[const]は、すべてAM[2]に潰れる。つまり、任意の定数k≧2に対して次が成り立つ。
AM[2]=AM[k]=MA[k+1]
以上の性質より、定数回moveのAM[const]を単にAM、MA[1](及びMA[2])を単にMAと表すことする。
また、周辺のクラスとの関係について次が知られている。
\mathbf {NP} \cup \mathbf {BPP} \subseteq \mathbf {MA} \subseteq \mathbf {AM} \subseteq {\Pi _{2}^{p}}
特に、 \mathbf {AM} \subseteq {\Pi _{2}^{p}}は、Schöning (1989)によって定義された、任意のクラス {\mathcal {C}}に対するクラス \mathbf {BP} \cdot {\mathcal {C}}を使うことによって、任意のk≧1に対して
\mathbf {BP} \cdot \Sigma _{k}^{p}\subseteq \Pi _{k+1}^{p}
\mathbf {BP} \cdot \Pi _{k}^{p}\subseteq \Sigma _{k+1}^{p}
と一般化できる( \mathbf {AM} \subseteq {\Pi _{2}^{p}}はk=1のケース)。従って、 \mathbf {co{\text{-}}AM} \subseteq \Sigma _{2}^{p}である。
MAが \exists \cdot \mathbf {BPP} を包含することは明らかだが、逆は知られていない。MAの場合は、 x\in Lならばあるwが存在して、Pr[M(x,w,r)=1]≧2/3を満たす多項式時間チューリングマシンM(x,w,r)が存在すればよい。対して、 \exists \cdot \mathbf {BPP} は、 x\in Lならば、あるwが存在して、確率的多項式時間チューリングマシンM(x,w)が受理しなければならない(BPPは、任意の入力に対して高い確率で受理するかあるいは拒否するかが決まっていなければならない)。ここでは、(x,w)が入力であるから、任意のw'についても(意味があるかないかに関わらず)Pr[M(x,w',r)=1]は高いか低いかのどちらかであり、例えば1/2となることはない。
一方、IPとの関係では、任意のkについて
\mathbf {IP} [k]\subseteq \mathbf {AM} [k+2]
である。本来の定義上の差違は、公開コインを使うか否かという点であったが、実はほぼ差はなかったと言える。表記に統一性がないが、慣行上定数回の対話証明プロトコルを持つ言語はAM、多項式回の対話証明プロトコルを持つ言語はIPに属するという分け方をする。つまり、
IP = AM[poly]
AM = IP[const]
とする。
ゼロ知識対話証明との関係について、Fortnow (1987)が、 \mathbf {SZK} \subseteq \mathbf {co{\text{-}}AM} を示した。さらに、Aiello & Håstad (1991)は、 \mathbf {SZK} \subseteq \mathbf {AM} を示した。2つの結果を合わせると、
\mathbf {SZK} \subseteq \mathbf {AM} \cap \mathbf {co{\text{-}}AM}
となる。
性質 > 多項式階層との関係

Boppana, Håstad & Zachos (1987)は次を示した。
\mathbf {co{\text{-}}NP} \subseteq \mathbf {AM} \Rightarrow \mathbf {PH} \subseteq \mathbf {AM}
一般に多項式階層は崩壊しないと考えられているので、co-NPがAMに包含されていないだろうと考えられている。また、別証明としてSchöning (1988)も知られている。
一般化すると、k≧1について \Pi _{k}^{p}\subseteq \mathbf {BP} \cdot \Sigma _{k}^{p}(あるいは \Sigma _{k}^{p}\subseteq \mathbf {BP} \cdot \Pi _{k}^{p})ならば、 \mathbf {PH} =\mathbf {BP} \cdot \Sigma _{k}^{p}=\mathbf {BP} \cdot \Pi _{k}^{p}である。
性質 > 還元

\mathbf {AM} \cap \mathbf {co{\text{-}}AM} は多項式時間チューリング還元(Cook還元)で閉じている。つまり、
\leq _{T}^{P}(\mathbf {AM} \cap \mathbf {co{\text{-}}AM} )=\mathbf {AM} \cap \mathbf {co{\text{-}}AM}
である。
奥村和一

奥村 和一（おくむら わいち、1924年7月25日 - 2011年5月25日）は、元日本兵、敗戦後も中国山西省に残留し、ドキュメント映画「蟻の兵隊」の主人公である。
プロフィール

新潟県生まれ。早稲田大学専門部商科在学中の1944年に徴兵され、北支派遣軍第1軍独立混成第3旅団に配属。
中国山西省寧武で停戦を迎えるが、上官から残留を命じられ、国民党側の日本軍部隊員として人民解放軍と戦闘を続行したが1948年に人民解放軍の捕虜となり、1954年帰国。
当時の厚生省は、残留兵を「志願兵」とみなして「現地除隊扱い」とし、原則として恩給等を補償しないという姿勢であり2005年には本件で最高裁判所に上告したが敗訴している。仮に日本政府がこれを軍命による残留と認めると、ポツダム宣言に定める日本軍の武装解除に違反することになるとされる。
2011年5月25日、胆嚢癌のため死去。
岩淵功

岩淵 功（いわぶち いさお、1933年11月17日 - 2003年4月16日）は、栃木県出身のサッカー選手。ポジションはFW。娘婿は元プロ野球選手の吉村禎章。
経歴

栃木県立宇都宮高等学校3年次の1950年には小沢通宏と共に全国高等学校蹴球選手権大会（全国高等学校サッカー選手権大会の前身）で優勝。卒業後には慶應義塾大学文学部に進学し体育会ソッカー部に入部。慶應BRB（現役、OBの混成チーム）の一員として1954年、1956年の全日本サッカー選手権大会 （天皇杯全日本サッカー選手権大会の前身）優勝に貢献した。
大学卒業後は東京トヨタ自動車に入社したが、勤務先でサッカー部活動を行ったかは不明。
また1955年に松永碩、加納孝らと共に東京クラブに加入。同年の第1回都市対抗選手権優勝、翌1956年も大会連覇に貢献した。
日本代表としても1955年1月のビルマ遠征で代表デビューを飾り、翌1956年6月3日に行われたメルボルンオリンピック予選、対韓国戦では77分に2点目の得点を決めるなど、予選突破に貢献。同年11月27日に行われた本大会のオーストラリア戦にもスタメン出場を果たした。その後も1958年アジア競技大会に出場するなど国際Aマッチ6試合に出場し、2得点を記録した。
2003年4月16日、癌性腹膜炎により死去した。
所属クラブ

栃木県立宇都宮高等学校
慶應義塾大学/慶應BRB
東京クラブ
代表歴 > 出場大会

1956 メルボルンオリンピック
1958 アジア競技大会
代表歴 > 試合数

国際Aマッチ 6試合 2得点(1955-1958)
| 日本代表> 年 | 国際Aマッチ> 出場 | 国際Aマッチ> 得点 | その他> 出場 | その他> 得点 | 期間通算> 出場 | 期間通算> 得点 |
| --- | --- | --- | --- | --- | --- | --- |
| 1955 | 3 | 1 | 3 | 1 | 6 | 2 |
| 1956 | 3 | 1 | 2 | 2 | 5 | 3 |
| 1957 | 0 | 0 | 6 | 4 | 6 | 4 |
| 1958 | 2 | 0 | 0 | 0 | 2 | 0 |
| 通算 | 8 | 2 | 11 | 7 | 19 | 9 |
代表歴 > 出場

| No>  | 開催日 | 開催都市 | スタジアム | 対戦相手 | 結果 | 監督 | 大会 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 1. | 1955年01月05日 | ラングーン |  |  ビルマ | ●0-3 | 竹腰重丸 | 国際親善試合 |
| 2. | 1955年01月08日 | ラングーン |  |  ビルマ | △1-1 | 竹腰重丸 | 国際親善試合 |
| 3. | 1955年01月11日 | ラングーン |  |  ビルマ | ○1-0 | 竹腰重丸 | 国際親善試合 |
| 4. | 1956年06月03日 | 東京都 | 後楽園競輪場 |  韓国 | ○2-0 | 竹腰重丸 | オリンピック予選 |
| 5. | 1956年06月10日 | 東京都 | 後楽園競輪場 |  韓国 | ●0-2(延長) | 竹腰重丸 | オリンピック予選 |
| 6. | 1956年11月27日 | メルボルン |  |  オーストラリア | ●0-2 | 竹腰重丸 | オリンピック |
| 7. | 1958年05月26日 | 東京都 | 東京蹴球場 |  フィリピン | ●0-1 | 川本泰三 | アジア大会 |
| 8. | 1958年05月28日 | 東京都 | 国立霞ヶ丘競技場陸上競技場 |  香港 | ●0-2 | 川本泰三 | アジア大会 |
代表歴 > 得点数

| # | 年月日 | 開催地 | 対戦国 | スコア | 結果 | 試合概要 |
| --- | --- | --- | --- | --- | --- | --- |
| 1 | 1955年1月11日 | ビルマ、ラングーン |  ビルマ体協選抜 | 1-0 | 勝利 | 親善試合 |
| 2 | 1956年6月3日 | 日本、東京 |  韓国 | 2-0 | 勝利 | メルボルン五輪予選 |
エフシー製作所

株式会社エフシー製作所（エフシーせいさくじょ）は、かつて存在したフィルム現像機、その他写真仕上げ用品等のメーカーである。第1回全国発明コンクールで発明協会賞を受賞した茶谷薫重が設立した。
沿革

1929年 -  創業。写真用品輸出専門商社エフ・チャータン商会を設立。
1935年 -  当時、画期的なDP専門チェーン店、A.P.S.(アマチュア・フォト・サービス)を併設。
1937年 -  写真仕上製作部門を新設。A.P.S.自家用国産第一号フィルム自動現像機を製作。
1952年 -  A.P.S.解散。株式会社エフシー製作所として新発足。
1960年 -  研究部でメタル・フォーカル・プレーンシャッターを開発。発明者、茶谷薫重第1回全国発明コンクールで発明協会賞受賞。
1961年 -  戦後第1号フィルム自動現像機製作。
1976年 -  世界初の超高速自動現像機を発表。印刷業界機器の開発、販売開始。
1986年 -  コンピュータの時代となり、ネガカラー自動現像機CFP203Bにマイコン搭載を発表。続いて各ネガカラー機、リバーサルカラー機にもマイコンを搭載。白黒ネガフィルム自動現像機もショートリーダー式でマイコン対話式として発表。高温・高速現像機として新聞社、スライド製作ラボなどで圧倒的シェアを得る。
2010年8月18日 - リーマン・ショックによる売上減、円高での損失により自己破産。負債総額は約5億円。
エルビス・ストイコ

エルビス・ストイコ（Elvis Stojko、1972年3月22日 - ）は、カナダ出身の男性フィギュアスケート選手、空手選手、レーシングカートレーサー、俳優。1994年リレハンメルオリンピック、1998年長野オリンピック男子シングル銀メダリスト。1994年、1995年、1997年世界フィギュアスケート選手権優勝。ジャンプ、スピン、ステップ、スケーティングなど、フィギュアスケーターに求められる全ての要素を極めて高いレベルで兼ね備えた1990年代を代表する選手。また、空手選手としても、2005年のカナダ選手権優勝、WKA世界選手権銀メダルなどの実績を残している。
人物

1972年3月22日、オンタリオ州ニューマーケットでスロベニア人の父とハンガリー人の母との間に生まれ、両親がエルビス・プレスリーのファンであったためエルビスと名付けられた。リッチモンドヒルで育つ。ストイコは4歳の時にスケートを始め、6歳の時初めて試合で優勝する。子供の頃は空手も習っており、16歳の時に黒帯になった。そのため、自分のスケート演技の中に武術の動きを取り入れた。
1991年の世界フィギュアスケート選手権で世界で初めて4回転-2回転のコンビネーションジャンプに成功し、1997年のチャンピオンシリーズファイナルでは世界で初めての4回転-3回転のコンビネーションジャンプを成功させ、「ミスター4回転」と称された。近年のフィギュアスケートに関して、エッジワークやスケーティング、芸術性といった観点がジャンプよりも重視される傾向にあると考えており、この傾向に対して不満を述べている。
2010年6月にラスベガスでメキシコ人の元フィギュアスケート選手グラディス・オロスコと結婚。引退後12年ほどメキシコで暮らしていたが現在は実家のあるカナダのリッチモンドヒル在住である。
2011年よりカナダのレーシングカート選手権に参加している。また、俳優としての活動も行っている。
来歴

ストイコは1994年リレハンメルオリンピックと1998年長野オリンピックで銀メダルを獲得した。1994年、1995年、1997年の世界フィギュアスケート選手権でも優勝し、また、1994年、1996年、1997年、1998年、1999年、2000年、2002年のカナダ選手権も優勝した（2001年は不出場だった）。1995年のカナダ選手権では、彼は足首に深刻な怪我を負ったが、競技を強行した。ショート・プログラムの演技を始めたが、怪我のため最後まで滑りきることはできなかった。しかし彼に、1995年の世界選手権へ出場権が与えられた。1995年の世界選手権での滑りは、彼のもっとも印象的なすばらしい演技の一つと考えられている。彼の怪我は完全には治癒していなかったが、すべてのルーティーン（所定の演技）を完全にこなした。
1998年の長野オリンピック銀メダルは、非常に厳しい状態の上での獲得だった。ストイコは鼠径部（ももの付け根）怪我を負い、またこの大会中に多くの他の選手たちを襲った風邪の回復中であった。彼は、ドーピング検査に引っかかる可能性があったため、強い鎮痛剤をとることができなかった。彼は怪我をしたことをマスメディアに話さなかったが、演技を終えた後、痛みでうずくまったことからすぐに怪我が明らかになった。彼は、メダルの授与式の間スケートを履いたままだとあまりにも痛みが激しい事に気づき、表彰台にスニーカーを履いた足を引きずりながら上った。その後の世界選手権では怪我の悪化を懸念して、出場を辞退した。
2002年ソルトレークシティオリンピックでは、8位に終わった。過去何度も演技してきたショートプログラム『Lion』では、楽曲に同名の『Lion』（演奏は日本の和太鼓集団として知られる鼓童、1998年シーズンの長野オリンピックでも使用）を用い、左胸にカタカナで「ライーヨー」（プログラム使用曲「雷音」の誤記とされる。）と書かれた衣装で演技をし、日本でも注目を集めた。2002年の、このオリンピックを最後に、アマチュア競技を引退し、プロスケーターに転向した。2003年に一度、2006年トリノオリンピックに向けて現役復帰を目指したものの、体力的に難しく再度引退を表明した。その後はプロスケーターとしてアイスショーなどで演技する一方、世界キックボクシング協会が主催する世界選手権やカナダ空手選手権などに空手の型の部門で出場するなどしている。2006年にプロスケーターとしても引退したが、2009年にカムバックし、カナダやアメリカ、ヨーロッパで再びショーに出演している。
1995年にカナダ総督から功労勲章 (Meritorious Service Medal) を、1998年には功労十字章 (Meritorious Service Cross) を受勲した。彼の趣味は、オフロードバイクに乗ることである。エルビスという名前であることから、エキシビションの演技ではエルビス・プレスリーの曲を選ぶことがあった（1993年-1998年）。彼は自伝『Heart and Soul』を出版した。カナダのロナルド・マクドナルド・子供チャリティーに参加している。
主な戦績

| 大会/年 | 88-89 | 89-90 | 90-91 | 91-92 | 92-93 | 93-94 | 94-95 | 95-96 | 96-97 | 97-98 | 98-99 | 99-00 | 00-01 | 01-02 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| オリンピック |  |  |  | 7 |  | 2 |  |  |  | 2 |  |  |  | 8 |
| 世界選手権 |  | 9 | 6 | 3 | 2 | 1 | 1 | 4 | 1 |  | 4 | 2 | 10 |  |
| 四大陸選手権 |  |  |  |  |  |  |  |  |  |  | 3 | 1 |  |  |
| カナダ選手権 |  | 2 | 2 | 2 | 2 | 1 |  | 1 | 1 | 1 | 1 | 1 |  | 1 |
| GPファイナル |  |  |  |  |  |  |  | 2 | 1 | 2 |  | 2 |  |  |
| GPスケートアメリカ |  |  |  |  |  |  |  |  |  |  | 4 | 3 |  |  |
| GPスケートカナダ |  |  |  |  |  |  |  |  | 1 | 1 | 2 | 2 |  | 2 |
| GPボフロスト杯 |  |  |  |  |  |  | 1 |  |  | 1 |  |  |  | 6 |
| GPエリック杯 |  |  |  |  |  |  |  | 3 | 棄権 |  |  |  |  |  |
| GPNHK杯 |  |  |  |  |  |  |  | 1 | 1 |  |  |  | 棄権 |  |
| 世界Jr.選手権 | 8 |  |  |  |  |  |  |  |  |  |  |  |  |  |
主な戦績 > シニア

2001-2002 シーズン
| 開催日 | 大会名 | 予選 | SP | FS | 結果 |
| --- | --- | --- | --- | --- | --- |
| 2002年2月9日-21日 | ソルトレイクシティオリンピック（ソルトレイクシティ） | - | 7 | 8 | 8 |
| 2002年1月8日-13日 | 2002年カナダフィギュアスケート選手権（ハミルトン） | 1 | 2 | 1 | 1 |
| 2001年11月8日-11日 | ISUグランプリシリーズ スパルカッセン杯（ゲルゼンキルヒェン） | - | 6 | 6 | 6 |
| 2001年11月1日-4日 | ISUグランプリシリーズ スケートカナダ（サスカトゥーン） | - | 3 | 2 | 2 |
2000-2001 シーズン
| 開催日 | 大会名 | 予選 | SP | FS | 結果 |
| --- | --- | --- | --- | --- | --- |
| 2001年3月17日-25日 | 2001年世界フィギュアスケート選手権（バンクーバー） | 2 | 11 | 11 | 10 |
1999-2000 シーズン
| 開催日 | 大会名 | 予選 | SP | FS | 結果 |
| --- | --- | --- | --- | --- | --- |
| 2000年3月26日-4月2日 | 2000年世界フィギュアスケート選手権（ニース） | 1 | 5 | 2 | 2 |
| 2000年2月21日-27日 | 2000年四大陸フィギュアスケート選手権（大阪） | - | 4 | 1 | 1 |
| 2000年1月26日-30日 | 2000年カナダフィギュアスケート選手権（カルガリー） | - | 1 | 1 | 1 |
| 2000年1月13日-16日 | ISUグランプリファイナル（リヨン） | - | 2 | 2 | 2 |
| 2000年1月13日-16日 | ISUグランプリファイナル（リヨン） | - | 2 | 2 | 2 |
| 1999年11月4日-7日 | ISUグランプリシリーズ スケートカナダ（セントジョン） | - | 2 | 3 | 2 |
| 1999年10月28日-31日 | ISUグランプリシリーズ スケートアメリカ（コロラドスプリングス） | - | 4 | 3 | 3 |
1998-1999 シーズン
| 開催日 | 大会名 | 予選 | SP | FS | 結果 |
| --- | --- | --- | --- | --- | --- |
| 1999年3月21日-28日 | 1999年世界フィギュアスケート選手権（ヘルシンキ） | 3 | 3 | 5 | 4 |
| 1999年2月21日-28日 | 1999年四大陸フィギュアスケート選手権（ハリファックス） | - | 3 | 3 | 3 |
| 1999年1月26日-31日 | 1999年カナダフィギュアスケート選手権（オタワ） | - | 2 | 1 | 1 |
| 1998年11月5日-8日 | ISUグランプリシリーズ スケートカナダ（カムループス） | - | 1 | 2 | 2 |
| 1998年10月29日-11月1日 | ISUグランプリシリーズ スケートアメリカ（デトロイト） | - | 2 | 4 | 4 |
1997-1998 シーズン
| 開催日 | 大会名 | SP | FS | 結果 |
| --- | --- | --- | --- | --- |
| 1998年2月8日-20日 | 長野オリンピック（長野） | 2 | 3 | 2 |
| 1998年1月7日-11日 | 1998年カナダフィギュアスケート選手権（ハミルトン） | - | - | 1 |
| 1997年12月19日-21日 | ISUチャンピオンシリーズファイナル（ミュンヘン） | 1 | 2 | 2 |
| 1997年11月6日-9日 | ISUチャンピオンシリーズ スケートカナダ（ハリファックス） | 1 | 1 | 1 |
| 1997年10月30日-11月2日 | ISUチャンピオンシリーズ スパルカッセン杯（ゲルゼンキルヒェン） | 1 | 1 | 1 |
1996-1997 シーズン
| 開催日 | 大会名 | SP | FS | 結果 |
| --- | --- | --- | --- | --- |
|  | 1997年カナダフィギュアスケート選手権（バンクーバー） | 1 | 1 | 1 |
姫組娘

姫組娘は、日本のアイドルグループ。2006年から活動していたが2017年解散
メンバー > 所属

めぐみん
まぁちゃん
メンバー > 旧メンバー

あっちゃん
ななみん
ほか
経歴 > 今まで披露した楽曲

ああ、夜が明ける（Berryz工房の曲）
NEXT is YOU（NEXT YOUの曲(juice＝juice)）
カラダだけが大人になったんじゃない（juice＝juiceの曲）
Ayumi hamasaki ARENA TOUR 2012 A 〜HOTEL Love songs〜

『ayumi hamasaki ARENA TOUR 2012 A 〜HOTEL Love songs〜』（アユミ・ハマサキ・アリーナ・ツアー・2012・エー・ホテル・ラブ・ソングズ）は、日本の歌手・浜崎あゆみが2012年に行ったアリーナツアーであり、2013年3月8日に発売のDVD及びBlu-rayである。なお、タイトルにある「A」はロゴ表記。
解説

浜崎あゆみのデビュー15周年を記念した5ヶ月連続リリースの第5弾として発売。本作では2012年10月11日の最終公演に出演した氣志團とのコラボレーションによる「One Night Carnival」を収録。
曲目

DVDはDISC-1（#1〜#20）、DISC-2（#21〜#24、スクリーン映像）
Blu-rayは全収録
Happening Here
Song 4 u
feedback
Tell me why
reminds me
appears
Missing
a cup of tea
Shake It♥
STEP you
NaNaNa
Sparkle
the next LOVE
Eyes, Smoke, Magic
kiss o' kill
Serenade in A minor
Ladies Night
Party queen
SURREAL 〜 evolution 〜 SURREAL
Love song
One Night Carnival
Boys & Girls
how beautiful you are
Thank U
参加ミュージシャン

浜崎あゆみ：Vocal
浜崎大地：Drums
エンリケ：Bass
野村義男：Guitar
清水俊也：Keyboards
宮崎裕介：Keyboards
濱田“ペコ”美和子：Chorus
山崎“プリンセス”陽子：Chorus
Timothy Philip Wellard：Chorus
いまふく まさみち
チョウンシー (DD-3)

| --- | --- |

艦歴
発注: 
起工: 
進水: 1901年10月26日
就役: 1903年2月21日
退役: 
その後: 1917年11月19日に事故で沈没
除籍: 
性能諸元
排水量: 420トン
全長: 250 ft (76.2 m)
全幅: 23.7 ft (7.19 m)
吃水: 6 ft 6 in (1.98 m)
機関: 
最大速: 29ノット (54 km/h)
乗員: 士官、兵員75名
兵装: 3インチ砲2門、 18インチ魚雷発射管2門
チョウンシー (USS Chauncey, Destroyer No. 3/DD-3) は、アメリカ海軍の駆逐艦。ベインブリッジ級駆逐艦の3番艦。艦名はアイザック・チョウンシー代将に因む。
艦歴

チョウンシーはペンシルベニア州フィラデルフィアのネーフィー・アンド・レヴィー・シップ・アンド・エンジン・ビルディング社で起工、1901年10月26日にM・C・S・トッド夫人によって進水し、1902年11月20日に限定的に就役した。1902年12月2日に予備役となり、1903年2月21日にS・E・モーゼズ大尉の指揮下完全に就役し、大西洋艦隊に合流した。
チョウンシーは沿岸戦隊と共に1903年9月20日まで任務に就き、その後アジア艦隊へ配属となり10月18日にキーウェストを出航した。スエズ運河を通過しフィリピンのカヴィテに到着、アジア艦隊と共にフィリピン海域、中国沿岸で夏まで作戦活動を行った。1905年12月3日から1907年1月12日までカヴィテで予備役として保管され、その後任務に復帰するとアメリカ合衆国が第一次世界大戦に参戦するまで任務に従事した。
『デリラ Delilah』は、マーカス・グッドリッチという名のチョウンシーの生存者によって記述された本である。これはチョウンシーで下士官として勤務した彼の経験に基づくフィクションである。
1917年8月1日にカヴィテを出航し、フランスのサン・ナゼールを拠点とする東太平洋での船団護衛任務に向かった。11月19日、ジブラルタル西方110マイル(177km)で船団護衛任務に従事していたチョウンシーは、イギリスの商船ローズ (SS Rose) と衝突する。両艦は戦闘海域で照明無しに航行していた。03:17にチョウンシーは2,700mの海底に沈没した。艦長のウォルター・E・レノ少佐を含む21名が死亡し、70名がローズによって救出され港に運ばれた。
とわだ型補給艦

| とわだ型補給艦 |
| --- | --- |
 AOE-422 とわだ
基本情報
種別:  補給艦 (AOE)
命名基準:  日本の湖沼
建造所:  日立造船舞鶴工場 石川島播磨重工業東京工場
運用者:   海上自衛隊
建造期間:  1985年 - 1990年
就役期間:  1987年 - 就役中
建造数:  3隻
前級:  さがみ
次級:  ましゅう型
要目
基準排水量:  8,100 t
満載排水量:  12,100 t
全長:  167.00 m
垂線間長:  160.00 m
最大幅:  22.0 m
深さ:  15.9 m
吃水:  8.1 m ※2番艦からは8.2 m
主機:  三井16V42M-Aディーゼルエンジン×2基
推進器:  スクリュープロペラ×2軸
出力:  26,000 hp
速力:  22ノット (41 km/h)
航続距離:  10,500海里 (20kt巡航時)
乗員:  140名
兵装:  12.7mm機関銃M2×2挺 ※分類上は小火器扱い必要時のみ設置
搭載機:  ヘリコプター甲板のみ、格納庫なし。
レーダー:  OPS-18-1 対水上捜索用（59AOE）  OPS-28 対水上捜索用（62AOE）  OPS-20 航海用
電子戦・ 対抗手段:  Mk.137 6連装デコイ発射機×4基 ※後日装備
テンプレートを表示
とわだ型補給艦（とわだがたほきゅうかん、英語: Towada-class replenishment oilers）は海上自衛隊が運用する補給艦の艦級。基本計画番号はJ123。
まず56中業に基いて昭和59年度計画でネームシップが建造されたのち、61中期防に基づき昭和62年度で更に2隻が追加建造された。
来歴

従来、海上自衛隊が保有する補給艦は昭和35年度計画で建造した給油艦「はまな」のみであり、遠洋航海部隊への給油等の実任務をこなす一方で艦隊の洋上給油訓練に従事し、その技量向上に大きく貢献したものの、有事の所要はおろか、平時の部隊訓練の所要にも不足であった。その後、第4次防衛力整備計画で海上機動支援体制整備の必要性が認められて、昭和51年度計画で5,000トン型補給艦「さがみ」が建造された。
その後、海上自衛隊では、ポスト4次防より護衛艦隊において8艦8機体制の整備に着手しており、56中業の計画完成時点で、4個護衛隊群の近代化が完結する見通しとなっていた。これらの護衛隊群は外洋における作戦の主力となる機動水上部隊として位置づけられており、その機動力および滞洋能力増強のため、既就役の「さがみ」を含めて、それぞれ1隻ずつの補給艦を随伴させる構想となった。
このうち、56中業ではまず2隻を建造する計画となった。これによって建造されたのが本型である。
なお、後に自衛艦の艦番号による識別を困難とするためのロービジ化（low visibility：低視認性）が進められるにあたり、その第一号艦となったのが本型の「はまな」であった。
従来塗装の「とわだ」。
ロービジ塗装の「はまな」
設計

基本的な能力は、先行する5,000トン型補給艦「さがみ」（51AOE）と同様であるが、その実績を踏まえて大幅な改良が加えられている。護衛艦の近代化・大型化に伴い、作戦行動中の所要補給量も大幅に増加しており、「さがみ」の能力では不十分と見積もられ、補給艦も大型化することになった。検討段階では、1個護衛隊群の作戦行動を十分に支援するためには1万トン以上の艦型が必要との見積もりもあったものの、艦艇建造経費全体のなかでAOEに配分できる額には限度があったことから、8,300トン型で落ち着いた。ただしこれでも、「さがみ」の約1.6倍となっている。
設計面で重視されたのが耐候性の向上である。「さがみ」では、先行する2,900トン級給油艦「はまな」（35AO）よりも高速化されたが、この結果として補給甲板が波浪の影響を受けることが多く、作業に支障をきたすこともあった。このことから本型では、補給甲板を一層上げて第1甲板を全通させるとともに、船体内の第2甲板両舷に広い運搬通路を設けて、これも艦尾の曝露甲板まで通している。このように高乾舷の遮浪甲板船型を採用したことで、洋上補給作業時の波浪の影響が軽減された。また昭和62年度計画艦（「ときわ」「はまな」）では、排水量が更に50トン増加したが、これは同時期の護衛艦などと歩調を合わせて、居住区のベッドを従来の3段から2段とするなど居住性の向上を図った結果である。
船楼甲板レベルの後端部にはヘリコプター甲板が設定されている。51AOEではHSS-2ヘリコプターの発着に対応していたが、本型では、更に大型のMH-53Eにも対応した。ただし、同様にヘリコプター格納庫は設置されていない。なお航空運用能力の向上を含めた船体安定化のため、「さがみ」とは異なりフィンスタビライザーが装備されている。
主機関としては、三井造船の16V42M-A型V型16気筒機関を搭載した。これは昭和54年度計画以降で建造された機雷戦艦艇・両用戦艦艇・補助艦艇において、標準的な大出力ディーゼルエンジンとして採用されていたものであった。なお機械室内は無人化されており、主機関の制御は全て機関操縦室内で行っている。
アメリカ海軍イージス艦「カーティス・ウィルバー」（左）とフランス海軍フリゲート「プレリアル」に両舷同時補給を行う「はまな」。
横から見た「ときわ」。「さがみ」と比べ、乾舷の高い遮浪甲板船型となり作業性と安全性が大幅に向上した。
艦橋構造物。居住関係区画、管制室等はこの中にまとめられ、主船体内は貨物・貨油を搭載する区画となっている。
艦橋構造物前面。窓が二段に並んでいるが、上方が航海艦橋、下方が補給管制所である。
「ときわ」の飛行甲板
能力 > 補給機能 > 洋上移送

洋上移送装置は「さがみ」を踏襲しており、その中核となるのが、船楼後端から艦橋構造物までのあいだの主甲板に設けられた3基の補給用門型ポストである。各ポストの左右両舷が補給ステーションとなっている。右舷側最前部のものが1番補給ステーションとされ、その左舷側が2番、以後後方に向かって順番に番号が振られている。
1・2番および5・6番ステーションは液体貨物用であり、短いブームが外舷上方に張り出している。給油速度は片舷あたり1分間に約11キロリットル（11,000リットル）。
一方、3・4番ステーションは、物品（ドライ・カーゴ）の輸送用のハイライン・ステーションとされている。補給方式は、アメリカ海軍ではFAST（Fast Automatic Shuttle Transfer）と呼称されており、主としてスライディング・ブロック、トロリー、トラベリング・サーフによって構成される。これは、いわゆるロープウェイ方式で移動する移送かご（トラベリング・サーフ）により物資・弾薬を受給艦へ移送する機構である。
前方から見た補給艤装。門型のステーションが並んでおり、手前から1・2番、3・4番、5・6番ステーションである。手前の隊員と比較すると巨大であることがわかる。
1・2番ステーション（画像中央）。装備されているホースは、上から主燃料（艦船用軽油）、航空燃料（JP-5）、真水の補給用。
主燃料用プロ―ブ。これが受給艦に送り込まれ、受け口であるラッパ状のプローブ・レシーバーと噛み合う。
3・4番ステーション（画像中央左）画像中央は物資用デッキクレーンで展開状態。普段はブームを折り畳み格納されている。
トロリー。この下にトラベリング・サーフを取り付け、補給かご、もしくは弾薬コンテナを吊り下げ、ロープウェイ方式で受給艦に送り込む。
油圧アキュムレータ。各種補給艤装は油圧により作動するが、作動油の流量が変動しても油圧を一定に保つと共に、圧油を貯蔵する装備。
「はまな」の5番補給ステーション。スパンワイヤが展張され、プローブと蛇管を取り付けたトロリーブロックが受給艦に向かってきている。
アメリカ海軍イージス艦「マッキャンベル」に補給を行う「はまな」。
能力 > 補給機能 > 物資格納

「さがみ」からの変更点としては、貨油タンクと兼用とされていたバラストタンクについて専用のものが追加されたことがあげられる。「さがみ」では、バラストタンクを貨油タンクとして使用したあとは油水分離機を使って海水と油が混じったバラスト水を排出するという作業が必要であったが、本型ではこの作業が不要となり、作業効率は大幅に向上した。一方で、このために、船体の大型化の割に貨油搭載量の増加は乏しいとされている。なお搭載量は合計5,700トンと推測されている。
また、ドライカーゴの格納・艦内移送手法も大幅に改善し、工数削減を図っている。艦内移送手法は、「さがみ」では天井クレーン方式であったのに対し、サイドフォークトロリー方式に変更された。これは、運搬通路に転倒防止用のレールを埋設し、これを掴みながら走行する電動式フォークリフトである。両舷に2台ずつが配置されている。
格納方式も変更されており、弾薬については、柱状のピラーとラックを使用したコンテナ格納方式であるダネージ方式とした。これは床面のデッドスペースがなく、単位床面積あたりの搭載数が大きいという特長があった。弾薬庫内の移送は専用のフォークリフトで行われ、出口で上記のサイドフォークに受け渡すことになる。また糧食については、糧食ダンボールを大型パレットに格納したままで冷蔵庫に保管し、洋上補給時にはこれをフォークトロリーで運搬する大型パレット方式に変更された。冷蔵庫内部には、パレットを収容するための回転ラックが設置されている。これは床面と天井面に長円形のレールを配置して、その間にラックを保持しておくもので、レール上をエンドレスで動くことができる。これにより、庫内の物資移送は完全に自動化された。なおラック上には最大500 kgの食糧を収容することができる。
能力 > 自衛機能

旗甲板には、高性能20mm機関砲（CIWS）およびMk.137 6連装デコイ発射機の装備が考慮されていた。このうち、デコイ発射機の搭載は就役後に実現し、またCIWSの搭載に備えた改造も実施された。ただしCIWSの装備は、現在までのところ実現していない。
また、銃座が左右両舷に装備されており、必要に応じて12.7mm機関銃M2を装着する。同機関銃は、普段は艦内に格納されており、分類上は武装ではなく小火器の扱いを受ける。
Mk.137 6連装デコイ発射機
12.7mm機関銃M2。台座に置かれているのは海曹用正帽。
比較

|  |  | 14,500トン型 | ましゅう型 | とわだ型 | さがみ | はまな |
| --- | --- | --- | --- | --- | --- | --- |
| 船体 | 基準排水量 | 14,500 t（予定） | 13,500 t | 8,100 t | 5,000 t | 2,900 t |
| 船体 | 満載排水量 | 不明 | 25,000 t | 12,100 t | 11,600 t | 7,550 t |
| 船体 | 全長 | 不明 | 221 m | 167 m | 146 m | 128 m |
| 船体 | 全幅 | 不明 | 27 m | 22 m | 19 m | 15.7 m |
| 主機 | 機関 | 不明 | ガスタービン | ディーゼル | ディーゼル | ディーゼル |
| 主機 | 出力 | 不明 | 40,000 ps | 26,000 hp | 18,500 hp | 5,000 hp |
| 主機 | 速力 | 不明 | 24 kt | 22 kt | 22 kt | 16.1 kt |
| 兵装 | 砲熕 | 不明 | ― | ― | ― | 40mm連装機銃×1基 |
| ヘリ運用機能 | 搭載容量 | 不明 | 格納庫なし | 格納庫なし | 格納庫なし | 格納庫なし |
| ヘリ運用機能 | 甲板 | 不明 | あり | あり | あり | ― |
| 補給機能 | 貨油タンク | 不明 | あり | あり | あり | あり |
| 補給機能 | 搭載物資 | 不明 | 貨油10,000 t近く | 貨油5,700 t | 艦船用燃料4,500 KL ジェット燃料220 kL 糧食4万食 | 貨油4,000 kL 真水1,000 t |
| 補給機能 | 洋上補給 | 不明 | 可能 | 可能 | 可能 | 可能 |
| 医療機能 | 病床 | 不明 | 46床 | ― | ― | ― |
| 医療機能 | 集中治療室 | 不明 | あり | ― | ― | ― |
| 同型艦数 | 同型艦数 | 未定 | 2隻 | 3隻 | 1隻（退役） | 1隻（退役） |
同型艦

昭和59年度計画で建造された「とわだ」は老朽化した「はまな」（35AO）の更新用であり、これにより、「さがみ」（51AOE）とあわせて補給艦2隻体制が維持された。続いて昭和62年度計画で2隻を追加建造することで、4個護衛隊群に1隻ずつの補給艦を割り当てられる体制が整備された。
平成23年度予算で1隻分の艦齢延伸のための改修予算が、平成25年度予算で2隻分の艦齢延伸のための部品調達予算が計上された。
| 艦番号 | 艦名 | 建造 | 起工 | 進水 | 就役 | 所属 |
| --- | --- | --- | --- | --- | --- | --- |
| AOE-422 | とわだ | 日立造船 舞鶴工場 | 1985年 （昭和60年） 4月17日 | 1986年 （昭和61年） 3月26日 | 1987年 （昭和62年） 3月24日 | 第1海上補給隊 （定係港：呉基地） |
| AOE-423 | ときわ | 石川島播磨重工業 東京工場 | 1988年 （昭和63年） 5月12日 | 1989年 （平成1年） 3月23日 | 1990年 （平成2年） 3月12日 | 第1海上補給隊 （定係港：横須賀基地） |
| AOE-424 | はまな | 日立造船 舞鶴工場 | 1988年 （昭和63年） 7月8日 | 1989年 （平成1年） 5月18日 | 1990年 （平成2年） 3月29日 | 第1海上補給隊 （定係港：佐世保基地） |
CIF

CIF
頭字語

運賃・保険料込み条件 -- 貿易における取引条件
Common Intermediate Format -- 動画像を扱うフォーマット。解像度は352×288
企業情報システム（特に銀行システム）における顧客情報ファイル(Customers' Information Files)
Crystallographic Information File -- 国際結晶学連合(IUCr)が推し進めている結晶学データ表現・交換のための、テキスト形式標準ファイル形式。または、そのファイル形式などを含めた交換プロトコル (Crystallographic Information Framework) のこと。
コード

中華人民共和国 赤峰玉龍空港のIATA空港コード。
カール・ミード

| カール・ミード |
| --- | --- |
 
NASA宇宙飛行士
国籍:  アメリカ人
現況:  引退
生誕:   (1950-11-16) 1950年11月16日（73歳） イリノイ州シャヌート空軍基地内
別名:  Carl Joseph Meade
他の職業:  テストパイロット
出身校:  テキサス大学オースティン校 学士（1973年） カリフォルニア工科大学 修士（1975年）
階級:  アメリカ空軍大佐
宇宙滞在期間:  29日16時間14分
選抜試験:  1985 NASA Group 11
ミッション:  STS-38, STS-50, STS-64
記章:    
カール・ミード（Carl Joseph Meade、1950年11月16日 - ）は、アメリカ空軍大佐、アメリカ航空宇宙局(NASA)の宇宙飛行士である。
生い立ち

1950年11月16日にイリノイ州のシャヌート空軍基地内で生まれた。既婚で2人の息子がいる。木工、自家用飛行機の製作、ラケットボール、ジョギング、スキー等が趣味である。父のジョン・ミードはテキサス州ユニバーサル・シティに在住、母のエスター・ミードは既に死去している。
1968年にテキサス州ランドルフ空軍基地内のランドルフ高校を卒業した。1973年にテキサス大学で電気工学の学士号、1975年にカリフォルニア工科大学で電気工学の修士号を取得した。現在はノースロップ・グラマンでクルー・エクスプロレイション・ビークル開発の技術マネージャを務めている。
軍での経験

アメリカ空軍での勤務に入る前、ミードはカリフォルニア工科大学のヒューズフェロー、ヒューズ・エアクラフトの電子設計技術者であった。アメリカ空軍に入隊するとテキサス州のラフリン空軍基地に配属され、航空教育・訓練軍団でのパイロット訓練を優秀な成績で終えた。1977年に、サウスカロライナ州ショー空軍基地の第363戦術偵察飛行隊に配属されてRF-4Cに乗った。その後、アメリカ空軍テストパイロット学校の80Bクラスに入り、卒業の際には成績優秀のLiethen-Tittle賞（首席）を受賞して、カリフォルニア州エドワーズ空軍基地の第6510試験航空団に配属された。ここで、ミードはF-5E、RF-5E及びF-20、またALCM及びGLCMの開発試験と評価に従事した。
彼はまた、F-4での高速走行、ブレーキ、艦載、離陸、着陸、飛行の質、兵器システム等の試験を行った。彼はその後、F-16合同試験部隊に配属され、F-16A及びF-16Cの積載、フラッター現象、飛行の質、兵器システム等の試験を行った。1985年には、F-4、A-7、A-37等の教官として、再びアメリカ空軍テストパイロット学校に戻った。27の異なる機体で、4,800時間以上の飛行経験を持つ。