hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
CrossOver (ソフトウェア)
CrossOverとはLinuxやmacOS、ChromeOSで使用可能なMicrosoft Windowsの互換レイヤーである。この互換レイヤーによって多くのWindows アプリケーションをLinuxやmacOS、ChromeOS上で実行できるようになる。

CrossOverはCodeWeaversによって開発されており、オープンソースのWindows互換レイヤーであるWineに基づいている。CodeWeaversはWineのソースコードを編集し、互換性保持のためのパッチの適用、より使い勝手の良い設定ツールやインストールを自動化するスクリプトの追加、そして技術サポートを提供している。Wineのソースコードに対してなされたすべての変更はLGPLによって保護されており、一般に公開されている。CodeWeaversは、多様なWindowsアプリケーションがCrossOver上でどれほど良く動くかについてのオンラインデータベースを管理している。

CodeWeavers
CodeWeaversは主にWindowsの互換レイヤーであるWineの開発を行っていて、プロプライエタリ版のWineであり、macOSやChromeOS、Linux上でWindowsアプリケーションを実行できる、CrossOverを販売しているソフトウェア会社である。1996年にコンサルタント業のために設立され、やがて完全にWineの開発およびサポートへと事業を転換した。

CodeWeaversはWineプロジェクトの主要な後援企業の一つであり、Wine公式サイトをホストし、WineConfの後援の支援、そして多くのWine開発者を雇用しており、Wineのソースコードの主要なコントリビューターでもある。CodeWeaversはWineに対するコミットの2/3は従業員によるものだと主張している。 また、CodeWeaversはWineの主な管理者であるAlexandre JulliardをCTOとして雇用している。CodeWeaversはCrossOver製品においてWineを使用し利益を上げているが、Wineに対し、CrossOverと競合するような強化を促すこともある。

CodeWeaversはまた、オープンソースにおけるMicrosoft .NET Framework(バージョン4とそれ以前)の実装で、Wineにおける.NET Framework の代替であるwine-monoの開発者も雇用している。Wine-monoはMonoのブランチの一つで、Wine上で動くように適応されている。

2016年以来、CodeWeaversはProtonという、Linux上でWindowsゲームをSteam経由で動かすための互換レイヤーに関してValveと契約し、開発に協力している。

CodeWeaversはDesktop Linux Consortiumの創設メンバーである。

CodeWeaversの製品やサービスにはCrossOver、PortJumpやExecModeなどが含まれる。

2023年4月、CodeWeaversはEmployee Ownership Trustに移行した。Jeremy WhiteはCEOの座を退き、当時社長であったJames Rameyが引き継いだ。
アーケイディア
アーケイディア (Arcadia) は、イギリスのシンセポップ・ユニット。メンバーはデュラン・デュランのサイモン・ル・ボン、ニック・ローズ、ロジャー・テイラー。（デュラン・デュランのジョン・テイラーとアンディ・テイラーはロックバンド「パワー・ステーション」を結成）。

1985年に結成し、アルバム『情熱の赤い薔薇』（So Red The Rose）を1枚残している。アルバムにはデヴィッド・ギルモア（ピンク・フロイド）、スティング（「The Promise」のバック・コーラス）、アンディ・マッケイ（ロキシー・ミュージック）、ジャズピアニストのハービー・ハンコック、グレイス・ジョーンズ（「The Flame」のバック・コーラス）、土屋昌巳など大物ゲストの参加も話題を呼んだ。
また映画『高卒物語』（Playing For Keeps）のサウンドトラックに「Say The World」を提供している。

デュラン・デュラン
デュラン・デュラン（英語: Duran Duran）は、イギリスのロックバンド。1978年、イングランド中部・バーミンガムにて結成された。1980年代前半のニューロマンティック（New Romantic）といわれるムーブメントやMTVブームの火付け役。バンド名はジェーン・フォンダが主演したSF映画『バーバレラ』（1968年）で登場する悪役「デュラン・デュラン（Durand-Durand）博士」より。当時バンドの登竜門となっていた、バーミンガムのクラブ『バーバレラ』が、同映画から命名されていたため、バーバレラでの演奏を目指す意思を表明したものである。
ネッソス
ネッソス（古希: Νέσσος, Nessos, ラテン語: Nessus）は、ギリシア神話に登場するケンタウロスである。ネッススとも表記される。ヘーラクレースの妻デーイアネイラにちょっかいを出そうとしたところを、ヘーラクレースに弓で射られて殺された。

ネッソスは死ぬ間際にデーイアネイラを呼び、「自分の血は媚薬の効果がある。ヘーラクレースが心変わりしたときには、自分の血を使え。」と言った。後に、ヘーラクレースが戦利品として絶世の美女イオレーを得たとき、心変わりを恐れたデーイアネイラはネッソスの血を下着に塗った。だがネッソスの血にはヘーラクレースの矢に付いていたヒュドラーの猛毒が含まれ、これを着たヘーラクレースは毒によって体が腐り、瀕死の重傷を負った。彼は命が助からないことを知ると、自分で火葬の準備をしてその上に横になり、火をつけるように命じたが、皆しり込みして実行したがらない。が、ついにポイアースが進み出て火をつけた。ヘーラクレースは感謝し、彼に自身の弓を与えた。この弓が、ポイアースの子ピロクテーテースがトロイア戦争に持参した弓である。なお、一説によると火をつけたのはピロクテーテース自身だったとも言う。デーイアネイラはこれを知って自殺した。

ネッソスはダンテの『神曲』地獄篇第十二曲に、地獄の獄卒として登場する。彼はケイローンに命じられてダンテとウェルギリウスの道案内をした。

ケンタウロス族の小惑星ネッススはネッソスにちなんで名付けられた。

(7066) ネッスス
(7066) ネッスス（英語: Nessus）は、太陽系の小惑星のひとつ。土星と冥王星の間を巡る楕円軌道にある。

1995年、アリゾナ大学のスペースウォッチ計画に参加していたデイヴィッド・ラビノウィッツらによって発見され、ギリシア神話でヘラクレスの妻に手を出そうとして殺されたが、遺言によってヘラクレスを謀殺し復讐したケンタウロス、ネッソスのラテン語表記にちなんで命名された。
ジョン・クリアリー
ジョン・クリアリー（Jon Cleary、1962年8月11日 - ）は、米国ルイジアナ州ニューオーリンズを拠点に活動するシンガー兼ピアニスト。イギリス出身だが17歳のときに渡米。今では、ニューオーリンズを代表するピアニストの一人として知られている。プロフェッサー・ロングヘアらのニューオーリンズR&Bを影響を色濃く受けながらも、ファンク、ラテンなど幅広い音楽的要素を取り入れたサウンドが特長。ボニー・レイットのバンド・メンバーとしてツアーとレコーディングに参加したことでも知られている。

