stanford-oval/wikipedia huggingface dataset:
ソユーズMS-18

| --- | --- |
ソユーズ 2.1aで打ち上げられる「Y・A・ガガーリン」
名称: ISS 64S

任務種別: ISS乗員輸送
運用者: ロスコスモス
COSPAR ID: 2021-029A
SATCAT №: 48159
ウェブサイト: http://en.roscosmos.ru/
任務期間: 190日 20時間 53分
 

特性
宇宙機: ソユーズMS No.748 「Y.A.ガガーリン」
宇宙機種別: ソユーズMS
製造者: RKKエネルギア
 

乗員
乗員: オレッグ・ノヴィツキー ピョートル・ドゥブロフ（英語版） マーク・T・ヴァンデ・ヘイ
コールサイン: Kazbek 
 

任務開始
打ち上げ日: 2021年4月9日07:42:41UTC
ロケット: ソユーズ 2.1a
打上げ場所: バイコヌール宇宙基地31番射点
打ち上げ請負者: プログレス国家研究生産ロケット宇宙センター
 

任務終了
着陸日: 2021年10月17日 04:35:44 UTC
着陸地点: カザフステップ
 

軌道特性
参照座標: 地球周回軌道
体制: 低軌道
傾斜角: 51.66°
 

ISSのドッキング（捕捉）
ドッキング:  Rassvetモジュール天底側
ドッキング（捕捉）日:  2021年4月9日11:05 UTC
分離日:  2021年9月28日12:21 UTC
ドック時間:  172日 1時間 16分間
ISS（再配置）のドッキング（捕捉）
ドッキング:  Naukaモジュール天底側
ドッキング（捕捉）日:  2021年9月28日13:04 UTC
分離日:  2021年10月17日01:14:00 UTC
ドック時間:  18日 12時間 10分間
 
 マーク・ヴァンデ・ヘイ、オレグ・ノヴィツキーおよびピョートル・ドゥブロフソユーズの一覧« ソユーズMS-17ソユーズMS-19 »
ソユーズMS-18は2021年4月9日07:42:41UTCに打ち上げられたソユーズによる宇宙飛行である。第64次長期滞在の乗組員を国際宇宙ステーション（ISS）に輸送する。ソユーズMS-18はソユーズ宇宙船に146回目の有人宇宙飛行である。乗組員はロシア人コマンダー、ロシア人フライトエンジニアおよびNASAのアメリカ人フライトエンジニアからなっている。この宇宙船は191日間を宇宙で過ごした後、2021年10月17日に地球に帰還した。このフライトでは約1週間で宇宙で映画 Vyzov（ロシア語: Вызов;挑戦）を撮影するためにソユーズMS-19でISSに到着した映画監督のクリム・シペンコ（英語版）および女優のユリア・ペレシルドの帰還船となった。
2021年3月9日、ロスコスモスはNASAの要請に応じて既存の飛行計画を変更し、メインクルーのセルゲイ・コルサコフ（英語版）にかえてマーク・T・ヴァンデ・ヘイを、バックアップクルーのディミトリー・ペテリン（英語版）にかえてアン・マクレーン（英語版）を配置することで、NASAの宇宙飛行士のソユーズ宇宙船でのフライトを、少なくとも1フライト延長すると発表した。この取り決めはNASAとロスコスモスの間の補完的な乗組員輸送サービスのための現物取引であり、2つの機関の間での金銭的交換は発生しない。
2021年10月17日に、予定通り船長のオレッグ・ノヴィツキーおよび映画撮影のために滞在していたシペンコとペレシルドを載せて地球に帰還した。
クルー

| 地位 | 打ち上げ機乗組員 | 着陸機乗組員 |
| --- | --- | --- |
コマンダー:  オレッグ・ノヴィツキー, ロスコスモス 第64次長期滞在 3回目の宇宙飛行
| フライトエンジニア/宇宙飛行参加者1 |  ピョートル・ドゥブロフ（英語版）, ロスコスモス 第64次/第65次/第66次長期滞在 1回目の宇宙飛行 |  クリム・シペンコ（英語版）, チャンネル1 映画 Vyzov（挑戦） 1回目の宇宙飛行 |
| フライトエンジニア/宇宙飛行参加者2 |  マーク・T・ヴァンデハイ, NASA 第64次/第65次/第66次長期滞在 2回目の宇宙飛行 |  ユリア・ペレシルド, チャンネル1 映画 Vyzov（挑戦） 1回目の宇宙飛行 |
クルー > バックアップクルー

| 地位 | 乗組員 | 乗組員 |
| --- | --- | --- |
コマンダー:  アントン・シュカプレロフ, ロスコスモス
フライトエンジニア1:  オレッグ・アルテミエフ（英語版）, ロスコスモス
フライトエンジニア2:  アン・マクレーン（英語版）, NASA
ロシア側モジュールの拡張

ソユーズMS-18の乗組員は、先行して打ち上げられてISSにドッキングしたNaukaモジュールに取り付けられる欧州ロボットアーム（ERA）の一部を輸送するめに2021年7月21日に打ち上げられたプロトン-M打ち上げロケットに先立って、2021年4月9日到着した。ISSロシア側モジュールへの Nauka およびERAを設置するための船外活動が第65次長期滞在（ソユーズMS-18乗組員）によって計画され、7月29日に実行された。
プリチャルモジュールの国際宇宙ステーションに向けてプログレスM-UMと一緒の打ち上げが2021年11月24日に予定されている。2021年2月4日にロスコスモスによって起草されたISSフライトマニフェストでは、Prichalが2021年11月に打ち上げられ、2日後にNaukaの天底側ポートにドッキングすることになっている。Prichalの1つのポートにはNauka/MLMモジュールとのドッキングを可能とするアクティブ・ハイブリッド・ドッキング・ポートが装備されている。残りの5つのポートは、ソユーズおよびプログレス輸送機や、より重たいモジュールや、ドッキングシステムが変更された将来の宇宙船とのドッキング可能なパッシブ・ハイブリッド・ポートとなっている。Prichalモジュールが宇宙ステーションに到着した後に、ソユーズM-18乗組員による船外活動が計画されている。この船外活動はモジュールの初期の準備作業に焦点が当てられている。
Prichalモジュールは2021年にロシア側モジュールへの2つ目の追加となる。
エンジン点火事故

