hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
キッズカート
キッズカート (kids kart) とは、日本独自のレーシングカートのカテゴリーである。

4歳から小学生高学年までの子供達を対象にした本格的キッズ専用レーシングカートである。安全性がまず基本コンセプトに設計されてはいるが、最高速度は70Kmを超える物もあり、各地域でシリーズ戦が開催されていたり、習い事やお稽古ごとの一つとしてスクール（子供教室）事業も頻繁に行われている。

現代日本語では遊園地など遊技場のカートは「ゴーカート」と区別されて用いられる場合が多い。

レーシングカート
レーシングカート（英: kart racing）とは、パイプフレームにむき出しのエンジン、タイヤ、バケットシートなどを取り付けた、小さく簡素な構造の競技用車両である。スプリントカート、カートとも。

レーシングカートと似た言葉との区別や誤解を防ぐため、遊園地や施設などの遊技用カートを「ゴーカート」と呼び、米国のチャンプカー・ワールド・シリーズの旧名称である「CART」は、カタカナではなく英字表記されることが多い。また、CARTとの区別もあり、英字表記はkartと綴るのが一般的である。
OBS Studio
OBS Studio（オービーエススタジオ、OBS、Open Broadcaster Software）は、OBS Projectが開発保守しているフリー・オープンなストリーミング配信・録画ソフトウェアである。

2024年1月現在、最新バージョンは30.xであり、Windows 10以降、macOS Big Sur以降、Linuxをサポートしている。

FOSS
FOSS（フォス）またはFLOSS（フロス）は、「Free(/Libre) and Open Source Software」の頭字語であり、自由ソフトウェアとオープンソースソフトウェアの両方をまとめて指す語である。具体的には、ソフトウェアの使用、改変、および配布の権利をユーザーに与えるライセンスの下で提供されるソフトウェアを指す。全てのFOSSはソースコードを公開しなければならないが、ソースコードが入手可能なソフトウェアが全てFOSSであるわけではない。FOSSはプロプライエタリソフトウェア（制限のあるライセンスを持つか、ソースコードが非公開であるソフトウェア）の対極である。

FOSSオペレーティングシステムであるLinuxディストリビューションやBSDの派生オペレーティングシステムは広く使用されており、数百万台のサーバ、デスクトップパソコン、スマートフォンなどのデバイスを支えている。FOSSは、自由ソフトウェアライセンスやオープンソースライセンスのもとで提供される。FOSSを使用する理由としては、コストの削減、マルウェアに対するセキュリティの向上、安定性、プライバシーの確保、教育利用の機会、ユーザーが自身のハードウェアをより制御できる点などが挙げられる。

自由ソフトウェア運動とオープンソースソフトウェア運動は、それぞれ異なる文化と哲学的背景を持つ組織や団体、個人により支持されている。自由ソフトウェアの支持者はユーザーに与えられる基本的な自由に重点を置くのに対し、オープンソースソフトウェアの支持者はその開発モデルの実用的な利点に焦点を当てている。両者は意見が分かれることもあるが、基本的な哲学的視点を共有し、実践的には協力することもある。
42ダグ
42ダグ（42 Dugg、本名: Dion Marquise Hayes、1994年11月25日 - ）は、ミシガン州デトロイト出身のアメリカ合衆国のラッパー、ソングライターである。彼は2019年にヨー・ガッティとリル・ベイビーのそれぞれのレーベル、コレクティヴ・ミュージック・グループ（CMG）とグラス・ウィンドウ・エンターテインメント（旧称4PF）と、インタースコープ・レコードとのジョイント・ベンチャーを通じて契約した。彼は後者（リル・ベイビー）とのコラボレーションで最もよく知られており、2020年の楽曲「We Paid」と「Grace」で共演している。前者はBillboard Hot 100でトップ10入りを果たし、アメリカレコード協会（RIAA）から5×プラチナ認定を受けた。彼の2枚目のミックステープ「Young & Turnt 2」（2020年）は批評家からの称賛を受け、Billboard 200でデビューを果たした。彼の2021年のシングル、「4 Da Gang」（ロディ・リッチとの共演）と「Maybach」（フューチャーをフィーチャー）は、いずれもゴールド認定を受け、4枚目のミックステープ『Free Dem Boyz』（2021年）に先駆けてリリースされた。このミックステープはBillboard 200で8位を記録した。

リル・ベイビー
リル・ベイビー（英: Lil Baby、本名: Dominique Armani Jones、1994年12月3日 - ）は、アメリカ合衆国ジョージア州アトランタ出身のラッパー、歌手、ソングライター、ヒップホップミュージシャン。

2017年のミックステープ『Too Hard』の成功で広く知られるようになる。デビューアルバム『Harder Than Ever』（2018年）はアメリカでプラチナディスクに認定され、ドレイクとの楽曲「Yes Indeed」はBillboard Hot 100で最高6位を記録した。その年さらに2つのミックステープ『Drip Harder』『Street Gossip』をリリースし、全米4位と2位を記録した。ガンナとの楽曲「Drip Too Hard」が大ヒットし、アメリカで7xプラチナディスクに認定された。2作目のアルバム『My Turn』（2020年）は全米1位を獲得している。
九段下フォーク・フェスティバル'25
『TOKYO FM 開局55周年 ×「桑田佳祐のやさしい夜遊び」放送30周年 九段下フォーク・フェスティバル'25』（とうきょうエフエム かいきょくごじゅうごしゅうねん かける くわたけいすけのやさしいよあそび ほうそうさんじゅうしゅうねん くだんしたフォーク・フェスティバル にじゅうご）は、2025年10月12日に日本武道館で開催された、桑田佳祐が主宰した音楽フェスティバル。

桑田佳祐
桑田 佳祐（くわた けいすけ、1956年〈昭和31年〉2月26日 - ）は、日本のシンガーソングライター。ロックバンドサザンオールスターズのバンドマスター、ボーカル・ギターを担当。

神奈川県茅ヶ崎市出身。所属事務所はアミューズ。所属レコード会社はJVCケンウッド・ビクターエンタテインメント、所属レコードレーベルはタイシタレーベル。

鎌倉学園高等学校卒業、青山学院大学経営学部除籍。

妻はサザンオールスターズのキーボード・ボーカル担当の原由子、姉は作詞家の岩本えり子。

1978年のデビュー以来多くのヒット曲をリリースし、バンド・ソロの両方で活躍しており、幅広いテーマの楽曲が存在することや、日本人としてのアイデンティティ及び古より伝わる日本語や日本の文化を大切にし、ライブで国旗日の丸の掲揚や国歌「君が代」の独唱を行ったことなどでも分かるように、音楽活動を通して、生まれ育った茅ヶ崎および日本への強い愛情と世界平和を希求する思いを発信し続け、被災地支援やエイズ啓発などの社会的貢献も行っている。
チルンハウス変換
チルンハウス変換（ちるんはうすへんかん、英語: Tschirnhaus transformation）は、1683年にエーレンフリート・ヴァルター・フォン・チルンハウスによって発表された多項式の写像の一種である。チルンハウゼン変換とも呼ばれる。