ボニー・レイット
ボニー・レイット（Bonnie Raitt、1949年11月8日 - ）は、米国のロック・ギタリスト、シンガー、活動家。ブルース、R&Bの色合いの濃いサウンドが特長。また、女性スライド・ギタリストの草分け的存在としても知られている。

1970年代、レイットはブルース、ロック、フォーク、カントリーの要素を取り入れたルーツに影響を受けた一連のアルバムをリリースした。1989年、数年にわたって批評家の称賛を得たが商業的にはほとんど成功しなかった後、アルバム『ニック・オブ・タイム』が大ヒットした。「Something to Talk About」「Love Sneakin 'Up on You」およびブルース・ホーンズビーのピアノをフィーチャーしたバラード「I Can't Make You Love Me」を収録した次の2枚のアルバム、『ラック・オブ・ザ・ドロウ』（1991年）と『ロンギング・イン・ゼア・ハーツ』（1994年）も数百万枚を売り上げた。

レイットはグラミー賞を10回受賞している。

「ローリング・ストーンの選ぶ歴史上最も偉大な100人のシンガー」において第50位。

2011年、「ローリング・ストーンの選ぶ歴史上最も偉大な100人のギタリスト」において第89位。

オーストラリアのカントリー・ミュージック・アーティスト、グレーム・コナーズは、「ボニー・レイットは他の誰もが作れないような歌詞を作り、それを折り曲げ、ねじ曲げて心の奥に届かせるのです」と語っている。
行動分析
行動分析学（こうどうぶんせきがく、Behavior Analysis）とは、バラス・スキナー (Burrhus Frederick Skinner) が新行動主義心理学をさらに改革し、新たに起こした徹底的行動主義 (radical behaviorism) に基づく心理学の一体系である。歴史的には、フロイトやユングらの精神分析学に対抗する形で発展してきた。

行動分析学とは字義通り人間または動物などの行動を分析する学問である。行動は、生物ができるすべての行動を対象とする。具体的には、独立変数（環境）を操作することで従属変数（行動）がどの程度変化したかを記述することによって、行動の「原理」や「法則」を導き出す。これを実験的行動分析（じっけんてきこうどうぶんせき、en:Experimental analysis of behavior）という。これにより、行動の「予測」と「制御」が可能になる。その成果は、人間や動物のさまざまな問題行動の解決に応用されている。これを応用行動分析（おうようこうどうぶんせき、Applied Behavior Analysis）と呼ぶ。

行動分析学の基本的な「原理」は、レスポンデント条件づけ(別名古典的条件づけまたはパブロフ型条件づけ)とオペラント条件づけ（別名道具的条件づけ）の二つにある。

オペラント条件づけ
オペラント条件づけ（オペラントじょうけんづけ、operant conditioning、あるいは instrumental conditioning）とは、報酬や罰などの結果に応じて、自発的な行動が学習される過程のことである。これは行動主義心理学における基本理論のひとつである。

オペラント条件づけの研究は、1898年にエドワード・ソーンダイクが行った試行錯誤学習の実験に始まり、その後、1938年にバラス・スキナーがハトやネズミを用いた体系的な研究を展開したことで広く知られるようになった。こうした研究に基づき、オペラント条件づけは「道具的条件づけ」や「スキナー型条件づけ」、「オペラント学習」とも呼ばれる。

一方で、イワン・パブロフによる古典的条件づけは、遺伝的に備わった反応と別の刺激を結びつける学習であり、オペラント条件づけとは異なる種類の条件づけである。

オペラント条件づけはヒトを含む動物の幅広い行動に適用可能であり、日常生活において自然に生じている。例えば、子どものしつけや動物の訓練などに古くから用いられてきた。さらに、スキナーやその後継者によって応用領域が広がり、行動療法、プログラム学習、技能訓練、嗜癖の改善、障害児の療育、リハビリテーション、e-ラーニングなど、多様な分野で活用されている。
緊急消防援助隊
緊急消防援助隊（きんきゅうしょうぼうえんじょたい）とは、日本における全国的な消防応援の制度及び同制度に基づく消防部隊である。被災地の消防力のみでは対応困難な大規模・特殊な災害の発生に際して、発災地の市町村長・都道府県知事あるいは消防庁長官の要請により出動し、現地で都道府県単位の部隊編成がなされた後、災害活動を行う。緊援隊と略称される。エンブレムに表記された「FIRE RESUCE EMS」はそれぞれ、火災（FIRE）・救助（RESCUE）・緊急医療（EMS：Emergency Medical Services）を示す。

消防庁長官
消防庁長官（しょうぼうちょうちょうかん、英語: Commissioner of the Fire and Disaster Management Agency）は、日本の消防庁の長たる官職またはその官職に在任している者をいう。その地位については消防組織法（昭和22年法律第226号。以下法という。）第3条に規定があり、総務省の管理に服し、消防庁の庁務を統括し、所部の職員を任免する。
台中国家歌劇院
台中国家歌劇院（たいちゅうこっかかげきいん、繁体字中国語: 臺中國家歌劇院）は台湾台中市西屯区の再開発エリア「七期重画区」内にある大型公共コンサートホールとその運営主体となる行政法人の名称。台北市の国家両庁院に次いで約30年ぶりに新設された国家級ホールで、日本の建築家伊東豊雄が設計し、総面積は57,685平方メートルに及ぶ。院内は大劇場、中劇場、小劇場以外に飲食店と空中花園を備える屋外小劇場で構成されている。

胡志強が台中市長時代に台北や高雄との都市インフラ格差を是正すべく建設を決定、2005年の国際設計コンペで最優秀者として選ばれた伊東のデザインを元に、建築構造家のセシル・バルモンドによる構造設計、高難度の設計で台湾のゼネコン麗明営造施工が決まるまで何度も入札が流れたが、2009年12月に着工された。
2015年には、その独創的な建築工法（曲線建築工法と水幕による防火設計）により行政院公共工程委員会の公共建築「金質奨」に選定された。

歌劇院は2014年11月23日完工、プレ開業したが、新市長林佳龍が就任直後の2015年1月1日に閉館、多数の施工不良箇所を改修する工事がなされ2016年9月30日に正式オープンした。2018年の日本デザイン振興会主催グッドデザイン賞でグッドデザイン・ベスト100に選出。

伊東豊雄
伊東 豊雄（いとう とよお、1941年6月1日 - ）は、日本の建築家。一級建築士。伊東豊雄建築設計事務所代表。