2021年10月15日の０９：０２ UTC、着陸に向けての宇宙船の推進システムの準備中に、ソユーズMS-18は予定の時間を超えて不用意にスラスターを噴射し、この結果として０９：１３ UTCにISSの姿勢が５７°変化してしまった。
宇宙ステーションの姿勢制御システムはロシア軌道セグメントのスラスターを用いて対応処置を行なった。
このソユーズの誤ったエンジン点火は、試験を行なっていたオレッグ・ノヴィツキーに対してミッションコントロールが間違った手順で指令を送ったためだった。
幸いなことに、ソユーズ宇宙船に搭載された飛行管制システムには、テストに割り当てられた推進剤が全て使用されたら即座にエンジン停止指令を発生する、エンジンテスト時の限度設定が設けられていた。
この結果、宇宙船に搭載された推進剤の内、着陸に必要な分には手がつけられていなかった。
乗組員には危険はなかったが、これは2021年7月29日にナウカの制御が失われた時以来の２度目の事故だった
。
帰還

映画監督と女優は、コマンダーのオレッグ・ノヴィツキーとともにソユーズMS-18で2021年10月17日に地球に帰還した。
ソユーズMS-18でISSに到着した宇宙飛行士ピョートル・ドゥブロフとマーク・ヴァンデ・ヘイは、シュカプレロフとともにソユーズMS-19で着陸する予定である
。
Naukaモジュール（左）に取り付けられた ERA のアーティストによるイメージ。予備のジョイントはRassvetモジュール（右）に取り付けられる
Nauka がドッキングした後のロシア側モジュールのコンピューター生成画像
再配置後にナウカにドッキングするソユーズMS-18
イタチアナグマ属

イタチアナグマ属（Melogale）はイタチ科の属。Helictidinae亜科の単型である。
種

川田ほか（2018）による。
Melogale everetti　ボルネオイタチアナグマ
Melogale moschata　シナイタチアナグマ
Melogale orientalis　ジャワイタチアナグマ
Melogale personata　インドイタチアナグマ
岩井隆盛

岩井 隆盛（いわい りゅうせい、1909年（明治42年）5月18日 - 1995年（平成7年）2月12日）は、日本の言語学者。金沢大学名誉教授。石川県羽咋郡押水町出身。
略歴

第四高等学校を経て、1935年（昭和10年）東京帝国大学文学部言語学科卒業。
1944年（昭和19年）石川青年師範学校教授。
1948年（昭和23年）石川師範学校教授。
1949年（昭和24年）金沢大学教育学部助教授。
1965年（昭和40年）同教授。
1966年（昭和41年）10月法文学部に配置替え。
1975年（昭和50年）定年退官。その後1980年（昭和55年）まで金沢女子短期大学教授、1988年（昭和63年）まで金沢大学非常勤講師を務める。
1981年（昭和56年）勲三等旭日中綬章受章。
1995年（平成7年）2月12日死去。
また、石川国語方言研究会会長（1950年-1960年）、石川県バレーボール協会顧問等を務めた。
| 典拠管理データベース  |
| --- | --- |
全般:  VIAF 
学術データベース:  CiNii Books  CiNii Research
アートフル (原子力潜水艦)

| アートフル |
| --- | --- |
  画像をアップロード
基本情報
建造所:  BAEシステムズ・サブマリンズバロー＝イン＝ファーネス造船所
運用者:   イギリス海軍
艦種:  原子力潜水艦
級名:  アスチュート級原子力潜水艦
母港:  クライド海軍基地
艦歴
発注:  1997年3月
起工:  2005年3月11日
進水:  2014年5月17日
就役:  2016年3月18日
要目
水中排水量:  7,400 - 7,800 t
全長:  97 m
最大幅:  11.3 m
深さ:  10 m
主機:  ロールス・ロイスPWR2型原子炉×1基 MTUフリードリヒスハーフェンディーゼル発電機
最大速力:  30 ノット（水中）
潜航深度:  300 m
乗員:  98名（最大109名）
兵装:  533mm魚雷発射管×6門 （スピアフィッシュ魚雷またはトマホーク Block IV SLCMなど最大38発）
C4ISTAR:  GENESIS 戦術情報処理装置
ソナー:  2076型ソナー（英語版） DESO25音響探測機
探索装置・ その他装置:  CM10電子光学マスト（英語版）×2
テンプレートを表示
アートフル（HMS Artful, S121）は、イギリス海軍の原子力潜水艦。アスチュート級原子力潜水艦の3番艦。艦名は「狡猾な」、「巧妙な」を意味する形容詞にちなむ。その名を持つ艦としてはアンフィオン級潜水艦アートフル（英語版）（P456/S56/S96）以来2隻目である。
艦歴

「アートフル」は1997年3月にGCEマルコーニ（英語版）の造船部門マルコーニ・マリーン（英語版）（現BAEシステムズ・サブマリンズ）に発注され、2005年3月11日にイングランドのバロー＝イン＝ファーネスで起工、2013年9月20日に「アートフル」と命名されて、2014年5月17日に進水式が行われた。同年10月に潜水試験、2015年8月13日の海上公試後、同年12月14日にイギリス海軍へ引き渡され、2016年3月18日に就役式典が行われた。
「アートフル」は2021年5月、クイーン・エリザベス空母打撃群（英語版）構成艦として、7か月半にわたる初の極東方面への派遣に参加した。
レクレオ

| レクレオ |
| --- | --- |
 レクレオレクレオの位置
 南緯29度16分 西経65度04分﻿ / ﻿南緯29.267度 西経65.067度﻿ / -29.267; -65.067座標: 南緯29度16分 西経65度04分﻿ / ﻿南緯29.267度 西経65.067度﻿ / -29.267; -65.067
Country:   アルゼンチン
州:   カタマルカ州
県:  ラパス県
1st level Municipality:  Recreo
最高標高:  270 m
最低標高:  220 m
人口（2010年）
 • 合計:  11,847人
レクレオ (Recreo) は、アルゼンチン、カタマルカ州の都市。ラパス県の中心地。レクレオ・デ・ラス・カレタスとも呼ばれる。人口は11,847人である。
サリナス・グランデスから14km北方、州都であるサン・フェルナンド・デル・バジェ・デ・カタマルカから206km、コルドバから265km、またブエノスアイレスから965kmの距離にある。
かつて、州の副知事であったペドロ・カノが所有するアシエンダの敷地に、マヌエル・ベルグラーノ線の鉄道駅を開設することに伴い、レクレオは1875年に建設された。
チャトラムー

| --- | --- |
 
種類:  茶の製造、販売業者
業種:  飲料
設立:  1945年
事業地域:   タイ王国  カンボジア  大韓民国  ミャンマー  中華人民共和国  香港  シンガポール  マレーシア  ブルネイ 
主要人物:  พราวนรินทร์ เรืองฤทธิเดช   เศรษฐิกิจ เรืองฤทธิเดช
製品:  ชาบรรจุกระป๋อง ชาพร้อมดื่ม ไอศกรีม
売上高:  366 ล้านบาท (2016年)
ウェブサイト:  https://www.cha-thai.com/
チャトラムー（タイ語: ชาตรามือ）は、1945年創業のタイ王国の紅茶ブランド。ローズティーやソフトクリームなども販売している。
岩井雅音

