hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
ヨレンタ (福者)
福者ヨレンタ、またはヨラーン（ポーランド語: Jolenta Helena; ハンガリー語: Jolán、1235/39年 - 1298年）は、ヴィエルコポルスカ公ボレスワフの妃。ハンガリー王ベーラ4世の娘、母はニカイア皇帝テオドロス1世ラスカリスの娘マリア。2人の聖女、マルギトおよびキンガの妹にあたり、また叔母のエルジェーベトもきわめて崇敬されている聖人である。

ベーラ4世 (ハンガリー王)
ベーラ4世（ハンガリー語: IV Béla、1206年11月29日 - 1270年5月3日）は、ハンガリー王国アールパード朝の国王（在位：1235年 - 1270年）。祖父ベーラ3世に倣った王権の強化と、1241年のモンゴル軍の侵入によって荒廃したハンガリーの復興事業により、ハンガリー王の中でも有名な人物の一人である。
代銭納
代銭納（だいせんのう）は、中世日本の荘園・国衙領・武家領などにおいて、公事や年貢、地子などの納入を現物に代わって貨幣で納入する制度。

農業生産の高まりと宋銭の流入によって商工業が全国的に発展した鎌倉時代中期以後から見られるようになり、南北朝時代には全国的に普及した。

年貢
年貢（ねんぐ）は、日本史上の租税の一形態。律令制における田租が、平安時代初期 - 中期に律令制が崩壊・形骸化したことにともなって、年貢へと変質したが、貢租（こうそ）という別称に名残が見られる。その後、中世・近世を通じて、領主が百姓（農民でなく普通の民を指す）を始めとする民衆に課する租税として存続した。主に米で納めるため、その米を年貢米（ねんぐまい）と呼んでいた。
マツダ・757
マツダ・757は、1986年ル・マン24時間レース、および全日本耐久選手権参戦用にマツダスピードが開発したプロトタイプレーシングカーである。マツダ初の3ローター・エンジン13G型（後20Bと改称。654cc×3）を搭載。シャシデザインはナイジェル・ストラウド。ボディデザインはマキF1などを設計した三村建治。変速機は、ポルシェのトランスミッションギアユニットを採用しギアケーシングをマシンに合わせて自社設計・製造した。

1986年のル・マン24時間レース
1986年のル・マン24時間レース（24 Heures du Mans 1986 ）は、54回目のル・マン24時間レースであり、1986年5月31日から6月1日にかけてフランスのサルト・サーキットで行われた。
上海ゲットー
上海ゲットー（シャンハイゲットー、英語：Shanghai Ghetto）は、第二次世界大戦中に日本軍勢力下にあった上海の北東部虹口のおよそ一平方マイルの地区にあった、無国籍となったユダヤ人が居住していた地区を指す。「ゲットー」はあくまで通称であり、当時のドイツ在外公館関係者や戦後のドイツ補償当局は、ナチス・ドイツ占領下や東欧にあった「ゲットー」とは呼べず、適切ではないとしている。

ナチス・ドイツ支配下にあったヨーロッパ地域からのがれた20,000人のユダヤ人難民が上海に到達し、100,000人の中国人とともにこの地域で生活していた。彼らは1943年2月18日に日本軍が発した布告によりこの地区は「無国籍難民限定地区」とされ、居住および活動を制限された無国籍ユダヤ人は以降1945年8月の終戦までここに留まっていた。

現地のユダヤ人家族とアメリカ系ユダヤ人の慈善団体は彼らを保護し、食事と衣服を与えた。しかし日独と英米が開戦すると、ドイツの圧力で日本の当局は次第にいろいろな制限を強めていき、生活環境は劣悪になっていったが、ゲットーが封鎖されることは無かった。

上海共同租界
上海共同租界（シャンハイきょうどうそかい、英: Shanghai International Settlement、中: 上海公共租界）は、中国の上海に置かれていた上海租界のうち、フランス租界を除いた数カ国が管理していた共同租界。1842年の南京条約にもとづき同11月から12月にかけて設定され1943年まで続いた。
石田ショーキチ
石田 ショーキチ（いしだ ショーキチ、1968年4月12日 - ）は、日本のミュージシャン、音楽プロデューサー。静岡県静岡市出身。旧名は石田 小吉。本名は石田 昭一。A型。

沼津工業高等専門学校を卒業後、地元の電気メーカーで電気機械の設計職に従事していたが、22歳で上京しSpiral Life、Scudelia Electroを経て、L⇔Rの黒沢健一、スピッツの田村明浩らとMOTORWORKSを結成する。現在は、ソロ活動および村松ショータローとニューインディアンデスロックのギタリストとして活動する他、プロデュースワークを行っている。

好きなものは旧車（主にポルシェ）、釣り、ラーメン・うどん（麺類）、猫、スター・ウォーズ。

田村明浩
田村 明浩（たむら あきひろ、1967年5月31日 - ）は、日本のベーシスト、作曲家。ロックバンドスピッツでベースを担当。本名同じ。旧称は、田村 アキヒロ。

静岡県藤枝市出身。ロード&スカイ内のGrass Hopper所属。
ロシア・ツァーリ国
ロシア・ツァーリ国（ロシア・ツァーリこく、ロシア語: Царство Русское）は、1547年にイヴァン4世がツァーリの称号を帯びて以後、1721年にピョートル1世がロシア帝国の建国を宣言するまで用いられていたロシア国家の公称である、とする説に基づいた名称のことである。

ヴワディスワフ4世 (ポーランド王)
ヴワディスワフ4世（Władysław IV Waza, 1595年6月9日 - 1648年5月20日）は、ヴァーサ家出身のポーランド王（在位：1632年 - 1648年）。ジグムント3世の長男、母は王妃アンナ・フォン・エスターライヒ。
パイオニア・ヴィーナス計画
パイオニア・ヴィーナス計画（パイオニア・ヴィーナスけいかく、Pioneer Venus project）は、別々に打ち上げられた2機の探査機によって行われた。パイオニア・ヴィーナス1号（パイオニア・ヴィーナス・オービター）は1978年に打ち上げられて軌道投入後十数年にわたって金星を探査し、パイオニア・ヴィーナス2号（パイオニア・ヴィーナス・マルチプローブ）は4つの小さなプローブを金星の大気中に運んだ。アメリカ航空宇宙局のエイムズ研究センターがパイオニア計画の一環として運用した。

金星
金星（きんせい、ラテン語: Venus 、英語: Venus ）は、太陽系で太陽に近い方から2番目の惑星。また、地球にもっとも近い太陽周回軌道を持つ惑星である。

地球型惑星であり、太陽系内で大きさと平均密度がもっとも地球に似た惑星であるため、「地球の姉妹惑星」、「地球の兄弟星」、と表現されることがある。また、太陽系の惑星の中で最も真円に近い公転軌道を持っている。

