hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
NK-31
NK-31 (11D114)液体燃料ロケットエンジンはN-1ロケットの3段目と4段目に使用する目的で設計されたが実際の搭載は保留された。NK-31は単体の燃焼室のエンジンで二段燃焼サイクルで高圧ターボポンプから主燃焼室へハイパーゴリック推進剤ではない推進剤(燃料-ケロシン、酸化剤-液体酸素)が供給される。

NK-31は共通のタービンで駆動される低回転で酸化剤と燃料を加圧する遠隔加圧ターボポンプを備える。それによりエンジンの供給口は低圧で作動する。NK-31エンジンは備えられた2基の小型排気ノズルでロール軸を制御して、1台の熱交換器で推進剤タンクを加圧する。エンジンはジンバルで装架される。

NK-31は原型のNK-9とは異なり、流体回路が単純化され、先進的な自動制御装置によってターボポンプと燃焼室が強化された。プラグ接続と相互運用性により、エンジンの整備性が向上した。

NK-31エンジンは冷却せず"高温"で始動する技術を完成した。始動と停止の行程はNK-33とNK-43と実質的に類似である。

NK-31の試験により信頼性は向上した。

クズネツォフでは10基のNK-31を製造した。

直径:1400mm

重量:722kg

推力:41.5トン(407kN)

比推力:353秒

燃焼室圧力:9.38MPa

総燃料消費量:116.1 kg/秒

ノズル膨張比：124.0

ターボポンプ回転数：22000rpm

エンジンの装架方法：ジンバル式

NK-33
NK-33とNK-43は1960年代末から1970年代初頭にかけて、ソビエト連邦のクーイブィシェフ・エンジン工場（現在のN・D・クズネツォフ記念サマーラ科学技術複合）によって開発・生産された液体燃料ロケットエンジンである。N-1ロケットで使用されていたNK-15/-15Vエンジンを改良したもので、N-1Fロケット（N-1ロケットの改良型）で使用するために開発された。N-1計画の中止後も保管されていたNK-33は2010年代以降、ロシアのソユーズ2.1vの1段目や、アメリカのアンタレスロケット（5号機まで）の1段目に使用されている。
台 (測度論)
数学の分野で、ある可測な位相空間 (X, Borel(X)) 上の測度 μ の台（だい、英: support）とは、その空間 X のどこでその測度が「生きている」かということに関する厳密な概念である。しばしば位相的台（topological support）やスペクトル（spectrum）と呼ばれることもある。そのような台は、すべての点のすべての近傍が正の測度を持つような、X の最大の（閉）部分集合で定義される。

測度論
測度論（そくどろん、英: measure theory）は、数学の実解析における一分野で、測度とそれに関連する概念（完全加法族、可測関数、積分等）を研究する。ここで測度（そくど、英: measure）とは面積、体積、個数といった「大きさ」に関する概念を精緻化・一般化したものである。よく知られているように積分は面積と関係があるので、積分（厳密にはルベーグ積分）も測度論を基盤にして定式化・研究できる。

また、測度の概念は確率を数学的に定式化する際にも用いられるため（コルモゴロフの公理）、確率論や統計学においても測度論は重要である。たとえば「サイコロの目が偶数になる確率」は目が 1, ..., 6 になるという 6 つの事象の集合の中で、2, 4, 6 という 3 つ分の「大きさ」を持っているため、測度の概念で記述できる。
バリア関数
数学の一分野である、制約付き最適化問題におけるバリア関数（バリアかんすう、英: Barrier function、障壁関数、しょうへきかんすう）とは、ある点が実行可能領域の境界に近付くにつれて、その点での値が無限大へと近付くような連続関数のことを言う（Nocedal and Wright 1999）。制約違反に対する罰則項として用いられる。最も一般的な二種類のバリア関数は、逆バリア関数と対数バリア関数である。対数バリア関数は、主双対内点法との関連で、再び興味を集めるものとなった。

関数 f(x) を最適化するとき、ある定数  に対して代わりに関数  を最適化することによって、変数  をつねに  よりも厳密に小とすることができる。ここで、 はバリア関数である。

最適化問題
最適化問題（さいてきかもんだい、英: optimization problem）とは、特定の集合上で定義された実数値関数または整数値関数についてその値が最小（もしくは最大）となる状態を解析する問題である。こうした問題は総称して数理計画問題（すうりけいかくもんだい、英: mathematical programming problem, mathematical program）、数理計画とも呼ばれる。最適化問題は、自然科学、工学、社会科学などの多種多様な分野で発生する基本的な問題の一つであり、その歴史は18世紀の変分問題に遡る。1940年代に線型計画法が登場して以来、理論的な研究や数値解法の研究が非常に活発に行われ、その応用範囲はいろいろな分野に拡大されていった。実世界の現象の数理的な解析に関わる問題や抽象的な理論の多くをこの最適化問題という一般的なくくりに入れることができる。物理学やコンピュータビジョンにおける最適化問題は、考えている関数をモデル化された系のエネルギーを表すものと見なすことによって、エネルギー最小化問題と呼ばれることもある。
梨羽氏
梨羽氏（なしばし）は、桓武平氏小早川氏庶流にあたる武家・士族・華族だった日本の氏族。室町時代に安芸国沼田荘を領する小早川春平の子時春が沼田荘内の梨子羽郷を与えられ、梨子羽（後に梨羽）を称したのに始まる。関ケ原の合戦後の主家毛利家の長門国移封に従い長門に移住し、江戸時代には長州藩士家として続き、維新後には庶流の梨羽時起海軍中将が勲功により華族の男爵に列した。

小早川氏
小早川（小早河）氏（こばやかわうじ、こばやかわし）は、豪族・武家・華族だった日本の氏族。平氏（桓武平氏）の子孫などである。古くは、奈良時代中期から相模国の在地豪族として独立していた小早川宿禰や朝臣の記録があり、その後に、平忠頼が領した相模国足柄郡小早川郷の後裔で、相模国、上総国、甲斐国、但馬国、摂津国、美作国、備前国、備中国、肥後国などの国守を経た者達が、小早川を名乗っていた。後発として、平安末期の武将土肥実平、その子遠平の代から所領の相模国早河荘（土肥郷）で、小早川（吾妻鏡では小早河）を名乗った。土肥実平の妻（土肥の女房）と土肥遠平の妻（天窓妙仏尼）にはともに源頼朝の娘であるという伝承や源頼朝の息子が小早川を称していた記録が残されている。鎌倉時代以降の他家による改姓や養子の輩出は、奈良時代から平安時代にかけての約500年間の顕著な小早川（小早河）氏の官界活動経歴から得られていた家名の社会的ステータスの継承となっている。すなわち、主に知られている土肥氏を小早川の祖とする記述は、後発の小早川に関するものである。鎌倉初期に安芸国沼田荘の地頭職を得て以来この地方で勢力を振るった。毛利元就の三男隆景が養子に入ると吉川家とともに「毛利両川」と並び称された。隆景は豊臣政権において五大老の一人となり、隆景の養子秀秋は関ヶ原の戦いで東軍に内通したが嗣子なく断絶。明治時代に毛利公爵家の分家として再興され、男爵家に列した。
中村仙之助
中村 仙之助（なかむら せんのすけ、1884年1月13日 - 1956年）は、日本の元俳優、元歌舞伎役者、元子役である。本名は山田 重三郎（やまだ じゅうざぶろう）だが、山田 重二郎（やまだ じゅうじろう）の説もある。後年は山田 純三郎（やまだ じゅんざぶろう）と名乗った。尾上松之助の主演映画をはじめ、横田商会、日活京都撮影所の時代劇映画に多数出演、大谷鬼若と共に「敵役の双璧」として知られた。