岩井 雅音（いわい まさと  1953年5月14日 - ）は、日本のチェリスト。
経歴

長野県南佐久郡野沢町（現佐久市）出身。父親が趣味でチェロを弾いていたこともあり、小学校4年生からチェロを 故 青木十良に師事。桐朋女子高等学校音楽科(男女共学)に学び、研鑽を重ねる 。
指揮者 堤俊作、秋山和慶、後に楽団長となったヴァイオリニスト金山茂人の勧めで、1974年東京交響楽団に入団し、翌年から同団の首席奏者を務め、また同団のソリストも務めた。
その後、チェリスト徳永兼一郎の誘いを受け、1979年NHK交響楽団に入団した。
室内楽の分野では、ピアニスト中巻裕美、N響コンサートマスターを務めた山口裕之や大林修子らと、ピアノを交えた室内楽コンサートに定期的に出演した。指揮者でありピアニストでもあるW.サヴァリッシュやピアニストのバドゥラ＝スコダ、若手ではコルネリア・ヘルマン、リシャ―ル・アムランとも共演。
ミュンヘン音楽大学チェロ教授ウェンシン・ヤンとのチェロ四重奏の共演は話題を呼んだ。NHK交響楽団でのオーケストラ活動のかたわら、数多くの外来演奏家とも共演し室内楽奏者として活躍した。
また、N響メンバーによる室内合奏団を主宰するなど、コンサートプロデュースにも力を注いだ。
2013年、定年によりNHK交響楽団の現役奏者を退いた後、契約職員としてNHK交響楽団に在籍するとともに室内楽や国内のオーケストラの客演首席奏者として各地で活躍、常盤木学園非常勤講師として後進の指導にもあたった。
現在、NHK交響楽団を退職、フリーランスで活躍するとともに後進の指導にあたっている。
演奏スタイル

青木十良氏の演奏スタイルを忠実に継承し、さらに様々な演奏家の魅力を加味、 古き良き伝統を守りつつ新しいものにも取り組む、正統派のチェロ奏者。
アンドルー・パズダー

アンドルー・パズダー（2017年）
アンドルー・パズダー（Andrew Franklin "Andy" Puzder、1950年7月11日 - ）はCKEレストランズ（英語版）のCEO。
経歴

オハイオ州クリーブランドで、ウィニフレッド・フランクリンとアンドリュー・フランク・パズダーの息子として1950年7月11日に生まれる。ケント州立大学に入学したが、1970年に中退する。その後の3年はコンサートの支援などをしていた。
クリーブランド州立大学で1975年に歴史の学士号を得た後、ワシントン大学ロースクールに進学し、1978年に法務博士号を得た。
卒業後はセントルイスで会社の設立や管理など会社法を専門とする弁護士事務所で1978年から1991年まで働いた。1980年から1990年代初めまでには、中絶反対の弁護士リーダーとして知られるようになった。
アンドルー・パズダーはレストランチェーンCKEレストランズ（英語版）の顧問弁護士を務めていたが、1990年初めに危機的な経営状況になっていた経営を立て直し、1997年にハーディーズフードシステムズを買収、2000年から最高経営責任者（CEO）となった。
アメリカ合衆国労働長官

第45代アメリカ合衆国大統領に選出されたドナルド・トランプによって、2016年12月8日にアメリカ合衆国労働長官に指名された。パズダーはバラク・オバマ政権で進められた最低賃金の引き上げに反対している。パズダーは、米国で就労許可のない不法移民を数年間にわたり清掃員として雇用していたことから、民主党により批判されている。
2017年2月15日、上院民主党の反対だけでなく共和党議員からも反対票を投じる議員が出るなど上院で必要な賛成票が得られないと予想されたため、パズダーは労働長官の指名を辞退した。
関連

カールスジュニア - CKEレストランズのハンバーガーチェーン店。
| 典拠管理データベース  |
| --- | --- |
全般:  VIAF  WorldCat 
国立図書館:  アメリカ
磐城緑蔭中学校・高等学校

| 磐城緑蔭中学校・高等学校 |
| --- | --- |
 
 ja北緯37度2分39.0秒 東経140度54分35.8秒﻿ / ﻿北緯37.044167度 東経140.909944度﻿ / 37.044167; 140.909944座標: 北緯37度2分39.0秒 東経140度54分35.8秒﻿ / ﻿北緯37.044167度 東経140.909944度﻿ / 37.044167; 140.909944
過去の名称:  福島県磐城第二高等学校
国公私立の別:  私立学校
設置者:  学校法人山崎学園
設立年月日:  1963年
共学・別学:  男女共学
中高一貫教育:  併設型
課程:  全日制
単位制・学年制:  学年制
設置学科:  普通科
学校コード:  C107320441023 (中学校) D107320461026 (高等学校)
高校コード:  07517F
所在地:  〒970-8025
 福島県いわき市平南白土字勝負田11
外部リンク:  公式サイト
 ウィキポータル 教育  ウィキプロジェクト 学校
テンプレートを表示
磐城緑蔭中学校・高等学校（いわきりょくいんちゅうがっこう・こうとうがっこう）は、福島県いわき市平南白土字勝負田にある私立中学校・高等学校。
旧校名は福島県磐城第二高等学校。2006年をもって生徒募集を停止し、2008年4月より休校していたが、2007年度に新設された磐城緑蔭中学校から第1期生が高校に進学する際、現校名への改称と共学化などの改革が行われ、再び募集を再開した。同校の中高一貫教育には、和田秀樹がその監修に当たっている。
概要

同じいわき市内にある福島県磐城第一高等学校の姉妹校として1963年に開校した。
男子校から男女共学になった。
沿革

1963年（昭和38年） - 福島県磐城第二高等学校創立。当初は男子校であった。
2006年（平成18年） - 本年度からの生徒募集を休止する。
2007年（平成19年） - 校内に磐城緑蔭中学校が開校。
2008年（平成20年） - 磐城二高としては最後の27人が卒業、休校となる。
2010年（平成22年） - 磐城二高を改称・共学化する形で、磐城緑蔭高等学校が再開校する。なお、高校からの生徒募集は行わない予定だったが、これを変更し若干名募集することになった。
進路概況

磐城二高最後の卒業生１人が山形大学に進学した（最初で最後の国公立大合格者）。
中高一貫化後、2013年3月に初の卒業生を出した。2014年度現在の高校３年生は３期生。
国語・数学・英語は習熟度別授業を採用しており、αクラス（発展コース）とβ（基礎定着コース）にわかれる。
部活動