地球から見た金星は常に太陽の近傍に見えることから明け方と夕方にのみ観測でき、太陽、月に次いで明るく見える天体のため、明け方に見えるものを「明けの明星」、夕方に見えるものを「宵の明星」という。「宵の明星」の方は一番星として有名。
東ティモール (州)
東ティモール

Timor Timur (インドネシア語)Timór-Lorosa'e (テトゥン語)

東ティモール（ひがしティモール、インドネシア語: Timor Timur）は、インドネシアによる東ティモール占領下の1976年から1999年まで存在した、事実上のインドネシアの州である。

インドネシアの地方行政区画
インドネシアの地方行政区画（インドネシアのちほうぎょうせいくかく）は、州（インドネシア語: provinsi あるいは propinsi）が最上位の地方行政単位である。州知事が最高責任者であり、5年ごとに改選される。州の下には県（カブパテン、インドネシア語: kabupaten）・市（コタ、インドネシア語: kota）が置かれるが、名称の違いがあるだけで制度的には同レベルの存在である。農村部主体の地域を県、都市部主体の地域を市と呼ぶ。これらはそれぞれ政府、議会および知事を持つ（例えば州政府、州議会および州知事）が、州は中央政府の代理機関という属性を持つのに対し、県以下は地方自治に特化した存在となっている。

県は5つ以上の郡（クチャマタン、インドネシア語: Kecamatan）、市は4つ以上の郡からなり、これら郡はさらに区（クルラハン、インドネシア語: Kelurahan）に分けられる。農村部では区ではなく、地域の固有性に配慮した境界をもって分割され、それらは村（デサ、インドネシア語: Desa）と呼ばれ、自治性が区より高い。区長は郡長の提案により県知事または市長から任命される一方、村長は住民による直接選挙で選ばれ、県知事または市長から任命されるのである。ただし、村は金銭面で自治の維持が難しく、区へと移行するケースが多いという。

特殊な存在として特別地区（インドネシア語: Kawasan Khusus）があり、特別行政地区、自由貿易地区や産業活動促進地区といった特区が州もしくは県または市の下に置かれる。ただし、その地方政府とは別に大統領が任命した委員が含まれる地域評議会や自由貿易地区運営機関が地区の政策決定や運営を行う。バタム島、ビンタン島、カリムン島などが自貿区の例である。
ハロ (ガンダムシリーズ)
ハロ (HARO) は、「ガンダムシリーズ」に登場する架空のロボット。初出は、1979年に放送されたテレビアニメ『機動戦士ガンダム』。おもに主人公側のペット・ロボット（AIモジュール）として登場し、マスコット的存在となることが多い。

ガンダムビルドダイバーズ
『ガンダムビルドダイバーズ』（英: Gundam Build Divers、略:GBD）は、2018年4月3日から9月25日までテレビ東京系列ほかにて放送された日本のテレビアニメ。「ガンダムシリーズ」に登場する兵器のプラモデル「ガンプラ」を用いた「ガンプラバトル」を題材としており、過去に放送された『ガンダムビルドファイターズ (GBF)』や『ガンダムビルドファイターズトライ (GBF-T)』、2019年10月から2020年8月までネット配信された続編『ガンダムビルドダイバーズRe:RISE』と合わせて「ガンダムビルドシリーズ」と総称される。
Period (遺伝子)
Period (per) はキイロショウジョウバエのX染色体に位置する遺伝子のひとつで、時計遺伝子として働いている。per 遺伝子の転写、また協働するPERタンパク質発現レベルの振動はおよそ24時間の周期を持っており、ショウジョウバエの羽化や運動性の概日リズムを司る生物時計の分子機構で、この遺伝子とタンパク質は中心的な役割を担っている。per 遺伝子の変異としては、概日リズムの周期が短くなる perS 、長くなる perL 、そして完全に狂ってしまう per0 が知られている。2017年のノーベル生理学・医学賞は、この遺伝子をクローニングしたジェフリー・ホール、マイケル・ロスバッシュ、マイケル・W・ヤングの3氏に贈られた。

クリプトクロム
クリプトクロム（Cryptochrome、 Cry）は青色光受容体タンパク質である。

ギリシャ語で「隠れた色素」(κρυπτοσ χρομοσ) という意味であり、元来は植物にあると想定された青色光受容体を指した。現在では特定の一群のタンパク質の名称であり、植物にはもう一種の青色光受容体であるフォトトロピンも見つかっている。クリプトクロムは緑藻から高等植物までにあり、さらに動物などにもよく似たタンパク質があることが明らかになっている。

クリプトクロムはフラビンタンパク質で、植物では光に基づく花芽形成、伸長、概日リズムなどの調節に関与している。青色光は光屈性にも関わっているが、これはクリプトクロムでなくフォトトロピンによることがわかっている。植物にはこのほかに赤色・近赤外光受容体フィトクロムがある。多くの植物ではクリプトクロムには2種類あり、CRY1およびCRY2と呼ばれている。

クリプトクロムは、光をエネルギー源としてDNA修復を行う細菌の酵素であるフォトリアーゼに構造が似ており（酵素活性は失っている）、進化的にはこれに由来すると考えられている。色素団としてプテリンとフラビンの2つを含んでいる。プテリンが光子を吸収し、これにより電子が放出され、この電子はフラビンに吸収される。これによりクリプトクロム分子はリン酸化を受け、さらにシグナル伝達の引き金を引くものと考えられているが、詳細は不明である。

クリプトクロムは動物（脊椎動物、昆虫、サンゴなど）やシアノバクテリア（藍藻）にも見つかっているが、これらは植物のものとは別系統とされる(Zhu,etal。2005 CurrBiol)。

動物では概日リズムに働く2タイプのCryがある。ほ乳類のCryは光受容能力はなく、CLOCK/BMALの抑制に働く。キイロショウジョウバエのCRYは青い光を受容して概日リズムをリセットするが、抑制能力はない。ただし蝶、 ミツバチ、 ハマダラカなど他の昆虫ではほ乳類型とショウジョウバエ型の両方のCryを持っている。
2025年の気象・地象・天象
2025年の気象・地象・天象（2025ねんのきしょう・ちしょう・てんしょう）では、2025年の気象・地象・天象に関する出来事について記述する。

2024年の気象・地象・天象 - 2025年の気象・地象・天象 - 2026年の気象・地象・天象

2026年の気象・地象・天象
2026年の気象・地象・天象（2026ねんのきしょう・ちしょう・てんしょう）では、2026年の気象・地象・天象に関する出来事について記述する。

2025年の気象・地象・天象 - 2026年の気象・地象・天象 - 2027年の気象・地象・天象
1995年のル・マン24時間レース
1995年のル・マン24時間レース（24 Heures du Mans 1995 ）は、63回目のル・マン24時間レースであり、1995年6月17日から6月18日にかけてフランス、ル・マンのサルト・サーキットで行われた。ル・マン史上最も雨量が多かったレースの1つで、約17時間雨が降り続いた。