尾上松之助
尾上 松之助（おのえ まつのすけ、1875年（明治8年）9月12日 - 1926年（大正15年）9月11日）は、日本の歌舞伎役者、映画俳優、映画監督。本名は中村 鶴三（なかむら かくぞう）。

日本映画草創期に活躍した時代劇スターであり、日本初の映画スターといわれる。旅役者から牧野省三に認められて映画界に入り、『碁盤忠信 源氏礎』でデビュー。牧野とのコンビで横田商会、日活の2社で1,000本以上の映画に出演、大きな目玉を向いて見得を切る演技が評判を呼び「目玉の松ちゃん」の愛称で大衆に親しまれた。立川文庫や講談でおなじみの英雄・豪傑・義人・侠客のほとんどに扮しており、トリック撮影を駆使した忍術映画では年少ファンのアイドル的存在となった。後年には、日活大将軍撮影所所長、日活取締役などを兼任して重役スターとなり、公木 之雄（きみき ゆきお）の名で監督作も発表。晩年は社会福祉事業にも貢献した。
アメリカの友人
『アメリカの友人』（アメリカのゆうじん、Der amerikanische Freund）は、1977年の西ドイツ・フランスのサスペンス映画。監督はヴィム・ヴェンダース、出演はデニス・ホッパーとブルーノ・ガンツなど。パトリシア・ハイスミスの1974年の小説『アメリカの友人』を原作としている。なお、この原作は映画『太陽がいっぱい』や『リプリー』の原作小説の続編で、主人公トム・リプリーのその後を描いた『トム・リプリー』シリーズの第3弾である。また、この映画では『トム・リプリー』シリーズの第2弾である『贋作』のエピソードも使われている。

同一原作の映画化作品としては、イタリア・イギリス・アメリカ合作の2002年の映画『リプリーズ・ゲーム』がある（監督：リリアーナ・カヴァーニ、主演：ジョン・マルコヴィッチ）。

日本では、2021年11月より特集上映「ヴィム・ヴェンダース レトロスペクティブ ROAD MOVIES／夢の涯てまでも」の1作品として4Kレストア版が劇場上映された。

太陽がいっぱい (映画)
『太陽がいっぱい』（たいようがいっぱい、原題：Plein Soleil）は、1960年のフランス・イタリアの犯罪映画。パトリシア・ハイスミスの小説『太陽がいっぱい』（旧名『リプリー』）を原作とした、ピカレスク・サスペンス作品。

ルネ・クレマン監督の代表作の一つ。音楽はニーノ・ロータで主題曲は有名になった。主な出演者はアラン・ドロン、モーリス・ロネ、マリー・ラフォレ。この作品はアラン・ドロンがフランスだけでなく、世界的なスターになるきっかけとなった作品である。
キャンピングトレーラー
キャンピングトレーラーとは、キャンピングカーの一種であり、箱型の居室にドア、窓、ベッド、ダイニングテーブル、キッチン、トイレ、シャワーなど生活に必要な装備を一通り整えたトレーラーを言う。トラベルトレーラー (travel trailer) とも言う。欧州ではWohnwagenもしくはキャラバン (caravan) と呼ばれる。牽引する車両をトラクターユニットと呼ぶ。

牽引自動車
牽引自動車（けんいんじどうしゃ）とは、自動車（主に貨物自動車）の形態の一つ。運転席と荷台や客車が分離できる構造のもの。

動力部をもつ前者をトラクターユニット（またはトレーラーヘッドまたはけん引車）と呼ぶ。荷車の役目を持つ後者をトレーラー（またはリヤカー、被けん引車）と呼ぶ。

フェリーやRO-RO船の航送時には、荷台のみを切り離して積み込むことが可能なため、運転手の拘束時間を短縮でき、人件費を抑えることができる。
亮子内親王
亮子内親王（りょうし（あきこ）ないしんのう、久安3年（1147年） - 建保4年4月2日（1216年4月27日））は、第77代後白河天皇の第1皇女。母は藤原成子（高倉三位。藤原季成の女）。伊勢斎宮、のち安徳天皇・後鳥羽天皇の准母・皇后宮、女院。院号は殷富門院（いんぷもんいん）、法名は真如観。同母弟妹に守覚法親王・以仁王・好子内親王・式子内親王・休子内親王がいる。

斎宮
斎宮（さいぐう/さいくう/いつきのみや/いわいのみや）は、日本の古代から南北朝時代にかけて、伊勢神宮に奉仕した斎王の御所。現在の三重県多気郡明和町にあり、跡地は「斎宮跡」として国の史跡に指定されている。平安時代以降は京都の賀茂神社に奉仕する斎王（斎院）と区別するため、伊勢の斎王自身のことも指した。伊勢斎王・伊勢斎宮とも称する。
ブッシュレンジャー
ブッシュレンジャー（英: Bushrangers）は、オーストラリア前期における盗賊。元は脱走者の囚人で、逮捕から逃れるためにブッシュ（郊外の森林）に潜伏し、サバイバル術を有していた人々だった。1820年頃までに、“ブッシュレンジャー”という単語が“世を捨ててブッシュを拠点に武装略奪を行う者”を表すようになった。これらブッシュレンジャーは、主に囚人の子息で、イギリスの追いはぎ（ハイウェイマン）や、アメリカ合衆国のアウトローに類似していた。彼らの犯罪は、小さな町の銀行や輸送業者を襲撃することだった。有名なブッシュレンジャーはダン・モーガン、クラーク兄弟、ネッド・ケリー（最も著名）などで、大勢の警察官が殺害された。1880年のネッド・ケリーの処刑がブッシュレンジャーの終焉とされる。

盗賊
盗賊（とうぞく）とは、法令から逸脱して強奪（掠奪）などを行う者たちの集団を指す。

街道沿いや人気（ひとけ）のない場所で旅行者や通行人を襲い金品を強奪する者を追い剥ぎ（おいはぎ）と呼ぶ。山中に拠点を置き通行人などを襲う盗賊を山賊（さんぞく）、海で船を用い他の船や沿岸を襲撃する盗賊を海賊と呼ぶ。また、山賊を含め、山野で通行人などを襲うものは野盗（やとう）とも呼ばれる。