チルンハウス変換は、n ≧ 2次の多項式を、最高次の項および定数項を除き係数のいくつかまたは全てが0になるように変換する。このような変換は、高次の代数方程式の求解を目的とした簡略化に用いられる。

多項式
数学において、多項式（たこうしき、英: poly­nomial）とは、数と不定元（変数とも呼ばれる）をもとにして、和と積によってつくられる式のことである。たとえば、3x3 − 7x2 + 2x − 23 は x を不定元とする多項式である。多項式は不定元を複数もつ場合もある。

本記事では多項式とその基本的な演算について述べ、関連して代数方程式、因数分解、多項式関数といった事項に触れる。関連事項についての詳細は個別記事に譲る。なお、一部の記述は1変数多項式（不定元を1個だけもつ多項式）に特有の内容である。

代数方程式とは多項式によって表される方程式であり、これは特に1変数の場合には因数分解と密接に関係している。また、代数方程式は数学における最古の問題のひとつで、その解法の追究は複素数や群といった概念の発見をもたらした。

多項式関数とは多項式によって与えられる関数のことである。多項式は数学や他の科学にさまざまな形で現れるが、その背景には、複雑な関数の特徴をとらえる際に多項式関数による近似が頻繁に用いられることがあるといえるだろう。
ヴァンデグラフ起電機
ヴァンデグラフ起電機（英: Van de Graaff generator）は静電発電機の一種。アメリカ人物理学者、R・J・ヴァン・デ・グラフによって1929年に発明された。バンデグラフ、ヴァンデグラーフ、ヴァン・デ・グラフなどとも表記する。ローラーによってゴムベルトを回転させて電荷を運び、絶縁性の柱の上に置かれた中空の金属球に溜めていくことで非常に高い電位差を作り出す。高圧の直流電圧を発生させることができる一方、電流は低く抑えられる。高電位部を空気で絶縁するタイプの装置では、近年5 MVの電位差が得られる。卓上用の簡便な機種でも電位差は数100 kVに達し、目に見える大きさのスパークを発生させるのに十分なエネルギーを蓄えることができる。簡便なヴァンデグラフ起電機は静電気学の教材として、またはサイエンスショーや科学館での展示に用いられる。

ヴァンデグラフ起電機は物理研究用の粒子加速器として発展してきた。この種の起電機で得られる高電圧は、真空中で亜原子粒子を高速にまで加速させるために有用であった。加速エネルギーの大きさでは1930年代に考案されたサイクロトロン加速器に及ばないものの、エネルギーの安定性および制御性に優れ、粒子ビームの拡がりが小さいなどの利点があり、改良を重ねながら今日まで用いられ続けている。核物理学研究以外にも、核医学分野で高エネルギー粒子の発生やX線ラジオグラフィに用いられたり、加速器質量分析をはじめとする微量元素分析や、材料分野でのイオン注入へ応用されることも一般的である。

ヴァンデグラフ装置のターミナル電位はアーク放電やコロナ放電の発生により制限されるが、現代の実用ヴァンデグラフ装置は絶縁ガスを満たした加圧タンクに収められているのが一般的であり、これにより電位差は最大で約25 MVに達する。実質的な電位差を増大させるため、グラウンドから高電位ターミナルまでを往還させながら多段階の加速を行う方式はタンデム型ヴァンデグラフ加速器（Tandem Van de Graaff）と呼ばれる。例として、25 MVのターミナル電位を持つタンデム加速器で多価の重イオンを加速させると、400 MeV以上のエネルギーを持つイオンビームを作り出すことができる。

放電
放電（ほうでん）は絶縁体である気体などに電圧がかかることによって、気体に絶縁破壊が生じて電子が放出され、電流が流れる現象である。形態により、雷のような火花放電、コロナ放電、グロー放電、アーク放電に分類される。(電極を使用しない放電についてはその他の放電を参照)

もしくは、コンデンサや電池において、蓄積された電荷を失う現象である。この現象の対義語は充電。

典型的な放電は電極間の気体で発生するもので、低圧の気体中ではより低い電位差で発生する。電流を伝えるものは、電極から供給される電子、宇宙線などにより電離された空気中のイオン、電界中で加速された電子が気体分子に衝突して新たに電離されてできた気体イオンである。

通常、放電は気体中において発生することが最も一般的であるため、気体中で起こる放電を指して特に、気体放電とも呼ばれる。
ウィリアム・ベンティンク (第2代ポートランド公爵)
第2代ポートランド公爵ウィリアム・ベンティンク（英語: William Bentinck, 2nd Duke of Portland KG FRS、1709年3月1日 – 1762年5月1日）は、グレートブリテン王国の貴族、政治家。1709年から1716年までウッドストック子爵の儀礼称号を、1716年から1726年までティッチフィールド侯爵の儀礼称号を使用した。

ガーター勲章
ガーター勲章（ガーターくんしょう、英: Order of the Garter）は、1348年にエドワード3世によって創始された、イングランドの最高勲章。正式なタイトルは“Most Noble Order of the Garter”（最も高貴なガーター勲章）。グレートブリテン及び北アイルランド連合王国（イギリス）の栄典においても騎士団勲章（order）の最高位であるが、全ての勲章・記章の中ではヴィクトリア十字章とジョージ・クロスが上位に位置付けられている。

騎士団勲章は本来、その騎士団の一員になるという意味を持っており、一般に勲章と呼ばれる記章はその団員章である。ガーター騎士団員の称号は男性が“Knight of the Garter”、女性が“Lady of the Garter”で、騎士のポスト・ノミナル・レターズはそれぞれ“KG”および“LG”と表記される。

モットーは“Honi soit qui mal y pense”（悪意を抱く者に災いあれ）で、勲章にもその文字が刻印されている。勲章の大綬の色がブルーであるため、「ブルーリボン」とも呼ばれている。
薛道衡
薛 道衡（せつ どうこう、540年 - 609年）は、中国南北朝時代および隋の文学者。字は玄卿。本貫は河東郡汾陰県。薛収の父。薛稷の高祖父。高祖父は薛謹。曾祖父は薛破胡。祖父は薛聡。父は薛孝通。北朝および隋を代表する文学者で「一代の文宗」と称えられたが、煬帝にその文才をねたまれ処刑された。

煬帝
煬帝（ようだい、北周天和4年〈569年〉- 隋大業14年〈618年〉）は、中国隋の第2代皇帝（在位：604年8月21日 - 618年4月11日）。姓は楊、諱は広。煬は唐から贈られた諡であり、「色を好んで礼を無視した、礼に背き人民から嫌われたもの、天に逆らい人民を搾取したもの」という意味がある。

中国史を代表する暴君とされる。