優勝はJ.J.レート、ヤニック・ダルマス、関谷正徳が駆るLMGT1クラスに参戦した59号車のマクラーレン・F1 GTR。これはマクラーレンの初優勝であると同時に、フィンランド人ドライバーと日本人ドライバーのル・マン初優勝でもあった。

また、マリオ・アンドレッティのクラージュは2位に終わるが、これはアンドレッティにとっての自身最高位となった。

GT2クラスの上位は、ホンダ・NSXと2台のキャロウェイ・コルベットが獲得。1970年代半ば以降から前年までのようにポルシェ・911に支配された時代とは異なり、メーカーの多様性を示していた。

デレック・ベル
デレック・ベル（Derek Reginald Bell、MBE 1941年10月31日 - ）は、イングランドのミドルセックス州ピナー出身の元レーシングドライバーである。ベルはスポーツカーレースで高い成功を収め、ル・マン24時間レースで5勝を挙げた。また、フェラーリ、サーティース、テクノよりF1にも参戦した。
麻宮アテナ
麻宮 アテナ（あさみや アテナ、Athena Asamiya）は、SNK（SNKプレイモア）のシューティングゲーム『サイコソルジャー』および対戦型格闘ゲーム『ザ・キング・オブ・ファイターズ』シリーズなどに登場する架空の人物。

ザ・キング・オブ・ファイターズの登場人物
ザ・キング・オブ・ファイターズの登場人物（ザ・キング・オブ・ファイターズのとうじょうじんぶつ）では、SNKのゲーム『ザ・キング・オブ・ファイターズ』シリーズ（以下『KOF』）に登場するキャラクターを解説する。

作品ごとで出場キャラクターが異なるため、キャラクターによっては登場していない作品もある。また『餓狼伝説』など他のゲーム作品から客演しているキャラクターは、原典作品での設定が一部変更されている場合もある。

担当声優に関しては、格闘ゲームでの配役のみ記載する。
兜 KABUTO
『兜 KABUTO』（かぶと、Shogun Mayeda / Journey of Honor / Shogun Warrior）は、1991年制作のアメリカ合衆国・イギリス・日本の映画。江戸時代初期の日本とスペインを舞台とした異色のアクション時代劇映画であり、ショー・コスギが主演・原案・製作の3役を担当。 支倉常長の行程に基づいている。
続編がファミリーコンピュータ用のゲームソフトとして企画されていたが、実現しなかった。

支倉常長
支倉 常長（はせくら つねなが、1571年〈元亀2年〉‐ 1622年8月7日〈元和8年7月1日〉）は、安土桃山時代から江戸時代初期にかけての日本の武将（仙台藩伊達氏家臣）。幼名は與市、初名は六右衛門長経、キリスト教洗礼名はドン・ヒリッポ・フランシスコ・ハセクラ (西：Felipe Francisco Faxicura)。

慶長遣欧使節団を率いてヨーロッパまで渡航し、カトリック教徒かつ有色人種として唯一のローマ貴族となった。
一つの中国
一つの中国（ひとつのちゅうごく、簡体字: 一个中国; 繁体字: 一個中國）とは、正統性を持った「中国」の国家は一つしか存在せず、中国と台湾は一つの国家が不可分に統治しなければならないとする政策的立場および主張である。

1949年に中国が中華人民共和国と台湾の分断状態となったことで発生し、両政府はこの立場に基づいて統一（中国統一）政策を展開してきた。特に2000年代以降の中華人民共和国は、これを自国の核心的利益であると主張し、「中華人民共和国政府が中国の唯一の合法政府である」との意味合いから、諸外国に対してこの考えに同調するように強い圧力をかけている。また国際社会では、中華民国を国家承認する国家が少ないため、「一つの中国」は中華民国を国家として承認しないという要求と同義として解釈される傾向が強い。

四つのノー、一つのない
四つのノー、一つのない（よっつのノー、ひとつのない、繁体字: 四不一沒有、簡体字: 四不一没有）とは、2000年5月20日に陳水扁が中華民国総統就任演説で述べた中華民国（台湾）と中華人民共和国（中国）との関係に関する指針。
外局
外局（がいきょく、英語: Independent Organ）とは、日本政府の内閣府または省に置かれる、特殊な事務、独立性の強い事務を行うための組織で、内部部局（本府または本省）と並立する地位を有するものである。現在では、合議制の委員会と独任制の庁の2つに大別される。

1998年（平成10年）の中央省庁等改革基本法第16条第4項により、後述する例外を除いて、「主として政策の実施に関する機能を担うもの」と定義されている。ただし中央省庁等改革実施時点（2001年）で庁である外局15庁のうち8庁が実施庁であったが、2022年12月現在では庁である外局15庁のうち5庁が実施庁であり庁の数からは例外の方が多数になっている。

特許庁
特許庁（とっきょちょう、英: Japan Patent Office、略称: JPO）は、日本の行政機関。工業所有権関連の事務を所管する経済産業省の外局である。

発明、実用新案、意匠及び商標に関する事務を行うことを通じて、経済及び産業の発展を図ることを任務とする（経済産業省設置法22条）。
ドンキーコング トロピカルフリーズ
『ドンキーコング トロピカルフリーズ』（DONKEY KONG: TROPICAL FREEZE、Donkey Kong Country: Tropical Freeze）は、任天堂より2014年2月13日に発売されたWii U用ゲームソフト。前作と同じく開発は任天堂の子会社であるアメリカテキサス州のレトロスタジオ。アメリカ・ヨーロッパでは2014年2月21日に発売。

ドンキーコングシリーズ
ドンキーコングシリーズ（英語: Donkey Kong series）は、主に任天堂が開発・発売している同社のキャラクター「ドンキーコング」と、その仲間たちが登場するコンピュータゲームのシリーズ、およびメディアミックスである。
メモオフみっくす
『メモオフみっくす』(Memories Off Mix)は、2003年9月25日にKIDから発売されたPlayStation 2用ゲームソフト。2005年3月24日にサクセスよりSuperLite2000シリーズ版も発売されている（両者ともCEROレーティング全年齢対象）。

Memories Offシリーズの初期3作品、『Memories Off』・『Memories Off 2nd』・『想い出にかわる君 〜Memories Off〜』のキャラクターを使用したバラエティゲームである。

同シリーズの作品は後年そのほとんどが他媒体に移植されているが、この『メモオフみっくす』はPS2でしか出ていない。シリーズが長期化しているのに初期3作の内容のままでは出しづらく、かといって手を加えようにもキャラクターの音声を用意するのが困難であるためらしい。

本作のストーリーモードには、主人公を務める信の容姿を3作の中から選べる「稲穂信セレクトシステム」が実装されており、これによって登場人物の反応が変わってくる。いたって簡素な仕組みではあるが、他のメモオフ作品は選択肢に従って文章を読み進めるという基礎的な操作だけで展開するので、2010年に『メモリーズオフ ゆびきりの記憶』が「ゆびきり分岐システム」を導入するまでは、シリーズ唯一のゲーム内容に影響するシステムだった。