ほとんどの盗賊は多勢を以って形成し、首領格を中心とした組織を構成している。構成員には、富裕層、犯罪者、貧困層、レジスタンス集団などがいる。人里離れた山野に拠点を置くことが多いが、都市部では貧困層の生活する地域つまり貧民窟（スラム、ファヴェーラ等）を拠点とする場合もある。
勾配 (ベクトル解析)
ベクトル解析におけるスカラー場の勾配（こうばい、英: gradient; グラディエント）は、各点においてそのスカラー場の変化率が最大となる方向への変化率の値を大きさにもつベクトルを対応させるベクトル場である。簡単に言えば、任意の量の空間における変位を、傾きとして表現（例えば図示）することができるが、そこで勾配はこの傾きの向きや傾きのきつさを表している。

ユークリッド空間上の関数の勾配を、別なユークリッド空間に値を持つ写像に対して一般化したものは、ヤコビ行列で与えられる。さらに一般化して、バナッハ空間から別のバナッハ空間への写像の勾配をフレシェ微分を通じて定義することができる。

フレシェ微分
数学におけるフレシェ微分（フレシェびぶん、英: Fréchet derivative）は、モーリス・ルネ・フレシェの名にちなむバナッハ空間上で定義される微分法の一種である。フレシェ微分は、実一変数の実数値函数の導函数を、実多変数のベクトル値函数の場合へ一般化するのに広く用いられ、また変分法で広範に用いられる汎函数微分を定義するのにもつかわれる。

一般に、これは実一変数実数値函数の微分の概念をバナッハ空間上の写像へ拡張するものであり、より一般のガトー微分（古典的な方向微分の一般化）とは対比されるべきものである。

フレシェ微分は解析学や物理科学の至る所（特に、変分法、非線型解析学の多く、および非線型函数解析）で非線型問題に応用を持つ。
カール (カール大帝の子)
小カール (ドイツ語: Karl der Jüngere)またはインゲルハイムのカール (ドイツ語: Karl von Ingelheim 772年ごろ – 811年12月4日) は、フランク王（共同在位: 800年-811年）。カロリング家の王族で、カール大帝の次男。大帝の2番目の妃ヒルデガルトの最初の息子である。イタリア王ピピンや皇帝ルートヴィヒ1世は同母弟にあたる。カール大帝が息子たちに帝国を分け与えた際、小カールはフランク王を継ぐことになっていた。

ルートヴィヒ1世 (フランク王)
ルートヴィヒ1世（ドイツ語: Ludwig I.）, 778年 - 840年6月20日）は、フランク王国の国王、神聖ローマ皇帝（在位：813年 - 840年）。カール大帝の三男で、大帝死後も唯一生存していた嫡出の男子である。フランス国王ルイ1世（フランス語: Louis Ier）とも見なされる。「敬虔王」（ドイツ語：der Fromme, フランス語：le Pieux）とよばれる。
爆発物探知機
爆発物探知機（ばくはつぶつたんちき）とは爆薬の存在を検出する装置全般を指す言葉である。

爆発物を探知する方法は大きく分けて二種類ある。

爆発物から出る揮発性のガスを採取する方式

爆薬から出る揮発性ガスには主に以下のようなものがあるが、爆薬以外にもこれらの揮発性ガスを発する物があるため、誤動作しやすい、蒸気圧が低くガスが出にくい爆薬を探知しにくいという欠点を持つ。このため、現在では爆薬には全て製造時点で爆発物マーカーを添加することが義務づけられている。
爆発物マーカーとして爆薬に添加することが法律で義務化されている物質
ニトロセルロースとニトログリセリンなどから出る二酸化窒素
黒色火薬や硝安油剤爆薬などから出る二酸化硫黄
過塩素酸塩を基剤とするカーリット爆薬などから出る塩化水素
以下の装置がこの方式である。
化学反応式
電子捕獲型検出器
イオン易動度分光測定式探知器
広義の意味では爆発物探知犬もこの分類に含まれる。

対象物の物理的性質を調べる方式

対象によって一長一短がある。そのため、複数の方式を組み合わせて補完する。
電磁誘導法
熱伝導法
ラマン分光法
近赤外線分光法
核磁気共鳴分光法
核四重極共鳴分光法

対象物の構成元素を調べる方式

確実ではあるが、非常にコストが高く、取り扱いも難しい。
中性子後方散乱式爆発物探知器
電子線マイクロアナリシス分析器

ニトロセルロース
ニトロセルロース（英: nitrocellulose）は、硝酸繊維素、硝化綿ともいい、セルロースを硝酸と硫酸との混酸で処理して得られるセルロースの硝酸エステルである。白色または淡黄色の綿状物質で、着火すると激しく燃焼する。火綿（guncotton）とも呼ばれる。
J・S・ウィルソン
ジョン・スキナー・"ベルゲ"・ウィルソン（John Skinner "Belge" Wilson、1888年 - 1969年）は、スコットランドのスカウティング指導者。ベーデン=パウエルと同時代人かつ友人であり、彼の誘いによりボーイスカウト国際事務局局長（のちに世界スカウト機構事務総長）を務めた。

ロバート・ベーデン＝パウエル
初代ギルウェルのベーデン＝パウエル男爵ロバート・スティーヴンソン・スミス・ベーデン＝パウエル（英語: Robert Stephenson Smyth Baden-Powell, 1st Baron Baden-Powel of Gilwell, OM, GCMG, GCVO, KCB, DL、1857年2月22日 - 1941年1月8日）は、イギリスの軍人、作家で、スカウト運動（ボーイスカウト、ガールガイド）の創立者。
ソニック・ザ・ヘッジホッグ3
『ソニック・ザ・ヘッジホッグ3』 (SONIC THE HEDGEHOG 3) は、1994年に日本のセガ・エンタープライゼスから発売されたメガドライブ用横スクロールアクションゲーム。

同社による『ソニックシリーズ』の第4作目。略称は『ソニック3』。主人公のソニックを操作し、墜落した「デスエッグ」を再び宇宙に飛び立たせようとするDr.エッグマンの野望を阻止する事を目的としている。本作にてソニックのライバルとなるナックルズ・ザ・エキドゥナが初登場となった。

開発はソニックチームおよびアメリカ合衆国のセガテクニカルインスティチュートが行い、前作『ソニック・ザ・ヘッジホッグ2』（1992年）から引き続きプロデューサーは中裕司、ディレクターおよびゲーム・デザインは安原広和が担当している他、キャラクター・デザインは『ザ・スーパー忍』（1989年）を手掛けた湯田高志が担当、音楽は『1』『2』の担当であったDREAMS COME TRUEの中村正人ではなく、ブラッド・バクサーなどマイケル・ジャクソンとの共同作業で知られるミュージシャンが多数参加している。

1997年にWindows用ソフト『ソニック&ナックルズ コレクション』およびセガサターン用ソフト『ソニック ジャム』に収録された。他のゲーム機で発売された版については、「#移植版」の節を参照。2007年にはWiiのバーチャルコンソール対応ソフトとして、2009年にはXbox 360のXbox Live Arcade対応ソフトとして配信された。

後にストーリー上の後編に当たる『ソニック&ナックルズ』（1994年）が発売された。