東京大学、東北大学、多摩美術大学、神戸芸術工科大学で客員教授を歴任。高松宮殿下記念世界文化賞、RIBAゴールドメダル、UIAゴールドメダル、日本建築学会賞作品賞2度、グッドデザイン大賞、2013年度プリツカー賞など受賞歴多数。多摩美術大学大学院美術研究科教授。
ミシェル・エイカーズ
ミシェル・アン・エイカーズ (Michelle Anne Akers, 1966年2月1日 - ) はアメリカ合衆国カリフォルニア州サンタクララ出身の元女子サッカー選手。1991年・1999年のFIFA女子ワールドカップでアメリカを優勝に導いた。FIFA 100でミア・ハムと共に「偉大なサッカー選手」に選ばれ、アメリカサッカーの殿堂入りも果たした。

FIFA 100
FIFA 100（フィーファ・ワンハンドレッド、フィーファ・ひゃく）は、国際サッカー連盟（FIFA）の創設100周年を記念して2004年3月4日にロンドンで開催された記念式典。

この式典でペレが選んだ『偉大なサッカー選手100人』が発表された。対象者は2004年3月4日時点での存命者が条件で、実際は125人が選ばれた。この中には2人の女子選手も含まれている。選出者の内訳は引退選手が75人、現役選手が50人だった。
フアン・フランシスコ
フアン・ラモン・フランシスコ・ゴンザレス（Juan Ramón Francisco González, 1987年6月24日 - ）は、ドミニカ共和国・モンセニョール・ノウエル州ボナオ出身のプロ野球選手（内野手）。右投左打。現在はフリーエージェント（FA）。2021年開催の東京オリンピック 野球 銅メダリスト。

日本球界ではホアン・フランシスコと表記される。

2020年東京オリンピックの野球競技
2020年東京オリンピックの野球競技（2020ねんとうきょうオリンピックのやきゅうきょうぎ）は、世界野球ソフトボール連盟（WBSC）管轄の下で実施された2020年東京オリンピックでの野球・ソフトボール競技の追加種目野球である。2021年7月28日から8月7日まで開催され、2008年北京オリンピック以来3大会ぶりの開催となった。
ソクラテス
ソクラテス（ソークラテース、英語: Socrates、古代ギリシア語: Σωκράτης、古代ギリシア語ラテン翻字: Sōkrátēs、ギリシア語発音: [sɔːkrátɛːs]、紀元前470年頃 – 紀元前399年）は、アテナイ出身の古代ギリシアの哲学者である。西洋哲学の基礎を築いた人物の1人として、特に、西洋道徳哲学（倫理学）の伝統における最初期の道徳哲学（倫理学）者の1人として認識されている。ソクラテス自身は一切の著述を行わなかったため、彼の死後に執筆を行った古代の作者たち、特に彼の弟子のプラトンとクセノフォンの著作を通して知られている。 同年代の他の出典としては、アンティステネス、アリスティッポス、スフェトスのアエシネスの著作がある。劇作家のアリストファネスは、ソクラテスの存命中にソクラテスに言及した演劇を執筆した同年代の主な作家であるが、キオス島のイオンの断片である『旅行記』（英語: Travel Journal）は、ソクラテスの若さに関する重要な情報を提供している。

プラトンの対話篇は、古代から残されたソクラテスに関する最も包括的な著述であり、この著作により、倫理学と認識論の分野でのソクラテスの貢献が知られるようになった。ソクラテスのアイロニーやソクラテスの対話法、あるいはエレンコス（英語: elenchus、反対論証）を有名にしたのは、このプラトンが描いたソクラテスである。しかし、実在したソクラテスとプラトンの対話篇でのソクラテスの描写との違いに関しては、疑問が残されている。

ソクラテスは、後代の古代の哲学者たちと現代の哲学者たちに絶大な影響を及ぼした。芸術、文学、ポピュラーカルチャーの中でのソクラテスの描写により、ソクラテスは西洋哲学伝統の中で最も広く知られる人物の一人になった。現代の高等批評の立場からは、イエス・キリストはヘレニズム世界でギリシア哲学の影響を受けた哲学者でありソクラテスと似たような生涯を送ったが、イエスの場合は死後神として祭り上げられたという説もある（キュニコス派#キリスト教との関連）。

日本では釈迦、キリスト、孔子と並び四聖人（四聖）とされることもある。

キュニコス派
キュニコス派（キュニコスは、古希: κυνισμός、古代ギリシア語ラテン翻字: kunismós、英: Cynicism）とは、アンティステネスを開祖とするヘレニズム期のギリシア哲学の一学派。小ソクラテス学派の一つ。犬儒派（けんじゅは）とも呼ばれる。

キュニコス派にとって、人生の目的とは自然に与えられたものだけで満足して生きることにある。理性的生物として、厳格な鍛錬を積んだり、富・権力・名声といった従来のあらゆる欲求を放棄して自分達にとって自然な暮らし方をすることで、人々は幸せを得ることができるとした。その代わり、彼らは一切の所有物を持たない簡素な生活を送ることになった。

これらのテーマを概説した開祖の哲学者がアンティステネスで、彼は紀元前5世紀後半にソクラテスの弟子でもあった。彼に続いたのが、アテナイの路上に置かれた甕の中で生活していたとされるシノペのディオゲネスである。ディオゲネスはキュニコス派思想を論理的極限まで採用し、典型的なキュニコス派哲学者と見なされるようになっていった。彼に続いたのが、アテナイで貧しいキュニコス派の生活が送れるようになるため莫大な財産を手放したとされるテーバイのクラテスである。

紀元前3世紀以降にキュニコス派が徐々に重視されるようになり、1世紀のローマ帝国台頭と共に復興を果たした。同帝国のあらゆる都市でキュニコス派が物乞いや説法者として現れるようになり、似たような禁欲主義および修辞学の思想が初期キリスト教に反映された。

バートン・L・マックは著書『失われた福音書-Q資料と新しいイエス像』でイエス・キリストはキュニコス派の哲学者であったとする説を提示している（#キリスト教との関連）。
新郷川俣関所
新郷川俣関所（しんごうかわまたせきしょ）は、武蔵国と下野国の間の利根川堤防上にあった関所である。利根川を越して日光へ通じる日光脇往還にある。現在の埼玉県側が羽生市上新郷、群馬県側が邑楽郡明和村に相当する。新郷川俣関所廃止後、跡地は、利根川改修により河底に位置する。「川俣関所碑」及び新郷川俣関所関連の古文書である「川俣関所関係古文書及び関係用具」は埼玉県の文化財に指定されている。