本来であれば漢音で「ようてい」と読むが、呉音で「ようだい」と読むことが慣例となっている。わざわざ「だい」と読むのは、暴君であることを強調するためであると思われる。
ウォルフ・ライエ星
ウォルフ・ライエ星（ウォルフ・ライエせい、WR星、WR型星、WR star、Wolf-Rayet star）は、電離されたヘリウムや高階電離された炭素、酸素、窒素の幅の広い輝線を示す特殊なスペクトルを持つ青色巨星。右のHR図上では最も左上の領域（「WR型星」）を占め、表面温度は30,000 ケルビン (K) から100,000 K、光度は太陽の3万倍から100万倍にも達する。1867年に初めてこの種の恒星の存在を発見したフランスのシャルル・ウォルフとジョルジュ・ライエ にちなんで名付けられた。

誕生時の質量が25太陽質量 (M☉) 以上の恒星は、その進化の途上ですべてウォルフ・ライエ星の段階を経て、Ib・Ic型の超新星爆発でその生涯を終えると考えられている。

肉眼で見える恒星では、ほ座γ2星（1.83等）とはえ座θ星（5.53等）がウォルフ・ライエ星に分類されている。また、既知の恒星で最大級の質量を持つとされるタランチュラ星雲のR136a1もウォルフ・ライエ星である。

スペクトル
スペクトル（フランス語: spectre、英語: spectrum）とは、複雑な情報や信号をその成分に分解し成分ごとの大小に従って配列したもののことである。2次元以上で図示されることが多く、その図自体のことをスペクトルと呼ぶこともある。

様々な領域で用いられる用語で、様々な意味を持つ。現代的な意味のスペクトルは、周波数スペクトル（光における分光スペクトル）か、それから派生した意味のものが多い。
(7760) 1990 RW3
(7760) 1990 RW3とは、小惑星帯に属する小惑星の1つである。

1990 RW3は、マッサリア族に属しているS型小惑星である。マッサリア族最大の小惑星であるマッサリアに隕石が衝突した際に、多数生じた破片がマッサリア族の起源である。その中で最大の破片が1990 RW3であると考えられているが、直径は7kmと、マッサリアの145.5kmと比べれば小さい。衝突は1.5億年から2億年前と推定されており、非常に若い。

(20) マッサリア
(20) マッサリア（英語: Massalia）は、太陽系の比較的大きな小惑星のひとつ。火星と木星の間の軌道を公転している。1852年9月19日、イタリアの天文学者アンニーバレ・デ・ガスパリスにより発見された。
この名前はフランスの都市マルセイユのラテン語名に由来している。ただし発見者はナポリ在住であった。

マッサリアは、マッサリア族という小惑星族の中で最大の天体である。このグループに所属する他の小惑星は、1.5 - 2億年ほど前にマッサリアに隕石が衝突した際に飛び散った破片であろうと考えられている。

2003年12月に九州で、2009年4月に岡山県と静岡県で掩蔽が観測された。
ナツツバキ
ナツツバキ（夏椿・沙羅、学名: Stewartia pseudocamellia）は、ツバキ科ナツツバキ属の落葉小高木・高木。別名でシャラノキ、シャラなどともよばれている。樹皮に美しい斑模様があり、初夏にツバキに似た白い花を咲かせる。

ツバキ
ツバキ（椿、海柘榴）またはヤブツバキ（藪椿、薮椿、学名: Camellia japonica）は、ツバキ科ツバキ属の常緑樹。照葉樹林の代表的な樹木。花を観賞するため庭などに植えられるほか、薬用や食用にもなる有用植物である。
Mutt
Mutt（マット）はテキストベースのUnix系システム向け電子メールクライアントである。マイケル・エルキンス（Michael Elkins）が1995年に作成し、GNU GPLv2+ライセンスで公開した。

電子メールクライアント
電子メールクライアント（でんしメールクライアント、英: mail user agent、MUA、メールユーザエージェント）とは、電子メールを送受信し管理するためのアプリケーションソフトウェア。一般的には（電子）メールソフトなどと言う。メーラーと言うこともあるが、その場合には、メール転送エージェント（MTA）を指す場合もある。

電子メールの送受信には、メールサーバで動いているメール転送エージェントにアクセスする。送信のための通信プロトコルとしてSMTPが、受信のためにはPOP3やIMAPが用いられる。
アントン・ヘラシチェンコ
アントン・ユーリヨヴィチ・ヘラシチェンコ (ウクライナ語: Антон Юрійович Геращенко, 1979年2月10日生) は、ウクライナの政治家。2014年から2019年にかけてウクライナ最高議会議員を務めたのち、ウクライナ内務副大臣を経て、現在は内務大臣顧問を務めている。ウクライナ東部の分離主義勢力やロシアに対する強硬派として活発に活動しており、そのために暗殺未遂を受けたこともある。

日本語メディアでは、ウクライナ語の発音に近いアントン・ヘラシチェンコ表記の他、ロシア語の発音に近いアントン・ゲラシチェンコ表記も使われている。

ウクライナ内務省
ウクライナ内務省（ウクライナないむしょう、ウクライナ語: Міністерство внутрішніх справ; 略称: МВС）は、ウクライナの内政を管掌する機関。ソ連内務省時代の制度に従い、ウクライナ国家親衛隊などの軍事組織を有する。
切除平面法
切除平面法（せつじょへいめんほう、英: cutting plane method）とは、数理最適化において線形不等式（カット、切除平面と呼ばれる）を反復的に生成して実行可能解集合や目的関数を改善する最適化手法である。主に混合整数線形計画問題（MILP）の最適解を求める、あるいは微分可能でない凸最適化問題を解くために用いられる解法である。ラルフ・ゴモリーによってMILPに対する切除平面法が提案された。

MILPに対する切除平面法は、与えられた整数計画問題の線形計画緩和問題（整数計画問題の制約から整数条件を除いた問題）を解くことから始める。線形計画法の理論によれば、弱い仮定の下（線形計画問題が最適解を持ち、退化していない場合）では、常にある一つの端点（多面体の頂点）が最適解となることが知られている。得られた最適解が整数条件を満たすものかを検証し、整数解でなければ、その最適解と実行可能集合の凸包とを分離する分離超平面（線形不等式、妥当不等式）が存在して、これを生成する。このような不等式を見つける問題は分離問題（separation problem）と呼ばれおり、求めた不等式を線形緩和問題の制約に追加する。結果として、現在の最適解は緩和問題の実行可能解ではなくなる。この手続きを繰り返すことで最終的に整数条件を満たす解を求める。