SuperLiteシリーズ
SuperLiteシリーズは、サクセスが発売している廉価版ソフトのシリーズである。

PlayStation用のSuperLite1500と、PlayStation 2用のSuperLite2000、ニンテンドーDS用のSuperLite2500に大別される。その他、SuperLite 3in1とSuperLite Goldシリーズ（どちらもPlayStation用）も存在する。パソコン用のStandard1500も存在した。

ラインナップの中にはKIDなど他社が発売した作品の廉価版も存在するが、こういった作品ではオリジナルとの間にセーブデータの互換性がない物もある。

廉価版である際は、オリジナル版が発売された後に販促物や派生物（店頭特典テレカ、ゲーム雑誌、ライトノベルなど）で使用されたイラストが、特典画像としてゲームクリア後のおまけモードで参照できるようになる場合がある（SuperLiteシリーズについてそのような施策が行われる場合は、公式サイトならびにパッケージにその存在が明記される）。
060号線 (チェコ)
チェコ国鉄060号線（チェコこくてつぜろろくぜろごうせん）、別名：ポルジーチャニ〜ニンブルク線（チェコ語: Železniční trať Poříčany–Nymburk）は、チェコ国鉄の鉄道線の名称である。

1882年から1883年にかけて、オーストリア国有鉄道の路線としてポルジーチャニ～ニンブルク町間が開業した。ニンブルク町～ニンブルク本駅間が開業したのは1896年。

プラハ - リサー・ナド・ラベム - コリーン線
プラハ - リサー・ナド・ラベム - コリーン線（チェコ語;Železniční trať Praha – Lysá nad Labem – Kolín）は、チェコ国鉄の鉄道線の名称である。路線番号は、リサー - コリーン間が231、プラハ - ミロヴィツェ間が232。プラハ - リサー区間はオーストリア北西部鉄道に属して、「エルベ谷鉄道（Elbetalbahn）」の分岐路線の一つであった。

1870年、オーストリア北西部鉄道によりコリーン～ニンブルク間が開業した。1873年に、残りのニンブルク～プラハ間が開業した。ウィーンとベルリン・プラハを結ぶ路線として開業したが、現在その役割は010号線が担っており、こちらはローカル輸送中心である。リサー - ミロヴィツェ間は1921年にチェコ鉄道により開業。2019年以前の路線番号は、プラハ - リサー - コリーン間が231、リサー - ミロヴィツェ間が232であった。
京都丹後鉄道宮豊線
宮豊線（みやとよせん）は、WILLER TRAINS（京都丹後鉄道）の宮津線のうち、京都府宮津市の宮津駅から兵庫県豊岡市の豊岡駅までの区間に付けられた愛称である。路線記号は「T」。

時刻表では宮津駅から豊岡駅へ向かう列車を下り、奇数の列車番号としている。

北近畿タンゴ鉄道KTR700形気動車
北近畿タンゴ鉄道KTR700形気動車（きたきんきタンゴてつどうKTR700がたきどうしゃ）は、北近畿タンゴ鉄道が導入した気動車である。上下分離に伴い2015年（平成27年）4月1日からはWILLER TRAINS（京都丹後鉄道）が運用している。

本項では、一部の仕様が異なるKTR800形気動車についても記述する。
慈悲の瞑想
慈悲の瞑想（じひのめいそう）、あるいは、慈愛の瞑想（じあいのめいそう、パーリ語: mettā bhāvanā、mettā kammaṭṭhāna、英語: cultivation of loving-kindness）とは、上座部仏教における瞑想の一種である。パーリ語の名称である「mettā bhāvanā」（メッター・バーヴァナー）は、「慈（慈愛）の育（はぐく）み」といった意味。

上座部仏教における、サマタ瞑想に入る際の40種類ある瞑想対象（四十業処）の中に、「慈・悲・喜・捨」の四無量心あるいは四梵住と呼ばれるものがあるが、それを簡便化したのが現代において広く行なわれている慈悲の瞑想である。

現代のヴィパッサナー瞑想においては、準備段階としてセットにして行なわれるが、仏教の精神をもっともよく表現した瞑想法としてきわめて重視されている。

ヴィパッサナー瞑想
ヴィパッサナー瞑想（ヴィパッサナーめいそう、巴: vipassanā-bhāvanā）は、ナーマ（こころのはたらき、漢訳: 名〔みょう〕）とルーパ（物質、漢訳: 色〔しき〕）を観察することによって、仏教において真理とされる無常・苦・無我を洞察する瞑想（バーヴァナー）である。アメリカでは仏教色を排した実践もあり、インサイトメディテーションとも呼ばれる。

ヴィパッサナー（巴: vipassanā, ウィパッサナーとも）は「観察する」を意味する。また、ヴィパッサナー（巴: vi-passanā）とは「分けて観る」、「物事をあるがままに見る」という意味である。
鳥取IX協議会
鳥取IX協議会（とっとりアイエックスきょうぎかい、略称：ToRino-IX（トリノ アイエックス））は、鳥取県内の商用インターネットサービスプロバイダ（ISP）3事業者によって運営されている地域インターネットエクスチェンジ（IX）。

インターネットエクスチェンジ
インターネットエクスチェンジ（英: Internet exchange point）とは、インターネットの中核を成す施設であり、プロバイダ (ISP)、インターネットデータセンター (IDC) や、国家間の通信を交換するための相互接続ポイントである。略称 IXまたはIXP。インターネット相互接続点（インターネットそうごせつぞくてん）とも呼ばれる。
日本の索道
日本の索道（にほんのさくどう）では、主に日本における「普通索道」（ロープウェイ・ゴンドラリフト）について解説する。

なお、索道は日本の法律では鉄道事業法により運営されるが、「鉄道事業」ではなく「索道事業」に分類されているため、鉄道の一種とされることは少ない。

神戸布引ロープウェイ
神戸布引ロープウェイ（こうべぬのびきロープウェイ）は、神戸リゾートサービス株式会社が運営する兵庫県神戸市中央区の新神戸から世継山にかかる索道（ロープウェイ）である。神戸布引ハーブ園へ向かうための唯一の交通手段となっている。
ハイロード
ハイロード（Highlord、1999年 - ）は、イタリアのメロディックスピードメタルバンド。

聖闘士星矢や北斗の拳、ドラゴンボール、新世紀エヴァンゲリオンといった、日本の人気テレビアニメの主題歌をカヴァーしてアルバムに収録するのが恒例となっている。

メロディックスピードメタル
メロディック・スピード・メタル (Melodic Speed Metal) は、ヘヴィメタルのサブジャンルの一つ。「メロスピ」と略されることもある。