房川渡中田関所
房川渡中田関所（ぼうせんのわたしなかたせきしょ）は、江戸時代に奥州街道・日光街道の利根川筋（現・大落古利根川）に設置された関所の一つである。奥州街道・日光街道の栗橋宿から中田宿の間、利根川筋古利根川沿いにあった。房川渡中田関所名の由来は、房川渡と中田宿の間にあったためと言われていたという。通称栗橋関所であった。
善光寺下駅
善光寺下駅（ぜんこうじしたえき）は、長野県長野市三輪七丁目にある長野電鉄長野線の駅。駅番号はN4。

地下にある駅。

普通列車のみ停車する。ただし2003年以降の善光寺御開帳開催中は、日中に運転のA特急が臨時停車する。

善光寺
善光寺（ぜんこうじ）は、長野県長野市元善町に存在する無宗派の単立仏教寺院。住職は「大勧進貫主」と「大本願上人」の両名が務め、実際の護持・運営は天台宗と浄土宗が担っている（後述）。

本尊は日本最古と伝わる一光三尊阿弥陀如来（善光寺如来）で、絶対秘仏である。近年は七年に一度とされている開帳は前立本尊（まえだちほんぞん）で行い、本堂前には触ると御利益（ごりやく）が得られるとされる回向柱（えこうばしら）が建てられる。

この善光寺如来は由緒ある仏像として権威の象徴とも見なされ、戦国時代には大名がこぞって自領（本拠地）に善光寺如来を遷座させ、各地を転々とした。

昔から多くの人々が日本中から善光寺を目指して参詣し、「一生に一度は参れ善光寺」と言われた。長野市の中心市街地は善光寺門前町を含み、長野市ほか北信に広がる長野盆地は「善光寺平」とも呼ばれる。
スペースX CRS-22
Spx-22としても知られるスペースX CRS-22は国際宇宙ステーションへの商業補給サービス（CRS）ミッションであり、2021年6月3日 17:29:15 UTCに打ち上げられた。このミッションはNASAとの契約に基づき、スペースXがカーゴドラゴンを使用して実施した。これは2016年1月に締結されたNASAのCRSフェイズ2契約に基づくスペースXによる2回目のフライトだった。

商業補給サービス
商業補給サービス（しょうぎょうほきゅうさーびす、英語: Commercial Resupply Services; CRS）は、商用宇宙船による国際宇宙ステーション (ISS) に貨物と物資を輸送するためにNASAが行う一連のフライト。最初のCRS契約は2008年に署名され、2016年までの輸送をカバーするスペースX社のカーゴドラゴン12便に対して16億ドルを与え、オービタル・サイエンシズ社のシグナス8便に対して19億ドルを与えた。ファルコン9とアンタレスロケットもCRSプログラムの下で開発され、無人宇宙補給機をISSに輸送している。

最初の運用補給ミッションは、2012年にスペースX社 (SpaceX CRS-1)、2014年にオービタル・サイエンシズ社（シグナス CRS Orb-1）によって飛行している。

契約の第2フェーズ（CRS-2として知られる）は2014年に要請された。並行して2015年に、NASAはCRS-1をSpaceXに20便、オービタルATKに10便に拡大した。CRS-2契約は、2016年1月にオービタルATK社シグナス、シエラ・ネヴァダ・コーポレーション社ドリームチェイサーおよびスペースX社ドラゴン2に、2019年から開始され2024年まで続くと予想される貨物輸送便に対して与えられた。
石川雅望
石川 雅望（いしかわ まさもち、宝暦3年12月14日〈1754年1月7日〉 - 文政13年閏3月24日〈1830年5月16日〉）は、江戸時代後期の狂歌師、国学者、戯作者。本名は糠屋 七兵衛（ぬかや しちべえ）、後に石川 五郎兵衛（いしかわ ごろべえ）に改めた。字は子相、号は六樹園・五老山人・逆旅主人・蛾術斎など。狂名は宿屋 飯盛（やどやの めしもり）。国学方面では石川雅望を名乗った。

鹿津部真顔
鹿津部 真顔（しかつべの まがお、1753年（宝暦3年） - 1829年7月6日（文政12年6月6日））は、江戸時代後期の狂歌師・戯作者。鹿都部真顔とも書く。通称は北川嘉兵衛、号に紀真顔・狂歌堂・鹿杖山人・俳諧歌場・万葉亭・四方歌垣・四方真顔・好屋翁・恋川好町など。
ワンダー・ストーリーズ
『ワンダー・ストーリーズ』（Wonder Stories）は、アメリカ合衆国のSFパルプ・マガジン。1929年から1955年にかけて、幾度かの誌名変更を経つつ刊行された。会社の破産により『アメージング・ストーリーズ』を売却したヒューゴー・ガーンズバックが、新たに作ったパルプ雑誌である。

経営していたメディア会社・エクスペリメンター出版が破産してすぐに、ガーンズバックは新しい出版社・ガーンズバック出版を設立し、同年内に3つの新雑誌を創刊した。『エア・ワンダー・ストーリーズ』、『サイエンス・ワンダー・ストーリーズ』、『季刊サイエンス・ワンダー』である。初めの2つは1930年に統合されて『ワンダー・ストーリーズ』となった。最後のものは『季刊ワンダー・ストーリーズ』に改称された。これらの雑誌は財政的にはうまく行かず、ガーンズバックはビーコン出版に『ワンダー・ストーリーズ』を売却した。こうして『スリリング・ワンダー・ストーリーズ』となった本誌は20年近くの間、息を長らえた。1955年冬号を以って最終号となり、同経営者の『スタートリング・ストーリーズ』へ統合された。その『スタートリング』も長くは続かず、同年末には廃刊となった。

ガーンズバック時代の編集長は最初がデイヴィッド・ラッサーで、彼は掲載作品の質を上げるべく尽力した。1933年の中期からはチャールズ・ホーニッグがその後を引き継いだ。ラッサーもホーニッグも、いくつかの有名作品を世に送り出している。例えばスタンリイ・G・ワインボウムの『火星のオデッセイ』はこの時期の作品である。しかし彼らの（特に、ホーニッグの）努力は報われなかったと言える。ライバル誌『アスタウンディング』が成功を遂げ、SF界の流れを牛耳るようになったからである。『スリリング・ワンダー』時代の序盤には質的向上は見られなかった。1940年代の初期には、従来より若い読者に狙いを定めて内容をジュブナイル的にし、表紙絵も「肌も露な宇宙服を着けた美女」を描いた。その後の編集長たちは小説の改善に取り組んだ。40年代の終わりまでには、（SF史家マイク・アシュリーの意見によると）本誌は『アスタウンディング』とほとんど比肩しうるものになった。