一般の凸連続最適化に対する切除平面法は、主にKelley法、Kelley–Cheney–Goldsteinの外部近似法、バンドル法などの名称で知られている。特に微分不可能凸最小化に用いられ、凸目的関数であり劣勾配が効率的に求められるが、微分可能な凸最適化問題に対する劣勾配法が適用できない問題に対して有効である。このような事象は、ラグランジュ双対関数の凹最大化に見られる。また、特殊な構造を持つ最適化問題に対してダンツィーグ・ウルフ分解法を適用した場合、新たな問題は元の問題の変数の数と比べ指数オーダーの変数の数を持つ問題に変換される。この問題に対して遅延列生成法によって変数を生成する手続きは、ダンツィーグ・ウルフ分解後の問題に対応する双対問題において切除平面法での妥当不等式を生成する手続きに対応している。

実行可能領域
実行可能領域（じっこうかのうりょういき、許容領域、実行可能集合、解空間、英: feasible region, feasible set, solution space）とは、数理最適化および計算機科学において最適化問題に与えられた不等式、等式、整数といった制約条件を満たすすべての解の集合を指す。これは最適解の候補を探索する前の初期の集合を表す。

例として、関数  の最小化問題について考える。ただし、各変数 、 は制約条件として、、 が課せられているとする。このときの実行可能集合は  が1以上10以下、 は5以上12以下の値からなる組 (x, y) の集合である。問題の実行可能集合と目的関数は異なっており、上記の例では目的関数は  を指す。

多くの問題において一つあるいは複数の変数が非負の値をとるという制約が与えられる。すべての変数に整数条件が与えられた整数計画問題における実行可能集合は整数（その部分集合）からなる。線形計画問題における実行可能領域は多次元空間において超平面と頂点を持つ凸多面体となる。

制約充足性については実行可能領域内の点を求めることを指す。
京築広域市町村圏事務組合
京築広域市町村圏事務組合（けいちくこういきしちょうそんけんじむくみあい）は福岡県京築地方にある一部事務組合。行橋市、豊前市、京都郡苅田町、京都郡みやこ町、築上郡築上町、築上郡吉富町、築上郡上毛町の2市5町で構成される。京築広域市町村圏事務組合については2022年4月をめどに再編が計画されている。

ここでは、行橋市、苅田町を除いた1市4町の常備消防を司る京築広域圏消防本部（けいちくこういきけんしょうぼうほんぶ）についても説明する。

築上郡
築上郡（ちくじょうぐん）は、福岡県の郡。

人口28,816人、面積187.77km²、人口密度153人/km²。（2025年2月1日、推計人口）

以下の3町を含む。

吉富町（よしとみまち）

上毛町（こうげまち）

築上町（ちくじょうまち）
超実数
超実数（ちょうじっすう、英: hyperreal number）または超準実数（ちょうじゅんじっすう、英: nonstandard reals）と呼ばれる数の体系は無限大量や無限小量を扱う方法の一つである。超実数の全体 *R は実数体 R の拡大体であり、

の形に書けるいかなる数よりも大きい元を含む。そのような数は無限大であり、その逆数は無限小である。"hyper-real" の語はエドウィン・ヒューイットが1948年に導入した。

超実数は（ライプニッツの経験則的な連続の法則を厳密なものにした）移行原理を満たす。この移行原理は、R についての一階述語論理の真なる主張は *R においても真であることを主張する。例えば、加法の可換則 x + y = y + x は、実数と全く同様に、超実数に対しても成り立つ。また、 R は実閉体であるから、*R も実閉体である。また、任意の整数 n に対して sin(πn) = 0 が成立するから、任意の超準整数 H に対しても sin(πH) = 0 が成立する。超冪に対する移行原理は1955年のウォシュの定理の帰結である。

無限小を含むような論法の健全性に関する歴史は、アルキメデスがそのような証明を取り尽くし法など他の手法によって置き換えた、古代ギリシャ時代の数学にまで遡る。1960年代にはロビンソンが、超実数体が論理的に無矛盾であることと実数体が論理的に無矛盾であることが同値であることを示した。これは、ロビンソンが描いた論理的な規則に従って操作されている限りにおいて、あらゆる無限小を含む証明は不健全になる恐れがないことを示している。

超実数の応用、特に解析学における諸問題への移行原理の適用は超準解析と呼ばれる。例えば、微分や積分のような解析学の基礎概念を複数の量化子を用いる論理的複雑さを回避して直接的に定義することがある。つまり、f (x) の導関数は、

になる。
ただし、Δx は無限小超実数で、st(･) とは有限超実数から実数への関数で、「有限超実数にそれに無限に近いただ一つの実数への関数」という標準部関数である。積分も同様に、適切な無限和の標準部によって定義される。

一階述語論理
一階述語論理（いっかいじゅつごろんり、英: first-order predicate logic）とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理（英: second-order predicate logic）と呼び、さらなる一般化を加えた述語論理を高階述語論理（英: higher-order predicate logic）という。本項では主に一階述語論理について解説する。二階述語論理や高階述語論理についての詳細はそれぞれの記事を参照。
アン・ブリッグス
アン・ブリッグス（Anne Briggs、1944年9月29日 - ）は、イングランドのフォーク歌手。1960年代と1970年代初期にあちこちを旅し、イングランドとアイルランドのフォーククラブや会場に出演したが、商業的に成功を望んだり、彼女の音楽に対する幅広い認知を得ようとはしなかった。しかしながら、イングランドでのフォークソング復興運動で影響力を持つ人物となり、A.L.ロイド、バート・ヤンシュ、ジミー・ペイジ、ウォーターソンズ、ジューン・テイバー、サンディ・デニー、リチャード・トンプソン、マディ・プライヤーなどの曲や音楽のインスピレーションの源泉となった。