ソニック・ザ・ヘッジホッグ2
『ソニック・ザ・ヘッジホッグ2』 (SONIC THE HEDGEHOG 2) は、セガ・エンタープライゼスが1992年11月21日に発売したメガドライブ用横スクロールアクションゲーム。ソニックシリーズ第2作。略称は『ソニック2』。

また、日本国外では同名タイトルだが内容の異なるセガ・マスターシステム版も発売（日本ではメガドライブ版と同日にゲームギア用ソフトとして発売）されている。
氏
氏

氏（うじ、うぢ）は、血縁関係のある家族群で構成された集団。氏族。氏族は、共通の祖先を認め合うことによって連帯感を持つ人々。氏族名で弁別される。一般に父系・母系のどちらか一方の出自関係をたどって帰属が決まる。成員が相互の具体的な系譜関係を認識していない点で、リネージ（lineage、血統、系統、家柄）と区別される。クラン（clan、氏族、一族、一門、閥、族、一味、大家族）。万葉集二〇「大伴の氏と名に負えるますらをの伴(とも)」

氏（うじ、うぢ）は、古代日本において、氏族に擬制しながら実は祭祀・居住地・官職などを通じて結合した政治的集団。その内部は、姓（かばね）を異にする家族群に分かれ、上級の姓を持つ家族群が下級の姓の家族群を支配し、最下層には部民（べみん、べのたみ）および奴卑（ぬひ）が存在した。族長的地位に立つ家の家長が氏の上（かみ）となり、大化の改新前の部民の田荘（たどころ）、律令制下の氏の賤（せん）などの氏の共有財産を管理し、氏神を奉祀（ほうし）して、氏人（うじびと）集団を統率した。律令制の解体とともに氏としての名は次第に消え、源・平・藤・橘など少数の氏の名のみが残った。→氏長者、藤氏長者。

氏（うじ、うぢ）は、家々の系統を表す名称。苗字（名字）。また、家の称号。

氏（うじ、うぢ）は、家がら（家柄）。

氏（うじ、うぢ、し）は、近世以降、武士階級の間で、多く同輩以下に対して苗字に添えて用いた敬称。現在では「し(氏)」と発音する。

氏（うじ、うぢ）は、1890年の明治民法以降の法文での「氏」「姓」「苗字」の法的な呼称。→戸籍。

氏（うじ、うぢ）は、男系祖先を同じくする同族血縁集団

源氏
源氏（みなもとうじ/げんじ）は、日本の天皇の皇子・皇孫の中から臣籍降下し、「源（みなもと）」の本姓を授けられた氏族を指す。嵯峨天皇以降に現れた。

姓（カバネ）は朝臣（源朝臣（みなもとのあそん））。『新撰姓氏録』や華族の宗族制度における分類は皇別。
AntiX
antiX（アンティクス、発音: [ˈæntɪks]）はDebian安定版をベースとしたLinuxディストリビューションである。動作が比較的軽量であるため、古くなったコンピュータでの利用(NetBookの再利用など)に適している。しかも、APTとDebian互換のリポジトリを利用したアップデートおよび、最新のLinuxカーネルとアプリケーションを提供する。Debianのsystemdと異なり、antiXはバージョン19より標準のINITシステムとしてsysV initまたはrunitを備えたイメージを提供している。

Debian
Debian（発音: [ˈdɛbiən] デビアン）またはDebian ProjectはLinuxディストリビューションのひとつであるDebian GNU/Linuxを中心とするプロジェクトである。

GNUプロジェクトの精神の尊重と、同プロジェクトによるプロダクトの積極的な採用などが特徴である。システム全体を単にLinuxと呼ぶ事が多いのに対し、Debianでは「GNU/Linux」という呼称を積極的に使っている。呼称が分かれる経緯についてはGNU/Linux名称論争を参照。

Linuxディストリビューションの他、カーネル（核）をLinuxカーネルからGNU HurdやFreeBSDのカーネルに置き換えた、Debian GNU/HurdやDebian GNU/kFreeBSDなどがある。
オクスフェネリジン
オクスフェネリジン（英：Oxpheneridine）は、オピオイド鎮痛薬のペチジン（メペリジン）に関連する4-フェニルピペリジン誘導体である。

オクスフェネリジンは現在、医薬品としては使用されていない。おそらく、鎮痛、鎮静、吐き気、呼吸抑制などの他のオピオイド誘導体と同様の作用があると考えられている。

ほとんどのオピオイド誘導体とは異なり、オクスフェネリジンは特に違法薬物として指定されていない。1958年のUNODC麻薬報告書では、オクスフェネリジンは難溶性で刺激が強いため、高用量投与は不可能であり、低用量投与では動物に中毒を起こさせなかったとしている。オクスフェネリジンが研究されたのはこれのみで、その薬理学的特性は十分に確立されていない。

オクスフェネリジンは、アメリカ合衆国、オーストラリア、ニュージーランドなどの一部の地域では、化学構造が関連しているという理由で、おそらくペチジンの規制薬物類縁体とみなされると考えられる。

カナダでは、オクスフェネリジンはControlled Drugs and Substances Act schedulesの違法薬物リストから明確に除外されているが、これはおそらくUNODCが発見した中毒性の欠如に基づくものと考えられる。

ペチジン
ペチジン（英: Pethidine）、別名メペリジン（英: Meperidine）は、フェニルピペリジン系の合成オピオイド鎮痛薬の一つである、1939年にドイツで抗コリン薬として合成され、その後鎮痛作用が発見された。中枢に作用して鎮痛作用を示す。塩酸塩として経口、皮下注射、筋肉内注射、静脈内注射で用いられる。中等度または重度の疼痛に対する鎮痛薬あるいは麻酔前投与薬として使用される。日本での商品名は「オピスタン」（田辺三菱製薬）または「ペチジン塩酸塩」（武田薬品工業）。米国では多くの医師に使用されており、1975年の調査では60%の医師が急性疼痛に、22%の医師が重症慢性疼痛に処方した。

鎮痛作用、呼吸抑制作用はモルヒネよりも弱い。モルヒネに比べてペチジンはより安全で、依存性が弱く、推定される抗コリン効果によって胆道痙攣や腎疝痛への有効性は高いと思われていたが、これらは後に全て幻想であった事が判明し、少なくとも依存性リスクは同等で、胆道痙攣や腎疝痛への効果は他のオピオイドに優越せず、毒性を持つ代謝物（ノルペチジン）のために他のオピオイドより毒性、特に長期投与時の毒性が高いことが明らかとなった。ノルペチジンはセロトニン作用を持つので、他のオピオイドと異なりペチジンの副作用にはセロトニン症候群がある。
補助動詞
補助動詞（ほじょどうし）とは、日本語などにおいて、別の動詞に後続することにより文法的機能を果たす動詞で、それ自体の本来の意味は保っていない（前の動詞との組合せで意味を持つ）ものである。類似の補助形容詞などもあるので、合わせて補助用言ともいう。