ヒューゴー・ガーンズバック
ヒューゴー・ガーンズバック（Hugo Gernsback、[ˈɡɜːrnzˌbæk]、1884年8月16日 - 1967年8月19日）は、ルクセンブルク出身のアメリカ合衆国の発明家、著作家、雑誌出版者・編集者であり、世界初のSF雑誌などの雑誌出版で知られている。サイエンス・フィクションのジャンルにおける貢献は、作家としても出版者としても非常に大きく、小説家のH・G・ウェルズやジュール・ヴェルヌと並んで「SFの父」と呼ばれることもある。SF界で著名なヒューゴー賞は、ガーンズバックにちなんで名づけられている。
ヴィルヘルム・アダム (政治家)
ヴィルヘルム・アダム(Wilhelm Adam, 1893年3月28日-1978年11月24日)は、ドイツの軍人・政治家。第二次世界大戦中、フリードリヒ・パウルス将軍の副官としてスターリングラード攻防戦に従軍し、降伏後はドイツ将校同盟メンバーを経てザクセン州の地方政治家や国家人民軍幹部を務めた。

スターリングラード攻防戦
スターリングラード攻防戦（スターリングラードこうぼうせん、英語: Battle of Stalingrad, 1942年6月28日 - 1943年2月2日）は、第二次世界大戦の独ソ戦において、ソビエト連邦領内のヴォルガ川西岸に広がる工業都市スターリングラード（現ヴォルゴグラード）を巡り繰り広げられた、ドイツ、ルーマニア、イタリア、ハンガリー、およびクロアチアからなる枢軸軍とソビエト赤軍の戦いである。

スターリングラードは元来ドイツ軍のブラウ作戦における副次的目標の一つに過ぎなかったが、戦略上の要衝の地であったことに加え、時のソビエト連邦最高指導者ヨシフ・スターリンの名を冠した都市でもあったことから熾烈な攻防戦となり、史上最大の市街戦に発展、やがては日露戦争の奉天会戦や第一次世界大戦のヴェルダンの戦いを上回る動員兵力、犠牲者、ならびに経済損失をもたらす野戦に拡大した。

緒戦は枢軸軍側の優位に進み、市街地の90%以上を占領したものの、最終的にはソ連軍側の反攻により、ドイツ第6軍を主軸とする枢軸軍が包囲され、降伏した。独ソ戦の趨勢を決し、第二次世界大戦の全局面における決定的な転換点のひとつとなった。米国の軍史家イヴァン・ミュージカントはこの戦を「ミッドウェイ海戦、エル・アラメインの戦い、第三次ソロモン海戦」と同じく第二次世界大戦の転換点であると位置づけている。

死傷者数はソンムの戦いなどの第一次世界大戦の激戦を遥かに超える規模で、枢軸側が約85万人、ソビエト側が約120万人、計200万人前後と見積もられた。街は瓦礫の山と化し、開戦前に60万を数えた住民が終結時点でおよそ9800名にまで激減。第二次世界大戦最大の激戦、また13世紀に行われた「バグダッド包囲殲滅戦」（モンゴル帝国対アッバース朝）などと並ぶ人類全史上でも屈指の凄惨な軍事戦であったと目されている。
安東定季
安東 定季（あんどう さだすえ、生没年不詳）は、室町時代の武将で蝦夷地の豪族。下国山城守定季と称した。安藤康季の子で義季の弟とも伝えられ、いずれ檜山系安東氏の一門と推定されている。子に恒季がいる。

『新羅之記録』によれば、安東氏宗家である下国家当主安東政季は1456年（康正2年）、分家で秋田郡の領主であった秋田城介安東尭季（惟季）の招きに応じ、秋田小鹿島（現秋田県男鹿市）に移る際に、茂別館主の安東家政（下国守護）、大館館主の定季（松前守護）、花沢館館主の蠣崎季繁（上国守護）の3名を「守護」に任じたとされているが、実態は安東家政或いは定季が一人守護として統括していたとする見解（入間田他 1999）も出されている。これらの館は、道南十二館と呼ばれた蝦夷地における和人地の中心の一つであった。

翌1457年（長禄元年）5月、コシャマインの戦いにおいて、大館の出城の小館館主であった相原政胤とともにアイヌ側に捕らわれるが、翌月武田信広により救出された。

定季の死後恒季が大館館主となるが、粗暴で行状が極めて悪かったため配下の館主らにより宗家檜山安東忠季に訴えられた。恒季は1496年（明応5年）11月、忠季の手勢により攻められ自害し、大館は政胤の子相原季胤に預けられた。

道南十二館
道南十二館（どうなんじゅうにたて）は、蝦夷地（後の渡島国、現北海道）渡島半島にあった和人領主層の館の総称。松前藩の歴史を記した『新羅之記録』に十二の館が記されていることから、この名がついた。東は函館市に所在する志苔館から西の上ノ国町の花沢館まで、渡島半島南端の海岸線に分布する。安東氏の被官である館主はこれらの館をアイヌ民族や和人商人との交易や領域支配の重要拠点とした。
コモチサヨリ
コモチサヨリ（子持細魚、Zenarchopterus dunckeri）は、コモチサヨリ科コモチサヨリ属の淡水・汽水魚である。コモチサヨリ科の魚は卵胎生であり、そこからこの名がついた。日本ではサヨリの仲間は本種のほかクルメサヨリがいる。下顎が突出し細長い体形であることがこの科の特徴。コモチサヨリは「みやらさより」や「さより」などとも呼ばれる。

サヨリ
サヨリ（鱵、細魚、針魚、針嘴魚、水針魚、竹魚、長鰯、竜頭魚、石嘴尖魚、学名：Hyporhamphus sajori）は、ダツ目・サヨリ科の海産魚。沿岸の海面近くに生息する細長い魚で、食用魚でもある。季語、三春。名前の由来は沢(岸)よりの魚から。
カウディウムの戦い
カウディウムの戦い（英語: Battle of Caudine Forks）は、第2次サムニウム戦争の間に紀元前321年に、共和政ローマとサムニウム人の間に起こった戦い。実際に戦闘があったわけではなく、行軍中のローマ軍がアペニン山脈中の隘路でサムニウム軍に包囲され、水を絶たれて降伏した。後世「カウディウムの屈辱」の名で知られ、ローマ軍が大敗したポエニ戦争のカンネーの戦いと並び、屈辱的な出来事として長くローマ人に記憶された。

紀元前321年
紀元前321年（きげんぜんさんびゃくにじゅういちねん）は、ローマ暦の年である。

