hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
DPLLアルゴリズム
Davis-Putnam-Logemann-Lovelandアルゴリズム（DPLLアルゴリズム、英: Davis-Putnam-Logemann-Loveland algorithm）とは、数理論理学および計算機科学において、論理式の充足可能性を調べるアルゴリズムである。連言標準形で表現された命題論理式を対象とし、論理式を真（True）にできるかどうかを判定する。この判定問題はCNF-SATと呼ばれる。

このアルゴリズムは、1960年に発表されたデービス・パトナムのアルゴリズム（英: Davis–Putnam algorithm）の改良版として、1962年にマーチン・デービス（英語: Martin Davis）、ジョージ・ロゲマン（英語: George Logemann）、ドナルド・ラブランド（英語: Donald W. Loveland）が発表した
。

なお、文献によってはDPLLアルゴリズムのことをデービス・パトナムのアルゴリズムと呼ぶことがある。それぞれは異なった規則を使用し、正確には異なる。

自動定理証明
自動定理証明（じどうていりしょうめい、英: automated theorem proving, ATP）とは、自動推論 (AR) の中でも最も成功している分野であり、コンピュータプログラムによって数学的定理に対する証明を発見すること。ベースとなる論理によって、定理の妥当性を決定する問題は簡単なものから不可能なものまで様々である。
カナダ (戦艦)
カナダ (英語: HMS Canada) は、アームストロング社で建造された戦艦。アルミランテ・ラトーレ級戦艦のネームシップ。
外観からしばしばアイアン・デューク級戦艦 (Iron Duke-class battleships) の一隻と見なされるが、アイアン・デュークの主砲は34.3cm砲（45口径13.5インチ砲）に対し、本級は35.6cm砲（45口径14インチ砲）と異なる。

もともとは南アメリカの建艦競争の中でチリがイギリスに超弩級戦艦2隻を発注したことに始まる。本艦は幾度かの改名によりアルミランテ・ラトーレ (Almirante Latorre) となる。
だが完成直前に第一次世界大戦がはじまり、イギリスに買収されてカナダ (HMS Canada) と改名され、イギリス海軍で就役した。本艦はイギリス海軍のグランド・フリートに所属し、ユトランド沖海戦に参加した。

第一次世界大戦終結後、南アメリカにおける強国の勢力均衡 (Balance of power) をとるためにチリ海軍に引き渡され、アルミランテ・ラトーレとして再就役した。1929年（昭和4年）にイギリスで大改装を行い、防御力の改善や機関部の近代化が行われた。1958年（昭和33年）5月に退役後、翌年に日本まで曳航され、その後横須賀で解体された。部品は記念艦「三笠」の修復に用いられた。

三笠 (戦艦)
三笠（みかさ）は、日本海軍の戦艦。
艦名は三笠山による。
『日本海軍艦船名考』ではこの山を現在の御蓋山 (春日山) としている。
古くは御笠山と記され、霊峰として知られる。
一方『連合艦隊軍艦銘銘伝』では現在の若草山 (俗名三笠山) としている。
こちらは山焼きで有名である。

日露戦争の日本海海戦で連合艦隊旗艦を務めた。
神奈川県横須賀市に静態保存されており、日本では世界三大記念艦の一つとされている。
私を創るのは私/全然起き上がれないSUNDAY
「私を創るのは私/全然起き上がれないSUNDAY」（わたしをつくるのはわたし/ぜんぜんおきあがれないサンデー）は、2019年11月20日にアップフロントワークス（hachamaレーベル）から発売、および配信されたアンジュルムの10枚目のシングル。

アンジュルム
アンジュルム（ANGERME）は、ハロー!プロジェクトに所属する日本の女性アイドルグループ。所属事務所はアップフロントプロモーション。第52回日本レコード大賞最優秀新人賞受賞。旧グループ名はスマイレージ（S/mileage）。2014年12月17日にアンジュルムへ改名した。スマイレージ名義時代のキャッチフレーズは「日本一スカートの短いアイドルグループ」。スマイレージ名義時代は一貫してつんく♂がプロデュースを担当していた。

アンジュルムの「作品・出演」「メンバーオーディション」については、各リンクを参照。
結合法則
数学における結合性（けつごうせい、英: associative property）は、一部の二項演算がもつ性質である。演算が結合的であるための必要十分条件を結合法則（けつごうほうそく、英: associative law; 結合律、結合則）という。命題論理において、結合則（英: associativity; 結合規則）は形式的証明における式に対する妥当な置換規則のひとつに挙げられる。

同一式にて同じ結合的演算が複数回現れる場合、それらの演算を施す順番は、被演算子の順序を変えない限り、結果に影響しない。つまり、（必要ならば中置記法と括弧を使った式に書き換えて）括弧の位置を入れ替えても、式の値は変わらない。例えば、

を例にとると、各行とも左辺と中辺で括弧の位置が変わっている（そして被演算子の現れる位置は変わっていない）けれども、その値である右辺は変わりないことを述べている。このような関係式は、被演算子を任意の実数とする加法や乗法を計算する限りにおいて満足されるから、それを「実数の加法および乗法は結合的（演算）である」とか、「実数の加法および乗法は（実数全体の成す集合上で）結合法則を満足する」などと言い表す。

結合性は、「二つの被演算子の現れる位置を入れ替えても結果が変わらない」ことを意味する可換則とは異なる。例えば、実数の乗法が可換演算であるのは、実数の乗法において被演算子の順番を変えてもよいこと—つまり a × b = b × a—が満足されることによる。

結合的演算は数学において遍く存在する。事実として、多くの代数的構造（例えば半群や圏）では、それらの持つ二項演算が結合的であることを明示的に要請される。

とはいえ、重要で意義のある非結合的演算もたくさん存在する。例えば減法、冪演算、ベクトルの交叉積などはそうである。

中置記法
中置記法（ちゅうちきほう、英語: infix notation）とは、数式やプログラムを記述する方法（記法）の一種。演算子を操作対象の中間に記述することから、このように呼ばれる。

その他の記法として、演算子を操作対象の前（左）に記述する前置記法（ポーランド記法）、演算子を操作対象の後（右）に記述する後置記法（逆ポーランド記法）がある。

四則演算など初歩的な算術においては、もっぱら中置記法が多用されている。
いなほ (列車)
いなほは、東日本旅客鉄道（JR東日本）が新潟駅 - 酒田駅・秋田駅間を白新線・羽越本線経由で運行している特急列車。

列車名の「いなほ」は、日本有数の米どころである庄内平野を走る列車にふさわしく、庄内平野の一面に広がる「稲穂」にちなむ。「いなほ」が発着する新潟駅5番線ホームには、乗車口に稲穂のイラストが添えられているほか、ヘッドマークにも稲穂が描かれている。

新潟駅
新潟駅（にいがたえき）は、新潟県新潟市中央区花園一丁目にある、東日本旅客鉄道（JR東日本）の駅。