形容詞
形容詞（けいようし、英: adjective）とは、名詞や動詞と並ぶ主要な品詞の一つで、大小・長短・高低・新旧・好嫌・善悪・色などの動作以外で、物の状態や様子を表し、述語になったりコピュラの補語となったりして人や物に何らかの属性を表す単語でもあり、または、名詞を修飾して名詞句の指示対象を限定する用法、もしくは、述語の中心となる用法で使われる単語のことでもある。
3乗剰余の相互法則
数学、特に初等整数論・代数的整数論において、3乗剰余の相互法則（さんじょうじょうよのそうごほうそく、英: cubic reciprocity）とは、合同式 x3 ≡ p (mod q) が解けるための条件を提示する、一連の定理群のことである。ここで「相互法則」という単語は、以下に提示する主定理に由来する。

主定理
p と q をアイゼンシュタイン整数環上の、3とも互いに素な素元とするとき、合同式 x3 ≡ p (mod q) が可解となる必要十分条件は x3 ≡ q (mod p) が可解となることである。

合同算術
数学、特に初等代数的整数論における合同算術（ごうどうさんじゅつ、英: modular arithmetic; モジュラ計算）は、（剰余を持つ除法の意味で））自然数あるいは整数をある特定の自然数で割ったときの剰余に注目して、自然数あるいは整数に関する問題を解決する一連の方法の総称である。合同算術の起源は、一般にはガウスが著作『Disquisitiones Arithmeticae』を出版する1801年にまで遡れるものとされる。ガウスによる合同を用いたこの新しい手法は、有名な平方剰余の相互法則を明らかにし、より抽象的な観点からウィルソンの定理などの定理の記述の簡素化に一役を買った。ガウスの研究は自然数を扱う整数論のみならず、代数学や幾何学といった数学のほかの主要な分野にまで影響を与えるものであった。

この手法の基本は、「数それ自体」ではなくそれを別な数で割った（商がいくらになるかということは無視して）「剰余だけ」を考えるということにある。こういった考え方は何か特殊で高尚なものというようなものではなく、実際に日常生活においても時刻や角度といったものの計算や単位の換算などで、ちょっとした合同算術が特別な知識無くあるいは無意識に行われているのである。

20世紀には、合同算術にまつわる状況は大きく様変わりをしている。計算機やウェブの普及に伴って情報セキュリティの観点からの暗号化アルゴリズムの開発や取り扱いといったような場面で古典的な合同算術に関する理論の工業的・商業的応用が頻繁に見られるようになった。
フォンダパリヌクス
フォンダパリヌクス（Fondaparinux）は低分子ヘパリン（LMWH）様の抗凝固薬である。血小板第4因子への親和性がほとんどないのでLMWHよりもヘパリン起因性血小板減少症（HIT）の危険が少ないが、腎排泄型の薬剤であるので腎不全の患者には使えない。ヘパリンと異なり、効果は第Xa因子選択的である。直接第Xa因子阻害薬とは異なり、アンチトロンビンIIIを介して間接的に第Xa因子を阻害する。商品名アリクストラ。

ヘパリン
ヘパリン (heparin) は抗凝固薬の一つであり、血栓塞栓症や播種性血管内凝固症候群 (DIC) の治療、人工透析、体外循環での凝固防止などに用いられる。ヘパリンの原料は牛や豚の腸粘膜から採取されるが、牛海綿状脳症 (BSE) 発生後の現在は健康な豚から採取されたものがほとんどである。

肝細胞から発見されたため "heparin" と名付けられた（hepato- は「肝の」という意味）が、小腸、筋肉、肺、脾や肥満細胞など体内で幅広く存在する。化学的にはグリコサミノグリカンであるヘパラン硫酸の一種であり、β-D-グルクロン酸あるいは α-L-イズロン酸と D-グルコサミンが 1,4 結合により重合した高分子で、ヘパラン硫酸と比べて硫酸化の度合いが特に高いという特徴がある。この分子中に多数含まれる硫酸基が負に帯電しているため、種々の生理活性物質と相互作用する。

生体内において肝臓で生成される。ヘパリンは細胞表面に存在し、種々の細胞外マトリクスタンパク質と相互作用している。それらのタンパク質の中には、上記の抗凝固作用に関与する凝固系や線溶系のタンパク質の他に、種々の成長因子、脂質代謝関連タンパク質など100を超える種類のタンパク質が含まれ、細胞増殖や脂質代謝にも関与している。
AIBA世界ユース選手権
AIBA世界ユース選手権 (英語: AIBA Youth World Championships) は、国際ボクシング協会 (AIBA)が主催する、17歳から18歳の競技者を対象としたアマチュアボクシング大会である。世界シニア選手権の下の世代、世界ジュニア選手権（15歳から16歳が対象）の上の世代に当たる大会で、隔年で開催されている。

AIBA世界ジュニア選手権
IBA世界ジュニア選手権（IBA Junior World Championships）は、国際ボクシング協会 (AIBA)が主催する、15歳から16歳の競技者を対象としたアマチュアボクシング大会である。
クローダン・ド・セルミジ
クローダン・ド・セルミジ（Claudin de Sermisy, 1490年ごろ - 1562年10月13日）は、フランス・ルネサンス音楽の作曲家。ジャヌカンと並んで、16世紀の最も有名なシャンソン作家の一人だが、宗教音楽の作曲家としても重要。同時代のイタリア音楽に影響され、かつ影響を与えている。

クレマン・ジャヌカン
クレマン・ジャヌカン（Clément Janequin, 1485年頃 – 1558年）は、フランス・ルネサンス音楽の作曲家。

聖職者ではあったものの晩年まで不遇であった。むしろフランス宮廷の、もっぱら世俗歌謡の作曲家として有名である。どうやら音楽家として確たる地位を得たことはなく、生涯の終わりになってパリの宮廷に召し抱えられたが、与えられた地位に就任するいとまはほとんど（あるいはまったく）なかったようである。

ジャヌカンはシャンソンの専門家であり、このジャンルを創り出した作曲家のひとりと見なされている。ジャヌカン作品は、言葉というより擬音語や擬態語を取り入れているがゆえに特筆に値する。例えば、無意味な言葉の羅列が鳥のさえずりを形作っているのだが、これは今日いうところの「オノマトペー」にほかならない。
マイヤー・ヴィートリス完全系列
数学の特に代数的位相幾何学およびホモロジー論におけるマイヤー・ヴィートリス完全系列（マイヤーヴィートリスかんぜんけいれつ、英: Mayer–Vietoris sequence）は、位相空間が持つホモロジー群やコホモロジー群といった代数的位相不変量を計算するのに便利な道具の一つで、オーストリアの数学者ヴァルター・マイヤーとレオポルト・ヴィートリスによって示された。これは、位相空間を（コ）ホモロジーの計算がより容易にできるような部分空間の小片に分解するとき、得られる部分空間の（コ）ホモロジーの列ともとの空間のそれとの関係を述べたもので、それによりもとの空間のそれらを計算するという方法論を与える。マイヤー・ヴィートリス完全系列と呼ばれる完全系列は、全体空間の（コ）ホモロジー群、部分空間の（コ）ホモロジー群の直和、部分空間の交わりの（コ）ホモロジー群の三者から構成される自然な長完全列である。