当時は、「カルウィヌスとカウディヌスが共和政ローマ執政官に就任した年」として知られていた（もしくは、それほど使われてはいないが、ローマ建国紀元433年）。紀年法として西暦（キリスト紀元）がヨーロッパで広く普及した中世時代初期以降、この年は紀元前321年と表記されるのが一般的となった。
CUL (VOCALO Revolution)
CUL（カル）は、VOCALO Revolution（ボカロレボリューション）のキャラクター、およびその歌声として作られた音楽製作用のボーカル音源である。2011年1月放送のテレビ番組『VOCALO Revolution』にて3DCGモデルとして登場し、同年12月22日にインターネット社から、ヤマハが開発した歌唱用の音声合成技術VOCALOIDを採用したパソコン向けのボーカル音源「VOCALOID3 CUL」が発売された。

インターネット (企業)
株式会社インターネット（英: INTERNET Co., Ltd.）は、大阪府大阪市に本社を置く日本のソフト製作・開発会社である。DTMソフト「Singer Song Writer」や動画作成ソフトウェア「ニコニコムービーメーカー」で知られる。
腸内細菌
腸内細菌（ちょうないさいきん）とは、ヒトや動物の腸の内部に生息している細菌のこと。ヒトでは、種類は500～1000とも約3万とも言われる。概数についても大腸40兆・小腸1兆、100兆と諸説ある。総重量は1.5kg-2kgと推計される。

これらの細菌を全体として腸内細菌叢（腸内フローラ、symbiosis）と総称する。各細菌は相互および宿主であるヒトとの間の代謝物のやり取りなどを通じて複雑な生態系をなし、ヒトの生理や病気の発生に深く関わっている。このため、腸内にいる各細菌がヒトの健康に有害かどうかを基準に「善玉菌」「悪玉菌」とそれ以外（いわゆる「日和見菌」）で呼び分けることもある。腸内細菌叢は個人差があるほか、国際的な比較研究により食生活や居住国による違いも大きいことが明らかになっている。

微生物叢
微生物叢（びせいぶつそう、英: microbiota）とは、生態系における生きた微生物の集合のことであり、それらの遺伝情報を含意してマイクロバイオーム（英: microbiome）と呼ばれることもある。微生物叢は細菌をはじめとした多様な微生物によって構成されており、これら構成成分の組成構造は、微生物叢が定着する環境ごとに異なっている。微生物叢は動植物の体表面や体内に共生的に定着している他、土壌や海中から地下鉄の車内に至るまで、様々な環境に存在している。

ヒトの体にも微生物は定着しており、ヒトの微生物叢はヒトの健康状態と密接に関連している。そのため、特に腸内細菌は医学的な観点からも、古くから研究されてきた。地球上におけるバイオマスとして、細菌は植物に次ぐ重量を占めていると推定されており、環境中の微生物叢に関連した全世界規模の研究も実施されている。

古典的には分離培養に依存した研究が行われていたが、16S rRNA遺伝子の配列に基づく系統分類法が提唱されてからは、分離培養を伴わない方法により未培養の微生物を含めた解析が行われるようになった。近年のDNAシークエンス技術の発展に伴い、微生物叢の研究は急速に進展しており、様々な疾患との関連性が明らかにされている。
ダイエー
株式会社ダイエー（英: The Daiei, Inc.）は、大阪府茨木市に本社、兵庫県神戸市中央区に登記上の本店を置き、近畿地方で総合スーパー（GMS）およびスーパーマーケット（SM）の「ダイエー」「KOHYO」「マックスバリュ」などを運営するイオングループの企業。イオンの完全子会社である。

1973年から国内小売業界の売上首位を維持していたが、2003年2月期決算で売上高でイオンを下回って2位に転落した。
1995年度の世界の小売業の中で売上高で4位となっていた。20世紀の日本の流通・小売業界を発展させた代表的な企業としても知られ、ショッピングセンター（SC）やゼネラルマーチャンダイズストア（GMS）を日本で初めて導入するなど、ナショナルチェーンの一大企業であった。また、流通・小売業以外の事業分野にも積極的に進出していった。バブル崩壊後から経営不振になり、21世紀に入ると産業再生機構に支援を仰ぎつつ多角事業の譲渡、本業である小売部門の縮小などのリストラを進め、事業領域をスーパーマーケットに絞り始めた。

イオンによる株式公開買付けを経て、2015年1月1日から、イオンの完全子会社となり、イオングループに入った。

イオングループ
イオングループ（英: AEON Group）は、千葉県千葉市美浜区の幕張新都心に本社を置くイオン（英: AEON Co., Ltd.）を純粋持株会社、イオンリテール（英: AEON RETAIL Co., Ltd.）を中核として日本国内外300社以上の企業で構成される大手流通企業グループの総称。各社の展開する店舗ブランドの詳細については「イオングループの商業ブランド」を参照。
ナロードナヤ山
ナロードナヤ山（ナロードナヤさん、ロシア語: Гора Народная, 英語: Mount Narodnaya, コミ語: Народа-Из,「人民の山」の意味）は、ロシアにある山で、標高は1894 m。ウラル山脈の最高峰である。チュメニ州にあり、コミ共和国との境界の0.5 km東にある。原生代からカンブリア紀の、珪岩と変成した粘板岩からなる。この山はいくつかの氷河を頂く。山麓にある谷にはカラマツやカバノキの疎林がある。斜面は高地性のツンドラに覆われている。

ウラル山脈
ウラル山脈（ウラルさんみゃく、ロシア語: Ура́льские го́ры, カザフ語: Орал таулары, バシキール語: Урал тауҙары, Uralskiye gory、英: Ural Mountains）は、ロシアを南北に縦断する山脈。ユーラシア大陸をヨーロッパとアジアに分ける境界線の北側を形成している。

ウラル山脈は石炭紀後期にできた古期造山帯で、現存する山脈でも最も古いものである。
陸羯南
陸 羯南（くが かつなん、安政4年丁巳10月14日（1857年11月30日） - 明治40年（1907年）9月2日）は、日本の国民主義の政治評論家。日本新聞社長。正岡子規を育て、池辺三山、徳富蘇峰とともに明治の三大記者と称された。幼名は巳之太郎、のち実、号は羯南。

日本 (新聞)
『日本』（にっぽん）は、1889年（明治22年）2月11日から、1914年（大正3年）12月31日まであった日刊新聞。その後、1925年（大正14年）に小川平吉の手により『日本新聞』として再創刊、1935年まで10年にわたり、日本主義を主張する新聞として出版された。
ISW13F
ARROWS Z ISW13F（アローズ ジー あいえすだぶりゅー いちさんえふ）は、富士通モバイルコミュニケーションズ（現・FCNT）によって日本国内向けに開発された、auブランドを展開するKDDIおよび沖縄セルラー電話のISシリーズの一つで、CDMA 1X WIN（後のau 3G）、および+WiMAX（モバイルWiMAX）対応ストレート型スマートフォンである。製造型番はFJI13。