テニス部（硬式）
陸上部
野球部
サッカー部
ボクシング部
バレーボール部
ダンス部
卓球部
軽音楽部
吹奏楽部
美術部
科学部
申請をすれば新しい部活動を作ることも出来る。
磐城二高時代はボクシング部やバレーボール部が活発であった。特にボクシング部は全国高校チャンピオンを輩出した実績がある。
交通

新常磐交通バス「白土入口」バス停下車 徒歩7分
いわき駅より徒歩35分
著名な出身者

細野悟（磐城二高時代）
系列校

福島県磐城第一高等学校
クリーネの再帰定理

クリーネの再帰定理（クリーネのさいきていり、英: Kleene's recursion theorem）は、再帰理論における2つの基本的な結果である。この定理によれば計算可能関数をそれ自身を用いて記述することができる。この定理は1938年にスティーブン・コール・クリーネによって最初に証明された。1952年の彼の著作 Introduction to Metamathematics において見られる。
2つの再帰定理は幾つかの計算可能関数の不動点の構成に利用できる。例えばクワインの生成や関数の帰納的定義などである。任意の再帰的関数の不動点構成への応用はロジャースの定理として知られる。これはハートレイ・ロジャース（英語版） (Rogers, 1967) による。
記法

部分帰納的関数のアクセプタブル・ナンバリングを  \varphi  とする。指標  e に対応する帰納的関数を  \varphi _{e} と書く。プログラミングの言葉を用いれば、 e はプログラムで  \varphi _{e} は表示的意味である。
ロジャースの不動点定理

この文脈での関数  F の不動点とは、指標  e で  \varphi _{e}\simeq \varphi _{F(e)} を満たすものをいう。プログラミングの言葉を用いれば  e は  F(e) と意味論的に同値である.
この定理は (Rogers, 1967: §11.2) のTheorem Iであり、クリーネの（第二）再帰定理の簡易版として記述されている。
ロジャースの不動点定理 > 不動点定理の証明

この証明では以下で定義される計算可能関数  h を利用する。 自然数  x が与えられたとき、関数  h は次のような計算を行う部分計算可能関数の指標を出力する：
任意の  x について、  \varphi _{x}(x) が停止するならば  \varphi _{h(x)}=\varphi _{\varphi _{x}(x)} であり、停止しないならば  \varphi _{h(x)} は停止しない。これは  \varphi _{h(x)}\simeq \varphi _{\varphi _{x}(x)} と書ける。関数  h は部分計算可能関数  g(x,y)=\varphi _{\varphi _{x}(x)}(y) からSmn定理を用いて構成できる： 各  x に対して、 h(x) はプログラム  y\mapsto g(x,y) の指標である。
証明を完成させる為に、 F を任意の全域計算可能関数とする。また  h を上で構成した関数とする。いま  e を合成  F\circ h の指標とする。これは全域計算可能関数である。すると  h の定義より  \varphi _{h(e)}\simeq \varphi _{\varphi _{e}(e)} が成り立つ。
ところが  e は  F\circ h の指標だったから、 \varphi _{e}(e)=(F\circ h)(e) であり、 \varphi _{\varphi _{e}(e)}\simeq \varphi _{F(h(e))}。  \simeq  の推移性により、これは  \varphi _{h(e)}\simeq \varphi _{F(h(e))} を意味する。すなわち  n=h(e) について  \varphi _{n}\simeq \varphi _{F(n)} が成り立つ。
ロジャースの不動点定理 > 不動点を持たない（fixed-point free）関数

関数  F が任意の  e に対して  \varphi _{e}\not \simeq \varphi _{F(e)} を満たすときfixed point freeという。不動点定理によれば計算可能なfixed-point free関数は存在しない。しかし計算可能でないfixed-point free関数は幾つも存在する。アースラノフの完全性条件は、帰納的可算集合  A に関する次の条件が同値であることを述べる：
A はチューリング次数  {\boldsymbol {0}}' つまり停止性問題の次数を持つ。
Fixed-point free関数  f\leq _{T}A が存在する。
クリーネの第二再帰定理

第二再帰定理は直観的には自己参照的プログラムが可能であるということである。
これは次のように使用される。いま次のような自己参照的プログラムを考える： 計算可能関数  Q(x,y) の第1変数に自分自身の指標を、第2変数に入力を渡して計算する。第二再帰定理はこのような自己参照的プログラム  p が構成できることを示している。ここで  p は  y だけを入力とする。 p の自身の指標は入力に与えられないが、構成より自己参照的な方程式を満たす。
この定理は  F(p) を  \varphi _{F(p)}(y)=Q(p,y) を満たす関数（この構成にはSmn定理を用いる）とすることでロジャースの定理から証明できる。この関数の不動点が所望の  p であることが確かめられる。
この定理は Q から p が帰納的に計算できるという意味で構成的である。例えばロジャースの定理の証明をラムダ計算で再現すれば不動点を計算するラムダ項（不動点コンビネータ）が得られる。
クリーネの第二再帰定理 > ロジャースの定理との比較

クリーネの第二再帰定理とロジャースの定理は一方から他方を簡単に証明できる（Jones, 1997: p. 229-230）。ところが、クリーネの定理の直接証明（Kleene 1952: p. 352-353）は万能関数を使用しない。その意味するところは、万能関数を持たない幾つかの弱い計算模型に於いても同様の定理が成り立つということである。
クリーネの第二再帰定理 > 再帰の除去への利用

いま  g と  h を全域計算可能関数とする。これらを用いて関数  f を帰納的に次のように定義する：
第二再帰定理をこの等式が計算可能関数を定義することを示すことに利用できる。それには考えている計算模型にア・プリオリに帰納的定義が備わっている必要はない。したがって第二再帰定理（と万能関数の存在）が成立する計算模型であればμ-再帰的関数でもチューリング機械でも成り立つ。
この帰納的定義は次の計算可能関数  (x,y)\mapsto \varphi _{F}(e,x,y) の指標が  e 自身となるような  e を求めることに帰着できる：
再帰定理は  \varphi _{f}(x,y)\simeq \varphi _{F}(f,x,y) なる計算可能関数  \varphi _{f} の存在を確立する。すると  \varphi _{f} は与えられた帰納的定義を満たす。
クリーネの第二再帰定理 > クワインへの応用