マイヤー・ヴィートリス完全系列は、特異ホモロジー・特異コホモロジーを含む様々なホモロジー論およびコホモロジー論において成立する。一般に、アイレンバーグ-スティーンロッド公理系を満足する（コ）ホモロジー理論に対してマイヤー・ビートリスの完全系列が存在しており、それらに対する簡約版と相対版も考えることができる。大部分の位相空間は、その（コ）ホモロジーを定義から直接に計算することができないので、部分的な情報を得るためにマイヤー・ヴィートリス完全系列のような道具を利用する。位相幾何学に現れるような空間の多くは非常に簡単な小片の貼り合わせとして構成されるが、そういったものの中で、空間を被覆する二つの部分空間（およびそれらの交わり）がもとの空間より単純な（コ）ホモロジーを持つものを注意深く選べば、マイヤー・ヴィートリス完全系列によりもとの空間の（コ）ホモロジーが完全に演繹できるというのである。この観点で言えば、マイヤー・ヴィートリス完全系列は、基本群に対するザイフェルト–ファン・カンペンの定理の類似であり、実際一次元ホモロジーに対しては明確な関係がある。

コホモロジー
数学、とくにホモロジー論と代数トポロジーにおいて、コホモロジー (cohomology) とはコチェイン複体から定義されるアーベル群の列を意味する一般的な用語である。つまり、コホモロジーはコチェイン、コサイクル、そしてコバウンダリの抽象的な研究として定義される。コホモロジーは、代数的不変量を、ホモロジーがもっているよりも洗練された代数的構造をもつ位相空間に割り当てる手法と見ることができる。コホモロジーはホモロジーの構成の代数的な双対から生じる。より抽象的でない言葉で言えば、基本的な意味でのコチェインは'量'をホモロジー論のチェインに割り当てる。

位相幾何学におけるその起源から、このアイデアは20世紀後半の数学において主要な手法となった。チェインについての位相的不変関係としてのホモロジーの最初の考えから、ホモロジーとコホモロジーの理論の応用の範囲は幾何学と抽象代数学に渡って拡がった。その名称によって、コホモロジー、反変理論、の方がホモロジーよりも多くの応用において自然なものであるという事実が隠されがちである。基本的なレベルではこれは幾何学的な状況において関数と引き戻しを扱う。空間 X と Y、そして Y 上のある種の関数 F が与えられたとすると、任意の写像 f : X → Y に対して、f との合成は X 上の関数 F o f を引き起こす。コホモロジー群はまたしばしば自然な積、カップ積をもっており、環の構造を与える。この特徴のために、コホモロジーはホモロジーよりも強い不変量である。ホモロジーでは区別できないある種の代数的対象をコホモロジーでは区別可能なのである。
正規直交系
線型代数学並びに関数解析学における正規直交系（せいきちょっこうけい、英: orthonormal system、ONS）は互いに直交しかつそのノルムが1に規格化されたベクトルの集まりである。

特に、正規直交系が完全系（任意のベクトルが正規直交系によって展開可能）である場合には、完全正規直交系（英: complete orthonormal system）または正規直交基底と呼ばれ、CONSと表される。ヒルベルト空間論の基礎的な概念であるとともに、正規直交系に基づく展開原理は物理学、工学への応用において重要となる。

関数解析学
関数解析学（かんすうかいせきがく、英: functional analysis、仏: Analyse fonctionnelle、函数解析学とも書かれる。別名は位相解析学。）は数学（特に解析学）の一分野で、フーリエ変換や微分方程式、積分方程式などの研究に端を発している。特定のクラスの関数からなるベクトル空間にある種の位相構造を定めた関数空間や、その公理化によって得られる線形位相空間の構造が研究される。主な興味の対象は、様々な関数空間上で積分や微分によって定義される線型作用素の振る舞いを通じた積分方程式や微分方程式の線型代数学的取り扱いであり、無限次元ベクトル空間上の線型代数学と捉えられることも多い。また、無限次元空間上での微分 (フレシェ微分など) を扱うため、無限次元空間上での微分積分学という捉え方も可能である。
ライフサイクルアセスメント
ライフサイクルアセスメント (life-cycle assessment: LCA) とは製品やサービスに対する、環境影響評価の手法のこと。

「環境アセスメント」では、主に大規模開発等による環境への影響を予め評価することを目的とするが、「ライフサイクルアセスメント」では、主に個別の商品の製造、輸送、販売、使用、廃棄、再利用までの各段階における環境負荷を明らかにし、その改善策をステークホルダーと伴に議論し検討する。また、このような環境負荷の少ない商品の開発や設計については特に、『環境配慮設計』と呼ばれ、「環境工学」の一分野にもなっている。

また、代替製品や新製品の環境負荷を、既存の製品と比較し、より環境負荷の少ない製品、サービスへの切り替えを行う意思決定のツールでもある。近年では、カーボンフットプリントなど「環境負荷の見える化」のための指標を計算するためのツールとしても用いられている。

環境アセスメント
環境アセスメント（かんきょうアセスメント）または環境影響評価（英語 environmental impact assessment）とは、主として大規模開発事業等による環境への影響を事前に調査することによって、予測、評価を行う手続きのことを指す。略して「環境アセス」とも。

通常の環境影響評価は事業実施直前の段階で手続きが進められ、これを「事業アセスメント」と呼ぶのに対して、政策決定段階や事業の適地選定などの構想段階で行われる環境影響評価を戦略的環境アセスメント (SEA) という。

問題なしとの結論が先行し、それに合わせる（合わす）ようにして形骸化した環境アセスメントのあり方を「アワスメント」と揶揄することがある。
計算可能関数
計算可能関数（けいさんかのうかんすう、英: Computable function）は、計算可能性理論研究の基本的な目的で、直観的には、アルゴリズムによって結果の値が得られる関数のことである。計算可能関数は、チューリングマシンやレジスタマシンといった具体的な計算モデルを参照せずに、計算可能性を論じるのに使われる。しかし、その定義には特定の計算モデルを参照する必要がある。

計算可能関数の正確な定義が与えられる以前から、数学者は effectively computable（実効的に計算可能）という言い回しをよく使っていた。現在では、その概念が計算可能関数となっている。effective（実効的）であってもefficient（効率的）に計算できるということは導かない。実際、計算可能関数には非効率な場合もある。計算複雑性理論は、そのような関数の計算効率を研究している。

チャーチ＝チューリングのテーゼによれば、計算可能関数は、任意にいくらでも拡大できる記憶装置を持った計算機械を使い（いくら長くても良いが）有限の時間で計算が必ず終了する関数である。アルゴリズムのある関数は全て計算可能である。

ブラムの公理を使って、計算可能関数の集合について抽象的な計算複雑性を定義できる。計算複雑性理論では、計算可能関数の複雑性を特定する問題を函数問題と呼ぶ。

計算モデル
計算モデル（けいさんモデル、英: model of computation）は、計算・推論・証明といった行為を理論的・抽象的に考察するための数理モデルである。計算模型ともいう。これに含まれるうちで、チューリングマシンなどのような、現実の機械に似せた架空のものを抽象機械といい、そうでないものとしてはラムダ計算などがある。ラムダ計算は数学の関数式の組み合わせであり、ソースコードのような計算モデルである。