ISW11F
ARROWS Z ISW11F（アローズ ジー あいえすだぶりゅー いちいちえふ）は、富士通東芝モバイルコミュニケーションズ（富士通ブランド、現・FCNT）によって日本国内向けに開発された、auブランドを展開するKDDIおよび沖縄セルラー電話のストレート型スマートフォンである。ISシリーズの一つ。CDMA 1X WIN（CDMA2000 1xEV-DO、現・au 3G）および+WiMAX（モバイルWiMAX）に対応。

なお、雑誌などの書籍では富士通製になっていることが多い。製造型番はFJI11。
Gタンパク質
Gタンパク質（Gタンパクしつ）は、グアニンヌクレオチド結合タンパク質（グアニンヌクレオチドけつごうタンパクしつ）の略称であり、GTPまたはGDPを結合して活性のON/OFFを行うことにより、細胞内情報伝達に関与する。このうち、Rasに代表される低分子量GTPアーゼ（分子量は20から30kDaほど　単量体で機能し、細胞内のプロテインキナーゼカスケードに関与する）一群と、グアニンヌクレオチドを結合するαサブユニットのほかにβ、γのサブユニットからなる「三量体Gタンパク質」と呼ばれる一群に大別される。三量体Gタンパク質はGタンパク質共役受容体（GPCR）と共役してセカンドメッセンジャーカスケードに関連する。「三量体Gタンパク質」を「Gタンパク質」という場合もある。グアノシン二リン酸 (GDP)を結合した不活性型分子は刺激によってGDPよりもグアノシン三リン酸 (GTP)に対する親和性が増し、GDP結合型からGTP結合型の活性型へ変わって情報を伝達する。結合したGTPをGDPへ加水分解するGTPアーゼ活性を持ち不活性なGDP型に戻ることができる。これを発見し調査したアルフレッド・ギルマンとマーティン・ロッドベルは1994年のノーベル生理学・医学賞をした

Gタンパク質共役受容体
Gタンパク質共役受容体（ジータンパクしつきょうやくじゅようたい、英: G protein-coupled receptor、GPCR）は、生体に存在する受容体の形式の1つである。様々な機能を持ったGタンパク質共役受容体が見られ、既知のタンパク質の中では最大のスーパーファミリーを形成している。別名としてGタンパク質結合受容体、あるいは細胞膜を7回貫通する特徴的な構造から7回膜貫通型受容体（ななかいまくかんつうがたじゅようたい）と呼ばれることもある。細胞外の神経伝達物質やホルモンを受容してそのシグナルを細胞内に伝えるが、その際Gタンパク質と呼ばれる三量体タンパクを介してシグナル伝達が行われる。Gタンパク質共役受容体には様々な種類が存在し、多くの疾患に関与しているため、市販薬の数割がGタンパク質共役受容体のうちのいずれかを標的としている。
資源局
資源局（しげんきょく）は、1927年（昭和2年）、日本の内閣の外局として設置された国家総動員準備機関である。第一次世界大戦以後、大日本帝国陸軍が調査・研究してきた国家総動員思想を制度的に保障した機関として、資源局の設置は重要な意味を持っている。

国家総動員法
国家総動員法（こっかそうどういんほう）、旧字体: 國家總動員法、昭和13年4月1日法律第55号）は、1938年第1次近衛内閣により日中戦争の長期化による国家総力戦の遂行の目的で、国家の全ての人的・物的資源を政府が統制運用できる（総動員）旨に関する法律である。

第73帝国議会で可決成立し、同年4月1日に公布、5月5日に施行された。第26代内閣総理大臣田中義一の下で1929年（昭和4年）に策定された「総動員計画設定処務要綱案」から発展した法律である。同年12月には満州における政策を統括する興亜院も発足した。

1945年（昭和20年）の大東亜戦争終結によって名目を失い、GHQ/SCAP被占領期にあって同年12月20日に公布された「国家総動員法及戦時緊急措置法廃止法律」（昭和20年法律第44号）により廃止され、効力が消失した。