再帰定理の使用の古典的な例は  Q(x,y)=x に対するものである。この場合に対応する指標  p は任意に値を入力すると出力が自分自身に一致する計算可能関数である(Cutland 1980: p. 204)。プログラミングの言葉を用いれば、これはクワインとして知られるプログラムの指標に他ならない。
以下ではLispを用いて指標  p が関数  Q からどのように実効的に得られるかを見る。関数 s11 はSmn定理に対応するLispコードである。
Q は任意の2引数の関数のLispコードに置き換えられる。
(setq Q '(lambda (x y) x))
(setq s11 '(lambda (f x) (list 'lambda '(y) (list f x 'y))))
(setq n (list 'lambda '(x y) (list Q (list s11 'x 'x) 'y)))
(setq p (eval (list s11 n n)))
次の2つの式の結果は等しくなる。p(nil) Q(p, nil)
(eval (list p nil))
(eval (list Q p nil))
クリーネの第二再帰定理 > 自己反映計算

自己反映計算は自己参照を用いたプログラミングである。Jones (1997) は自己反映言語に基づいた第二再帰定理の見方を示した。
それは自己反映言語の計算能力は自己反映を持たない言語の計算能力よりも強くはないということである。（何故なら自己反映言語のインタプリタは自己反映を持たない言語によって実装できる）； 再帰定理は自己反映言語において明らかに実現できる。したがって自己反映を持たない言語（帰納的関数やチューリング機械などの計算模型）でも成り立つ。
第一再帰定理

第一再帰定理は帰納的な枚挙作用素の不動点に関するものである。枚挙作用素とは対  (A,n) の集合であって、  A はコード化された有限集合、  n は自然数である。 関数が枚挙作用素を通じて定義される場合など  n は自然数の対のコードと見做されることがある。枚挙作用素は枚挙還元性の研究で最も重要な概念のひとつである。
枚挙作用素 Φ は自然数の集合から自然数の集合への関数を定める：
帰納作用素とは部分帰納的関数のグラフ（正確には部分関数のグラフを対のコードの集合と見做したもの）を常に部分帰納的関数（同様）に写すものをいう。このとき帰納作用素は部分帰納的関数から部分帰納的関数への関数を定めるものと考えられる。
枚挙作用素  \Phi  の不動点とは  \Phi (F)=F なる集合  F をいう。同様に帰納作用素  \Psi  の不動点とは  \Psi (f)=f なる部分関数  f をいう。第一再帰定理は枚挙作用素が計算可能ならば不動点が実効的に得られることを示す。
任意の計算可能な枚挙作用素は帰納的可算な最小不動点を持つ。
任意の帰納作用素は部分帰納的な最小不動点を持つ。
第一再帰定理 > 例

第二再帰定理と同様に、第一再帰定理は再帰方程式を満たす関数を構成する為に使える。第一再帰定理を使うためには再帰方程式系を帰納作用素を使って書き換える必要がある。
階乗関数  f の再帰方程式系を考える：
対応する帰納作用素  \Phi  は  f の前の値から次の値をどのように得るかを記述することで得られる。直感的にいうと  f の有限近似を  \Phi  で写すとよりよい（定義域が拡大された）有限近似が得られるように  \Phi  を定義すればよい。まず  \Phi  に対  (\varnothing ,(0,1)) を置く。これは  f(0)=1 であることを示す。次に任意の  (n,m) について  \Phi  に対  (\{(n,m)\},(n+1,(n+1)\cdot m) を置く。これは  f(n)=m ならば  f(n+1)=(n+1)\cdot m であることを示す。
第一再帰定理より帰納的可算集合  F で  \Phi (F)=F なる最小なものが存在する。この集合  F は自然数の対だけからなり、ちょうど所望の階乗関数  f のグラフとなっている。
上のようにして再帰方程式系の解が必ず得られるとは限らない。次のような解を持たない再帰方程式系が考える：
この方程式をもとに枚挙作用素  \Psi  を作る。第一再帰定理より  \Psi  は（帰納的可算な）不動点を持つ。ところがいかなる部分（帰納的）関数も上の方程式系を満足しえない。この再帰方程式に対応する作用素は帰納作用素ではないからである。
第一再帰定理 > 第一再帰定理の証明の概略

第一再帰定理の前半の証明は、空集合から始めて枚挙演算子  \Phi  の反復によって得られる。まず集合列  F_{k} を次のように帰納的に定義する：
次に  F=\bigcup F_{k} とおく。 F_{k} は一様に帰納的な増大列であるので  F は帰納的可算である。さらに  F は  \Phi  の最小不動点である。ここで構成した  F_{k} は完備半順序で定義された単調関数の不動点の存在を述べるクリーネの不動点定理のクリーネ鎖に対応している。
定理の後半は前半から従う。実際  \Phi  を帰納作用素とすると上の証明の  F が部分関数のグラフになることが  k に関する帰納法で確かめられる。
第一再帰定理 > 第二再帰定理との比較

第二再帰定理と比較すると、第一再帰定理は狭い前提条件を満たす場合に限りより強い帰結を与える。ロジャース[1967]では第一再帰定理を弱再帰定理（英: weak recursion theorem）、第二再帰定理を強再帰定理（英: strong recursion theorem）と表現している。
ひとつの相違は、第一再帰定理は最小不動点を与えるものであるが、第二再帰定理は最小不動点に限らないということである。いまひとつの相違は、第一再帰定理は再帰方程式を帰納作用素に書き換えられる再帰方程式系に対してのみ適用できるが、第二再帰定理は任意の全域帰納的関数に適用できるということである。この制限はクリーネの不動点定理の連続写像という制限と類似している。
A.I. Maltsevによる一般化された定理

アナトリー・マルツェフはプリコンプリート・ナンバリングを持つ任意の集合に対する一般化された再帰定理を示した[要出典]。アクセプタブル・ナンバリングは計算可能関数の集合に対するプリコンプリート・ナンバリングであるから、クリーネの再帰定理は一般化された定理の特別な場合として得られる。
プリコンプリート・ナンバリング  \nu  を所与とすると、任意の部分計算可能関数  f:\mathbb {N} ^{2}\to \mathbb {N}  に対して、全域計算可能関数  t:\mathbb {N} \to \mathbb {N}  が存在して、次を満たす：
クルト・エーデルハーゲン

| クルト・エーデルハーゲン Kurt Edelhagen |
| --- | --- |
 クルト・エーデルハーゲン（1958年）
基本情報
生誕:   (1920-06-05) 1920年6月5日
出身地:   ドイツ ノルトライン＝ヴェストファーレン州ヘルネ
死没:   (1982-02-08) 1982年2月8日（61歳没）
ジャンル:  ジャズ
職業:  ミュージシャン、バンドリーダー、指揮者
担当楽器:  ピアノ
クルト・エーデルハーゲン（Kurt Edelhagen、1920年6月5日 - 1982年2月8日）は、ドイツのビッグバンド・リーダー。
ドイツのノルトライン＝ヴェストファーレン州ヘルネ生まれ。エーデルハーゲンはエッセンで指揮とピアノを学んだ。1945年にトリオを結成し、1年後にはビッグバンドを結成した。フランクフルト・アム・マインのラジオ局で演奏し、その後、1949年から3年間、ニュルンベルクのバイエルン放送の楽団を率いた。1952年から1957年までは、ズードウェストファンク・ビッグバンドを率いている。1954年にはロルフ・リーバーマンによるジャズ・バンドとオーケストラのための協奏曲に参加した。3年後、ケルンのラジオ局、西部ドイツ放送（WDR）ビッグバンドを率い始めた。メンバーにはダスコ・ゴイコヴィッチやジグス・ウィグハムらがいた。バンドは1960年代に東ドイツ、ソ連、チェコスロバキア、アラブ諸国をツアーした。
彼のラジオ・オーケストラは、1972年ミュンヘンオリンピックの開会式で演奏を行った。
1982年2月、ケルンにて61歳で死去した。
レクリエーション・グラウンド (ホワイトヘヴン)

| レクリエーション・グラウンド Recreation Ground The Recre |
| --- | --- |
  画像をアップロード
施設情報
所在地:  Whitehaven RLFC, Recreation Ground, Coach Road, Whitehaven, Cumbria, CA28 9DD
位置:  座標: 北緯54度32分23.06秒 西経3度35分03.14秒﻿ / ﻿北緯54.5397389度 西経3.5842056度﻿ / 54.5397389; -3.5842056
開場:  1993年
グラウンド:  天然芝
使用チーム、大会
 ホワイトヘヴンRLFC (?-present)
収容人員
 7,500人
レクリエーション・グラウンド (Recreation Ground, Whitehaven, あるいはThe Recre)は、イングランド・カンブリア州ホワイトヘヴンにあるスタジアム。収容人数は7,500人。ホワイトヘヴンRLFC)がホームスタジアムとして使用している。
概要

サッカー (フットボール)のゲームも行われるが、基本はラグビーリーグのゲームで使われる。将来はスーパーリーグ(en規格のスタジアムへ改修予定となっている。
アンヘル・アコスタ

| 基本情報 |
| --- | --- |
本名:  アンヘル・アコスタ・ゴメス
通称:  Tito(ティート)
階級:  ライトフライ級
身長:  163cm
リーチ:  163cm
国籍:   プエルトリコ
誕生日:   (1990-10-18) 1990年10月18日（33歳）
出身地:  サンフアン
家族:  アレリー・ムシーニョ（妻）
スタイル:  オーソドックス
プロボクシング戦績
総試合数:  29
勝ち:  24
KO勝ち:  22
敗け:  5
テンプレートを表示
| 獲得メダル>  プエルトリコ .男子 ボクシング .中央アメリカ・カリブ海競技大会 |
| --- | --- | --- |
| 金 | 2010 マヤグエス | ライトフライ級  |
アンヘル・アコスタ（Ángel Acosta Gómez、1990年10月18日 - ）は、プエルトリコのプロボクサー。サンフアン出身。元WBO世界ライトフライ級王者。
妻は元IBF女子世界フライ級王者アレリー・ムシーニョ。
来歴 > アマチュア時代

サンフアンの貧困街バリオ・オブレロ地区で生まれ、9歳で兄の影響でボクシングを始めた。
2010年7月23日から同月31日まで地元マヤグエスで行われた中央アメリカ・カリブ海競技大会にライトフライ級に出場、金メダルを獲得した。
2012年、ロンドンオリンピック出場を懸けたアメリカン・ボクシング・オリンピック予選に出場したが出場を逃してプロに転向した。
来歴 > プロ時代

2012年11月12日、カグアスのコリセオ・ロジャー・M・メンドーサでアレクシス・ディアスとフライ級4回戦を行い、3回2分36秒TKO勝ちを収めデビュー戦を白星で飾った。
2017年2月11日、カグアスのコリセオ・ロジャー・M・メンドーサでWBO世界ライトフライ級1位のジェフェ・ウトニとWBO世界ライトフライ級挑戦者決定戦を行い、10回1分1秒TKO勝ちを収め挑戦権利を獲得した。
2017年5月20日、名古屋市のテバオーシャンアリーナにてWBO世界ライトフライ級王者田中恒成と対戦し、プロ初黒星となる12回0-3（110-117×2、111-116）の判定負けを喫し王座獲得に失敗した。
2017年12月2日、ニューヨークのマディソン・スクエア・ガーデンにて田中恒成の王座返上に伴いWBO世界ライトフライ級4位のファン・アレホとWBO世界ライトフライ級王座決定戦を行い（当初は田中の眼窩底骨折の離脱に伴う暫定王座決定戦が予定されていたが、前日の1日に王座決定戦に変更した上で行われた）、10回1分33秒TKO勝ちを収め王座を獲得した。
2018年6月16日、サンファンのホセ・ミゲル・アグレロット・コロシアムにてWBO世界ライトフライ級11位のカルロス・ブイトラゴと対戦し、12回1分43秒TKO勝ちを収め初防衛に成功した。
2018年10月13日、ラスベガスのザ・ジョイントにてWBO世界ライトフライ級11位で元WBC世界ミニマム級シルバーユース王者のアブラハム・ロドリゲスと対戦し、2回1分2秒KO勝ちを収め2度目の防衛に成功した。
2019年3月30日、ファンタジー・スプリングス・リゾート・カジノ内スペシャル・イベント・センターにて元WBC世界ライトフライ級王者でWBO世界ライトフライ級7位のガニガン・ロペスと対戦し、8回1分55秒KO勝ちを収め3度目の防衛に成功した。
2019年6月21日、ファンタジー・スプリングス・リゾート・カジノ内スペシャル・イベント・センターにてWBO世界ライトフライ級14位エルウィン・ソトと対戦し、12回22秒KO負けを喫し4度目の防衛に失敗、王座から陥落した。
2021年9月10日、アリゾナ州ツーソンにてWBO世界フライ級王者の中谷潤人と対戦し、4回32秒TKO負けを喫して王座獲得に失敗した。
2023年4月6日、アンジェリーノ・コルドバと対戦し、10回判定負けを喫した。
2024年7月6日、空位のWBCフライ級シルバー王座決定戦でリカルド・サンドバルと対戦し、10回KO負けで王座獲得に失敗した。
獲得タイトル

FECARBOXライトフライ級王座
WBOラテンアメリカライトフライ級王座
WBO世界ライトフライ級王座（防衛3）
レナ・ライス

レナ・ライス（Lena Rice, 1866年6月21日 - 1907年6月21日）は、アイルランド・ティペラリー県ニューイン出身の女子テニス選手。フルネームは Helena Bertha Grace Rice （ヘレナ・バーサ・グレース・ライス）というが、「レナ・ライス」の名前で最もよく知られている。アイルランドの女子テニス選手として最初のウィンブルドン選手権出場者になり、1890年に第7回大会の女子シングルス優勝者となったが、結核のため41歳の誕生日に早逝した。
来歴

レナ・ライスは8人兄弟の7番目の子供として生まれたが、わずか2歳の時に父親を亡くした。レナは姉妹の1人と一緒に家でテニスを覚え、近くのローン・テニスクラブにも一緒に通った。1889年5月、「アイルランド選手権」が首都のダブリンで開かれ、ライスは女子シングルス準決勝でブランチ・ビングリー・ヒルヤードに敗れたが、女子ダブルスではヒルヤードと組んで準優勝し、混合ダブルスではウィロビー・ハミルトンと組んで優勝した。その翌月、ライスはアイルランドの女子テニス選手として初めてウィンブルドン選手権に出場し、「チャレンジ・ラウンド」（Challenge Round, 挑戦者決定戦）の決勝で再びブランチ・ビングリー・ヒルヤードと顔を合わせた。第1セットをライスが 6-4 で先取し、第2セットをヒルヤードが 8-6 で奪い返して1セット・オールになった後、第3セットでライスがゲームカウント 4-3 から「40-30」まで試合を優位に進めていたが、ここからヒルヤードが挽回して最終セットを 6-4 と逆転した。当時はチャレンジ・ラウンドの勝者と大会前年優勝者による「オールカマーズ・ファイナル」（All-Comers Final）方式を採用していたが、1888年度の優勝者ロッティ・ドッドが大会に出場しなかったため、1889年のオールカマーズ・ファイナルは行われず、チャレンジ・ラウンド勝者のビングリー・ヒルヤードが大会優勝者となった。そのため、レナ・ライスは初出場のウィンブルドンでは準優勝者になる。
1890年のウィンブルドン選手権では、女子前年優勝者のブランチ・ビングリー・ヒルヤードは妊娠のため大会に出場しなかった。そのため、前年と同じく「チャレンジ・ラウンド」の勝者がそのまま大会優勝者となる。1890年の女子チャレンジ・ラウンドにエントリーした選手は、ライスを含めてわずか4人だけだった。最初の試合に勝った後、ライスはチャレンジ・ラウンドの決勝でメイ・ジャックスに 6-4, 6-1 で勝ち、アイルランドの女子テニス選手として最初のウィンブルドン優勝者になった。同じアイルランドの女子テニス選手では、マーベル・カーヒルが全米選手権で1891年・1892年に2連覇を達成したが、ライスはウィンブルドン選手権で唯一の女子シングルス優勝者となった。しかし、家族を切り盛りしていた母親が1891年に病死したこともあり、ライスはウィンブルドンに2度しか出場できずに終わった。
生涯独身だったレナ・ライスは、1907年6月21日に結核で死去した。41歳の誕生日にこの世を去った「アイルランド女性唯一のウィンブルドン優勝者」は、自宅近くの墓地で両親の傍らに埋葬された。
天下の若者

| 天下の若者 |
| --- | --- |
ジャンル:  テレビドラマ/バラエティ番組
脚本:  池田一朗ほか
演出:  丹羽茂久ほか
出演者:  谷啓、梓みちよほか
オープニング:  「天下の若者」（谷啓）
製作
制作:  フジテレビ

放送
放送国・地域:  日本
放送期間: 1964年3月13日～1965年3月26日
放送時間: 金曜20:00 - 20:56
放送枠: フジテレビ金曜8時枠の連続ドラマ
放送分: 56分
テンプレートを表示
『天下の若者』（てんかのわかもの）は、1964年3月13日から1965年3月26日までフジテレビ系列の金曜20時00分 - 20時56分（JST）に放送された、バラエティ仕立てのテレビドラマである。
概要

銀座のしゃれたビルに事務所を構える芸能プロ「希望プロ」を舞台に、そのプロで働く社員とタレント、更に同じビルの住人たちとの交流を描く。
アイデアの連発とハッスルし過ぎで5回も会社を首になり、「希望プロ」に入った谷田啓太郎と、ある会社の令嬢で、社内でも評判の原みよこの2人を中心に、若い社長の山内、男性社員には厳しく女には優しい花木興行部長、タレントとしては見込みない木下専務を中心に、様々な人たちが登場する。
NHK総合で放送中の『若い季節』に対抗して開始した、オールスター物のテレビドラマで、渡辺プロダクション所属の芸能人が総出演している。
出演者

谷田啓太郎：谷啓（ハナ肇とクレージーキャッツ）
原みよこ：梓みちよ
山内社長：三橋達也
花木興行部長：ハナ肇（ハナ肇とクレージーキャッツ）
木下専務：藤田まこと
植木等（ハナ肇とクレージーキャッツ）
犬塚弘（〃）
桜井センリ（〃）
安田伸（〃）
石橋エータロー（〃）
人見きよし
左とん平
南利明
谷幹一
小野栄一
木の実ナナ
田辺靖雄
中尾ミエ
園まり
伊東ゆかり
ザ・ピーナッツ
ミッキー・カーチス
南都雄二
ほか多数
スタッフ

脚本：池田一朗、竹内伸夫ほか
演出：丹羽茂久、戸崎春雄ほか
主題歌

「天下の若者」
歌：谷啓
ネット局

フジテレビ
関西テレビ
東海テレビ
広島テレビ
九州朝日放送→テレビ西日本
北海道放送
仙台放送（土曜20:00～20:56）
提供

日清紡（現：日清紡ホールディングス）
ピアス化粧品
参考資料

産経新聞
テレビドラマデータベース
ベル島 (ゼムリャフランツァヨシファ)

| ロシア語: Остров Белл |
| --- | --- |
 ベル島の位置(地図の南側)
 ベル島ゼムリャフランツァヨシファの地図を表示ベル島ロシアの地図を表示
地理
座標:  北緯80度00分40秒 東経49度15分40秒﻿ / ﻿北緯80.01111度 東経49.26111度﻿ / 80.01111; 49.26111
諸島:  ゼムリャフランツァヨシファ
面積:  10 km2 (3.9 sq mi)
長さ:  5.1 km (3.17 mi)
幅:  3.9 km (2.42 mi)
最高標高:  343 m (1125 ft)
行政
 ロシア連邦
テンプレートを表示
ベル島(ベルとう、ロシア語: Остров Белл)は北極海の一部であるバレンツ海に位置するロシア連邦領ゼムリャフランツァヨシファの南部にある島である。1880年に発見された 。
ドッチメチャ!

『ドッチメチャ!』は、2000年4月27日にソニー・コンピュータエンタテインメントから発売されたプレイステーション専用ソフト。対戦シミュレーションゲーム。パッケージロゴでは「どっちもメチャメチャ」と言う言葉が付いている。
概要 > 主要ルール

このゲームは、キングパオという自分の陣地から呼び出せる「エンジェるん」と呼ばれる天使を活用して相手のキングパオを先に破壊する陣取り合戦である。ただし、「エンジェるん」を呼び出すにはキングパオに「ギルテミックの実」という黄色い実が貯まっていなければならない。ゲーム開始時は「パッチョ」が1匹呼び出せるギルテミックがあるのみ。
概要 > ゲームモード

神様になりたい主人公チッパーが神様試験に挑むストーリーモードの他に一定の条件を満たすとプレイできるようになるゲームモードがある。
ストーリーモードをクリアするとプレイできるチャレンジモードでは以下のゲームが遊べる。
タマゴプレゼント - 基本ルールは同じだが、（キング）パオからはパッチョとフィーパしか呼び出せない。他のエンジェるンを呼び出すには空から降ってくるタマゴをフィーパを使って自分の（キング）パオに持ち帰らなければならず、タマゴの中身もかえるまでわからない。
バクダンプレゼント - 基本ルールは同じだが、キングパオを破壊するには空から降ってくるバクダンをフィーパを使って運ばなければならない。他のパオはエンジェるんの攻撃で破壊可能。
パネル取り - パネル取り専用のステージで、さまざまな効果のあるパネルを取りあうゲーム。どちらかのキングパオが破壊された時点での獲得パネル枚数の多い方が勝ち。パネルの上をエンジェるんが歩くと「獲得した」事になる。
概要 > スコア合計1000点突破特典

チャレンジモードのスコア合計が1000点以上に到達すると解放される特典。
ブラックモード - モード選択時にR1でonにすることによってどのモードでも適用される。
onにすると2P側のエンジェるんが真っ黒になり、行動速度が倍増する超高難易度モード。それだけではなく、パッチョがギルテミックの実を（キング）パオへ投げられる位置が伸び、フィーパは敵の（キング）パオからギルテミックを盗む量が通常の2～3倍になり、プゲラはホムホムの砲撃による硬直時間が短くなることがある。また、本当に真っ黒なので被ダメージ量が分からない。
ミュージアム - ゲーム中に使われているBGMや、ストーリーモードのムービーを自由に観ることができる。
概要 > 採点

各ステージをクリアすると採点に入る。採点基準は、タイムポイント（50点満点）、パオポイント（30点満点）、エンジェるんポイント（20点満点）の 3 つ。
タイムポイントは、出来るだけ早く相手のキングパオを破壊すればするほど高得点となる項目。満点を取るには 残り時間が3日を切る前にクリアすること。
パオポイントは、パオの所有数が多いほど高得点となる項目。ステージごとにパオのもとの数が決まっているが、満点を取るには全てのパオをつくること。1つでもパオのもとがあったり、敵のパオがあったりすると満点はもらえない。
エンジェるんポイントは、エンジェるんの生存率が高いほど高得点となる項目。満点を取るには出来るだけ多くのエンジェるんが残っていること。クリア直前にパッチョを大量に呼び出せば簡単に高得点が取れる。
エンジェるん

ゲームに登場するエンジェるんは 5 種類あり、それぞれ役割が異なる。倒されると文字通り「昇天」する。
ステージに落ちているギルテミックの実を拾って（キング）パオに集める
ステージにある「パオのもと」で「パオ」を作る - 最低3匹が必要。体力を消費し、途中で力尽きると昇天してしまう。
ホムホムの弾になる - 大量にホムホムに吸わせると、爆風が大きくなる。
命令すると少しだけ走る - 早くクリアするには、連続して命令を出さないといけない。
ギルテミックの木を育てる - ギルテミックを消費し、木の周辺に花を植える。ギルテミックの木は3回成長でき、花の数がそれぞれ4個、6個、8個で成長し、その木から採れるギルテミックの量が増える。
相手のタマゴを盗む - ホムホムとプゲラはタマゴからかえるのに時間がかかり、そのスキに敵のタマゴを盗むことが出来る。タイミングによってはピッキーのタマゴも盗むことは可能。
相手のパオに貯まったギルテミックを盗む
ギルテミックをパオからパオへと移す
夜になると寝てしまうプゲラを運ぶ
敵のプゲラを見つけると一目散に逃げ出す
ドゥアラ国際空港

ドゥアラ国際空港（ドゥアラこくさいくうこう、仏語：Aéroport international de Douala）は、カメルーン共和国最大の都市ドゥアラにある国際空港である。また、カメルーン航空の拠点空港でもある。
就航航空会社と就航都市 > 国際線

| 航空会社 | 就航地 |
| --- | --- |
  カメルーン航空 :  国際線 ：バンギ・ムポコ国際空港（バンギ）、リーブルヴィル国際空港（リーブルヴィル）、ンジャメナ国際空港（ンジャメナ） 国内線 ：バフ―サム空港（バフーサム）、ガルア国際空港（ガルア）、サラック空港（マルア）、ヌガウンデレ空港（ヌガウンデレ）、ヤウンデ・ンシマレン国際空港（ヤウンデ）  
  エール・コートジボワール :  フェリックス・ウフェ＝ボワニ国際空港（アビジャン）、ンナムディ・アジキウェ国際空港（アブジャ）、ヤウンデ・ンシマレン国際空港（ヤウンデ） 
  エア・ピース: ポートハーコート国際空港（ポートハーコート）、ムルタラ・モハンマド国際空港（ラゴス） 
  エア・セネガル :  カジェフォウン空港（コトヌー）、ブレーズ・ジャーニュ国際空港（ダカール）、リーブルヴィル国際空港（リーブルヴィル） 
  アフリジェット:  バタ空港（バタ）、マラボ国際空港（マラボ）、リーブルヴィル国際空港（リーブルヴィル） 
  ASKY航空:  バンギ・ムポコ国際空港（バンギ）、ロメ空港（ロメ）、ンジャメナ国際空港（ンジャメナ） 
 クロノス航空 :  マラボ国際空港（マラボ） 
  エジプト航空 :  カイロ国際空港（カイロ） 
  エチオピア航空 :  ボレ国際空港（アジスアベバ）、マラボ国際空港（マラボ） 
  ケニア航空:  ジョモ・ケニヤッタ国際空港（ナイロビ）、バンギ・ムポコ国際空港（バンギ）   
  ロイヤル・エア・モロッコ :  ムハンマド5世国際空港（カサブランカ）、バンギ・ムポコ国際空港（バンギ） 
  ルワンダ航空 :  マヤマヤ空港（ブラザヴィル）、カジェフォウン空港（コトヌー）、バンギ・ムポコ国際空港（バンギ）、キガリ国際空港（キガリ） 
  ターキッシュ エアラインズ :  アタテュルク国際空港（イスタンブール） 
  エールフランス :  パリ＝シャルル・ド・ゴール空港（パリ）、マラボ国際空港（マラボ） 
  ブリュッセル航空 :  ブリュッセル空港（ブリュッセル）