近いジャンル区分にメロディック・パワー・メタル（Melodic Power Metal）があり、こちらは「メロパワ」と略される。両者の間には厳密に区別されるものはない。海外ではこのジャンルに対してはパワーメタルの呼称が一般的である。
ユーロ
ユーロ（記号: €; コード: EUR）は 、欧州連合（EU）加盟27か国のうち21か国で公式に導入されている通貨である。ユーロが主要通貨として使われる国・地域はユーロ圏またはユーロゾーンとして知られており、2019年時点で約3億4,300万人の市民が暮らしている。補助単位はセントで、1ユーロは100セントに相当する。またユーロの補助単位としてのセントを特に別の通貨の補助単位としてのセントと区別するときにはユーロセントと呼び、ユーロセントの硬貨にも「EURO CENT」と表記されている。

世界経済においては国際通貨（ハード・カレンシー）の一つとして扱われており、外国為替市場でアメリカ合衆国ドル（米ドル）に次いで2番目の規模と取引をされている通貨である。

欧州通貨単位
欧州通貨単位 （おうしゅうつうかたんい）は、通貨単位ユーロに先立ち、1979年3月13日から1998年12月31日までの間、ヨーロッパ共同体 (EC) および欧州連合 (EU) で使われていたバスケット通貨である。欧州通貨単位は基本的に欧州連合の計算単位として使用されていたが、1999年1月に銀行間取引など非現金取引を対象にユーロが導入され、欧州通貨単位はユーロに取って代わられた。通貨記号はEとCを合成した₠ (U+20A0)、ISO 4217通貨コードはXEU。

英名European Currency UnitからECU（エキュ、エキュー）と略されるが、フランスで革命前まで使われていた銀貨エキュ (écu) に似ており（多くの言語では発音は同じ）、またEC Unitとも読むことができる名称となっている。
Y!mobile
Y!mobile（ワイモバイル）は、ソフトバンク株式会社、並びに株式会社ウィルコム沖縄（後にソフトバンクに吸収合併）が2014年8月1日にサービスを開始した、移動体通信サービスの（MNO）ブランド名である。SoftBankのサブブランドである。

302HW
STREAM S 302HW（ストリーム エス サンマルニエイチダブリュー）は、中国の通信機器メーカーHuaweiの日本法人によって開発された、ワイモバイル（「電話サービス(タイプ2)」対応）の第3.9世代移動通信システム対応の端末である。
SDガンダム GGENERATION モノアイガンダムズ
『SDガンダム GGENERATION モノアイガンダムズ』（エスディーガンダム ジージェネレーション モノアイガンダムズ）は、2002年9月26日に発売されたワンダースワンカラー用ゲームソフト。
2005年5月26日に発売されたニンテンドーDS用ゲームソフト『SDガンダム GGENERATION DS』（エスディーガンダム ジージェネレーション ディーエス、以下：『DS』）では、『モノアイガンダムズ』のストーリーをジオン側から見たシナリオが収録されている。

本項では『DS』についても併せて解説する。

エルメス (ガンダムシリーズ)
エルメス (ELMETH) は、「ガンダムシリーズ」に登場する架空の兵器。有人操縦式の機動兵器「モビルアーマー（MA）」の一つ。初出は、1979年に放送されたテレビアニメ『機動戦士ガンダム』。

作中の軍事勢力のひとつであるジオン公国軍の試作機で、「ニュータイプ」と呼ばれる特殊能力者の脳波を利用した操縦システム「サイコミュ」を搭載している。サイコミュで遠隔操作される無人ビーム砲端末「ビット」を多数装備し、多方向からの射撃で敵を撃破するオールレンジ攻撃を得意とする。1985年にテレビ放送された続編『機動戦士Ζガンダム』に登場する人型ロボット兵器「モビルスーツ（MS）」であるキュベレイをはじめとして、後発のシリーズ作品群にも同様の攻撃手段を持つ兵器が多数登場する。

『機動戦士ガンダム』劇中ではニュータイプの少女であるララァ・スンが搭乗し、シャア・アズナブルとともに主人公アムロ・レイが所属する地球連邦軍と敵対する。

本記事では、外伝作品などに登場する同型機やバリエーション機についても解説する。
アマルテア (衛星)
アマルテア(Jupiter V Amalthea)は、木星の第5衛星。2018年までに発見された衛星の中で内側から3番目の軌道を回っている。同様にガリレオ衛星より内側を回っている木星内部衛星群をアマルテア群と呼ぶことがある。

名前はギリシア神話に登場する、ゼウスを育てたニンフの一人アマルテイア (Amaltheia) に由来し、発見後まもなくカミーユ・フラマリオンによって提唱された。しかし正式に命名されたのは1975年で、それ以前は単にJupiter Vという名で知られていた。俗にバーナード星とも（ただしこの呼称はへびつかい座の恒星の方を指すことが多い）。なお小惑星帯の小惑星(113)にも同名の アマルテアが存在する。

(113) アマルテア
(113) アマルテア またはアマルティア（英語: Amalthea）は、小惑星帯の内側よりの軌道に位置する典型的な小惑星の一つ。1871年3月12日にドイツの天文学者、ロベルト・ルターにより発見され、ギリシア神話に登場する、ゼウスを育てたニンフの一人アマルテイア (Amaltheia) にちなんで命名された。なお木星の衛星にも同名のアマルテアがある。

アマルテアは、(9) メティスとともに、約10億年前にベスタサイズの小惑星が壊れ、そのマントルの部分からできたと考えられている。
ヒメラ川の戦い
ヒメラ川の戦いは、紀元前311年にヒメラ川（現在のサルソ川）河口付近で発生したカルタゴとシュラクサイの間の戦い。カルタゴ軍の司令官はハミルカルで、シュラクサイ軍は僭主であるアガトクレスが率いた。アガトクレスはカルタゴ軍野営地に奇襲をかけたが、予期していなかったカルタゴの援軍から攻撃を受けたためにシュラクサイ軍は敗北した。シュラクサイ軍は大損害を受け、アガトクレスは残存兵士をまとめてシュラクサイに撤退したが、シケリア（現在のシチリア）の支配権を失った。

古代においてはヒメラ川と呼ばれた川が2本あった：現在のグランデ川（en）およびサルソ川（en）である。グランデ川は北方に向かって流れ、古代のヒメラ（現在のテルミニ・イメレーゼの東12キロメートル）に河口があり、サルソ川は南方に向かって流れ、現在のリカータ付近に河口がある。カルタゴ軍はサルソ川河口近くのエクノムスの丘の上に布陣していた。この丘はリカタの西方にある。

紀元前311年
紀元前311年（きげんぜん311ねん）は、ローマ暦の年である。

当時は、「ブルトゥスとバルブラが共和政ローマ執政官に就任した年」として知られていた（もしくは、それほど使われてはいないが、ローマ建国紀元443年）。紀年法として西暦（キリスト紀元）がヨーロッパで広く普及した中世時代初期以降、この年は紀元前311年と表記されるのが一般的となった。
久原房之助
久原 房之助 （くはら ふさのすけ、1869年7月12日〈明治2年6月4日〉- 1965年〈昭和40年〉1月29日）は、日本の実業家、政治家。