本州日本海側の都市において旅客数が最大の駅であり、上越新幹線や日本海縦貫線などの広域輸送から、新潟都市圏における地域輸送まで幅広く担っているターミナル駅である。
フィデリティ・インベストメンツ
フィデリティ・インベスメンツ (Fidelity Investments) は、投資信託の販売・運用会社。エドワード・ジョンソン2世が前身のフィデリティ・ファンドに主導権を確立して以来、同族経営が続いている。ミューチュアル・ファンドだけで300以上の基金を持ち、4100万人以上の投資家との取引がある。運用資産額は2023年現在で4.5兆ドル。11月にアビー・ジョンソンが父親のエドワード・ジョンソン3世から会長職を引き継いだ。フィデリティ・インベストメンツは2018年6月29日現在、バークシャー・ハサウェイの筆頭株主である（FMR 3.98%, Fidelity Contrafund Inc 2.87%）。

ミューチュアル・ファンド
ミューチュアル・ファンド（英語：mutual fund）は、オープンエンド会計の投資会社または投資信託である。

ミューチュアル・ファンドの資産総額は1979年末に千億ドルに満たなかったが、2000年末は7兆ドルに迫った。口座数は1979年末の100万から2.5億へ膨れ上がった。2015年12月31日時点でミューチュアル・ファンドのThe Vanguard Group とCapital Group Companies が、JPモルガン・チェースとマイクロソフトの主要な法人株主である。

「ミューチュアル」がつく同士でも相互会社とは別物である。また、ヘッジファンドより手堅く、はるかに資産規模が大きい。ヘッジファンドに対する優位性は、2010年から成長がとまらない上場投資信託市場でも示された。
地球環境変動観測ミッション
地球環境変動観測ミッション（GCOM : Global Change Observation Mission、ジーコム）は、宇宙航空研究開発機構（JAXA）が実施する地球環境の変動を人工衛星で長期的に観測するミッション。2012年5月18日に水循環変動観測衛星しずく（GCOM-W）が、2017年12月23日に気候変動観測衛星しきさい（GCOM-C）が打ち上げられ、観測を実施している。

気候に大きな影響を与える太陽活動周期の10年から15年程度の期間継続して、全地球上の降水積雪量や水蒸気量、雲、エアロゾル、植生などの物理データを観測し、気候変動予測や気象予測、水や食料資源管理などに利用、データ提供による国際貢献を目的としている。

しきさい
しきさい（GCOM-C、気候変動観測衛星）は、地球の気候変動を光学センサにより観測する日本の人工衛星。宇宙航空研究開発機構（JAXA）が2017年から運用し、地球環境変動観測ミッションGCOMにおいて計画された2機のうちの1機。

2017年12月23日にH-IIAロケット37号機で超低高度技術試験機つばめ（SLATS）と共に打ち上げられた。愛称の「しきさい」は「つばめ」と共に公募を元に決定した。プロジェクト総開発費は322億円。日本電気が製造した。

2022年12月に設計寿命の5年を経過したことを受け後期利用に移行、2023年7月にプロジェクト終了が判断され、8月末にGCOMプロジェクトチームは解散、運用主体はしきさい後期利用チームとして再編された。プロジェクト終了審査時点で衛星全体が正常に稼働しており、運用終了後の軌道降下を考慮しても11.5年運用できる燃料が残っている。

植生、雲、エアロゾルなどの分布を継続的に観測することで、観測データを気象や水産分野へ利用したり、地球全球の放射収支・炭素循環の正確なモデル化に貢献し将来の気候変動を予測し、政府政策の根拠となる役割が期待されている。
ときめきメモリアル (映画)
『ときめきメモリアル』は、1997年8月9日に東映系にて公開された日本映画。フジテレビ制作の「ぼくたちの映画シリーズ」最終作。1994年の発売以来、絶大な支持を得ているコナミ（現・コナミグループ）の恋愛シミュレーションゲーム『ときめきメモリアル』をベースに映画化。ゲームに登場する美少女キャラクターの人気No.1である「藤崎詩織」役を10,000人を超えるオーディションを勝ち抜いた吹石一恵が演じた。吹石は本作が女優デビュー。

瀬戸内海を舞台に展開する情感あふれる爽やかな青春グラフィティー。主なロケ地は現在の山口県大島郡周防大島町と柳井市。

原作ゲームとの共通点は、ヒロインの名前が藤崎詩織であることや、伝説の樹のエピソードが語られるくらいしかない。また、藤崎詩織は小さい頃に引っ越していった主人公の幼馴染だが、原作ゲームと違い主人公より2歳年下である。

吹石一恵
吹石 一恵（ふきいし かづえ、1982年〈昭和57年〉9月28日 - ）は、日本の女優、タレント。

大阪府生まれ。3歳頃に奈良県香芝市（当時は北葛城郡香芝町）へ。舞夢プロ東京事務所所属。ハルナ幼稚園、香芝市立三和小学校、香芝市立香芝中学校、大阪女子短期大学高等学校、大正大学文学部日本語日本文学科卒業。

父親は元プロ野球選手（近鉄バファローズ）の吹石徳一。夫はシンガーソングライターで俳優の福山雅治。
春風どれみ
春風 どれみ（はるかぜ どれみ）は、アニメ『おジャ魔女どれみ』シリーズの登場人物で本作の主人公である魔女見習いの少女。MAHO堂に所属する「おジャ魔女」の一人で、メンバーの中心的人物。担当声優は千葉千恵巳。

おジャ魔女どれみ
『おジャ魔女どれみ』（おジャまじょどれみ）は、1999年より東映アニメーションが断続的に制作しているオリジナル魔法少女アニメ作品、およびそのシリーズの総称。版権上、原作は東堂いづみとされており、アニメにとどまらずコミック・ゲームなど、幅広いメディアミックス展開も行われた。

本項目では、必要に応じ以下の初回公開順に則った略称で表記する。作中の時系列上では『も〜っと! おジャ魔女どれみ』（第3シリーズ）と『おジャ魔女どれみナ・イ・ショ』（第5シリーズ）が同時期を描いた作品となっている。

「第1シリーズ」 - 『おジャ魔女どれみ』

「第2シリーズ」 - 『おジャ魔女どれみ♯』

「第3シリーズ」 - 『も〜っと! おジャ魔女どれみ』

「第4シリーズ」 - 『おジャ魔女どれみドッカ〜ン!』

「第5シリーズ」 - 『おジャ魔女どれみナ・イ・ショ』

「第6シリーズ」 - 『おジャ魔女どれみ16シリーズ』