理論計算機科学の多くの分野で、「計算機械」を理論的に、すなわちモデル化して扱うために多大に活用されている。また特に抽象機械は、実際のプロセッサやコンパイラやインタプリタの研究や開発など、理論に限らず実際的な分野でも活用される。計算理論においては、計算可能性や計算複雑性について形式的・定量的に示すためなどに使われており、古典的な成果にチャーチ＝チューリングのテーゼがある。

より現実の計算機に近づけた機械の定義には命令セット、レジスタ、メモリモデルなども含まれる。現在の一般的なコンピュータ（要するにいわゆるノイマン型）を抽象化した計算モデルとしてはRAMモデル（ランダムアクセスマシン）がある。これはメモリに対してインデックス付けによりランダムアクセス可能な計算モデルである（チューリングマシンではテープの1区画ずつの移動しかできない）。キャッシュメモリが一般化し、そのヒット率が性能に与える影響が大きくなるにつれて、メモリの階層を前提とした計算モデルが重要となった。
2008年北京オリンピックのバスケットボール競技・世界最終予選
2008年北京オリンピックのバスケットボール競技・世界最終予選（2008ねんペキンオリンピックのバスケットボールきょうぎ・せかいさいしゅうよせん）は、北京オリンピック出場国を決定するために行われたバスケットボールの国際大会である。

2008年北京オリンピックのバスケットボール競技
2008年北京オリンピックのバスケットボール競技（2008ねんペキンオリンピックのバスケットボールきょうぎ）は、2008年8月9日から8月24日にかけて北京オリンピックで実施されたバスケットボール競技である。試合はすべて五棵松体育館で行われた。

男子、女子ともにアメリカが優勝した。
日本のスーパーコンピュータ
日本は、理化学研究所の「京」の後継機である富岳を含む複数のスーパーコンピュータを運用する。富岳は2014年（平成26年）に開発が始まり、2020年（令和2年）より試行運用、2021年（令和3年）に本格稼働した。

京 (スーパーコンピュータ)
京（けい、英: K computer）は、兵庫県神戸市の理化学研究所計算科学研究機構に設置、運用されていたスーパーコンピュータの名称（愛称）である。従来は「次世代スーパーコンピュータ」、「汎用京速計算機」、「京速」などと呼ばれていた。文部科学省の次世代スーパーコンピュータ計画の一環として、理化学研究所と富士通が共同開発した。「京」は、浮動小数点数演算を1秒あたり1京回おこなう処理能力（10ペタフロップス）に由来する。（富士通の）開発責任者は井上愛一郎。

総開発費1,120億円を投じ、2012年6月に完成、同年9月に共用稼働を開始。

TOP500で、2011年6月および2011年11月に1位になるが、完成直前の翌2012年6月には2位に、同年11月には3位に後退。この年1位の米タイタンは開発費が9,700万US$(約76.5億円)で17.59ペタフロップス。2013年6月に4位、2015年7月に4位となった。また2011年、2012年、2013年、2014年にHPCチャレンジ賞クラス1、2013年に日本初となるHPCチャレンジ賞クラス2を受賞。2011年、2012年にゴードン・ベル賞を受賞。2014年、2015年7月、11月、2016年7月、11月、2017年6月、11月、2018年6月、11月、2019年6月にGraph500で9期連続1位（通算10期）を獲得した。
ロディオン・マリノフスキー
ロディオン・ヤーコヴレヴィチ・マリノフスキー（ロシア語: Родио́н Я́ковлевич Малино́вский、ラテン文字転写の例：Rodion Jakovlevič Malinovskij、1898年11月23日 - 1967年3月31日）は、ソビエト連邦の軍人、政治家。最終階級はソ連邦元帥。陸軍総司令官や、フルシチョフ、ブレジネフ時代の国防大臣を務めた。

ニキータ・フルシチョフ
ニキータ・セルゲーエヴィチ・フルシチョフ（ロシア語: Ники́та Серге́евич Хрущёв、 発音、ウクライナ語: Мики́та Сергі́йович Хрущо́в、ムキータ・セルヒーヨヴィチ・フルシチョーフ、ラテン文字表記の例：Nikita Sergeyevich Khrushchev、1894年4月17日 - 1971年9月11日）は、ソビエト連邦の政治家。ソ連共産党中央委員会第一書記（1953年 - 1964年）、閣僚会議議長（首相）（1958年 - 1964年）を務め、11年間に渡って同国の最高指導者であった。軍人としての最終階級は中将で、ソ連邦英雄、社会主義労働英雄（3回）、レーニン勲章（7回）、ブルガリア人民共和国英雄などの勲章を持つ。民族的にはロシア人。
導来圏
数学においてアーベル圏  の導来圏（どうらいけん、英: Derived category、仏: Catégorie dérivée） はホモロジー代数から構成されるもので、  上に定義された導来函手の理論を精密化するとともに、ある意味で単純化するべく導入された。その構成は基本的には次の様に進む：まず圏  の対象は  の双対鎖複体であり、次に2つのその様な双対鎖複体の間にチェイン写像が存在してコホモロジーを取った段階で同型を誘導する場合に同型であると考えるのである。このとき、導来函手は双対鎖複体に対して定義され、超コホモロジーの考えを精密化したものとなる。これらの定義により、煩雑なスペクトル系列を用いて（完全に忠実ではなく）記述されるよりほか無かった式は劇的に簡素化される。

導来圏の発展は、アレクサンドル・グロタンディークと彼の学生のジャン・ルイ・ヴェルディエにより1960年代初頭になされ、ホモロジー代数が長足の進歩を遂げた1950年代における爆発的な展開の一つの到達点であると現在ではみなされている。ヴェルディエによる理論の基本部分は博士論文に纏められたが、1996年になってようやくAstérisque（要約はずっと早くにSGA 4½に収録されていた）に出版された。その定式化には革新的な発想である三角圏の概念が必要であり、その構成は環の局所化を一般化した圏の局所化に基づく。"導来"形式の展開への原動力となった欲求は、グロタンディークによる連接双対の理論のなんらかの意味での定式化を行うことであった。導来圏は以後、代数幾何学以外の領域に於いてさえ、たとえば、D-加群や超局所解析でも不可欠な概念となっている。さらに、近年は、ミラー対称性やD-ブレーンの定式化という物理学に近い領域でも、導来圏が重要な役割を果たすようになっている。

鎖複体
数学において、鎖複体（さふくたい）あるいはチェイン複体 (英: chain complex) と双対鎖複体あるいは余鎖複体、コチェイン複体 (英: cochain complex) は、元来は代数トポロジーの分野で使われていた。（余）鎖複体は、位相空間の様々な次元の（コ）サイクルと（コ）バウンダリの間の関係を表す代数的な手段である。より一般的に、ホモロジー代数では、空間との関係を立ち去った抽象的な鎖複体の研究がされる。ホモロジー代数としての研究では、（余）鎖複体を公理的に代数的構造として扱う。