日立製作所、日産自動車、日立造船、日本鉱業創立の基盤となった久原鉱業所（日立銅山）や久原財閥の総帥として「鉱山王」の異名を取った。第一次世界大戦後の恐慌を機に政界へ進出。

衆議院議員当選5回（16、17、18、19、25回総選挙）。逓信大臣、内閣参議、大政翼賛会総務、立憲政友会（久原派）総裁を歴任。

「政界の黒幕・フィクサー」と呼ばれ、右翼に資金を提供して二・二六事件に深く関与した。戦後はA級戦犯容疑者（不起訴）となり、公職追放となった。

戦後は日中・日ソ国交回復会議議長などを務めた。また大東急記念文庫の基礎を築いた。正三位勲一等。萩市名誉市民。

ジャパンエナジー
株式会社ジャパンエナジー（英: Japan Energy Corporation）は、かつて存在した石油類の精製・販売を行う日本の企業。

2010年3月31日までは、新日鉱ホールディングスの中核企業であったが、同年4月1日付けで、新日鉱ホールディングスが新日本石油と経営統合したJXホールディングス（現・ENEOSホールディングス）傘下となった。さらに同年7月1日付けで同社は、JXホールディングス傘下の新日本石油・新日本石油精製の両社と統合し、JX日鉱日石エネルギー（現・ENEOS）となった。

ガソリンスタンドのブランド名として「JOMO」（ジョモ、Joy of Motoringの略）を展開していた。

JX日鉱日石エネルギーの発足により、旧新日本石油のENEOSブランドへ統合され、日本国内でのJOMOブランドは消滅した。ただし日本国外においては、中国のENEOS関連企業である山西日本能源潤滑油有限公司の潤滑油ブランドとして存続している。
カタグロトビ
カタグロトビ（肩黒鳶、学名：Elanus caeruleus）は、タカ科に分類される鳥類の一種。別名ハイイロトビ。昼行性の小型猛禽類で、ハヤブサ属のように、開けた草原の上空をホバリングする。旧北区とエチオピア区に分布し、オーストラリアのオーストラリアカタグロトビおよびアメリカ大陸のオジロトビとともに上種を形成する。長い翼、白と黒と灰色の羽毛、赤い虹彩、フクロウのような正面に付いた眼が特徴である。近縁種であるオーストラリアのクロオビトビは、昼行性だが生態的によりフクロウに似ている。主に平原に生息するが、アジアの高地では丘陵の草地で見られる。渡りは行わないが、獲物や天敵の存在によって移動する。齧歯類の個体数の変動に適合しており、猛禽類の中でも珍しく、年に複数回子育てを行う。南ヨーロッパの個体群は、農業や畜産業といった人間活動によって増加している。

タカ科
タカ科（タカか、Accipitridae）はタカ目の科の1つ。旧名ワシタカ科。大型種から小型種まで強い鉤状の嘴を持ち、食性に応じて多様な形態がある。昆虫から中型哺乳類まで様々な獲物を食べ、腐肉食や果実食の種も少数が知られる。昼行性の猛禽類の中で最も放散した科であり、南極大陸を除く全ての大陸と多くの海洋島に分布する。一部の種は渡りを行うことが知られている。12亜科と75属に256種が分類される。

タカ、ワシ、トビ、チュウヒ、ハゲワシなどが分類される。通常ミサゴやヘビクイワシはそれぞれ独立の科に分類され、コンドルも別科に分類される。核型データ分析はタカ科が単系統群であることを示している。
.30-06スプリングフィールド弾
.30-06スプリングフィールド弾（30-06スプリングフィールドだん）とは、1906年にアメリカ陸軍が開発し、規格化が行われた弾薬で、1970年代初期まで使用された。他の名称には7.62x63mm、ウィンチェスター社では「30 Gov't 06」ともされている。読み方は「thirty-aught-six」もしくは「thirty-oh-six」である。.30とは弾丸の直径を表したもので、また06とは採用年である1906年を示したものである。

本弾薬は.30-03弾、6mmリー・ネイビー弾、.30-40クラグ弾を代替した。.30-06弾はアメリカ陸軍の主力小銃および機関銃の弾薬用として50年近く用いられ、7.62x51mm NATO弾（民間用商品名は.308ウィンチェスター）および5.56x45mm NATO弾に代替された。この両方の弾薬は現在、アメリカ軍とNATOの任務に使用されている。.30-06スプリングフィールド弾は競技用実包として非常に人気があり、全ての主要メーカーがこの弾薬を製造している。

スプリングフィールドM1903小銃
スプリングフィールドM1903（英: M1903 Springfield）は、アメリカ合衆国で開発されたボルトアクション式ライフルである。公式には1903年6月19日に採用された。

M1903は第一次世界大戦および第二次世界大戦を通して使用され、1936年にセミオートマチックのM1ガーランドが制式化されるが、不具合と配備の遅れにより1942年初期頃まで第一線で運用された。M1ガーランドへの代替後も、朝鮮戦争およびベトナム戦争まで狙撃銃として使用された。
2018 FIFAワールドカップ・グループF
2018 FIFAワールドカップ・グループFのリーグ戦は6月17日から6月27日にかけて6試合が行われる。グループFには、ドイツ、メキシコ、スウェーデン、韓国の4カ国が入っており、試合の勝敗による勝ち点などでグループ内での順位が決まり、上位2チームが決勝トーナメントに進出する。

サッカー大韓民国代表
サッカー大韓民国代表（サッカーだいかんみんこくだいひょう、朝: 대한민국 축구 국가대표팀）は、大韓サッカー協会（KFA）によって構成される大韓民国のサッカーのナショナルチームである。アジアサッカー連盟（AFC）および東アジアサッカー連盟（EAFF）所属。
映画配給社
社団法人映画配給社（えいがはいきゅうしゃ）は、かつて昭和の第二次世界大戦中に存在した映画配給を行なう社団である。略称映配（えいはい）。
戦後期に存在した映畫配給株式會社(映画「快傑ハヤブサ」の製作・配給を手掛けた)との関連は不明。

東宝映画
東寶映畫株式會社（とうほうえいが、1937年8月26日創立 1937年9月10日 設立 - 1937年11月30日4社吸収合併 1943年12月10日 対等合併による会社名変更）は、かつて東京に存在した日本の映画会社である。第二次世界大戦前に阪急資本が設立した「東宝映画配給」を含めた4社が合併して設立、わずかの間にメジャー映画会社の一角となり、東宝の前身となったことで知られる。
APG IV
APG IV は、主に分子系統学に基づいた被子植物の分類体系であるAPG体系の第4版である。Angiosperm Phylogeny Groupから2016年に発表されたもので、先行するAPG III (2009年)から7年、最初のAPG体系 (1998年)から18年更新された体系である。2009年にはAPG IIIの発表とは別に、標本庫整備に必要な各科の順序を定めているが、APG IVの発表論文では2009年の順序と新しい順序を併記している。