当初は企画院第一部が所管し、商工省（現・経済産業省）工務局・鉱山局と連携して執行。1943年（昭和18年）から降伏直後までは軍需省総動員局総動員課が所管し、大本営陸軍部、陸軍省兵器行政本部および農商省（現・農林水産省）商工局と連携。軍需省解体後、本法律廃止までの残務整理は商工省大臣官房が担当した。
エステル
エステル（英: ester）は、有機酸または無機酸のオキソ酸と、アルコールまたはフェノールのようなヒドロキシ基を含む化合物との縮合反応で得られる化合物である。単にエステルと呼ぶときはカルボン酸とアルコールから成るカルボン酸エステル (carboxylate ester) を指すことが多く、カルボン酸エステルの特性基 (R−COO−R') をエステル結合 (ester bond) と呼ぶ事が多い。エステル結合による重合体はポリエステル (polyester) と呼ばれる。また、低分子量のカルボン酸エステルは果実臭をもち、バナナやマンゴーなどに含まれている。

エステルとして、カルボン酸エステルのほかに以下のような種の例が挙げられる。

チオエステル – カルボン酸とチオールのエステル

リン酸エステル – リン酸とアルコールのエステル

硫酸エステル – 硫酸とアルコールのエステル

硝酸エステル – 硝酸とアルコールのエステル

炭酸エステル – 炭酸とアルコールのエステル

付加脱離反応
付加脱離反応（ふかだつりはんのう、英: elimination-addition reaction）あるいは縮合反応（しゅくごうはんのう、英: condensation reaction）とは、付加反応と脱離反応が連続して進行する化学反応である。カルボン酸あるいはカルボン酸誘導体からエステルやアミドなどが生成する反応が、代表的な付加脱離反応である。

縮合反応のうち、水分子が脱離する場合を、特に脱水縮合（だっすいしゅくごう）と呼ぶ。

付加脱離反応という場合脱離する原子団（脱離基と呼称される）は付加する原子団と異なる場合を指すので、付加とその逆反応である脱離との平衡反応は付加脱離反応には含めない。また、反応の前後だけを見ると置換と付加脱離は同じように見えるが、両者の違いは反応機構の違いであり、反応中間体として付加体を経由するか否かで識別される。
チャールズ・ウィロビー
チャールズ・アンドリュー・ウィロビー（英語: Charles Andrew Willoughby、1892年3月8日 - 1972年10月25日）は、アメリカ陸軍の軍人。最終階級は少将。出生名はアドルフ・カール・ヴァイデンバッハ（Adolf Karl Weidenbach）。

第二次世界大戦ではダグラス・マッカーサー側近の情報参謀で、占領下では連合国軍最高司令官総司令部参謀第2部（G2）部長として対日謀略や検閲を担当するなど、占領政策遂行のうえで重大な役割を果たし、反共主義の立場から逆コースを主導した。法の支配を尊重する保守主義者としても知られ、東京裁判に対しては、敗戦国の指導者だけを裁くため法の支配を恣意的に歪めるとして不信感を表している。

参謀第2部
参謀第2部（さんぼうだいにぶ、英語: G2, G-2、ジーツー）は、連合国軍最高司令官総司令部（GHQ/SCAP）参謀部（General Staff Section）内の一機構。部長はチャールズ・ウィロビーが務めた。

諜報活動や検閲を担当し、日本語文書の翻訳、技術情報の収集などを任務とした。1946年6月から、外国使節とGHQ/SCAPの機関との間および日本政府と占領軍との間の公式の連絡がこれに加わった。

GHQ/SCAPの専門部（Special Staff Section）内の一機構民間諜報局（Civil Intelligence Section, CIS）は、1946年5月3日G2に移管され、同年8月29日専門部に戻されたのち、1951年8月9日廃止されG2民間諜報課へ統合された。

プレスコードに基づく検閲は、CISやG2管下の民間検閲支隊（Civil Censorship Detachment, CCD）によって実行された。

G2部員の情報将校ジャック・キャノンは、在日本アメリカ情報機関の一部隊キャノン機関を率いて対敵スパイ工作の任にあたった。

積極的に民主化政策を推し進めた民政局（GS）やその局長コートニー・ホイットニーとしばしば対立した。
論理学の歴史
論理学の歴史では、妥当な推論を探求する学問の発展を取り扱う。

形式論理学は古代のギリシアやインドで発展した。ギリシア論理学、中でもアリストテレス論理学は科学・数学に広く受容・応用されている。

アリストテレス論理学は中世のイスラーム圏およびキリスト教西方世界にさらに発展し、14世紀半ばに頂点をむかえた。14世紀から19世紀初めまでの時期は概して論理学が衰退し、軽視された時期であり、少なくとも一人の論理学史家によって論理学の不毛期とみなされている。

19世紀半ばになると論理学が復興し、革命期が始まって、数学において用いられる厳密な証明を手本とする厳格かつ形式的な規則へと主題が発展した。近現代において発展した現代論理学、いわゆる数理論理学あるいは記号論理学は二千年にわたる論理学の歴史において最も顕著なものであり、人類の知性の歴史において最も重要・顕著な事件の一つだと言える。

数理論理学の発展は20世紀の最初の数十年に、特にゲーデルおよびタルスキの著作によって起こり、分析哲学や哲学的論理学に、特に1950年代以降に様相論理や時相論理、義務論理、適切さの論理といった分野に影響を与えた。

数理論理学
数理論理学（すうりろんりがく、英 : mathematical logic）または現代論理学、記号論理学、数学基礎論、超数学は、数学の分野の一つであり、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す。数理論理学（数学基礎論）と密接に関連している分野としては計算機科学〔コンピュータ科学〕や理論計算機科学などがある。

数理論理学の主な目的は形式論理の数学への応用の探求や数学的な解析などであり、共通課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。

数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学（とくにACM Classificationに現れるもの）における数理論理学の役割の詳細はこの記事には含まれていない。詳細は計算機科学におけるロジックを参照。

この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、代数学、解析学に対する公理的枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。
エアバス A400M
エアバス A400M (Airbus A400M) は、ヨーロッパの航空機メーカーであるエアバス社の子会社、エアバス・ミリタリー（現エアバス・ディフェンス・アンド・スペース）社が開発した戦術輸送機である。愛称はアトラス(Atlas)。なお、この愛称が採用される前は、非公式な愛称としてグリズリー(Grizzly)が使用されていた。

本機は戦術輸送を主な任務とする軍用中型輸送機であり、高翼配置の主翼とT型尾翼という機体にターボプロップエンジンを4発備え、後部ランプから積み卸しを行う比較的広い貨物室空間を持ち、12輪の短めの主脚が胴体底部左右のバルジに収納される。これらは戦術輸送機の標準的な構成であるが、戦略輸送任務も想定した大きな搭載量・航続距離を持ち、空中での受油/給油機能が最初から設計に含まれている点、左右のプロペラの回転方向を逆にしている点などが特徴である。

西欧各国における旧型輸送機を代替することを目的として国際共同開発が行われることになったが、度重なる予算の超過と計画の遅れに悩まされた。2013年第一四半期の引き渡しを予定し、2013年8月1日、フランス空軍へA400M(MSN7)を初めて正式納入したと発表した。

エアバス
エアバス（仏: Airbus SE フランス語: [ɛʁbys] ( 音声ファイル) ドイツ語発音: [ˈɛːɐbʊs] 英語発音: [ˈɛərbʌs] ）は、ヨーロッパの航空宇宙企業。エアバスは民間航空機の設計、製造、販売を行い防衛部門、宇宙部門、ヘリコプター部門を持つ。

時価総額上位40銘柄を選出して構成されるCAC 40上場企業。アメリカのボーイング社と世界市場を二分する巨大企業である。2022年現在、エアバスの納入数は661機、480機の米ボーイングに大差をつけ、4年連続でボーイングを上回っている。

1960年代から続く、アメリカ企業の世界的な旅客機市場の寡占に対してヨーロッパ諸国が危機感を抱く中、1970年12月にフランスのアエロスパシアルと西ドイツのドイツ・エアバスによる共同出資で設立された。設立当初の名称はエアバス・インダストリーであったが、2001年に株式会社化されて現社名に変更された。2000年以降、民間航空機メーカーとしてのエアバスは航空防衛企業であるEADS（2014年にエアバス・グループに改名）の子会社であったが、2017年1月にエアバス・グループが子会社のエアバスを吸収合併し、存続会社名をエアバスに変更した。旅客航空機の製造販売を主な事業内容としており、アメリカのボーイングと市場を2分する巨大航空機メーカーとして世界市場で激しい競争を繰り広げている。

なおエアバスとは、広胴型機の隆盛の初期「バスのように気軽に利用できる飛行機の時代をいう」航空用語を、そのまま社名にしたものである。また、香港や台湾などでは「バス」の音の当て字で「空中巴士」（略して「空巴」とも）と表記されることが多い。