（余）鎖複体の応用は、通常、ホモロジー群（余鎖複体ではコホモロジー群）を定義し適用する。より抽象的な設定では、様々な同値関係（たとえば、チェインホモトピーのアイデアで始まるもの）が複体へ適用される。鎖複体は、アーベル圏で定義することも容易にできる。
京王2000系電車 (初代)
京王2000系電車（けいおう2000けいでんしゃ）は、1957年より製造され、京王帝都電鉄に在籍していた通勤形電車。

本項では後継系列である2010系電車（2010けいでんしゃ）、およびこれら両系列の編成への挿入を前提に在来車の改造あるいは車体更新名義で用意された付随車である2500系電車（2500けいでんしゃ）についても併せて記載する。ともにライトグリーンに塗装されていたため、塗色を変更した初代5000系電車の登場以降は「グリーン車」と通称された。

京王5000系電車 (初代)
京王5000系電車（けいおう5000けいでんしゃ）は、かつて京王帝都電鉄（現・京王電鉄）に在籍していた京王電鉄京王線用の通勤形電車。1963年（昭和38年）から1969年（昭和44年）にかけて155両が製造され、1996年（平成8年）まで運用された。

本系列は狭義の意味での5000系と、その増結用として製造された5100系が存在したが、一般的に両者をまとめて5000系として扱うことが多い。このため、本項では2形式についてまとめて記述する。なお5100系は当初5070系と名乗っていたが、車両増備で番号重複が発生するため、1967年（昭和42年）から1968年（昭和43年）にかけて改番されて5100系となった。

本記事では京王線上で東側を「新宿寄り」、西側を「京王八王子寄り」と表現する。編成単位で表記する必要がある場合は、新宿寄り先頭車の車両番号で代表し、「5701編成」もしくは「5701F」の様に表現する。編成表は各種文献に倣って新宿寄りを左側として表記する。
フルオロメタン
フルオロメタン (fluoromethane) とは、示性式が CH3F と表される有機化合物。フッ化メチル、フロン41、HFC-41とも呼ばれる。無色の気体。

広義にはメタンの水素原子をいくつかフッ素で置換した化合物群を意味し、区別するために「フルオロメタン類 (fluoromethanes)」と呼ばれる。

フロン類（ハイドロフルオロカーボン）の一種である。温室効果が知られ、温暖化係数 (GWP) は 150。オゾン層破壊作用はない。

半導体工業で、ケイ素表面のエッチング剤として用いられる。

フロン類
フロン類（フロンるい）は、炭素と水素の他、フッ素や塩素や臭素などハロゲンを多く含む化合物の総称。場合によって指す物質の範囲は異なる。

冷媒や溶剤として20世紀中盤に大量に使用されたが、オゾン層破壊の原因物質ならびに温室効果ガスであることが明らかとなり、今日ではモントリオール議定書をはじめ様々な国際協定・法律によって、先進国を中心に使用には大幅な制限がかけられている。

フロンという呼び方は、日本でつけられた俗称である。日本以外ではデュポン社の商品名である商標のフレオン (freon) で呼ばれることが多い。
ケプラー三角形
ケプラー三角形は三辺の比が等比数列となっている直角三角形で、その公比は黄金比  の平方根であるような三角形のことである。つまりケプラー三角形の辺の比は 、おおよそ1 ：1.272 ：1.618である。したがって三角形の一辺を辺とした正方形も黄金比を公比とした等比数列になる。

このような比率の三角形は、ドイツの数学者で天文学者のヨハネス・ケプラー（1571 - 1630）にちなんで名付けられた。ケプラーは、この三角形の短辺と斜辺の比率が黄金比に等しいことを最初に発見した人物である。ケプラー三角形はピタゴラスの定理と黄金比という2つの重要な数学的概念を組み合わせており、次に示すようにケプラーを深く魅了した：

幾何学には2つの宝がある。一つはピタゴラスの定理、もう一つは外中比（黄金比）である。一つ目は金塊と比べ、二つ目は貴重な宝石と呼ぶことになるだろう。

また、ケプラー三角形に非常に近い寸法の三角形がギザの大ピラミッドにあるという主張もいくつか存在する。

斜辺
斜辺（しゃへん、hypotenuse）とは、直角三角形において、直角に対する辺のことである。直角三角形の斜辺は三辺の中で最も長く、その長さはピタゴラスの定理により求めることができる。

英語のhypotenuseという言葉は、ギリシア語で「下」という意味のhypo-と「延ばす」という意味のteinein、または「横」という意味のtenuseを組み合わせたὑποτείνουσα (hypoteinousa)という言葉に由来すると言われている。

和算においては直角三角形のことを勾股弦、斜辺のことを弦（げん）という（略字の玄が用いられることもある）。
プロプリズム
数学の高次元（特に四次元以上）の幾何学におけるプロプリズム（英: proprism; 積角柱）は、ふたつ以上の（その各々が二次元以上の）（超）多面体のデカルト積として得られる超多面体を言う。"pro-prism"（積角柱）は product prism（角柱の直積）のかばん語で、ジョン・ホートン・コンウェイによる造語である。プロプリズムの占める空間の次元は、その各直積因子の次元の総和と等しい。また、プロプリズムは一様超多面体 の（高次元）面としてしばしば生じる。

ポリトープ
初等幾何学における超多面体（ちょうためんたい、英: poly­tope; ポリトープ）は、平坦な縁を持つ幾何学的対象である。任意の有限次元において存在し、各次元 n における超多面体を n-次元（超）多面体 (n-poly­tope) と呼ぶ。例えば二次元多面体は多角形、三次元多面体は通常の多面体である。多辺形や多面体のときと同様、「中身の詰まった」(solid) な n-次元多面体だけでなく、一般にはその境界である (n − 1)-次元図形を指して n-次元多面体と呼ぶことが多々あるので、文脈に注意すべきである。

超多面体の更なる一般化として、非有界な超無限面体や、曲がった多様体の三角形分割や単体分割あるいは空間充填（例えば、球面多面体、および集合論的な抽象多面体などが現れる理論もある。

三次元より高次の超多面体を最初に考え出したのはルートヴィヒ・シュレーフリである。ドイツの数学者ラインホルト・ホッペによりドイツ語: poly­topが造語され、それを poly­topeとして英語に導入したのはアメリカ人数学者のアリシア・ブール・ストットである。

語義は "poly-"（多くの）+ "-tope"（表面）であり「直訳」すれば「多面体」である。"poly­tope" には多胞体（たほうたい）との訳語もある。これは頂点、辺、面に引き続く次元数 3 の部分を「胞」または「胞体」(cell) と呼ぶことから、多面体のより高次の対象との意図で用いられるものだが、しかし多数の胞からなる対象としての四次元の超多面体 (4-polytope) に限って多胞体と呼ぶ語法も自然である。なお、四次元超多面体には "poly­choron" (希: χώρος は「部屋」) との名称もある。

以下、誤解の虞があると思われる場合には多胞体の語はなるべく避けるものとする。