APG IVは基本的にAPG IIIの分類体系を踏襲するが、APG III発表以降に十分な根拠が提示され、従来の分類方法では齟齬が生じることがわかった点について改訂を行なうという保守的な姿勢で作られている。

メッテニウサ科
メッテニウサ科(メッテニウサか、Metteniusaceae)は、被子植物のメッテニウサ目に属する唯一の科である。 主に熱帯地域に自生する11属約60種から構成される。従来、本科はメッテニウサ属のみが属していたが、分子系統学の研究の成果から当時のクロタキカズラ科の内の10属が本科に属すことが分かり、整理された。
神奈川県立綾瀬西高等学校
神奈川県立綾瀬西高等学校（かながわけんりつ あやせにしこうとうがっこう）は、神奈川県綾瀬市に所在する公立の高等学校。また綾瀬西高等学校では福祉についての教育が盛んであり、神奈川県の高等学校で唯一敷地内にデイサービスセンターが設立されている。

相鉄バス
相鉄バス株式会社（そうてつバス）は、神奈川県横浜市西区に本社を置く相鉄グループのバス会社。相鉄ホールディングスの完全子会社。相模鉄道沿線の横浜市内および神奈川県央地域県央部で、路線バス・中距離高速バスなどを運行する。

相模鉄道が直営で行ってきたバス事業（相模鉄道自動車部）を分社化し、運営の効率化と収益改善を図るために設立された。

本項では、相模鉄道および相鉄ホールディングスのバス部門など、相鉄バスの起源となった組織・事業についても記述する。
西本智実
西本 智実（にしもと ともみ、1970年4月22日 - ）は、日本の指揮者、舞台演出家。

大阪府大阪市出身。大阪府立今宮高等学校卒業、大阪音楽大学作曲学科卒業。身長167.5cm。趣味はドライブと温泉。

交響曲第7番 (チャイコフスキー)
交響曲第7番 変ホ長調は、ピョートル・チャイコフスキーが作曲に着手するも途中で交響曲としての完成を放棄した作品である。

作曲中のチャイコフスキーは「この交響曲の（略）究極の本質は、人生である」と述べていたため、「交響曲『人生』（露: жизнь ジーズニ）変ホ長調」と仮称されている。チャイコフスキー自身は結局、この曲の一部の素材を使用してピアノ協奏曲第3番とした。後世、チャイコフスキーが残した素材を交響曲に再編したものがあり、これが「交響曲第7番変ホ長調」または「未完成交響曲『ジーズニ』」と呼ばれている。
ドリュー・ポメランツ
トーマス・アンドリュー・ポメランツ (Thomas Andrew Pomeranz, 1988年11月22日 - ) は、アメリカ合衆国テネシー州シェルビー郡コリアービル出身のプロ野球選手 (投手) 。左投右打。MLBのロサンゼルス・エンゼルス所属。愛称はビッグ・スムース。

兄は元プロ野球選手のステュー・ポメランツで、曽祖父も元プロ野球選手でアメリカンフットボールの選手でもあったガーランド・バックアイ。また、父親のマイク・ポメランツは大学野球の選手だった。

2016年のMLBオールスターゲーム
2016年のMLBオールスターゲーム（英語: The 2016 Major League Baseball All-Star Game）はナショナルリーグとアメリカンリーグの間で行われた87回目のオールスターゲームである。2016年7月12日にサンディエゴ・パドレスの本拠地ペトコ・パークで行われた。監督は、ナショナルリーグはニューヨーク・メッツの監督テリー・コリンズ、アメリカンリーグはカンザスシティ・ロイヤルズの監督ネッド・ヨストが務めた。

試合はアメリカンリーグが4対2で勝利し、同年のワールドシリーズの第1・2・6・7戦をアメリカンリーグ優勝球団の本拠地で行うこととなった。MVPには2回裏に同点の本塁打、3回裏に1点適時打を記録したエリック・ホズマー（KC）が選出された。
密度汎関数理論
密度汎関数理論（英: density functional theory、略称: DFT）は、原子、分子、あるいは物質全体の電子の状態を計算し、その性質を調べるための量子力学に基づく強力な手法である。

この理論を用いると、複雑な多体電子系の性質を、電子の空間的な分布（電子密度）という、比較的シンプルな情報から計算できる。

ピエール・ホーエンバーグ
ピエール・クロード・ホーエンバーグ（Pierre Claude Hohenberg、1934年10月3日 - 2017年12月15日）は、フランス系アメリカ人の理論物理学者であった。主に統計力学について研究した。
大分スポーツ公園総合競技場
大分スポーツ公園総合競技場（おおいたスポーツこうえんそうごうきょうぎじょう）は、大分県大分市の大分スポーツ公園内にある陸上競技場兼球技場。2025年1月1日から「クラサスドーム大分」（クラサスドームおおいた、略称「クラド」）の呼称を用いている。東京都港区に本社を置き、大分市に大分コンビナートを有するクラサスケミカルが命名権を持つ。

なお、2019年3月から2024年末の期間は親会社であるレゾナック・ホールディングスが命名権を取得していた（詳細は後述）。

施設は大分県が所有し、株式会社大宣が指定管理者として運営管理を行っている。

日本プロサッカーリーグ（Jリーグ）に加盟する大分トリニータがホームスタジアムとして使用している。

愛称は一般公募によって決まった「ビッグアイ」。

第63回国民体育大会
第63回国民体育大会（だい63かいこくみんたいいくたいかい）は、冬季大会を2008年（平成20年）1月26日から同年2月22日まで長野県で、本大会を9月10日から中断を挟んで10月7日まで、大分県大分市を主な会場として開催された。
局所麻酔薬
局所麻酔薬（きょくしょますいやく、略称: 局麻、局麻薬: 英: local anesthetic）とは、痛みの感覚をなくす局所麻酔のための医薬品である。局所麻酔薬は、主に神経細胞膜のナトリウム特異的イオンチャネル、特にいわゆる電位依存性ナトリウムチャネルを介したナトリウムの流入を阻害する。ナトリウムの流入が阻害されると、活動電位が発生できなくなる。その結果、神経を介した、感覚や運動の伝導・伝達が遮断される。ドイツ医学の影響を強く受けた日本の医療現場では古くから、「ロカール」と「カ」の部分にアクセントを置いて呼ばれることが多かった。これはドイツ語の局所麻酔薬（独: Lokalanästhetikum）の発音に由来する。

手術の場合、全身麻酔のための全身麻酔薬とは異なり、局所麻酔薬は意識を失うことなく、体の特定の場所に痛みのない状態を作り出す。また、特定の神経経路に使用する場合（神経ブロック）、運動麻痺（筋力の低下）を得ることも可能である。