マディ・プライヤー
マディ・プライヤー (Madelaine Edith "Maddy" Prior、MBE、1947年8月14日 - ）は、イングランド出身の女性フォークシンガーであり、スティーライ・スパンのリードボーカルとして最もよく知られている。プライヤーはブラックプールで生まれ、10代でセント・オールバンズに引っ越した。父親のアラン・プライヤーは警察ドラマ『Z-Cars』の共同制作者だった。プライヤーはスティーライ・スパンのベーシスト、リック・ケンプと結婚しており、娘のローズ・ケンプも歌手である。息子のアレックス・ケンプは父親と同じくギタリストで、父親に代わってスティーライ・スパンのベースを弾いている。

プライヤーはマック・マクラウドとのシンギング・デュオ「マック&マディ」の一員だった。その後、ティム・ハートと共演し2枚のアルバムを録音した後、1969年にスティーライ・スパンの結成に協力した。1997年にスティーライ・スパンを脱退したが、2002年に復帰して、以降はツアーに参加している。ジューン・テイバーとはシンギング・デュオのシリー・シスターズとして活動していた。2007年にはザ・カーニヴァル・バンドと、2012年と2013年にはジャイルズ・ルイン、ハンナ・ジェームズとツアーを行った。プライヤーはソロ・アーティストとして、これらのバンドやいくつかのコラボレーションでシングルやアルバムをリリースしている。彼女はカンブリア州ビーキャッスルのアートセンター「ストーンズバーン」を運営しており、そこでは住み込みコースを提供している。
モリタポ
モリタポとは、有限会社未来検索ブラジルが管理している電子通貨である。

2014年4月にジム・ワトキンスが2ちゃんねる (2ch.net)（現・5ちゃんねる）の全権を掌握し、未来検索ブラジルは.netに関与できなくなったため、2ちゃんねる検索やp2については2019年10月現在、5ちゃんねるのクローラーサイトである2ちゃんねる (2ch.sc)で利用するサービスとなっている。

5ちゃんねる
5ちゃんねるは、日本の電⼦掲⽰板（匿名掲⽰板）サイトである。1999年5月に西村博之が個人サイトとして開設した「2ちゃんねる」の管理者が2014年に交代したのち、2017年に現在の「5ちゃんねる」に改名した。ドメインは「5ch.net」。通称・略称は「5ちゃん」「5ch」など。
タイ・プレミアリーグ2004-05
タイ・プレミアリーグ2004-05は、1996-97シーズンに創設されてから9シーズン目のタイ・プレミアリーグである。大会名はタイ・リーグ（タイ語: ไทย ลีก, 英語: Thai League）。

タイ・リーグ1
タイ・リーグ1（タイ語: ไทยลีก1, 英語: Thai League 1, 略称: T1）は、タイ王国におけるプロサッカーの最上位リーグである。スポンサーである比亜迪汽車の車種名を冠し、BYD シーライオン6リーグ1（英語: BYD Sealion 6 League 1）とも呼ばれる。
ジョルジョ・キナーリャ
ジョルジョ・キナーリャ（Giorgio Chinaglia, イタリア語発音: [ˈdʒordʒo kiˈnaʎʎa], 1947年1月24日 – 2012年4月1日）は、イタリア生まれでウェールズ育ちのサッカー選手。ポジションはフォワード。イタリア代表だった。

イタリアのトスカーナ州に生まれたが、やがてイギリスのウェールズに移り住み、カーディフのスウォンジー・シティAFCから1964年にデビューした。1966年にイタリアのUSマッセーゼ1919に移籍し、インテルナポリ・カマルドーリSSDを経て、1969年にSSラツィオに移籍した。1972年にはイタリア代表デビューし、1974 FIFAワールドカップでは2試合に出場した。1976年にはアメリカに渡って北米サッカーリーグ(NASL)のニューヨーク・コスモスと契約し、ペレやフランツ・ベッケンバウアーなどの著名選手とチームメイトになった。リーグ最優秀選手賞に1度、リーグ得点王に5度輝いたほか、4度のリーグ制覇を果たし、1983年に現役引退した。NASLでは計243得点を挙げており、これはリーグ歴代最多得点記録である。2000年にはアメリカサッカー殿堂に選出され、また、ラツィオがクラブ創設100周年を記念して選んだ歴代最優秀選手に選出された。

フランツ・ベッケンバウアー
フランツ・アントン・ベッケンバウアー（Franz Anton Beckenbauer、1945年9月11日–2024年1月7日）は、ドイツ（旧西ドイツ）のサッカー選手、サッカー監督。ドイツサッカー連盟副会長、2009年よりFCバイエルン・ミュンヘンの名誉会長、2006 FIFAワールドカップドイツ大会では組織委員長を務めた。現役時代はリベロシステムを確立させ名声を得た。
禁煙ファシズム
禁煙ファシズム（きんえんファシズム）とは、喫煙を擁護する言論や表現が封殺されているとする者が、ナチス・ドイツが一時期行った反タバコ運動に絡めた過激な非難言葉である。対義語は「喫煙ファシズム」。ファシズムは「結束主義」とも訳される。

1980年代末ごろから團伊玖磨、筒井康隆、山田風太郎らなどが嫌煙権運動をファシズムになぞらえて発言した。1999年（平成11年）に斎藤貴男は「禁煙ファシズムの狂気」で過剰防衛的な社会のあり方と批判し、2005年（平成17年）に同論文を小谷野敦・斎藤貴男・栗原裕一郎共著『禁煙ファシズムと戦う』に収載した。山崎正和、養老孟司、蓮實重彦、宮崎哲弥、小松美彦らも同様な意見を表している。

個人や集団にファシストの表現を用いることは「わいせつ表現、侮辱的・名誉毀損的表現と同様に、憲法上の保障の埒外におかれる」として「ファシスト」発言が有罪と判決された米国のチャプリンスキー事件（en:Chaplinsky v. New Hampshire、1942年）がある。

喫煙
喫煙（きつえん、英: Smoking, Tobacco Smoking）は、タバコの葉を乾燥・発酵などの工程を経て加工した物に火をつけて、くすぶるように燃焼させて発生する、（不可視な）燃焼ガスと煙を吸引する行為である。

たばこ喫煙の起源は紀元前10世紀の頃・地域はマヤ文明とされ、古くからアメリカ先住民の間に喫煙の習慣が広まっていた。大航海時代の到来と共にヨーロッパに伝播し、様々な薬効があると信じられたことにより、15世紀から16世紀にかけて、100年間という当時としては短い期間で急速に世界へ広まった。そのため、世界で「tobacco」、「tabaco」などとほぼ同じ名前がついている。ヨーロッパ・アジア地域においても、大麻などの喫煙習慣があったとされるが、起源は明らかでない。葉巻、パイプなど様々な喫煙方法が考案され普及しており、今日世界的にもっともポピュラーな喫煙方法は安価で手軽な紙巻きたばこ（シガレット）である。

喫煙は、タバコの葉に含まれるニコチンを摂取する手段、または行為を指すが、広義には大麻の吸引を含むことがある。19世紀に出現した紙巻たばこのほか、噛みたばこ、葉巻、嗅ぎたばこなどの伝統的商品もある。また特殊な紙巻たばことして薬用たばこと称しているものも存在する。

なお、現代では「たばこを『吸う』」という表現が一般的に用いられる。以前は、「のむ（飲む・呑む・喫む）」と表現される場合もあった。
P-47 ACES
『P-47 ACES』（ピーよんなな - エイセス）は、NMKが開発し、1995年3月にジャレコが発売した業務用ビデオゲーム。同社の『P-47』の続編で、性能の異なる4種類の実在戦闘機を操縦して、全8面の踏破を目指す、2人同時プレイが可能な横スクロールシューティングゲームである。

ジャレコのシステム基板「メガシステム32」の第3弾ソフトとして発売された。

2022年9月には、exA-Arcadiaがシティコネクションから許諾を受けて開発した、本作のリメイク作となる『P-47 ACES改』（ピーよんなな - エイセスかい、英: P-47 ACES Mark II）が、同社のシステム基板「exA-Arcadia」用ソフトとして発売および稼働された。本稿では、同作についても記述する。

P-47 (ゲーム)
『P-47』（ピーよんなな - ザ・フリーダム・ファイター、P-47 THE FREEDOM FIGHTER）は、日本マイコン開発が開発し、1988年5月にジャレコが発売した業務用ビデオゲーム。第二次世界大戦の欧州戦線を舞台にアメリカ軍機「P47D サンダーボルト」を操縦してドイツ軍との戦いを繰り広げる、2人同時プレイ可能な横スクロールシューティングゲームである。

ジャレコのシステム基板「メガシステム1」の第1弾。日本国外では『P-47: The Phantom Fighter』のタイトルで発売された。

他機種版としては、1989年に日本でPCエンジン版が発売されたほか、1990年には欧州でAmiga、Amstrad CPC、Atari ST、コモドール64、PC/AT互換機、ZX Spectrum版が発売された。また、2011年にはアーケード版の移植としてiOS版が配信され、2020年には『アーケードアーカイブス』の1作品として、PlayStation 4版とNintendo Switch版が配信された。
リャスコヴェツ
リャスコヴェツ（Lyaskovets (ブルガリア語: Лясковец)）は、ブルガリア北東部の町、およびそれを中心とした基礎自治体。ヴェリコ・タルノヴォ州に属する。ヴェリコ・タルノヴォから南東に10キロメートル、ゴルナ・オリャホヴィツァから南東に2キロメートル、ヤントラ川から南に5キロメートルであり、バルカン山脈の北に位置している。町の名前はハシバミを意味する「レスカ」（леска / leska）、あるいはハシバミの実を意味するレシュニク（лешник / leshnik）に由来し、この地に豊富にハシバミがあることによる。トルコ語での名称はレスコフチャ（Leskofça）である。

ゴルナ・オリャホヴィツァ
ゴルナ・オリャホヴィツァ（Gorna Oryahovitsa (ブルガリア語: Горна Оряховица [ˈɡornɐ oˈrʲaxovit͡sɐ])）は、ブルガリア北東部の町、およびそれを中心とした基礎自治体。ヴェリコ・タルノヴォ州に属する。ヴェリコ・タルノヴォとドルナ・オリャホヴィツァに隣接している。近隣には、建築物保護区として、中世の要塞や民族復興期の建築物など多くの歴史的建造物が残されているヴェリコ・タルノヴォ市アルバナシ村がある。
尾澤良助
尾澤 良助（おざわ りょうすけ、1871年4月18日《旧暦明治4年2月29日》 - 1921年（大正10年）2月14日）は、日本の薬剤師、政治家。学位は薬学士（帝国大学・1892年）。姓の「澤」は「沢」の旧字体のため、尾沢 良助（おざわ りょうすけ）と表記されることもある。長男の尾澤良靖も、のちに「良助」を襲名しているため、混同しないように注意を要する。

尾澤総本店店主、東京府東京市牛込区会議員などを歴任した。

薬剤師
薬剤師（やくざいし、英: pharmacist, chemist）とは、調剤、医薬品の供給、その他薬事衛生を司る医療従事者である。近代的な医療制度では、医療を施す医師・歯科医師と、医薬品を専門とした薬剤師を分離独立させた資格制度をとっている。

アメリカ合衆国等では pharmacist という名称が用いられるが、イギリスを初めとする英連邦諸国では伝統的に chemist あるいは、dispensing chemist という名称が用いられる。薬剤師は一般薬局と病院で勤務することがほとんどであり、法規に従って品目数対比一定比率の製造薬剤師を確保しなければならない製薬会社への進出も可能である。 また、薬の流通および生産に必要な業務を監視、指導および教育する薬務関連公務員として進出することもできるし、大学院研究科に進学した後、関連研究所に進出して薬品開発研究、特許審査などより専門性が要求される職責でも勤めることが多い。

日本では1874年（明治7年）の「医制」の公布より、近代的な医療制度が初めて導入された。薬剤師は、医師が作成した処方箋に基づいて、医薬品を調剤、また供給することができる。近年では、コ・メディカルの提唱によって、チーム医療の導入が重要視されており、薬剤師もファーマシューティカルケアの概念から業務を行っている。薬剤師は一般用医薬品、要指導医薬品、医療用医薬品の全てを販売又は調剤できる薬のスペシャリストであり、セルフメディケーションとしての医薬品と処方箋による医薬品の両方を扱えるのは薬剤師のみである。また、薬剤師は医師・歯科医師・獣医師の出す処方箋に対し、疑義照会をすることができる唯一の職種である。
四角錐数
四角錐数（しかくすいすう、square pyramidal number）は球を右図のように1段目に1個、2段目に4個、3段目に9個、…というように正四角錐の形に積んだとき、そこに含まれる球の総数にあたる自然数である。つまり1から順に平方数をいくつか加えた数のことである。

四角錐数を小さい順に列記すると

1, 5, 14, 30, 55, 91, 140, 204, 285, 385, 506, 650, 819, 1015, 1240, …（オンライン整数列大辞典の数列 A330）

例： 1, 5 (=1+4), 14 (=1+4+9), 30 (=1+4+9+16), 55 (=1+4+9+16+25)

オンライン整数列大辞典
オンライン整数列大辞典（オンラインせいすうれつだいじてん、On-Line Encyclopedia of Integer Sequences, 以下 OEIS）は、無料で利用可能な整数列（各項が整数である数列）のオンラインデータベースである。

2018年3月時点で30万を超える整数列の情報が収められており、この種のデータベースとしては最大のものである。英単語や数列の一部分を入力することにより検索ができる。各々の項目は数列の名前に始まり、由来、参考文献、公式、キーワードなどの情報を含む。その他、数列を一定の規則で変換した音楽を聞くことができるといった遊び心もあり、数学の専門家から数学パズル愛好者まで幅広い利用者の興味を集めている。

コンテンツは基本的に全て英語である（各言語版も用意されているが、一部のごく簡単なメッセージが翻訳されているに過ぎない）。
WebCrawler
WebCrawler（ウェブクローラ）は、Google、Yahoo!、Bing、Ask.com、About.com、MIVA、LookSmart など有名な検索エンジンの検索結果を混合するメタ検索エンジン。オプションで画像、音声、動画、ニュース、イエローページ、ホワイトページの検索もできる。WebCrawler は InfoSpace, Inc. の登録商標である。

WebCrawlerはかつて、初めて全文検索を提供したウェブ検索エンジンだった。ワシントン大学のブライアン・ピンカートンが開発し、1994年4月20日にネット上で稼働開始した。1995年6月1日にAOLが買収し、1997年4月1日にはExciteに転売された。2001年にExciteが倒産すると、（その時点では Excite@Home と呼ばれていた）WebCrawlerはInfoSpaceが取得した。InfoSpaceは他に Dogpile と MetaCrawler というメタ検索エンジンを運営している。

本来のWebCrawlerは独自のデータベースを持つ検索エンジンで、広告的検索結果はページの別の領域に表示していた。その後メタ検索エンジンに転向し、有名な検索エンジンの検索結果を合成し、広告とそうでないものに分けて表示するようになった。

2008年までクモをマスコットにしていたが、今ではそれを廃止している。

2012年1月現在、アレクサによれば、アメリカ合衆国内で1441位のウェブサイトであり、全世界では6164位である。Quantcast は1カ月のアメリカ国内の訪問者数を約91万人と推定し、Compete は約612万人と推定している。

検索エンジン
検索エンジン（けんさくエンジン、英: search engine）は、狭義にはインターネットに存在する情報（ウェブページ、ウェブサイト、画像ファイル、ネットニュースなど）を検索する機能およびそのプログラム、ソフトウェアエンジン。インターネットの普及初期には、検索としての機能のみを提供していたウェブサイトそのものを検索エンジンと呼んだが、現在では様々なサービスが加わったポータルサイト化が進んだため、検索をサービスの一つとして提供するウェブサイトを単に検索サイトと呼ぶことはなくなっている。広義には、インターネットに限定せず情報を検索するシステム全般を含む。

狭義の検索エンジンは、ロボット型検索エンジン、ディレクトリ型検索エンジン、メタ検索エンジンなどに分類される。広義の検索エンジンとしては、ある特定のウェブサイト内に登録されているテキスト情報の全文検索機能を備えたソフトウェア（全文検索システム）等がある。

検索エンジンは、検索窓と呼ばれるテキストボックスにキーワードを入力して検索をかけるもので、全文検索が可能なものと不可能なものとがある。検索サイトを一般に「検索エンジン」と呼ぶことはあるが、厳密には検索サイト自体は検索エンジンでない。
夷千島王遐叉
夷千島王 遐叉（えぞちしまおう かしゃ 又は えぞがちしまおう かひ、えぞがちしまおう カユーとも）とは、1482年に朝鮮に対して大蔵経を求める使者を送った名義人である。

『成宗実録』によると、1482年（文明14年、成宗13年）4月、朝鮮国王成宗に対し送られた日本国王（足利義政）使に同行して夷千島王使宮内卿が訪朝した。

「南閻浮州東海路夷千島王遐叉呈上朝鮮殿下」で始まる奉書を持参し、夷千島国が従来仏教を知らなかったのが日本と通交するようになって以降仏教が伝来し三百年余りとなったこと、大蔵経が日本にもないので欲しいこと、夷千島国は西辺で朝鮮辺境の野老浦と接しているので野老浦が朝鮮王に反逆した際は征伐できること等を伝えた。進物は「馬角一丁、錦一匹、練貫一匹、紅桃色綾一匹、紺布一匹、海草昆布二百斤」となっている。

夷千島王遐叉の正体を巡っては、高橋公明が1981年、アイヌの部族長説を唱えたことを契機に活発に新説が発表され、現在は海保嶺夫、遠藤巌の安東氏説、村井章介、高橋公明らによる安東氏の存在を前提とした偽使説、長節子による対馬島人による偽使説が並立している。

当時、国王を名乗らないと大蔵経をもらえなかったため、国王号を自称する者とその使者が横行した経緯があるとされる。また、『李朝実録』に記される進物の一つの「馬角」とは、トナカイの角とも考えられている。

偽使
偽使（ぎし）とは他人の名前を騙った偽の使節のこと。室町時代から江戸時代初頭にかけて、日本から朝鮮へ大量の偽使が通交（外交・貿易を包括した概念）し、日朝貿易史において15世紀半ばから17世紀前半は偽使の時代と呼ばれている。本項ではこの日朝貿易に出現した偽使についての解説を行う。
ルネサンス教皇
ルネサンス教皇とは、ルネサンス期のローマ教皇で、15世紀後半から16世紀前半に人文主義を受け入れ、ローマにルネサンス文化を花開かせた世俗的な教皇を指してしばしば使われる言葉である。特に王侯貴族のような贅沢な生活にふけった教皇を指す。その堕落したローマ教皇とカトリックはデジデリウス・エラスムスに批判され、マルティン・ルターによる宗教改革を招いた。反面、すぐれた芸術家のパトロンとなり、結果的には多くの芸術的遺産を後世に残したという側面もある。

自身も教養豊かで、アヴィニョン捕囚後のローマ復興に尽くしたニコラウス5世が、ルネサンス教皇の一例である。聖職売買と親族登用で教皇庁を腐敗させたと批判されるボルジア家のアレクサンデル6世や、戦争好きのユリウス2世、余りの浪費に教皇庁の財政破綻を招いたメディチ家のレオ10世の3人がルネサンス教皇の代表格である。その後では、メディチ家出身のクレメンス7世、ミケランジェロに「最後の審判」を制作させ、トリエント公会議を開催したパウルス3世などもルネサンス教皇である。

トリエント公会議以降、カトリック教会側でも改革が推進され、世俗的なものを廃絶させるなどの対抗改革が行われ、かつてのような余りにも世俗的な教皇は出現することはなくなった。

メディチ家
メディチ家（メディチけ、イタリア語: Casa de' Medici）は、ルネサンス期のイタリア・フィレンツェにおいて銀行家、政治家として台頭、フィレンツェの実質的な支配者（僭主）として君臨し、後にトスカーナ大公国の君主となった一族である。

その財力でボッティチェリ、レオナルド・ダ・ヴィンチ、ミケランジェロ、ヴァザーリ、ブロンツィーノ、アッローリなどの多数の芸術家をパトロンとして支援し、ルネサンスの文化を育てる上で大きな役割を果たしたことでも知られている。歴代の当主たちが集めた美術品などはウフィツィ美術館などに残され、また、ピッティ宮殿などのメディチ家を称える建造物も多数フィレンツェに残された。これらは、メディチ家の直系で最後の女性アンナ・マリア・ルイーザの遺言により、メディチ家の栄華を現代にまで伝えている。一族のマリー・ド・メディシスはブルボン朝の起源となった。
ステイナイトミステリー
『ステイナイトミステリー』は、朝日放送グループホールディングス（ABCHD）と朝日放送テレビ（ABCテレビ）の制作により、2020年7月5日から9月13日まで、「ドラマL」枠で放送されたオムニバステレビドラマの冠タイトル。

ドラマL
『ドラマL』（ドラマエル）は、2018年4月8日から2024年9月まで毎週日曜 23:55 - 翌0:25（JST）、2024年10月から毎週月曜 0:10 - 0:40（日曜深夜、JST）に、朝日放送テレビ（ABCテレビ）で放送されているテレビドラマ放送枠およびその冠タイトル。

制作局の系列キー局テレビ朝日ではネット受けしない一部作品を除き、毎週日曜2:30 - 3:00（土曜深夜）に先行ネットを行っている。なおネット受けしない作品については動画配信「TELASA」で過去に配信した作品を放送で対応している。制作局・キー局を除くテレビ朝日系列局の一部でも遅れネットで放送されている。
殺害された日本の内閣総理大臣の一覧
本項目では、2024年（令和6年）12月までに日本の内閣総理大臣経験者に対して行われた殺害（暗殺の場合もあり）、殺害未遂及びその企図の一覧について解説する。2022年（令和4年）7月8日の時点で内閣総理大臣経験者は64人おり、そのうち7名は在任中または退任後に何らかの形で襲撃をうけて殺害されている。

現職首相としては、第19代原敬、第27代浜口雄幸（退任後に死亡）、第29代犬養毅の3人が暗殺されている。退任後も含めると初代・第5・7・10代伊藤博文、第20代高橋是清、第30代斎藤実、第90・96 - 98代安倍晋三の4人が殺害された。

日本の近現代史において、国会議員や地方自治体の首長も含めればそれ以上の人数の政治家が暗殺または暗殺未遂に終わった襲撃を受けており、そうした可能性が政治家になることの「暗殺リスク」と表現されることもある。学習院大学教授の井上寿一は、政治テロリズムとしての内閣総理大臣に対する襲撃行為には、政策を変更させるような影響はなく、むしろ逆効果であると述べている。

なお本項目では、政治目的での殺害を「暗殺」、それ以外を「殺害」と表記する。また内閣総理大臣臨時代理は含まない。

犬養毅
犬養 毅（いぬかい つよし、旧字体: 犬養󠄁 毅、1855年6月4日〈安政2年4月20日〉- 1932年〈昭和7年〉5月15日）は、日本の政治家。位階は正二位。勲等は勲一等。通称は仙次郎。字は子遠。号は木堂、朴堂、松坪。

中国進歩党代表者、立憲国民党総理、革新倶楽部代表者、立憲政友会総裁（第6代）、文部大臣（第13・31代）、逓信大臣（第27・29代）、内閣総理大臣（第29代）、外務大臣（第45代）、内務大臣（第50代）などを歴任した。五・一五事件で暗殺される。大日本帝国憲法下で、衆議院から総理大臣となった3人のうちの1人である。
マシュー・ボールトン
マシュー・ボールトン (Matthew Boulton ([ˈboʊltən] 1728年9月3日 - 1809年8月18日) はイングランドの工場経営者、実業家である。1785年、王立協会フェローの称号を受ける。

18世紀の後半、ジェームズ・ワットと共同でボールトン・アンド・ワット蒸気機関を何千基も据えつけて工場や製粉所・製糸場の製造技術の向上に貢献。貨幣の製造の技術革新をもたらし、王立造幣局に最新の製造設備導入を働きかけ、イギリス国内外の硬貨を数千万枚製造した。

蒸気機関
蒸気機関（じょうききかん）は、ボイラーで発生した蒸気のもつ熱エネルギーを機械的仕事に変換する熱機関の一部であり、ボイラ等と組み合わせて一つの熱機関となる。作業物質である水を外部より加熱する外燃機関に分類される。但し燃焼器などで水蒸気などを主成分とする燃焼ガスを生じさせ、ピストン・タービンを駆動させる内燃機関式の蒸気機関も一部存在する。

蒸気機関には、蒸気をシリンダに導き、ピストンを往復運動させる往復動型のものと、蒸気で羽根車をまわすタービン型のものとが存在する。本稿では主として往復動型のものを説明する。タービン型のものについては蒸気タービンを参照のこと。
ハバード模型
ハバード模型（英: Hubbard model）とは1963年にジョン・ハバードによって提出された、電子相関の効果の強い固体（強相関電子系）中の電子の振る舞いを量子論的に記述するモデルである。

元々は、遷移金属の様に最外殻電子がd軌道やf軌道にあり、電子の波動関数の広がりが大きく、電子同士の波動関数の重なりのために生じる電子相関が大きな固体中の電子を良く記述するモデルとして提出されたものである。
ハバード模型は非常に単純なハミルトニアンを持つモデルであるにもかかわらず、非常に多様な電子の振る舞いを表現できる。
この様な電子の振る舞いの多様さは電子同士の相互作用（電子相関）によってもたらされていると考えられている。

ハバード模型による重要な成果としては、モット絶縁体の発見、磁性の起源の尤もらしい記述、銅酸化物高温超電導体の記述等が挙げられる。これらの現象は全て不可分であって、互いに関連していると考えられている。

モット絶縁体
モット絶縁体 (Mott-insulator) とは、バンド理論では金属的と予想されるにもかかわらず、電子間斥力の効果（電子相関効果）によって実現している絶縁体状態のことである。

バンド理論によれば、単位胞あたりの電子数が奇数の場合は、バンドの電子占有は半分であり、全占有もしくは無占有ではないので、電気伝導性（＝金属的）を示すはずである。しかし実際には単位胞あたりの電子数が奇数となる化合物の中には金属的な電気伝導を示さず、絶縁体となるものが存在する。これらの絶縁体の基底状態が電子相関に起因するものであることを指摘したのがモットとパイエルスである。

モットが指摘したこの転移は、絶縁相に関して磁性の状態は仮定されていないが、現実の「モット絶縁体」では反強磁性を示すなど磁性状態になる。

なお、このような物質へ電子（もしくは正孔）を加えると、それは自由に動き、電気伝導性を示すと予想される（ただし原子の位置にランダム的ポテンシャルを有すると、束縛効果を生じ、自由に動けない）。
エドワード・ギネス (初代アイヴァー伯爵)
初代アイヴァー伯爵エドワード・セシル・ギネス（英語: Edward Cecil Guinness, 1st Earl of Iveagh, KP, GCVO, FRS、1847年11月10日 - 1927年10月7日）は、イギリスの実業家、貴族。

アイルランドのビール醸造業者ギネスの経営者であるサー・ベンジャミン・ギネス準男爵の三男として生まれ、1868年の父の死後に事業を継承してギネスを史上最大の醸造会社に成長させた。

1885年に準男爵、1891年にアイヴァー男爵、1905年にアイヴァー子爵、1919年にアイヴァー伯爵に叙せられた。

聖パトリック勲章
聖パトリック勲章（Order of St. Patrick）は、アイルランドの最高勲章。グレート・ブリテンおよび北アイルランド連合王国の騎士団勲章 (order) の中では、イングランドのガーター勲章及びスコットランドのシッスル勲章に次ぐものと位置付けられている。正式タイトルは The Most Illustrious Order of Saint Patrick。

ヨーロッパの “order” は中世の騎士団に由来、あるいはその制度に倣った栄典制度であり、騎士団へ入団することが栄誉とされていた。しかし、やがて騎士団の団員証である徽章（勲章）も意味するようになり、その授与が栄典とみなされるようになった。decoration などの他の勲章と区別するために「騎士団勲章」とも呼ばれる。現在でもイギリスの order は騎士団への加入という意味が強く、団体として記述されることも多いが、日本語圏では慣例的に騎士団の徽章だけでなく、これら栄典全体を「勲章」と称し、名称を「～勲章」としている。そのため、本項ではこの栄典の名称を「聖パトリック勲章」と記すが、その制度等の説明では「騎士団」として扱う。