hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
ウィドウィド
ウィドウィド (Widhwidh, Widh Widh) はトゲアー州のブーホードレ地区にあり、ソマリランドが実効支配している町。ブーホードレ地区の最大都市はブーホードレであるが、ソマリランドの支配が及んでいないため、2021年時点ではウィドウィドがブーホードレ地区の行政中心地になっている。プントランドもウィドウィドの領有権を主張しており、プントランドの行政区分によればアイン地域のウィドウィド地区の行政中心都市である。

ブーホードレ
ボーホードレ (Buhoodle, Bohotle, Bohotleh,ソマリ語: Buuhoodle, アラビア語: بووهودل)はソマリア（ソマリランド）とエチオピアの国境の町。ソマリランドとプントランドが領有権を主張している。実際にはどちらへの依存度も低く、住民による自治が行われている。主な住民はダロッド氏族のデュルバハンテ支族。

ソマリアおよびソマリランドの行政区分ではトゲアー州の位置付けであるが、プントランドはボーホードレ周辺をアイン（AYN）と呼んで独立州の扱いをしている。
台湾歩兵第二連隊営舎
台湾歩兵第二連隊営舎（簡体字: 原日軍臺灣步兵第二聯隊營舍）は台南市東区(日本統治時代の旭町）に所在していた駐屯地。台湾軍台湾歩兵第二連隊の営舎で日本統治時代の2つの重要な軍事基地の1つである。1927年以前は大日本帝国最南端の陸軍基地であり、皇族が台湾に行幸・御成する際の視察地として頻繁に利用された。

戦後は中華民国陸軍が駐屯し、隣接した台南高等工業学校は1966年に国立成功大学に編入され光復キャンパスとなった。残存する兵舎のうち第二連隊本部は芸術研究所として、第七・第八中隊兵舎は工業デザイン学科棟として、第五・第六中隊兵舎は歴史学科棟としてそれぞれ活用されている。現存する日本統治時代の軍事建築は希少であり、2003年11月10日に国定古跡に指定された。

国立成功大学
国立成功大学（こくりつせいこうだいがく、英語: National Cheng Kung University、公用語表記: 國立成功大學）は、台湾台南市東区大学路1号に本部を置く中華民国の国立大学。1931年創立、1956年大学設置。大学の略称は成大、NCKU。
日本統治時代に台南高等工業学校として開校。台湾の5大難関大学である台清交成政の1校。台湾総合大学システム（台湾版パブリック・アイビー）構成校。
1877年ラザフォード・ヘイズ大統領就任式
第19代アメリカ合衆国大統領のラザフォード・B・ヘイズの就任式は、1877年3月5日月曜日にワシントンD.C.のアメリカ合衆国議会議事堂のイーストポルティコで行われた。これは23回目となる大統領就任式であり、大統領のラザフォード・B・ヘイズと副大統領のウィリアム・A・ウィーラーの唯一の任期の始まりとなった。

任期開始日である1877年3月4日は日曜日であったため、ヘイズはホワイトハウスのレッドルームで宣誓した。彼はホワイトハウスで大統領就任宣誓を行った最初の大統領となった。この式典は厳戒態勢の下、秘密裏に行われた。前年の選挙が大接戦に終ったことを受け、退任するグラント大統領はサミュエル・J・ティルデンの支持者による反乱を懸念し、一方で民主党による公開就任式の妨害が失敗に終わることを確信していた。

ヘイズは秘密裏の宣誓を終えた2日後に公の場で再び宣誓し、任期満了となる1881年3月4日まで大統領を務めた。ヘイズの最も有名な言葉である「彼は党に最もよく仕え、国に最もよく仕える者だ」はこの就任演説からの引用である。

1876年アメリカ合衆国大統領選挙
1876年アメリカ合衆国大統領選挙（1876ねんアメリカがっしゅうこくだいとうりょうせんきょ、英語: United States presidential election, 1876）は、1876年11月7日に行われたアメリカ合衆国大統領選挙（第23回）。アメリカの歴史の中でも最も議論を呼び、白熱した大統領選挙の一つとなった。

ニューヨーク州出身のサミュエル・ティルデンが一般選挙でラザフォード・ヘイズを破り、選挙人投票でも184票を獲得してヘイズの165票を上回ったが、まだ集計されていない票が20票あった。この20票が論争となった。3つの州（フロリダ州、ルイジアナ州およびサウスカロライナ州）で、それぞれの党がその候補の勝利を報告し、またオレゴン州の選挙人1人は違法（「選挙されたかあるいは指名されたか」という根拠で）と宣言され交代させられた。これらの票は激しい選挙人の議論の後で最終的にヘイズの得票とされた。

多くの歴史家達はある非公式の取り引きが論争を収めるために使われたと信じている。南部がヘイズの当選を黙認する代わりに、共和党は南部から連邦軍が引き上げることに同意し、レコンストラクションを実質的に終わらせたということである。この取引は1877年の妥協と呼ばれた。この妥協でアフリカ系アメリカ人は実質的に政府の権力から排除された。妥協から間もなく、アフリカ系アメリカ人は人頭税や祖父条項によって投票権を奪われた。
アジアハイウェイ34号線
アジアハイウェイ34号線（アジアハイウェイ34ごうせん）は、アジアハイウェイ網の路線の一つ。アジアハイウェイ東アジア・北東アジア小地域（サブリージョン）の路線の一つ。総延長は1,033kmである。

中華人民共和国連雲港市を起点とし西に向かい延びる。途中鄭州でアジアハイウェイ1号線と交差し、終点の西安ではアジアハイウェイ5号線と接続する。

アジアハイウェイ5号線
アジアハイウェイ5号線  AH5 は、アジアハイウェイの路線の一つである。 総延長は10,380km (16,705mi) で、中華人民共和国上海市を起点とし、カザフスタン、キルギス、ウズベキスタン、トルクメニスタン、アゼルバイジャン、ジョージアを経由して、イスタンブールの西方、トルコとブルガリアの国境近くで終点に至る。
OpenJDK
OpenJDK (Open Java Development Kit) は、プログラミング言語Javaの自由かつオープンソースのJava Development Kitの実装である。2006年、サン・マイクロシステムズが始めたもので、OpenJDKはJava SE 7以降の公式リファレンス実装とされている。

GPLリンク例外つきの GNU General Public License (GNU GPL) でライセンスされている。リンク例外つきとしたのは、Javaクラスライブラリのライブラリとしての使用をGPLライセンスの適用外とするためである。

Java Platform, Standard Edition
Java Platform, Standard Edition または Java SE は、多くのJavaプラットフォームプログラムで利用されるJava APIの集合体である。Java仮想マシン、APIなどから構成される。バージョン1.2からバージョン5.0まではJava 2 Platform, Standard EditionまたはJ2SEと呼ばれていた（詳細はJavaバージョン履歴を参照）。

J2SEバージョン1.4 (Merlin) 以降、Java SEプラットフォームはJava Community Process (JCP) の下で開発されている。JSR 59はJ2SE 1.4の包括仕様であり、JSR 176はJ2SE 5.0 (Tiger) を、JSR 270はJava SE 6 (Mustang) を規定している。Java SE 7 (Dolphin) はJSR 336の下でリリースされた。

Java SEでは標準的な機能のみが定められており、サーバ関連の機能については、Java 2から8まではJava SEを拡張した企業向けのエディションであるJava Platform, Enterprise Edition (Java EE) にて定義されていた。Java 9以降は、上位互換というわけでは無いが、Eclipse FoundationがJakarta EEとして引き継いでいる。
ロシア・プレミアリーグ 2015-2016
ロシア・プレミアリーグ 2015-2016は、ソビエト連邦崩壊後の1992シーズンから数えて24シーズン目のロシア最上位サッカーリーグ、2002シーズンに創設されてから14シーズン目のロシア・プレミアリーグである。2015年7月17日から2016年5月21日まで行われた。2015年9月17日、ロスゴスストラフが大会の冠スポンサーに付いた。

ロシアサッカー・プレミアリーグ
ロシア・プレミアリーグ（ロシア語: Российская премьер-лига; РПЛ, ラテン文字転記：Rossijskaja Futbolnaja Premier-Liga, 英語: Russian Premier League）、もしくはロシアン・プレミアリーガ（Russian Premier Liga）は、ロシアサッカー連合（RFU）が主催している、ロシアにおけるプロサッカーの最上位リーグである。
ライエン侯国
ライエン侯国（Fürstentum von der Leyen）は、1806年から1813年までドイツ南西部に存在したミニ国家。ライン連邦構成国、そしてフランス皇帝の従属国である。1815年のウィーン会議後はオーストリア帝国領に編入され主権を失い、さらに1818年のアーヘン会議でバーデン大公国領に帰属した。

バーデン (領邦)
バーデン辺境伯領（1112年-1803年）バーデン選帝侯領（1803年-1806年）バーデン大公国（1806年-1918年）

国歌: Badnerlied

ドイツ帝国内におけるバーデン大公国

バーデン（標準ドイツ語: Land Baden, アレマン語: Land Bade）は、ドイツ南西部、現在のバーデン＝ヴュルテンベルク州に存在した領邦。

12世紀にツェーリンゲン家を領主とするバーデン辺境伯領 (Markgrafschaft Baden) として成立。中世には分割と併合を繰り返したのち、18世紀に再びバーデン辺境伯領として再統合された。ナポレオン戦争の中で領土を拡大し中堅領邦に成長、1803年には選帝権が与えられる。神聖ローマ帝国解体後の1806年にバーデン大公国 (Großherzogtum Baden) となり、1871年にドイツ帝国の構成国の一つとなった。
ウォルター・フランクリン・ジョージ
ウォルター・フランクリン・ジョージ（Walter Franklin George, 1878年1月29日 – 1957年8月4日）は、アメリカ合衆国の政治家。ジョージア州出身。長年上院議員を務め、仮議長も務めた。民主党所属。

アメリカ合衆国上院仮議長
アメリカ合衆国上院仮議長（アメリカがっしゅうこくじょういんかりぎちょう、英語: President pro tempore of the United States Senate）は、アメリカ合衆国上院第2の高位であり、かつ最上位の上院議員。
Vieta jumping
数論におけるVieta jumping（ヴィエタ ジャンピング）あるいはroot flippingは、証明方法の一つ。2つの整数の関係と解が与えられた問題に用いられる。特にディオファントス方程式 の1つの解から新しい解を作る際に使う。Vieta jumpingには多様なバリエーションが存在しており、大抵は根と係数の関係（ヴィエタの公式）を使用した方程式の解を探すことによる無限降下に関連している。

ディオファントス方程式
ディオファントス方程式（ディオファントスほうていしき、Diophantine equation）とは、整係数多変数不定方程式である。文脈として、整数解や有理数解を問題にしたい場合に用いられる用語であり、主に数論の研究課題と考えられている。古代アレクサンドリアの数学者ディオファントスの著作『算術』で、その有理数解が研究されたのにちなんだ名称である。
タム‐ダンコフ近似
原子核物理学においてタム‐ダンコフ近似（タム‐ダンコフきんじ、英: Tamm–Dancoff approximation, TDA）とは、粒子・空孔対と呼ばれる素励起モード状態について、それぞれの素励起の数をある値（通常は1）までに制限する近似のことで、ソ連の物理学者イーゴリ・タムが1945年に、アメリカの物理学者シドニー・ダンコフが1950年に、それぞれ独立に導き出した事に因んで名付けられた。

乱雑位相近似は、1つの状態における粒子および空孔の数が一定でなく（ただし粒子数=空孔数）、さまざまな数の重ね合わせになっている。乱雑位相近似は「新タム-ダンコフ近似」と呼ばれることもある。

タム-ダンコフ近似の基底状態は、ハートリー＝フォック近似の基底状態となる。また励起エネルギーが0となることは通常は起こらないため、タム‐ダンコフ近似ではハートリー＝フォック近似での基底状態の不安定化を調べることはできない。

乱雑位相近似
乱雑位相近似（らんざついそうきんじ、英語: Random Phase Approximation, RPA）とは、元々デヴィッド・ボームとデヴィッド・パインズによって展開された多体系における基底状態の量子揺らぎ及び励起振動状態(フォノン)を記述するための近似手法。線形応答理論における摂動論的な近似法の一つである。

粒子系（電子ガスなど）が高密度の場合は、乱雑位相近似が妥当な近似であることが分かっている。

同等な近似手法が、多方面（例：GW近似）で利用、応用されている。
バハマ・クレオール語
バハマ・クレオール語（バハマ・クレオールご）、もしくはバハマ語は、バハマ諸島、タークス・カイコス諸島、アメリカ合衆国フロリダ州のおよそ400,000人の人々に話されるクレオール言語である。タークス・カイコス諸島で話されるクレオール言語とは若干異なっている。

バハマ諸島における様々な島嶼、村々、コミュニティでばらつきがある。バハマ語は、バハマの白人と黒人両方に若干異なる形式ではあるが話される。

ほとんどのクレオール語と同様に、バハマ語は絶え間なく進化している。バハマにおける若者のスラングは、その多くをジャマイカ・クレオール語やAAVE（アフリカ系アメリカ人の口語英語）から借用している。

バハマ語はまた、ジャマイカ・クレオール語、パジャン、トリニダード・クレオール語やバージン諸島クレオール語などの、その他のカリブ海諸島の英語由来のクレオールと共通点を持っている。多くのバハマ人が、アメリカ独立戦争の後にガラ地域から島に連行された奴隷の子孫であるため、バハマ語は、サウスカロライナ州のガラ語とも著しく結び付いている。

バハマにおいては、バハマ語は「クレオール語」に属するものとは見做されない。これは、おそらくバハマ諸島へ、フランス語由来のクレオール言語のハイチ・クレオール語を母語とするハイチからの多くの移民がいるために、この混乱を引き起こしたと見られる。以前の植民地社会でその他のカリブ海諸島でも目撃されているように、バハマの口語がアメリカ合衆国のマスメディアに晒されたことと、教育の欠如によってより強い方言と結びついたことの結果として、バハマ語は著しい「脱クレオール化」を受けたと主張する学者もいる。

クレオール言語が話される多くの国々と同様、教育者の意見はクレオール言語を学校で教えるべきか否かで分かれる。現在の教育大臣は教師に標準英語を教えるよう助言しているが、バハマ語を享受し、それを尊重することを奨励している。

通常、多くのバハマ人は、バハマ語と標準英語を使い分けることができる。

ジャマイカ・クレオール語
ジャマイカ・クレオール語は、英語とアフリカの言語をベースにしたクレオール言語である。特にジャマイカにおいて、またジャマイカ系移民によって使用される。ジャマイカ英語、あるいはラスタファリアンの英語使用とは異なる。

局地的にはパトワ (Patois, Patwa) とも、あるいは単にジャマイカ語とも呼ばれる。日本においてはパトワ語と呼ばれる場合もある。
杉田久女
杉田 久女（すぎた ひさじょ、1890年（明治23年）5月30日 - 1946年（昭和21年）1月21日）は、鹿児島県出身の日本の俳人。本名は杉田 久（すぎた ひさ）。高浜虚子に師事。長谷川かな女、竹下しづの女とともに、近代俳句における最初期の女性俳人で、男性に劣らぬ格調の高さと華やかさのある句で知られた。家庭内の不和、師である虚子との確執など、その悲劇的な人生はたびたび小説の素材になった。

高浜虚子
高浜 虚子（たかはま きょし、旧字体：高濱 虛子、1874年〈明治7年〉2月22日 - 1959年〈昭和34年〉4月8日）は、明治・大正・昭和の日本の俳人・小説家。本名は高浜 清（たかはま きよし、旧字体：高濱 淸）。旧姓は池内。日本芸術院会員、文化功労者、文化勲章受章者。

『ホトトギス』の理念となる「客観写生」「花鳥諷詠」を提唱したことでも知られる。
ウィリアム・ジョーンズ (海軍長官)
ウィリアム・ジョーンズ（William Jones, 1760年9月6日 - 1831年9月6日）は、アメリカ合衆国の政治家。共和党に所属し、1801年から1802年までアメリカ合衆国下院議員を、1813年から1814年まで第4代アメリカ合衆国海軍長官を務めた。

アメリカ合衆国海軍長官
アメリカ合衆国海軍長官（アメリカがっしゅうこくかいぐんちょうかん、英語: Secretary of the Navy）は、海軍省のトップであり、海軍省の指揮監督を行う。1947年までは内閣の閣僚であったが、国防総省と国防長官の設置後はその指揮監督下に置かれることとなった。海軍軍人及び海兵隊員は海軍長官を非公式にSECNAV（セクナヴ）と呼ぶ。
タルパ
タルパ（英: tulpa）は、神智学・神秘主義・超常現象における概念であり、霊的・精神的な力によって作成された存在や物体を指す用語である。現代では、意識を持ち、比較的自律的な意志を有すると作成者によって考えられている、イマジナリーフレンドの一形態を表すために使用されている。タルパは、作成者とは別の思考・感情・人格を持っているとされ、一連の瞑想的手法で意図的に作成される場合と、長期間持続しているイマジナリーフレンドによって偶発的に作成される場合がある。タルパを作成し交流することはタルパマンシー（英: tulpamancy）と呼ばれ、タルパの保有者はタルパマンサー（英: tulpamancer）と呼ばれる。

神智学
神智学（しんちがく、英: theosophy）とは、神秘的直観や思弁、幻視、瞑想、啓示などを通じて、神と結びついた神聖な知識の獲得や高度な認識に達しようとするものである。神知学、神知論、接神論とも。

神智学は、名前のとおり「智」と「認識」を重視するものであり、神あるいは超越者が叡智的性格をもち、宇宙や自然もこのような叡智からつくられ、人間の智も神の智に通ずる性格をもっており、人間は霊的認識により神を知ること、神に近づくことができるとされる。

グノーシス派、新プラトン主義、インドの神秘思想などにも神智学的傾向がみられるが、狭義には以下の二つのものを指す。一つは、17世紀にヨーロッパで顕在化した近代の「キリスト教神智学」の潮流であり、もう一つは1875年に設立されたインドに本部のある「神智学協会」の思想である。

後者は近現代に新たに創出された体系であり、両者には共通点もあるが、系譜上のつながりはない。通常、神智学と言えばニューエイジ（現在のスピリチュアル）、大衆的オカルティズムの源流である神智学協会に関するものを指すことが多い。本記事では、神智学協会系の思想を区別する場合は〈神智学〉と表記する。
天才
天才（てんさい）は、天性の才能、生まれつき備わった優れた才能（生まれつき優れた才能を備えた人物）のことである。天才は、人の努力では至らないレベルの才能を秘めた人物を指す。天才は、極めて独自性の高い業績を示した人物を評価したり、若いのにあまりにも高い才能を示した人への賛辞的形容に使われる。その才能が歴史や社会に影響を残すに至ったレベルの人物を指すことが多い（動物にも使用される場合がある）。「○○の天才」といったように芸術やスポーツなど様々な分野に限定された用法もある。

天才の類似表現として、ギフテッド、神童、神に愛された人などがある。

ギフテッド
ギフテッド（英: intellectual giftedness）は、平均より著しく高い知的能力を指す用語。多様な定義が存在する子供の特性であり、学校での教育内容に差をつける理由となる。ギフテッドの特性は成人後も持続すると考えられ、英才教育に関する過去100年間の長期的研究で様々な結果が報告されている。子供あるいは成人においても、一般に広く受け入れられているギフテッドの定義は存在しない。しかし、学校への入学許可の決定や個人の生涯を通じた長期的研究の多くは、上位2.5パーセントの知能指数（つまりIQ130以上）を持つ人々を対象としている。また、ギフテッドの定義は文化によっても異なる。

ギフテッドの定義は多様であり、総合的な高い能力を基準とするものもあれば、特定の分野で発揮される高い能力を基準とするものもある。例えば、一部の定義では、優れた数学の才能がありながら、同様に卓越した言語能力を持たない人もギフテッドに含まれる。特に、芸術的・音楽的能力と、一般に高IQと関係があるとされる高学力の関係については現在も研究が行われており、そうした高い能力をすべてギフテッドの定義に含める者もいれば、ギフテッドを才能（talent）と区別する者もいる。幼少期の特性の差がどのように成人後の能力の差に繋がるのか、またどのような教育内容やその他の支援が成人後のギフテッド的特性に繋がるのかについてはまだ論争があり、現在も研究が行われている。
エカテリニ (ギリシャ王女)
エカテリニ・ティス・エラザス・ケ・ザニアス（ギリシア語: Αικατερίνη της Ελλάδας και Δανίας, 1913年5月4日 - 2007年10月2日）は、ギリシャ王コンスタンティノス1世とその妃ソフィア・ティス・プロシアスの三女、第6子。兄にゲオルギオス2世、アレクサンドロス1世、パウロス1世、姉にルーマニア王カロル2世の妃エレーニ、クロアチア王トミスラヴ2世の妃イリニがいる。

パウロス1世 (ギリシャ王)
パウロス1世（ギリシャ語: Παύλος Α΄, ラテン文字転写: Paulos I、1901年12月14日 - 1964年3月6日）はギリシャ王国の国王（在位：1947年4月1日 - 1964年3月6日）。
ベンジャミン・バサースト (1692年生の政治家)
ベンジャミン・バサースト（英語: Benjamin Bathurst FRS、1692年6月25日洗礼 – 1767年11月5日）は、グレートブリテン王国の政治家。1713年から1727年と1728年から1767年まで庶民院議員を務めた。合計で50年以上議員を務めたにもかかわらず、議会で演説した記録はなかった。初代バサースト伯爵アレン・バサーストと庶民院議員ピーター・バサーストは兄にあたる。

アレン・バサースト (初代バサースト伯爵)
初代バサースト伯爵アレン・バサースト（英語: Allen Bathurst, 1st Earl Bathurst PC、1684年11月16日 - 1775年9月16日）は、イギリスの政治家、貴族。トーリー党所属。1712年から1772年までバサースト男爵の称号を使用した。
コーニス症候群
コーニス症候群（コーニスしょうこうぐん、Kounis syndrome）、クーニス症候群、またはアレルギー反応に伴う急性冠症候群（アレルギーはんのうにともなうきゅうせいかんしょうこうぐん、Allergic acute coronary syndrome）は、薬剤などに対するアレルギー反応や強い免疫反応によって引き起こされる急性冠症候群（心臓への血流低下に関連する胸痛などの症状）と定義されている。2017年の調査では、男性130名、女性45名の真正の症例が報告されている稀な症候群であるが、この疾患は一般的に見過ごされており、実際にははるかに有病率が高いことが疑われている。肥満細胞の活性化とその反応による炎症性サイトカインやその他の炎症性物質の放出により、冠状動脈攣縮やプラーク脱落により1本以上の動脈が塞がれる。

コーニス症候群は、冠動脈の痙攣や症状を引き起こす他の2つの原因、すなわち、はるかに一般的で非アレルギー性の症候群である冠攣縮性狭心症や、冠動脈を取り囲む軟部組織である外膜および外膜周囲への好酸球の広範な浸潤によって引き起こされる極めて稀な疾患である好酸球性冠動脈周囲炎とは区別される。

急性冠症候群
急性冠症候群（きゅうせいかんしょうこうぐん、英: Acute coronary syndrome, ACS）は、不安定狭心症〜急性心筋梗塞に至る疾患概念。

急激な冠動脈狭窄によって生じる以下の三つの病態を包括した名称。

不安定狭心症（unstable AP）

心筋壊死に陥らなかった症例。CK-MBは軽度上昇のみ。

急性心筋梗塞（Acute Myocardial Infarction：AMI）

心筋壊死に陥った症例。CK-MBは高度上昇。

虚血性心臓性突然死

虚血心筋または壊死心筋により電気的機能不全を起こすと、致死性不整脈に至り、突然死となることがある。
TLA+
TLA+は、Leslie Lamportによって開発された形式仕様言語。並行システムと分散システムの設計、モデル化、文書化、および検証に使用される。 TLA+は、網羅的にテスト可能な擬似コードとして説明されており、その使用はソフトウェアシステムの設計図を描くことに喩えられる。  TLAはTemporal Logic of Actionsの頭字語である。

設計と文書化に関して、TLA+ は非公式の技術仕様と同じ目的を果たす。ただし、TLA+の仕様は論理学と数学の形式言語で記述されており、この言語で記述された仕様の精度は、システムの実装が始まる前に設計上の欠陥を明らかにすることを目的としている。

TLA+のコードは形式言語で記述するため、有限モデル検査に適する。モデルチェッカーは、いくつかの実行ステップまでのすべての可能なシステム動作を見つけ、安全性や活性などの望ましい不変性プロパティの違反を調べる。 TLA+のコードでは、基本的な集合論を使用して安全性（悪いことが起こらない事）を定義し、時相論理を使用して活性（良いことがいずれ起こる事）を定義する。

TLA+は、アルゴリズムと数学的定理の両方について、マシンでチェックされた正確性の証明を作成するためにも使用される。証明は、単一の定理証明者バックエンドに依存しない宣言型の階層スタイルで記述される。公式および非公式の構造化された数学的証明は、TLA+で記述できる。言語はLaTeXに似ており、TLA+のコードをLaTeXドキュメントに翻訳するためのツールが存在する。

TLA+は、並行システムの検証方法に関する数十年の研究の後、1999年に公開された。その後、IDEや分散モデルチェッカーなどのツールチェーンが開発された。擬似コードのような言語PlusCalは2009年に作成され、TLA+にトランスパイルされ、シーケンシャルアルゴリズムを記述する際に有用とされる。 TLA+2は2014年に発表され、プルーフコンストラクトの言語サポートを拡張した。現在のTLA+リファレンスは、LeslieLamportによるTLA+Hyperbookである。

モデル検査
モデル検査（モデルけんさ、Model Checking）とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足するかどうか検証する。仕様は時相論理の論理式の形式で記述することが多い。
ルイバキ村
ルイバキ（ロシア語: Рыбаки）は、サハリン州択捉島の村。

当該地域の領有権に関する詳細は千島列島及び北方領土問題の項目を、現状に関してはサハリン州#クリル管区、択捉島#ソ連崩壊後の択捉島の項目を参照のこと。

択捉島
択捉島（えとろふとう）は、北海道千島列島南部に位置する同列島内で面積が最大の島。複数の活火山が存在する火山島である。ロシアによる実効支配が続く北方領土の一つである。中心集落は紗那村（クリリスク）。

地名の由来は、アイヌ語の「エトゥ・オロ・オ・ㇷ゚（etu-oro-o-p，鼻・の所・にある・所〈岬のある所〉）」あるいは「エトゥ・オㇿ・オ・ㇷ゚（etu-or-o-p，鼻・水・ある・もの〈クラゲ〉）」。ロシア名はイトゥルップ島（Итуруп、Iturup）。

漢字名の「択捉」は「えとろふ」への当て字であるが、読み分けとしては択（え）捉（とろふ）になる。
Shibuya O-WEST
Shibuya O-WEST（しぶやオーウエスト）は、東京都渋谷区円山町にあるライブハウス。シブヤテレビジョンが運営するShibuya O-Groupのライブハウスのひとつ。カルチュア・コンビニエンス・クラブがネーミングライツを取得したため、2013年12月以降の名称はTSUTAYA O-WESTとなっていたが、Spotifyの日本法人であるスポティファイジャパンが新たにネーミングライツを取得したため、2021年12月以降の名称はSpotify O-WESTとなった。

Spotify
Spotify（スポティファイ）は、スウェーデンの企業スポティファイ・テクノロジーによって運営されている音楽ストリーミングサービス。2025年2月5日時点で、月間アクティブユーザー数を6億7500万人（うち有料会員2億6300万人）抱えており、音楽配信サービスとしては世界最大手である。また、楽曲数は1億曲を突破しており、こちらも業界最大級である。

パソコン・スマートフォン・タブレット型端末・ゲーム機などの電子端末に対応しており、日本では2016年9月にサービスを開始した。
共同訴訟参加
共同訴訟参加（きょうどうそしょうさんか）とは、民事訴訟において、訴訟の目的が当事者の一方及び第三者について合一確定すべき類似必要的共同訴訟となる場合に、当事者適格を有する第三者が共同訴訟人として訴訟に参加することをいう（民事訴訟法52条）。

補助参加の場合と同じように、第三者が裁判所に対して参加の申し出をすることで参加する。

共同訴訟
共同訴訟（きょうどうそしょう）とは、民事訴訟において、一つの訴訟手続の当事者の一方または双方が複数いる訴訟形態をいう。訴えの主観的併合ともいい、多数当事者訴訟の一類型である。

これは、複数の関連する訴訟を同じ手続で審理することにより、弁論や証拠調べが重複することを避けられ、当事者や裁判所にとって時間的・金銭的な無駄が防げること（訴訟経済）、同一の手続で審理することで矛盾しない統一的な解決が図られることなどから、認められている。

共同訴訟は、通常共同訴訟と必要的共同訴訟に分けられる。

なお、共同訴訟において共同している一方当事者のことを共同訴訟人という。また、相原告（相被告）などという呼び方もある。

民事訴訟法は、以下で条数のみ記載する。
平和主義
平和主義（へいわしゅぎ、pacifism）とは、戦争や暴力に反対し、恒久的な平和を志向する思想的な立場。人権の経済的部分である経済的自由権・国際化・世界経済などと併せて、平和主義は資本主義とも関連している。『世界大百科事典』では、現代世界における支配的な平和の一つは「パックス・エコノミカ」（経済による平和）だとされている。第二次世界大戦後に平和主義を提唱している憲法は日本国憲法、フランス共和国憲法、イタリア共和国憲法などがあり、これらに伴い平和的生存権も注目されるようになった（日本やフランスなど西側諸国の憲法は、資本主義憲法（市民憲法）に分類されている）。

ブルジョア憲法
ブルジョア憲法（ブルジョアけんぽう、英: bourgeois constitution）とは、ブルジョア革命（市民革命）に基づいて成立した憲法、およびその系統の憲法。アメリカ合衆国憲法、フランス共和国憲法、日本国憲法などの西側諸国の憲法を指す。「市民憲法」、「資本主義憲法」、「自由民主主義憲法」、「西側憲法」ともいう。対義語は社会主義憲法（プロレタリア憲法）。
判決 (日本法)
日本法において判決（はんけつ）とは、訴訟（民事訴訟や刑事訴訟）において、裁判所が当該事件について一定の厳重な手続を経た上で示す判断のことをいう。

裁判所以外の者が下された裁判例の内容について、単なる解説ではなくして、論ずることを、判例解説とは特に区別して判例評釈と呼ぶことがある。これはおもに法律雑誌などに掲載されている。

公判
公判（こうはん）とは、刑事訴訟において、裁判所、検察官、被告人（弁護人）が訴訟行為を行うために法廷で行われる手続をいう。

公判における訴訟行為を行うために設定される期日のことを公判期日、公判のために開かれる法廷のことを公判廷という。

以下、刑事訴訟法については条数のみ記載する。
タイ・プレミアリーグ2001-02
タイ・プレミアリーグ2001-02は、1996-97シーズンに創設されてから6シーズン目のタイ・プレミアリーグである。アドバンスト・インフォ・サービスがスポンサーになり、大会名はGSMタイ・リーグ（タイ語: จีเอสเอ็ม ไทย ลีก, 英語: GSM Thai League）。

タイ・リーグ1
タイ・リーグ1（タイ語: ไทยลีก1, 英語: Thai League 1, 略称: T1）は、タイ王国におけるプロサッカーの最上位リーグである。スポンサーである比亜迪汽車の車種名を冠し、BYD シーライオン6リーグ1（英語: BYD Sealion 6 League 1）とも呼ばれる。
成井藤夫
成井 藤夫（なるい ふじお、本名：豊（ゆたか）、1930年（昭和5年）11月3日 - 1991年（平成3年）6月17日）は、日本の栃木県芳賀郡益子町の実業家・陶芸家（益子焼）。

窯元の名称は「藤夫窯」。

「円道寺窯」3代目当主であった成井立歩の弟であり、成井恒雄、成井清治の兄。

そして「益子焼窯元共販センター」 と「益子陶芸村」を設立し、「益子陶器市」を始めた、「益子町における陶芸民芸商品直販」発展の功労者である。

益子陶器市
益子陶器市（ましことうきいち）とは、「益子焼」の産地である栃木県芳賀郡益子町で開催されている陶器市：陶器販売イベントである。

毎年、春のゴールデンウイークを挟んだ4月下旬から5月上旬の約9日間と、秋の行楽シーズンである11月3日「文化の日」を挟んだ11月上旬の約4日間の、毎年春と秋の年2回開催されている。

春開催の陶器市には「益子春の陶器市」、また秋開催時には「益子秋の陶器市」という名称が用いられることもある。

また過去には春開催時には「春風益子陶器市」、秋開催時には「秋色益子陶器市」の名称が用いられた事がある。

日本全国でも有数の陶器市であり、益子町全体を上げて開催される「1日では見回り切れない」と言われる会場の広さを持つ、「民藝の町・益子」「陶芸の町・益子」を象徴する、街全体が賑わう益子町の一大イベントとなっている。
指標理論
数学、特に群論において、群の表現の指標（しひょう、英: character）は、群の各元に対応する行列のトレースを対応させる写像である。指標は表現の本質的な情報をより凝縮された形で持っている。ゲオルク・フロベニウスは最初に、指標のみに基づいて、表現の明示的な行列表示は用いずに、有限群の表現論を発展させた。これは有限群の複素表現はその指標によって（同型を除いて）決定されるから可能である。正標数の体上の表現、いわゆる「モジュラー表現」の場合には、状況はより繊細であるが、リチャード・ブラウアーはこの場合にも指標の強力な理論を発展させた。有限群の構造に関する多くの深い定理はモジュラー表現の指標を用いる。

モジュラー表現論
数学の一分野としてのモジュラー表現論（モジュラーひょうげんろん、英: modular representation theory）は表現論の一部として、有限群 G の正標数の体 K 上での線型表現を研究する。群論への応用を持つのみならず、モジュラー表現論は代数幾何学、符号理論、組合せ論、数論など他の数学分野においても自然に生じてくる。

有限群論において、ブラウアーがモジュラー表現論を用いて証明した指標理論的な結果は、有限単純群の分類の過程で、特にそのシロー 2-群が適当な意味において小さすぎるために純群論的手法では従順でないと特徴付けられる単純群に対して、重要な役割を果たした。また、グローバーマンがブラウアーの展開した理論を用いて示した、有限群の位数 2 の元の埋め込みに関する一般的な結果は、Z∗-定理と呼ばれ、分類を進めるうえで特に有効であった。

係数体 K の標数が群 G の位数を整除しないならば、マシュケの定理によりモジュラー表現は完全可約となり、これは通常表現（標数 0 の表現）と同様である。マシュケの定理の証明は群の位数が割れないことに依拠しており、これは K の標数が G の位数を整除するときには意味を成さない。この場合、表現は必ずしも完全可約に限らず、通常表現の場合あるいは標数が群の位数と互いに素の場合とは対照的である。以下ではほとんどの場合、体 K は十分大きい（例えば K が代数閉体ならば十分）ものと暗黙に仮定する（さもなくば、主張をもう少し仔細に込み入ったものとせねばならないであろう）。
ジェイムズ・マディソン・ポーター
ジェイムズ・マディソン・ポーター（James Madison Porter, 1793年1月6日 - 1862年11月11日）は、アメリカ合衆国の弁護士、教育者、政治家。1843年から1844年まで第18代アメリカ合衆国陸軍長官を務めた。

アメリカ合衆国陸軍長官
アメリカ合衆国陸軍長官（アメリカがっしゅうこくりくぐんちょうかん、英語: Secretary of the Army）は、陸軍省の責任者。陸軍省を指揮監督し、アメリカ陸軍の軍政を担う。建国からSecretary of War（直訳すれば「戦争長官」）の名称で閣僚の一員として軍事関連の事項を統括して責任を負ったが、1798年に海軍長官が閣僚に加えられたことで、陸軍に関しての責任を負うこととなった。1947年9月18日に国家安全保障法（National Security Act of 1947）が施行され、国家安全保障会議、国防総省及び国防長官 (Secretary of Defense) が設置され、その指揮監督下に移された。
牛窪記
『牛窪記』（うしくぼき）は、室町時代から安土桃山時代、東三河地方における土豪の様子や、伝説を記載した地域史料。編著者は不明。牛窪城主牧野氏の栄枯盛衰を中心に記述した内容から「牛窪記」と題されている。奥書がなく、著者不明。成立は17世紀末とされる（元禄10年、1697年説）。

三河牧野氏
三河牧野氏（みかわまきのし）は、武家・華族だった日本の氏族。三河国宝飯郡中條郷牧野村に発した東三河の土豪として戦国末期に松平氏（徳川氏）に仕え、江戸時代に門閥譜代として多数の大名・旗本家を分出。維新後大名だった牧野家5家が華族の子爵家に列した。
アシル化
アシル化（アシルか、acylation）とは、有機化合物にアシル基を導入する反応の事である。正式にはアルカノイル化という。

アシル基を供給するアシル化剤としてカルボン酸ハロゲン化物やカルボン酸無水物がよく用いられる。これらはルイス酸を作用させることで強い求電子剤となる。例えば以下のフリーデル・クラフツ反応では塩化アセチルがアシル化剤、塩化アルミニウムが触媒として用いられて、次式のようにベンゼン環上にアシル基(アセチル基)を導入する。

この反応は芳香族求電子置換反応のひとつで、機構は下のように理解されている。

カルボン酸ハロゲン化物やカルボン酸無水物はまた、アミンをアシル化してアミドを生成したり、アルコールをアシル化してエステルに変換する反応にも用いられる。アミンやアルコールは求核剤で、反応の形式は求核付加-脱離機構となる場合が多い。反応を進行させるためにピリジンなどの塩基が用いられ、アシル化剤の活性化、生じる酸の中和などにはたらく。

コハク酸もまた、ある種のアシル化反応を行うのにしばしば用いられる。工業的には、アスピリンの合成過程で、カルボン酸ハロゲン化物によるサリチル酸のアセチル化が行われている。

ケテン (RR'C=C=O) もまた、求核剤の付加によりアシル化化合物を与える。

アセチル化
アセチル化（アセチルか、Acetylation）とは、有機化合物中にアセチル基が導入されることである。IUPAC命名法ではエタノイル化という。逆に、有機化合物からアセチル基が除かれる反応は脱アセチル化という。

具体的には、有機化合物中の活性化した水素原子がアセチル基で置き換わる反応である。水酸基の水素原子がアセチル基で置換されてエステル（酢酸塩）を生じる反応もこの反応に含まれる。アセチル化剤としては、しばしば無水酢酸が使われる。この反応は例えば、アスピリンの合成などにも必須である。
発破
発破（はっぱ、英語: blasting）とは、火薬類の爆発力を利用して建築物や船舶などの人工構造物を破壊したり、山（岩）を破砕したり、地質調査のために広範囲にわたって地面を振動させる行為全般を指しており、法定用語である。また、比喩的に物事の進行を早めるために関係者に強めの励まし（脅かし要素を含め）をすることを「発破をかける」ということもある。

発破という行為自体は爆破と基本的に同じだが、爆破は火薬類を使って「物体を破壊する行為」全体を指しており、産業用途も軍事的用途も含む。発破は建築・土木業や鉱業をはじめ、民間産業や学術研究の目的で行われる爆破に限定して使われる言葉である点が異なる。すなわち発破とは、火薬類取締法や労働安全衛生法に適合した非軍事目的で行われる爆破である。

鉱業
鉱業（こうぎょう、英語：mining）とは、鉱物などの地下資源（場合によっては地表にあるものを含む）を鉱脈や鉱石から資源として取り出す産業である。卑金属、貴金属、鉄、ウラン、石炭、オイルシェール、岩塩、炭酸カリウムなどが採取される。農業で生産できない材料や、研究室や工場で化学合成で作れない材料を一般に採掘する。広い意味では任意の再生不可能な資源の採取を含み、石油や天然ガス、さらには化石水（ヨウ素などの採取に使用）の採掘も含む。

日本は鉱業法では「鉱業」は「鉱物の試掘、採掘及びこれに附属する選鉱、製錬その他の事業」と定義されており（鉱業法4条）、鉱業法の適用鉱物について同法3条で定めている。

音が同じ「工業」などと区別するために「山の鉱業」「金偏の鉱業」などと称することもある。

石や金属の採掘は先史時代から行われていた。現代の鉱業では、鉱体を試掘し、計画中の鉱山の潜在的利益を分析し、必要な素材を抽出し、閉山となった鉱山の土地を最終的に何かに再利用するところまでを含む。鉱山は操業中だけでなく、閉山になってから何年か経っても、周囲の環境の悪影響を及ぼすことがある。このため多くの国々では、鉱山の悪影響を軽減するよう規制を設けている。安全性も重要な課題であり、近年では鉱山における安全は大幅に改善されつつある。
テンターフィールド・テリア
テンターフィールド・テリア（英：Tenterfield Terrier）は、オーストラリアのニューサウスウェールズ州原産のテリア犬種である。フォックス・テリアタイプ犬種のひとつでもある。作出当時の旧称はミニ・フォクシー（英：Min. Foxie）だが、トイ・フォックス・テリアとは別の犬種である。

トイ・フォックス・テリア
トイ・フォックス・テリア（英：Toy Fox Terrier）は、アメリカ合衆国原産のテリア犬種の1つである。愛玩犬種の一種でもある。

別名はアメリカン・トイ・テリア（英：American Toy Terrier）だが、アメリカン・ラット・テリアのトイ階級のサイズの犬（アメリカン・トイ・ラット・テリア）もその名で呼ばれるため、混同の恐れがある。
ハミンギャ
ハミンギャ（hamingja。「幸運」の意）は、北欧神話に登場し、2つの概念にあてはまる存在である。それは、まず個人または家族の幸運または運勢の象徴であり、そして第2には、変容する者の変身した外観である。Andy OrchardとRudolf Simekの2人は、ハミンギャとフィルギャのそれぞれの概念の間の類似に着目している。

「hamingja」は、現在のアイスランド語でも「幸せ」を意味する言葉である。

フュルギャ
フュルギャ（古ノルド語: 単数：fylgja、複数：fylgjur）は、北欧神話に登場する、人に付き添う霊的存在。フィルギャは動詞「fylgja（従う）」の動作主名詞で「追随者」という意味である。

人間の女性の形を帯びる例がみられるが、さまざまな動物の形をとることもある。

武装した少女のイメージをフュルギャに与えたことからワルキューレが生まれただろうと考えられている。
フュルギヤ、フュルギエ 、フュルギア、フィルギャとも。
バイスタンダー効果
バイスタンダー効果（バイスタンダーこうか、英語: Bystander Effect）は、「電離放射線（以下において放射線と表記）を直接照射された細胞だけでなく、その周囲の直接照射されていない細胞（バイスタンダー細胞）にも放射線を照射された影響がみられる」という現象である。バイスタンダーとは、「傍観者（bystander）」の意味である。1992年11月にハーバード大学のNagasawaとLittleによって世界で初めて報告された。

放射線による影響は、直接照射された細胞のみに認められると長い間考えられてきたが、1990年代以降、その周囲の照射されていない細胞（バイスタンダー細胞）にも認められるとする報告が相次いだ。具体的には、低線量の放射線を細胞群に照射すると、放射線を直接照射された細胞だけでなく、照射されなかったはずの細胞にまでも、遺伝的不安定性、DNA損傷、染色体異常、細胞分裂・増殖阻害、アポトーシス（細胞の自殺）、突然変異の誘発などの放射線の影響が観察されるようになった。その後、この現象は「バイスタンダー効果」という用語で呼ばれるようになり、そのメカニズムには放射線に直接照射された細胞と照射されていない細胞（バイスタンダー細胞）間のシグナル伝達が重要な役割を果たすことが示唆された。

現在、バイスタンダー効果の成因として、細胞間接着装置であるギャップ結合や、細胞間のシグナル分子である活性酸素（ROS）、サイトカインなどが密接に関与すると考えられている。また、東京理科大学の小島らによって、エネルギー供与体であるアデノシン三リン酸（ATP）と細胞膜上に発現するATP受容体（P2受容体）を介したシグナル伝達の関与も報告されている。

放射線
放射線（ほうしゃせん、英: Ionizing radiation／ionising radiation ）とは、高い運動エネルギーをもって流れる物質粒子（アルファ線、ベータ線、中性子線、陽子線、重イオン線、中間子線などの粒子放射線）と高エネルギーの電磁波（ガンマ線とX線のような電磁放射線）の総称をいう。「放射線」に全ての電磁波を含め、電離を起こすエネルギーの高いものを電離放射線、そうでないものを非電離放射線と分けることもあるが、一般に「放射線」とだけいうと、高エネルギーの電離放射線の方を指していることが多い
。

なお、広辞苑には「放射性元素の放射性崩壊に伴い放出される粒子放射線と電磁放射線（主にアルファ線、ベータ線、ガンマ線）を指す」、とあるが、これは放射性物質の放射能を問題とする文脈ではそれを指す、というくらいの意味である。
次亜リン酸ナトリウム
次亜リン酸ナトリウム（英: Sodium hypophosphite）またはホスフィン酸ナトリウム（英: Sodium phosphinate）は、次亜リン酸のナトリウム塩である。一水和物NaH2PO2・H2Oとしてよく取り扱われ、常温では無臭の白色結晶状の固体である。水に可溶で、空気中の水分を容易に吸収する。

還元性を有しているため、酸化性物質から隔離し、涼しく乾燥した場所に保管する必要がある。分解するとホスフィンとリン酸水素二ナトリウムを生じる。

2 NaH2PO2 → PH3 + Na2HPO4

次亜リン酸
次亜リン酸（英: Phosphinic acid）は化学式H3PO2で表される無機化合物である。リンのオキソ酸の一つであり、強力な還元剤として作用する。無色で融点の低い化合物であり、水やアルコール、ジオキサンなどに溶解する。この塩は次亜リン酸塩と呼ばれる。
楡林窟
楡林窟（ゆりんくつ、中国語: 榆林窟）は、中国甘粛省酒泉市瓜州県にある仏教関係の洞窟寺院遺跡である。オアシスの町、敦煌や莫高窟から東に100キロメートルほど離れた場所にある。楡林窟の名前は、そこを流れる楡林川の畔の楡の並木に由来する。

楡林窟には42の洞窟があり、唐代から元代（7世紀から14世紀）にかけての約250体の多色彫像と4,200平方メートルの壁画がある。1961年、第一回中華人民共和国全国重点文物保護単位として保護指定された遺跡のひとつである。2008年、楡林石窟はユネスコ世界遺産・シルクロードの中国区間の一部として登録申請された。

莫高窟
座標: 北緯40度02分14秒 東経94度48分15秒﻿ / ﻿北緯40.03722度 東経94.80417度﻿ / 40.03722; 94.80417

莫高窟（ばっこうくつ、拼音: Mògāo kū）は、中華人民共和国甘粛省敦煌市の近郊にある仏教遺跡。千仏洞（せんぶつどう、拼音: Qiānfó dòng）・敦煌石窟（とんこうせっくつ、拼音: Dūnhuáng shíkū）とも。

4世紀から約千年間、元の時代に至るまで彫り続けられた。大小492の石窟に彩色塑像と壁画が保存されており、仏教美術として世界最大の規模を誇る。1900年に敦煌文書が発見されたことでも有名。1961年に中華人民共和国の全国重点文物保護単位に、1987年にユネスコの世界遺産（文化遺産）に登録された。雲崗石窟、龍門洞窟とともに「中国三大石窟」のひとつに数えられる。
日鉄北松硬式野球部
日鉄北松硬式野球部（にってつきたまつこうしきやきゅうぶ）は、長崎県北松浦郡鹿町町に本拠地を置き、日本野球連盟に加盟していた社会人野球の企業チームである。1960年10月に解散した。

運営母体は、鉱山の開発・操業を手掛ける日鉄鉱業。

北松浦郡
北松浦郡（きたまつうらぐん）は、長崎県の郡。長崎県内では所在・管轄する地域を示す郡名の略称として北松（ほくしょう）とも呼ばれる。

人口15,699人、面積57.76km²、人口密度272人/km²。（2026年1月1日、推計人口）

以下の2町を含む。

小値賀町（おぢかちょう）

佐々町（さざちょう）
ハーシェル400カタログ
ハーシェル400カタログ（Herschel 400 catalogue ）は、ウィリアム・ハーシェルが選定した星雲目録の中から、1980年頃にフロリダ州のAncient City Astronomy Club in St. Augustineの会員であるBrenda F. Guzman (Branchett)、Lydel Guzman、Paul Jones、James Morrison、Peggy Taylor、Sara Saeyが選んだ部分集合である。彼らは、ピッツバーグのJames Mullaneyがスカイ&テレスコープ誌に投稿した論文を読んで、カタログの作成を決意した。

この論文で、Mr. Mullaneyは、ウィリアム・ハーシェルの収録した2,500の天体は、アマチュア天文家にとって、メシエ天体を制覇した後の良い目標のベースになると提案した。

ハーシェル400カタログは、1864年に5000個の天体を収録したジョン・ハーシェルのジェネラルカタログの部分集合となっており、従ってニュージェネラルカタログの部分集合ともなっている。

このカタログのフォームは、Astronomical League's Herschel 400 clubに基づいている。

ニュージェネラルカタログ
ニュージェネラルカタログ（New General Catalogue ）は、ジェネラルカタログにジョン・ドレイヤーが追補して1888年に発表したもので、全部で7,840個の星雲、星団や銀河などの天体が載っている天体カタログである。略してNGCと呼ばれることが多い。

新一般カタログ、New General Catalogue of Nebulae and Clusters of Stars（星雲と星団の新一般カタログ）とも呼ばれる。

番号は1860年の分点に基づいた天体の赤経の小さい順に付けられている。なお、ドレイヤーがNGCを補遺するために作ったカタログがインデックスカタログ (IC) である。

現在用いられているものは、NGCカタログをもとに作られたRevised NGC(RNGC)、NGC 2000.0、NGC/ICである。RNGCは、1973年にジャック・スレンティックとウィリアム・ティフトがパロマー写真星図と照合して誤りや曖昧さを正したもので、収載されている天体の座標を1975年の分点に基づいて変換している。またNGCで示された座標付近に複数の天体が存在した場合、NGC番号の後ろにA、B、…の記号を付して曖昧さを避けるようにしている。NGC 2000.0は、1988年にロジャー・シノットが、NGCカタログとICに収載された天体も合わせ座標を2000年の分点に変換してその赤経順に並べなおしたものである。NGC/ICは、2009年からヴォルフガング・シュタイニッケによって改訂が続けられているカタログであり、2022年時点では13,967個の天体が収蔵され、エクセル形式で公開されている。
二重指数関数
二重指数関数（にじゅうしすうかんすう、英: double exponential function）とは、指数関数の肩に指数関数を持つ関数である。一般形は 。
指数関数と同様に、二重指数関数型積分公式など、応用上はネイピア数を底に取ったものがよく使われる。

指数の底が a > 1, b > 1 を満たすなら、二重指数関数は通常の指数関数よりも速く大きくなる。
また二重指数関数は階乗より急速に増大する。階乗は通常の（一重の）指数関数よりも速く増大するため、充分大きい x について以下の関係が成り立つ（e はネイピア数）：

二重指数関数に比べて速く増大する関数として、例えばテトレーションとアッカーマン関数がよく知られている（その他さまざまな関数の増加率については例えばランダウの記号を参照のこと）。

二重指数関数  の逆関数は、二重対数  である。

指数関数
実解析における指数関数（しすうかんすう、英: exponential function）は、冪乗における指数 (exponent) を変数として、その定義域を主に実数の全体へ拡張して定義される初等超越関数の一種である。対数の逆関数であるため、逆対数 (anti-logarithm, inverse logarithm) と呼ばれることもある。自然科学において、指数関数は量の増加度に関する数学的な記述を与えるものとして用いられる（指数関数的成長や指数関数的減衰の項を参照）。

一般に、a > 0 かつ a ≠ 1 なる定数 a に関して、（主に実数の上を亙る）変数 x を ax へ送る関数は、「a を底とする指数関数」と呼ばれる。「指数関数」との名称は、与えられた底に関して冪指数を変数とする関数であることを示唆するものであり、冪指数を固定して底を独立変数とする冪函数とは対照的である。

しばしば、より狭義の関数を意図して単に「指数関数」と呼ぶこともある。そのような標準的な (the) 指数関数（あるいはより明示的に「自然指数関数」）はネイピア数 e (= 2.718281828…) を底とする関数 x ↦ ex である。これを exp x のようにも書く。この関数は、導関数が自分自身に一致するなど、他の指数関数と比べて著しく特異な性質を持つ。底 e を他の底 a に取り換えるには自然対数 ln x を用いて、等式

を適用すればよいから、以下本項では主に自然指数関数について記述し、多くの場合「指数関数」は自然指数関数の意味で用いる。