全身麻酔薬
全身麻酔薬（ぜんしんますいやく、General_anaesthetic）は、多くの場合、「人間の意識喪失または動物の正向反射（立ち直り反射）の喪失を誘発する化合物」として定義される。ヒトでの投与経路は主として吸入または静脈内注射である。局所麻酔薬とは、投与経路や作用機序など、多くの点で根本的に異なる。
頭弁
頭弁（とうのべん）とは平安時代以降の日本の官制において、弁官を兼帯した蔵人頭に対する呼称である。初代蔵人頭の藤原冬嗣が少弁であったように、制度初期には少弁と兼任する例もあったが、10世紀後半以降は中弁もしくは大弁が務めた。

頭弁は近衛中将との兼帯である頭中将と並んで務めることが多く、頭中将は上流貴族出身者が務めたのに対し、頭弁は実務処理能力が重視された。藤原俊憲の『貫頭秘抄』には、頭中将は「禁中万事」を申し行い、頭弁は「天下巨細」を執奏するとされ、頭中将は宮中における側近奉仕を担当し、頭弁は天皇と太政官の間で政務に関する連絡を担当したと記されている。このため、朝廷や摂関家政所において実務官僚を務めた勧修寺流・日野流などの藤原北家や高棟流平氏などの中級貴族の家系から輩出され、後にこれが通例となった。室町時代になると、もっぱら頭弁が「殿上管領頭」として清涼殿南廂の殿上間における雑事の責任者を務めた。

江戸時代に入ると、名家出身の弁官が五位蔵人（定員3名）を経て頭弁に就任する昇進経路が確立されるようになった。

蔵人頭
蔵人頭（くろうどのとう）とは、日本の朝廷における令外官の役職で、蔵人所の実質的な長である。大同5年（810年）、蔵人所の設置に伴い、初代の蔵人頭に藤原冬嗣と巨勢野足が任命され、その後、天皇の首席秘書として、また公卿への昇進を約束された地位として、朝廷内に重要な位置を占めた。
System F
System F（システム・エフ）は、型付きラムダ計算の一体系であり、単純型付きラムダ計算に、型についての全称量化を取り入れた計算機構である。二階ラムダ計算、ポリモーフィックラムダ計算とも言われる。プログラミング言語でのパラメトリック多相を形式化するもので、関数型言語のMLやHaskellなどの型システムのベース理論にされている。System Fは、論理学者のジャン＝イヴ・ジラールと計算機科学者のジョン・C・レイノルズの両者が別個に発見している。ジラールによるとSystem Fの語源は、たまたまそう名付けただけと言う。

単純型付きラムダ計算では、関数についての変数とその束縛が存在するが、System Fでは型についての変数とその束縛が追加されている。例えば恒等関数は任意の型についての形の型を持ちうるが、System Fではこのことが次の判断が成り立つことによって表されている。

.

ここで、は型変数である。また、小文字のが通常の値レベルの抽象を表しているのに対して、大文字のを型レベルの抽象を表すために使用している。

項書換え系として見ると、System Fは強正規化性を持つ。しかしながらSystem Fにおける型推論は決定不能である。またSystem Fはカリー＝ハワード同型の下で、全称量化のみを用いる二階直観主義論理の断片に対応する。System Fは、依存型などを含んだより強力なラムダ計算とともに、ラムダ・キューブの一角であるとみなすこともできる。

依存型
依存型 (いぞんがた、英: dependent type) とは、計算機科学と論理学において、値に依存する型のことである。数学の型理論の表現形式と計算機科学における型システムの特徴を併せ持つ。直観主義型理論においては、全称量化子や存在量化子のような論理学における量化子をエンコードするために依存型が用いられている。ATS、Agda、Idris、Epigramなどのいくつかの関数型プログラミング言語では、依存型を使った非常に表現力の強い型によって、バグを防止している。

依存型の中でも、依存関数と依存ペアは特によく使われている。依存関数の戻り値の型は、引数の型だけではなく引数の値に応じて変化する。例えば、整数"n"を引数に取る依存関数は長さ"n"の配列を返すことができる。 (これは、型そのものを引数として取ることができるというポリモーフィズムとは別の概念である。) 依存ペアでは、2番目の型が1番目の値に応じて変化する。依存ペアを使うと、2番目の値が1番目の値よりも大きいような整数の対をエンコードすることができる。

依存型を入れた型システムは、より複雑になる。プログラム中に出現する2つの依存型が等しいかどうかを判定するとき、プログラムの一部を実行する必要があるかもしれない。特に、依存型に任意の式を含めることが許される場合、型の同値性判定は任意に与えられた2個のプログラムが同じ結果をもたらすかどうかを判定する問題を含んでしまう。したがって、この場合は型検査は決定不能となってしまう。
高屋肖哲
高屋 肖哲（たかや しょうてつ、慶応2年11月2日（1866年12月8日） ‐ 昭和20年（1945年）没日不明）は、日本の明治から昭和時代の日本画家。狩野芳崖の弟子で、岡倉秋水、岡不崩、本多天城らと共に芳崖四天王と呼ばれたが、ほとんど画壇との関わりを持たず、自ら「仏画師」と称して市井の画家として生きた。

狩野芳崖
狩野 芳崖（かのう ほうがい、文政11年1月13日〈1828年2月27日〉 -　明治21年〈1888年〉11月5日）は、幕末から明治期の日本画家。近代日本画の父と称される画家のひとり。幼名は幸太郎。名は延信（ながのぶ）、雅道（ただみち）。号は松隣、皐隣。

盟友たる橋本雅邦と共に、日本画において江戸時代と明治時代を橋渡しする役割を担うと共に、河鍋暁斎、菊池容斎らと狩野派の最後を飾った。
アベンジャーズ/ドゥームズデイ
『アベンジャーズ/ドゥームズデイ』（原題: Avengers: Doomsday）は、マーベル・コミックのスーパーヒーローチーム「アベンジャーズ」をベースとした、2026年公開予定のアメリカのスーパーヒーロー映画。監督はアンソニー・ルッソ、ジョン・ルッソが務め、脚本はマイケル・ウォルドロンとスティーヴン・マクフィーリーが務め、ロバート・ダウニー・ジュニア、ペドロ・パスカル、ヴァネッサ・カービー、ジョセフ・クイン、エボン・モス＝バクラックらが出演する。

マーベル・スタジオが製作し、ウォルト・ディズニー・スタジオ・モーション・ピクチャーズ配給する。「アベンジャーズ」シリーズの5作目であり、『アベンジャーズ/エンドゲーム』（2019年）の続編。また、「マーベル・シネマティック・ユニバース」（MCU）の38作目である。

ファルコン (マーベル・コミック)
ファルコン（Falcon）/キャプテン・アメリカ（Captain America）またはサミュエル・ウィルソン（Samuel Wilson）は、マーベルコミックスより出版されるコミック作品に登場する架空のキャラクター、スーパーヒーローである。ライター兼エディターのスタン・リーとアーティストのジーン・コーランにより創造され、『キャプテン・アメリカ』第117号（1969年6月）で初登場した。メインストリームのコミックに登場するアフリカ系アメリカ人のスーパーヒーローとしては古参である。