この他、コミック版は別に略称を設けて[[#コミック|]]にて解説する。
井上麻里奈
井上 麻里奈（いのうえ まりな、1985年1月20日 - ）は、日本の女性声優、ナレーター。東京都出身。青二プロダクション所属。

代表作に『図書館戦争』（笠原郁）、『スマイルプリキュア!』（緑川なお/キュアマーチ）、『進撃の巨人』（アルミン・アルレルト、ナレーション）、『境界のRINNE』（真宮桜）などがある。

スマイルプリキュア!
『スマイルプリキュア!』（SMILE PRECURE!）は、2012年2月5日から2013年1月27日まで、朝日放送の制作により、テレビ朝日系列で毎週日曜8時30分から9時（JST）に全48話が放送された、東映アニメーション制作の日本のテレビアニメ。『プリキュアシリーズ』の通算9作目にして、7代目のプリキュアに当たる。
Rose (アルバム)
『Rose』（ローズ）は、日本のシンガーソングライター・加藤ミリヤの1枚目のオリジナル・アルバム。2005年10月26日にSony Music Records内のレーベルMASTERSIX FOUNDATIONから発売された。

加藤ミリヤ
加藤 ミリヤ（かとう ミリヤ、1988年6月22日 - ）は、日本のシンガーソングライター、ファッションデザイナー、小説家、女優。愛知県豊田市出身。所属レーベルはMASTERSIX FOUNDATION、所属事務所はYARD。
有楽町センタービル
有楽町センタービル（ゆうらくちょうセンタービル）は、有楽町駅、銀座駅にほど近い東京都千代田区有楽町二丁目に所在する複合商業施設である。愛称は「有楽町マリオン（ゆうらくちょうマリオン、Yurakucho Mullion）」。

阪急百貨店
阪急百貨店（はんきゅうひゃっかてん）は、エイチ・ツー・オー リテイリング株式会社（阪急阪神東宝グループ）傘下の株式会社阪急阪神百貨店が運営する日本の百貨店である。

また、株式会社阪急百貨店（英語: Hankyu Department Stores, Inc.）は、2008年9月30日までこれを運営していた企業である。2006年の「阪急・阪神経営統合」を契機として、もともとライバルであった阪神百貨店と経営統合を行い、阪急阪神百貨店による運営となった。

創業者は阪急電鉄の実質的創業者であり関西財界の雄と言われる小林一三で、大阪・梅田地区に本店を置く。この阪急百貨店うめだ本店はエイチ・ツー・オー リテイリングの旗艦店であり、日本国内では東京の伊勢丹新宿店に次ぐ売上を誇る旗艦店である。

なお法人としての株式会社阪急百貨店は、次の2つが存在した。

初代法人：1947年3月7日 - 2007年9月30日。現在のエイチ・ツー・オー リテイリング株式会社。

2代目法人：2007年10月1日 - 2008年9月30日。2008年10月1日付で株式会社阪神百貨店と合併し、株式会社阪急阪神百貨店となった。
中林仁良
中林 仁良（なかばやし ひとよし、1919年（大正8年）6月25日 - 2007年（平成19年）7月15日）は、日本の実業家、軍人。
百貨店「丸物」社長、京都近鉄百貨店会長・取締役 相談役、旧 近鉄百貨店取締役 相談役などを歴任した。父は丸物（京都物産館）創業者の中林仁一郎。

丸物
丸物（まるぶつ）とは、かつて全国的に店舗展開していた百貨店の一つである。本店は京都府京都市下京区で、のちの近鉄百貨店京都店にあたる。法人格は現在の近鉄百貨店に引き継がれている。

本項目では当社の後身である京都近鉄百貨店（きょうときんてつひゃっかてん）についても述べる。
クボタケミックス
株式会社クボタケミックス（英: Kubota ChemiX Co., Ltd.）は、塩ビ管・継手をはじめとするプラスチック管材の製造・販売を手がける日本の会社。クボタの完全子会社である。

本社所在地は兵庫県尼崎市浜1-1-1。但し登記上の本店は大阪府堺市西区石津西町14-2である。

クボタ
株式会社クボタ（英: Kubota Corporation）は、大阪府大阪市浪速区及び東京都中央区京橋に本社を置く産業機械（農業機械、建設機械、ディーゼルエンジン等）、建築材料、鉄管、環境機器等を製造する大手メーカーである。

日経平均株価およびTOPIX Large70、JPX日経インデックス400の構成銘柄の一つ。
グルカ戦争
グルカ戦争（グルカせんそう、Gurkha War、1814年 - 1816年）は、イギリス東インド会社とネパール王国（ゴルカ朝）との間で行われた戦争。ゴルカ戦争（Gorkha War）、ネパール戦争あるいは英・ネパール戦争（Anglo-Nepalese War）ともいう。国境紛争と領土的野心が原因で起きた。「グルカ」とはゴルカの英語読みである。

なお、18世紀末と19世紀中頃にネパールがチベットとそれを支援する中国の清朝に対して行った戦争もグルカ戦争と呼ぶことがあるが、こちらは清・ネパール戦争（1789年 - 1789年、1791年 - 1792年）、ネパール・チベット戦争（1855年 - 1856年）を参照のこと。

ネパール王国
ネパール王国

नेपाल अधिराज्य

国歌: Shreeman Gambhir (राष्ट्रिय गान्)(英語: "May Glory Crown You, Courageous Sovereign")

ネパール王国（ネパール語: नेपाल अधिराज्य nepāla adhirājya、英語：Kingdom of Nepal）は、1768年12月21日から 2008年5月28日まで続いたネパールの王国。ネパールの王政時代全般を指す。前身はゴルカ王国。

1816年、イギリスにグルカ戦争で敗北し、その保護国となったが1923年に独立した。1846年には宰相のラナ家に実権を奪われるが、1951年に王政復古で実権を取り戻して立憲君主国となった。2008年、王政が廃止されネパール連邦民主共和国(2020年に「ネパール」に改名)となった。
ジョン・トロス
"マニアック" ジョン・トロス（"Maniac" John Tolos、1930年9月18日 - 2009年5月28日）は、カナダ・オンタリオ州ハミルトン出身のプロレスラー。

ザ・ゴールデン・グリーク（The Golden Greek）の異名を持つギリシャ系カナダ人のヒールとして活躍した。

日本では、1971年にアントニオ猪木がユナイテッド・ナショナル・ヘビー級王座を奪取した相手として知られる。

ユナイテッド・ナショナル・ヘビー級王座
ユナイテッド・ナショナル・ヘビー級王座（ユナイテッド・ナショナル・ヘビーきゅうおうざ）は、全日本プロレスが管理、PWFが認定している王座。UNヘビー級王座（ユー・エヌ・ヘビーきゅうおうざ）の略称で表記、呼称されている。NWAの認可だったこともあり、日本国外ではNWAユナイテッド・ナショナル・ヘビー級王座（NWA United National Heavyweight Title）とも呼称されている。現在は三冠ヘビー級王座を構成しているチャンピオンベルトの1つである。
転校生 (映画)
『転校生』（てんこうせい）は、1982年（昭和57年）4月17日に公開された日本映画。大林宣彦監督による山中恒の児童文学『おれがあいつであいつがおれで』の最初の映画化作品で、広島・尾道を舞台に身体が入れ替わってしまった男女の中学生を描いた青春映画。主演は尾美としのりと小林聡美。『時をかける少女』、『さびしんぼう』と並ぶ「尾道三部作」の第1作。公開時の併映は『オン・ザ・ロード』。

2009年『キネマ旬報』「オールタイム・ベスト映画遺産200（日本映画編）」〈日本映画史上ベストテン〉106位、『キネマ旬報』2019年1月上旬号「1980年代日本映画ベスト・テン」第7位。2020年、英国映画協会選出、1925～2019年の優れた日本映画95本。

2007年（平成19年）『転校生-さよなら あなた-』と題し、長野を舞台に蓮佛美沙子主演で大林監督がセルフリメイクした。

ロケを行った土地にちなみ、1982年版を「尾道転校生」、2007年版を「長野転校生」と呼び分ける向きもある。

大林宣彦
大林 宣彦（おおばやし のぶひこ、1938年（昭和13年）1月9日 - 2020年（令和2年）4月10日）は、日本の映画監督。従四位、旭日中綬章。

倉敷芸術科学大学客員教授、長岡造形大学造形学部客員教授、尚美学園大学名誉教授、文化功労者。
エディ・スリマン
エディ・スリマン（Hedi Slimane, 1968年7月5日 - ）は、フランス出身のファッションデザイナー。20世紀終盤頃から21世紀初頭にかけてのファッションブランド「イヴ・サンローラン」・「ディオール・オム」及び2012年から2016年にかけてのSAINT LAURENT PARISのクリエイティブディレクターとしての活動が最も広く知られている。

「少年性」と「ロック」をテーマにした繊細な作品群は熱狂的なファンを多く持つ。また、最近では、フォトグラファーとして、雑誌、ビッグメゾンの広告などの仕事もこなしている。「VOGUE HOMMES JAPAN」創刊号にて、「デヴィッド・ボウイ、ポール・ウェラー、ザ・クラッシュのポール・シムノンからかなり影響を受けた」と語っている。いずれもイギリスのロック・ミュージシャンである。また、ザ・リバティーンズのピート・ドハーティに熱狂し、自身が撮影した写真集まで出している。

過去の膨大なコレクションの中から、洋服のインスピレーションを見いだすために、自身で手がけた服以外は古着しか着ないことでも有名である。

イヴ・サンローラン (ファッションブランド)
イヴ・サンローラン（フランス語: Yves Saint Laurent、 YSL）は、フランスのファッションデザイナーであるイヴ・サン＝ローランと、恋人で資産家のピエール・ベルジェによって、1961年に創設された世界的高級ファッションブランド。

ケリング傘下で既製服を販売する「サンローラン・パリ」と、ロレアル傘下で化粧品を販売する「イヴ・サンローラン・ボーテ」がある。
シント・マールテン
シント・マールテン

Sint Maarten

モットー : Semper progrediens（ラテン語）（常に発展する）

国歌 : おおシント・マールテン島（オランダ語）（英語）

シント・マールテン（オランダ語: Sint Maarten [sɪntˈmaːrtə(n)] ( 音声ファイル)、英:St Martin）は、カリブ海のリーワード諸島（小アンティル諸島北部）にあるセント・マーチン島（オランダ語名: シント・マールテン島）の南半部にある、オランダ王国の構成国。オランダ、キュラソー、アルバと共に対等な立場で、一つの立憲君主制国家であるオランダ王国を構成している。

アルバ
アルバ（オランダ語: Aruba [aːˈrubaː, aːˈrybaː] ( 音声ファイル)、パピアメント語: Aruba [aˈruba]、正式にはオランダ語: Land Aruba、パピアメント語: Pais Aruba）は、西インド諸島の南端部、南米ベネズエラの北西沖に浮かぶ島。高度な自治が認められたオランダ王国の構成国。本土オランダ、キュラソー、シント・マールテンと共に対等な立場でオランダ王国を構成している。アルバという名は、スペイン語のoro hubo（黄金ありき）から来ているという説がある。
矢木沢ダム
矢木沢ダム（やぎさわダム）は、群馬県利根郡みなかみ町、一級河川・利根川本川最上流部に位置するダムである。

独立行政法人水資源機構が管理する堤高131.0mのアーチ式コンクリートダムで、東京都を始めとする首都圏へ上水道を供給する利根川上流ダム群の一つであり、利根川水系最大級の規模を誇る多目的ダムである。ダムによって形成された人造湖は奥利根湖（おくとねこ）と呼ばれる。

尾瀬原ダム計画
尾瀬原ダム計画（おぜがはらダムけいかく）とは、一級河川・阿賀野川水系只見川の最上流部、水源である尾瀬（尾瀬ヶ原、現・尾瀬国立公園）に計画されていたダム計画である。当初は水力発電単独、後に利根川水系へ分水して首都圏の水需要を賄う目的も考慮された「尾瀬分水計画」の中核事業であった。

只見川が尾瀬ヶ原より流出する地点に、堤高 85.0 m のロックフィルダムとして計画されていた。仮に完成すれば奥只見ダム・田子倉ダムに次いで只見川では第3番目の規模となるが、完成すれば尾瀬は完全に水没していた。このため自然保護の観点、及び流域都県の水利権についての利害対立により反対意見が噴出し、1966年以降計画は凍結された。事業主体の東京電力も最終的にダム計画を完全に断念し、1996年には尾瀬沼の水利権のうち尾瀬原ダムに関連する部分を放棄している。

この尾瀬原ダム計画を機に、日本の組織的な自然保護運動が誕生した。
エフェソの信徒への手紙
『エフェソの信徒への手紙』（エフェソのしんとへのてがみ）は、新約聖書中の一書。伝承では紀元62年ごろ、ローマで獄中にあった使徒パウロが小アジアのエフェソ（エフェソス）のキリスト者共同体にあてて書いたものであるという。

この伝承が本当なら『コロサイの信徒への手紙』（コロサイ書）や『フィレモンへの手紙』（フィレモン書）と同じ時期に書かれたことになる。現代では文献学の見地から本書簡の著者がパウロであるかどうかは疑問を持たれているが、聖書学者ウィリアム・バークレーはたとえパウロの名を借りたものだとしても『エフェソ書』は「使徒書簡の女王」といえるほどのものだと言っている。日本語では『エペソ人への手紙』、『エペソ人への書』、『エフェソ信徒への手紙』、『エフェソ書』などと表記されることもある。また脚注などでは、とりわけ章節を伴う出典参照において、しばしば「エペソ」「エフェソ」等と略記される。

コロサイの信徒への手紙
『コロサイの信徒への手紙』（コロサイのしんとへのてがみ）は、新約聖書中の一書。伝統的に使徒パウロがコロサイの共同体へあてて書いたものであるとされるが、近代以降異論もある。『コロサイ人への手紙』、『コロサイ書』とも。
PDPシリーズ
PDPシリーズ（ピーディーピー・シリーズ）は、デジタル・イクイップメント・コーポレーション(DEC)社のコンピュータシリーズであり、1957年から1990年まで続いた。PDPは Programmed Data Processor の略である。PDPシリーズが登場した当時、コンピュータと言えば大きくて高価なメインフレームが一般的だった。PDPは、そのような大きなコンピュータが入り込めないミニコンピュータ市場を切り開いた。コンピュータを名乗らなかったのは、DECに資金提供していたベンチャーキャピタルがその言葉に警戒感を持っていたためである。

PDPマシンは基本的にワード長によってファミリに分けられる。例外は 16ビットのPDP-11で、アーキテクチャ的には最も複雑な 36ビットのPDP-6やPDP-10に類似している。

ミニコンピュータ
ミニコンピュータ（英: minicomputer）は、ミニコンあるいはミニと俗称され、主に1960年代半ばから開発された汎用コンピュータの一種である。ミニコンピュータは、IBMやその競合各社のメインフレームや中型コンピュータよりも大幅に小型で、はるかに低価格で販売されていた。ただし 21世紀の基準からすれば、ミニコンピュータは非常に大型のマシンである。ここで取り上げる従来の技術的な意味でのミニコンピュータは、一般的に、それ以前のはるかに大型なマシンと比較すると小型という程度である。

このクラスは、独自のソフトウェアアーキテクチャとオペレーティングシステム（OS）を備えた、独自のグループを形成していた。ミニコンピュータは、商用計算や記録管理の用途ではなく、機器の制御、実験の計測、人間との対話、通信制御のために設計された。その多くは、最終的な用途向けに相手先ブランド製造会社（OEM）へ間接的に販売された。ミニコンピュータクラスの20年間（1965-1985）にわたる存続期間中に、ほぼ 100社のミニコンピュータベンダー企業が設立されたが、1980年代半ばまでに残ったのはわずか数社にすぎなかった。

1970年代にシングルチップCPU、すなわちマイクロプロセッサが登場すると、「ミニコンピュータ」の定義は微妙に変化し、メインフレームとマイクロコンピュータとの中間に位置する処理能力を持つマシンを指すようになった。誤解されやすい「ミニコンピュータ」という用語は、後代の同様のシステムにはあまり用いられなくなった。このクラスのシステムを表すほぼ同義の（IBM 関連の）専門用語は「ミッドレンジコンピュータ」である。
ロシア航空宇宙防衛軍
ロシア航空宇宙防衛軍 (ロシア語: Войска воздушно-космической обороны, tr. Voyska Vozdushno-Kosmicheskoy Oborony  ВКО ）は、かつてロシア連邦軍に置かれていた独立兵科。航空ミサイル防衛や軍事衛星・プレセツク宇宙基地の運用を任務としている。2011年12月1日に旧ロシア宇宙軍を置き換える目的で編成された。2015年にはロシア空軍と統合され、ロシア航空宇宙軍の一部として再編成された。

公式の英語訳ではaerospaceと訳されているが、航空・宇宙の両方の攻撃に対応しており、ロシア人でも記述する人によっては「air and space」（航空及び宇宙
）と訳している。

ロシア連邦軍
ロシア連邦軍（ロシアれんぽうぐん、ロシア語: Вооруженные силы Российской Федерации、略称: ВС РФ、英語: Armed Forces of the Russian Federation）は、ロシア連邦の軍隊。

ソビエト連邦の崩壊後の1992年5月7日に、ロシア・ソビエト連邦社会主義共和国の領土に核兵器を含めて駐留していたソビエト連邦軍とロシア国外にある軍隊および海軍部隊を基礎として創設された。当時の人数は288万人であった。現在、ロシア連邦軍は世界最大の核兵器庫を保有し、発達した核兵器運搬手段も保有している。
菊地美紀
菊地 美紀（きくち みき、1967年5月27日 - ）は日本の写真家。

宮城県柴田町出身。

東北各地での商業写真・商品撮影などの後上京、写真家細江英公が主宰する写真教室CORPUS第5期に学ぶ。同時にフリーランスとして活動.。

1993年、写真教室【CORPUS】第5期生の佐々木六介、細渕太麻紀、西岡浩記、笠井爾示、大井慶子、2期の谷口雅彦と写真集団CUM-ADMIXを結成。

1994年、写真家谷口雅彦、村瀬太加夫と実験写真家ユニット「527」を結成、1999年の解散まで9回の展覧会を行う。

1999年頃、故郷宮城県に戻り、中国・ベトナムなどアジア各地の撮影に赴く。

一方、東北大学総合学術博物館での標本写真撮影、総合学術コレクションの図録撮影などに携わる中、2011年３月11日、大学での撮影中、東日本大震災に遭遇し、緊急時に冷静な判断をする難しさを痛感し、日々の備えや状況確認は日常の観察から生まれることを実感。

2017年年9月より奈良県奈良市に移住し、写真家活動を精力的に行っている。

谷口雅彦
谷口 雅彦（たにぐち まさひこ、1967年5月27日 - ）は日本の写真家。アートプロデューサー。エッセイスト。日本近現代写真研究家。一般社団法人日本写真芸術学会学生会員。北海道開拓写真研究協議会メンバー。
レイ・セフォー
レイ・セフォー（Ray Sefo、1971年2月15日 - ）は、ニュージーランドの元格闘家で、現在は総合格闘技団体PFLの社長、またエクストリーム・クートゥアでトレーナーも務めている。オークランド出身。レイ・セフォー・ファイトアカデミー、エクストリーム・クートゥア所属。

ステファン・レコ
ステファン・"ブリッツ"・レコ（Stefan "Blitz" Leko、1974年6月3日 - ）は、ドイツの男性キックボクサー、元総合格闘家。クロアチア系ドイツ人。ボスニア・ヘルツェゴビナ社会主義共和国出身、現在はドイツ在住。

ブリッツ（ドイツ語で稲妻の意）の異名を持つ。ブリッツヘアという独特のヘアスタイルがトレードマーク。その端正な顔立ちから「欧州最強の伊達男」とも呼ばれる。
さくらももこランド・谷口六三商店
『さくらももこランド 谷口六三商店』（さくらももこランド たにぐちろくぞうしょうてん）は、TBS系列で1993年4月13日 - 6月29日に放送されたテレビドラマ。

『ちびまる子ちゃん』で知られる漫画家・さくらももこが自ら脚本を手掛けたドラマである。

さくらももこ
さくら ももこ（本名非公表、1965年〈昭和40年〉5月8日 - 2018年〈平成30年〉8月15日）は、日本の漫画家、イラストレーター、著述家、エッセイスト、作詞家、作曲家、脚本家。静岡県清水市（現・静岡市清水区）の中心部にある旧入江町地域出身。

自身の少女時代をモデルとしたコミック『ちびまる子ちゃん』が代表作で、「さくらももこ」は同作の主人公（まる子）の本名でもある（作中の人物については「ちびまる子ちゃんの登場人物」を参照）。単行本の売上は累計3000万部を超えるほか、エッセイストとしても独特の視点と語り口で人気が高く、初期エッセイ集三部作『もものかんづめ』『さるのこしかけ』『たいのおかしら』はいずれもミリオンセラーを記録した。

愛称は「ももちゃん」。エッセイの販促用の帯などでは、『ちびまる子ちゃん』のまる子と同一人物として扱われることもある。
大野城 (筑前国)
大野城（おおのじょう/おおののき）は、福岡県の太宰府市・大野城市・糟屋郡宇美町にまたがる大城山（おおきやま）に築かれた、日本の古代山城。城跡は、1953年（昭和28年）3月31日、国の特別史跡「大野城跡」に指定されている。

基肄城
基肄城（きいじょう / きいのき、椽城）は、福岡県筑紫野市と佐賀県三養基郡基山町にまたがる基山（きざん）に築かれた、日本の古代山城。城跡は、1954年（昭和29年）3月20日、国の特別史跡「基肄（椽）城跡」に指定されている。
恋人はスナイパー
『恋人はスナイパー』（こいびとはスナイパー）は、テレビ朝日系のテレビドラマ。本項では続編である2002年のテレビドラマ、および2004年の劇場版についても扱う。

主演は天才スナイパー・王凱歌（ウォン・カイコー）役のウッチャンナンチャンの内村光良と、国際二課の刑事・円道寺きなこ役の水野美紀。内村と水野は本格的なカンフーアクションにも挑んでいる。

内村光良
内村 光良（うちむら てるよし、1964年〈昭和39年〉7月22日 - ）は、日本のお笑いタレント、司会者、俳優、映画監督。

南原清隆とお笑いコンビ「ウッチャンナンチャン」を結成。

熊本県人吉市出身。愛称は「ウッチャン」。マセキ芸能社所属。妻は徳永有美。
アイアンマン (映画)
『アイアンマン』（英: Iron Man）は、マーベル・コミックの同名キャラクターをベースにした、2008年のアメリカのスーパーヒーロー映画。マーベル・スタジオが製作し、パラマウント・ピクチャーズが配給する、マーベル・シネマティック・ユニバース（MCU）の第1作目である。監督はジョン・ファヴロー、脚本はマーク・ファーガスとホーク・オスビー、アート・マーカムとマット・ホロウェイが務め、トニー・スターク／アイアンマン役のロバート・ダウニー・ジュニアのほか、テレンス・ハワード、ジェフ・ブリッジス、ショーン・トーブ、らが出演している。

MCUのフェーズ1の最初の作品として、2008年4月14日にシドニーでプレミア上映され、5月2日に米国で公開された。興行収入は5億8,500万ドルを超え、2008年の興行収入の第8位となった。本作は批評家から高い評価を受け、特にダウニーの演技が高く評価された。また、第81回アカデミー賞では、音響編集賞と視覚効果賞の2部門にノミネートされた。2010年には『アイアンマン2』、2013年には『アイアンマン3』の2作の続編が公開されている。

トニー・スターク
トニー・スターク (英: Tony Stark) は、マーベル・コミックが刊行しているアメコミシリーズ『アイアンマン』の登場人物であり、同作の主人公。自身の開発した、科学技術の粋を凝らしたパワードスーツを着用することで、スーパーヒーロー「アイアンマン」として活躍する。
東将司
東 将司（あずま まさし、1994年10月9日 - ）は、日本の元俳優。スーパーエキセントリックシアター（SET）映画放送部に所属していた。京都府出身。血液型はO型。男性エンターテインメントユニットGrab"A"（グラバ）のメンバー。

Grab"A"
Grab"A"（グラバ）は、2021年まで活動していた日本のパフォーマンスユニットである。スーパーエキセントリックシアター（SET）所属7名（結成時）による2.5枚目育成型男性エンターテインメントユニット。
スタートライン〜涙のスプリンター〜
『スタートライン〜涙のスプリンター〜』（スタートライン なみだのスプリンター）は、フジテレビ系列で2005年12月17日の21:00 - 22:54（JST、プレミアムステージ枠）に放送されたテレビドラマである。

テレビプロデューサー栗原美和子が「原夏美」のペンネームで著した小説『スタートライン 盲目のスプリンター』を自らのプロデュースでドラマ化した作品である。

栗原美和子
栗原 美和子（くりはら みわこ、1964年（昭和39年）12月15日 - ）は、日本のテレビドラマプロデューサー。共同テレビ執行役員、制作センター第1制作部ゼネラルプロデューサー。

フジテレビドラマプロデューサー、LaLa TVエグゼクティブプロデューサーを歴任した。
とびだせ!ぐーちょきぱーてぃー
『とびだせ!ぐーちょきぱーてぃー』は、BS日テレで毎週土曜日の午前10:15 - 10:30に放送されていた、キッズ向け知育バラエティ番組。ひかりTVが制作し、Amazonプライム・ビデオやHuluなどでも配信されている。ひかりTVでの配信が最新作となり、2023年4月からは新シリーズ『あそぼう!ぐーちょきぱーてぃー』が開始となったが、2023年9月30日に終了した。

ももいろクローバーZが扮するユニット「ももくろちゃんZ」や、ひろみちおにいさん（佐藤弘道）、オリジナルのキャラクターたちが出演する。

ももいろクローバーZ
ももいろクローバーZ（ももいろクローバーゼット）は、日本の女性アイドルグループ。私立恵比寿中学、超ときめき♡宣伝部などのグループと共にSTAR PLANET（通称：スタプラ）を構成する。

2014年には、国立競技場でのライブを女性グループとしては初めて行い、2日間で11万人を動員した。ライブの年間動員数においては、過去2度にわたり女性アーティスト1位を記録。2025年にメジャーデビュー15周年を迎えた。

愛称はももクロで、Zの文字を宙に書いて指を突き出す定番のポーズがある。少数精鋭でのパフォーマンスや天真爛漫なキャラクターなどを特長として、モノノフと呼ばれる独自のファン層を擁する。

日本オリンピック委員会が企画した『がんばれ!ニッポン!全員団結プロジェクト』のスペシャル応援団員として、メンバー全員が東京オリンピックの聖火ランナーを担当。女優としても活動し、グループ主演の映画『幕が上がる』で第39回日本アカデミー賞話題賞などを受賞した。
エミル・コノピンスキー
エミル・ジャン・コノピンスキー（Emil John [Jan] Konopinski、1911年12月25日 - 1990年5月26日）は、アメリカ合衆国（米国）の理論物理学者。
インディアナ大学でベータ崩壊の理論を研究し、また電磁気学等の教科書を執筆した。
第二次世界大戦の米国における核兵器開発計画であるマンハッタン計画において、エドワード・テラーらとともに水素爆弾（水爆）実現や大気・海洋発火の可能性についても検討を行った。ファーストネームはエミールとも。

核爆発による大気・海洋発火説
核爆発による大気・海洋発火説（かくばくはつによるたいき・かいようはっかせつ）では、大気中または海洋中での核爆発が大気・海洋自体を燃料とする連鎖的熱核反応（熱運動による核融合反応）の引き金となるとかつて考えられ唱えられた説と、その歴史的経緯について述べる。アメリカ合衆国の原子爆弾（原爆）開発計画であるマンハッタン計画の過程で持ち上がったこの説では、原爆の爆発によって、最悪、地球の全表面に及ぶ大規模な破壊が生じる可能性があるとされた。

この可能性は、1942年に物理学者エドワード・テラーによって水素爆弾（水爆）の可能性とともに最初に提起された。その後、物理学者ハンス・ベーテはそれが極めて起こり難いものであるとし、テラーらも詳しい分析で後に自ら否定した。一方で、物理学者エンリコ・フェルミのように、その可能性に一定の懸念を抱き続けた学者もいた。最初の核実験である1945年7月のトリニティ実験当時に、この問題を科学者が実際にどの程度真剣に捉えていたかは歴史的議論ともなっている。
SUNSOFT is Back! レトロゲームセレクション
『SUNSOFT is Back! レトロゲームセレクション』（サンソフト イズ バック! レトロゲームセレクション）は、サンソフトより2024年4月18日に発売されたオムニバスソフト。

サンソフトが1980年代後半にファミリーコンピュータ用ソフトとして発売した『かんしゃく玉なげカン太郎の東海道五十三次』（1986年）、『マドゥーラの翼』（1986年）、『リップルアイランド』（1988年）の3作品を収録している。この3作品はいずれも当時日本のみで発売されたものだが、本作の発売に際して初めて海外向けにローカライズされた。

サン電子
サン電子株式会社（サンでんし、英: SUNCORPORATION）は、通信機器・パチンコ関連機器・ゲームソフトなどを扱うメーカー。

ゲームソフトはSUNSOFTブランド、通信機器・パチンコ関連機器はSUNTACブランドで知られる。

なお、テレビ用アンテナなどの映像情報機器の製造・販売を行っている同名の企業・サン電子（本社・東京都新宿区）、及び電子機器の製造を行っている企業・サン電子工業（本社・大阪府四條畷市）、スイッチング電源やアミューズメント機器の製造を行っている企業・サン電子工業（本社・埼玉県秩父市）、超音波洗浄装置や加熱装置、石英加工装置の製造を行っている企業・ヒメジ理化イノテック（本社・山形県上山市）の旧社名・新サン電子などとは、無関係である。ゲームソフトブランドの“SUNSOFT”は、かつてサン・マイクロシステムズが使用していたソフトウェアのブランドである“SunSoft”と同じだが、当社の米国法人がNintendo Entertainment Systemへの参入を機に、“sunsoft”の商標利用をサン・マイクロシステムズにゲーム機専用タイトル向けの利用許諾を得る為の関係だけに留まっている。
マイケル・モーパーゴ
マイケル・アンドリュー・ブリッジ・モーパーゴ卿、 OBE, FRSL, FKC（Sir Michael Andrew Bridge Morpurgo、出生名：マイケル・アンドリュー・ブリッジ　1943年10月5日 - ）は、イギリスの本の著者、詩人、劇作家、台本家であり、「戦火の馬」（1982）などの児童文学で最もよく知られる。

彼の作品は、その「魔法のストーリーテリング」、社会から外れた者の勝利や生存などの繰り返しのテーマ、キャラクターと自然との関係、コーニッシュ海岸や第一次世界大戦などの鮮やかな環境で有名である。モーパーゴは2003年から2005年にかけて3人目の児童文学桂冠詩人である。

戦火の馬
『戦火の馬』（せんかのうま、原題：War Horse）は、1982年に出版されたマイケル・モーパーゴによる小説。初版はイギリスのKaye & Ward から出版された。少年アルバートが共に育った馬のジョーイが第一次世界大戦で軍馬としてフランスに送られ、アルバートとジョーイが無事に帰宅するまでを物語っている。この小説は2007年に演劇『ウォー・ホース 〜戦火の馬〜』、2011年に映画『戦火の馬』の基となった。
ジーコ
ジーコ（Zico、[ˈziku]）ことアルトゥール・アントゥネス・コインブラ（葡: Arthur Antunes Coimbra、1953年3月3日 - ）は、ブラジル・リオデジャネイロ出身の元プロサッカー選手、サッカー指導者。現在は、Jリーグ・鹿島アントラーズのテクニカルアドバイザーを務める。

しばしば「白いペレ」と呼ばれることもあったが、フリーキックの名手として知られ、多くの得点をフリーキックから挙げた。最も技術のあるフィニッシャー、最も優れたパサーの一人、1980年代における世界最高の選手とも評される。2004年3月には、ペレによる偉大な存命サッカー選手125人にも名を連ねた。サッカー史上最高の選手と評されるペレは、「今までの間、私に最も近づいたのはジーコだった」と述べた。キャリア通算では、公式戦750試合516ゴール、親善試合などの非公式戦も含めれば、1180試合826ゴールを決めている。

うち、ブラジルで在籍したCRフラメンゴでは2度の在籍期間（1971-1983・1985-1989）を合わせて同クラブ史上最多の509ゴールを記録。また、同クラブ本拠地のマラカナンでは通算史上最多の435試合334ゴールを達成している。

ブラジル代表では、72試合に出場し52ゴールを挙げており、FIFAワールドカップでは1978年、1982年、1986年の3大会に出場した。これらの大会では優勝を逃したが、1982年のブラジル代表は最も優れたブラジル代表の一つと言われている。1981年と1983年に、雑誌「ワールドサッカー」は、世界最優秀選手に選んだ。

日本サッカー界にも貢献をし、日本代表監督として2006 FIFAワールドカップに出場し、AFCアジアカップ2004では優勝を果たした。また、フェネルバフチェSKを指揮し、UEFAチャンピオンズリーグ 2007-08で準々決勝に進出した。

1978 FIFAワールドカップ
1978 FIFAワールドカップ（英: 1978 FIFA World Cup）は、1978年6月1日から6月25日にかけて、アルゼンチンで開催された第11回目のFIFAワールドカップである。

決勝はアルゼンチン対オランダであり、延長戦の末、3対1でアルゼンチンが勝利し、史上6か国目の優勝国となった。
民権西路
民権西路（みんけんせいろ）は台北市を東西方向に結ぶ主要道路である。台1甲線の一部分であり、路線名は中華民国の国父である孫中山が著した三民主義（民生、民権、民族）から採られた。対面通行であり上下線は分離されていない。一部区間にバス専用車線が設けられている。西側の起点は台北大橋であり、環河北路と交差している。東側は中山北路との交差点が端点であり、民権東路に続いている。台北捷運新荘線および蘆洲線が民権西路の地下を通過しており、大橋頭駅および民権西路駅が設置されている。

民権西路は台北大橋と連接しており、また三重、蘆洲、新莊等の地区と台北市中心部を結んでいることから、交通上重要な道路となっている。

台北大橋
台北大橋（たいほくおおはし）または台北橋（たいほくきょう）は、中華民国台北市大同区と新北市三重区の境を流れる淡水河に架かる台湾省道台1線の道路橋である。1991年に改修され1996年に現在の姿となっているが、その源流は清朝統治時代の鉄道橋（淡水橋）にまで遡る。その後の台北橋、淡水橋、大橋頭、日本統治時代の大橋町などの地名の由来となっている。

全長481.6メートル、全幅44メートル。平日朝通勤時間帯の自動二輪の渋滞は「バイクの滝（機車瀑布/Motorcycle Waterfall）」として注目され、国外から観光客が見物に訪れる。
ストリーキング (パフォーマンス)
ストリーキング（英語 streaking）とは注目を集めるため、あるいは強い非難の意思を表現するために公共の場を全裸で走り抜ける行為である。パフォーマンスの一環として行われるもので性的な意図はなく、露出狂とは区別される。1973年から1974年にかけて流行した。

露出狂
露出狂（ろしゅつきょう）は、自ら裸体、性器など通常は衣服で覆われていて見えない身体の一部や全体を晒すことを好む性的倒錯者を示す言葉である。窃視症はほぼ反対の概念である。日本の法律では合法的に脱衣してもよい場所以外での「性器の露出」は公然わいせつ罪、または軽犯罪法1条20号（身体露出の罪）違反になる。
江崎権兵衛
江崎 権兵衛（本姓:江嵜、權兵衞、えさき ごんべえ、1844年9月5日（弘化元年7月23日）- 1914年（大正3年）3月21日）は、明治から大正初期の実業家、政治家。衆議院議員、京都府紀伊郡伏見町長。幼名・源三郎。

伏見市
伏見市（ふしみし）は、京都府の南部にあった市。現在の京都市伏見区中心部にあたる。

かつては伏見城の城下町であり、酒造業で知られ、京都と大阪を結ぶ水運の拠点・伏見港を中心に近世から町地化されていた。本項では市制前の名称である紀伊郡伏見町（ふしみちょう）についても述べる。
線型包
数学の特に線型代数学あるいはより一般の函数解析学において、ベクトル空間内の与えられたベクトルからなる集合の（線型に）張る部分空間 (linear span) あるいは線型包（せんけいほう、英: linear hull; 線型苞）もしくは生成する (generated, spanned) 部分空間は、その集合を含む線型部分空間すべての交わりである。したがって、その集合を含む最小の部分空間である。また、それはその集合に属するベクトルのすべての線型結合からなる集合として実現される。

線型独立
線型代数学において、n 本のベクトルが線型独立（せんけいどくりつ、英: linearly independent）または一次独立であるとは、それらのベクトルが張る空間が n 次元部分線形空間になることである。

線型独立であるベクトルたちは、何れも、零ベクトルでない。

具体的には、n 本のベクトル v1, …, vn が線型独立であるとは、 をスカラーとして、

が成り立つことである（#定義）。

線型独立でないことを線型従属（一次従属）という。
丙寅丸
丙寅丸（へいいんまる）は、幕末の長州藩の軍艦。1865年に英国で建造された。1866年5月に高杉晋作が長崎にてイギリス商人トーマス・ブレーク・グラバーより購入した。全長40余メートル排水量94トンで形式はバークであり、30馬力の蒸気機関でスクリュー駆動、大砲6門を備えていた。原名は「Ostentosama」。

長州藩の高杉晋作は、第二次長州征伐（四境戦争）直前の1866年5月に長崎へ赴き、丙寅丸を3万9千両で藩の了解を得ず独断で購入した。

慶応2年の第二次幕長戦争では大島口の戦いに於いて、高杉が指揮する「丙寅丸」は6月13日に久賀で「旭日丸」と「八雲丸」を奇襲したが、目立った戦果も損害もなく、交戦後逃走した。6月15日には「乙丑丸」、兵船2隻と共に安下庄に現れたが、「富士山」の攻撃を受け逃走した。6月17日、「丙寅丸」は「癸亥丸」、「丙辰丸」とともに田ノ浦を襲撃。小倉口の戦いでは、7月3日に「丙辰丸」、「庚申丸」とともに大里沖から幕府艦を攻撃し、7月27日にも「丙寅丸」は幕府艦や砲台と交戦した。

戊辰戦争の後は、ヲテント丸（オテント丸）の名で定期貨客船として博多～大阪間の航路に就役した。

高杉晋作
高杉 晋作（たかすぎ しんさく、天保10年8月20日〈1839年9月27日〉- 慶應3年4月14日〈1867年5月17日〉）は、日本の武士（長州藩士）。幕末長州藩の尊王攘夷志士として活躍。奇兵隊などの諸隊を創設し長州藩を倒幕運動に方向付けた。
刑事ジョン・ルーサー
『刑事ジョン・ルーサー』（けいじジョン・ルーサー、Luther）は、2010年から英BBCで放送されているテレビドラマでイドリス・エルバ主演のサイコサスペンス・ミステリー。

主演のイドリス・エルバは本作にてゴールデングローブ賞 テレビドラマ部門 男優賞 (ミニシリーズ・テレビ映画部門)とプライムタイム・エミー賞 主演男優賞 (ミニシリーズ/テレビ映画部門)にそれぞれ4回ずつノミネートされ、そのうち第69回ゴールデングローブ賞において受賞を果たしている。

日本では、シーズン1から5までがAXNミステリーで放送された他、2019年8月25日現在、Amazonプライム・ビデオとHuluでシーズン1から5までが配信されている。また『刑事ルーサー』のタイトルで、2019年8月3日よりNHK BSプレミアムにてシーズン1から4までの計16話が放送された。

2023年、映画『刑事ジョン・ルーサー: フォールン・サン』が制作された。

ミステリーチャンネル
ミステリーチャンネル（MYSTERY CHANNEL）は、AXN株式会社が運営するミステリドラマを中心とした専門チャンネル。かつてはAXNミステリー（エイエックスエヌミステリー、AXN Mystery）のチャンネル名だった。

当記事では、かつて同チャンネルを運営していた番組供給事業者・株式会社ミステリチャンネル（Mystery Channel, Inc.）についても記述する。
日本損害保険協会
一般社団法人日本損害保険協会（にほんそんがいほけんきょうかい、英: The General Insurance Association of Japan）は、事故で自動車、建物などの物品が損傷した場合の保険を扱う損害保険会社の業界団体である。

保険
保険（ほけん、英: Insurance）は、偶然に発生する事故（保険事故）によって生じる財産上の損失に備えて、多数の者が金銭（保険料）を出し合い、その資金によって事故が発生した者に金銭（保険金）を給付するための制度。