Blaze7451/Wiki-ja-20250601 huggingface dataset:
H-Iロケット

H-Iロケット（エイチワンロケット、エイチいちロケット）は、宇宙開発事業団（NASDA）と三菱重工業がN-IロケットとN-IIロケットに続いて開発し、三菱重工業が製造した人工衛星打上げ用液体燃料ロケットである。名称の頭文字「H」は水素の元素記号に由来し、第2段の燃料に液体水素を使用することから名付けられた。

**概要**
Nロケットに引き続き、一部がブラックボックスの条件で米国のデルタロケットの技術を導入し開発された。第2段と第3段ロケットや慣性誘導装置を国産化しており、デルタロケットの技術導入を行った3種類のロケットの中では国産比率が最も高く、N-IIでは54%から61%だった国産化率がH-Iでは78%から98%まで向上した。次世代のH-IIロケットへの重要なステップとなったが、第1段が自主技術で開発したものではないために、N-IやN-IIと同様にデルタロケットの亜種として分類される。名称はH-IIと類似しているが、N-IIと共通の第1段を用いている等、技術的な類似点はN-IIの方が多い。
第2段用に液体酸素と液体水素を推進剤とするLE-5型エンジンを自主技術で開発できたことは、次世代のH-IIロケットの第1段用LE-7型エンジンの実現に道筋をつけた点で意義が大きい。LE-7の実用化にはそれにもかかわらず大変な努力を要したわけであるが、LE-5の経験が無ければさらに難易度が高くなったといえる。
1981年（昭和56年）に開発が開始され、1986年（昭和61年）8月13日にH-I試験機（第1号機）の打ち上げに成功、1992年（平成4年）まで合計9機を打ち上げ、すべて成功した。これにより「さくら」「ひまわり」「ゆり」など実用静止衛星の打上げを順調にこなし、さらに複数衛星の同時打上げの技術習得も行った。
関係機関の一部ではH-IAとも呼称されていたこともあり、後継として静止軌道に800kgの打上げ能力をもつH-IBロケット（後述）を開発する予定であった。しかし、2t級静止衛星の需要増加や国内技術の進歩のために計画を発展的に解消し、H-IIロケットの開発へと移行することになった。

**開発計画の背景**
Nロケットの打ち上げ能力不足を背景として1975年（昭和50年）から以下のような基本的な枠組みの元に調査研究が開始された。
# 昭和60年代初頭から10年以上主力機として使用することが可能であること。
# 静止軌道上に500から800kgの人工衛星を打ち上げることが可能であること。
# 昭和60年代後半の宇宙輸送系の技術基盤を蓄積できるものであること。
# 原則として自主技術を用いること。
この研究において上段の構成要素はほぼ決定されていたが、第1段をどういったものにするかが争点となった。第1段を新規開発するのであれば開発計画に間に合わず、N-IIの流用とすると新規開発要素が少ないために開発計画には間に合うが打ち上げ能力が計画値の下限となる等、それぞれ問題があった。最終的にはN-IIの第1段を流用した500kg級のロケットH-IA（後のH-Iに該当）をまず開発し、その後800kgまで能力を増強したH-IBを開発するという計画に落ち着いた（後にH-IBは計画中止）。

**諸元と構成**
H-I

**主要諸元**

**構成**
LE-5エンジン展示モデル
3段式の液体＋固体ロケット- 第1段: MB-3-3型エンジン
*: 推進剤にケロシンと液体酸素を使用した、N-IIとほぼ同じライセンス生産品。7号機以降はデルタIIと同様にタンクの塗装が省かれ、緑色の防錆塗料が露出している。- 第1段補助ブースタ（SOB）: キャスターII
*: N-IIロケット同様に日産自動車（現・IHIエアロスペース）がライセンス生産したもの。9基もしくは6基を搭載。- 第2段: LE-5型液体ロケットエンジン
*: NASDAと三菱重工業、石川島播磨重工業、航空宇宙技術研究所が開発したもので、推進剤は液体酸素・液体水素を搭載し、軌道上再着火が可能。- 第3段: UM-129A
*: 日産自動車が製造する国産球形固体ロケットモータ。HTPB系コンポジット推進薬を使用する。GTO投入時に用いられ、LEOへの打ち上げでは用いられない。- ペイロードフェアリング
*: N-IIと同型のマクドネル・ダグラス製のデルタ用CFRPフェアリングを完成品で輸入。- 誘導装置: 慣性誘導装置
*: 国産化したステーブル・プラットフォーム方式のものを第2段に搭載。

**打ち上げ実績**
注：LEO:低軌道、GSO:静止軌道

**H-IBロケット**
Hロケットの開発計画において800kgの静止衛星打上げ能力をもつロケットとして計画されていたのがH-IBロケットである。固体補助ロケットのキャスターIVクラスへの大型化、MB-3-3エンジンのクラスタ化、新大型第1段エンジンの開発、推力偏向機能付大型固体補助ロケットを採用する等、幅広く検討が行われ、第3段をLOX/LH2エンジンに置き換える案が有力となった。第3段を置き換える案は詳細な設計検討まで行われ、1989年の試験1号機打ち上げを目指していた。しかし、急速な2t級静止衛星の需要増加により、1982年（昭和57年）頃に計画はH-IIロケットへと発展的に解消する方向性が示され、最終的に1984年（昭和59年）2月の宇宙開発政策大綱改訂によって書類上からも計画は消滅した。

**主要諸元**
 全長：41.5m- 最大径：3.0m- 全備重量：140.9t

**第3段LOX/LH2エンジン**
 A案（ペリジ・アポジキックステージ）- 全長：3.1m- 直径：2.45m- 重量：2.3t- 推進薬重量：2.0t- 燃焼方式：エキスパンダーサイクル- 真空推力：1tf- 真空比推力：462s- 燃焼時間：840 - 900s
 B案（ペリジキックステージ）- 全長：2.76m- 直径：2.45m- 重量：2.3t- 推進薬重量：2.0t- 燃焼方式：エキスパンダブリードサイクル- 真空推力：1tf（0.5tf × 2）- 真空比推力：462s- 燃焼時間：840 - 900s

**その他の変更点**
 フェアリング
 第3段の直径増大に伴って直径3mのフェアリングを使用する予定であった。
 第1段制御部
 3mフェアリングの採用によって飛翔時の外乱が増加し、最悪の場合には第1段の制御能力を上回ることが指摘された。これによって第1段制御能力の向上が検討され、メインエンジンジンバル舵角限界の改善及びロードリリーフ制御系の採用が決定された。

**実物大展示模型**
H-Iロケットの実物大展示模型が、1989年3月から宮崎科学技術館に設置されている。

**出典**

**関連項目**
 宇宙開発事業団- デルタロケット

**外部リンク**
  H-Iロケットについて
電磁場

電磁場（でんじば, electromagnetic field, EMF）、あるいは電磁界（でんじかい）は、電場（電界）と磁場（磁界）の総称。
電場と磁場は時間的に変化しないような静的な場合を除いて必ず同時に存在し、マクスウェル方程式で関連づけられる。電場、磁場が時間的に一定で 0 でない場合、それぞれは分離され、静電場、静磁場として別々に扱われる。
電磁場の変動が波動として空間中を伝播するとき、これを電磁波という。

**概念**
電磁場という用語を単なる概念として用いる場合と、物理量として用いる場合がある。
概念として用いる場合は、電場の強度と電束密度、あるいは磁場の強度と磁束密度を明確に区別せずに用いるが、物理量として用いる場合は電場の強度と磁束密度の組であることが多い。
また、これらの物理量は電磁ポテンシャルによっても記述され、ラグランジュ形式などで扱う場合は電磁ポテンシャルが基本的な物理量として扱われる。このような場合には電磁ポテンシャルを指して電磁場という事もある。CGS単位系では電場と磁場は同一の物理次元を持つが、MKSA単位系では  となっている ( は光速)。
電磁場のふるまいは、マクスウェルの方程式、あるいは量子電磁力学 (QED) によって記述される。マクスウェルの方程式を解いて、電磁場のふるまいについて解析することを電磁場解析と言う。

**電場と磁場の関係**
電場と磁場はローレンツ変換により互いに移り合う。座標系 O で電場 , 磁場（磁束密度）  が存在するとき、x軸方向に速度 v で運動する座標系 O' では次の電磁場 ,  として観測される。


特に  のとき、これらの等式は次の公式に帰着される。

また、 と  というふたつのスカラー量はローレンツ不変である。なお電場と磁場は電磁テンソルという単一の反対称テンソルとして統一的に扱うことができる。

**電磁場のエネルギーと運動量**
電磁場はそれ自体エネルギーと運動量を担い、その密度 (エネルギー密度  と運動量密度 ) は次式で与えられる。


ここに  はポインティング・ベクトルである。その保存則として次の連続の式が成り立つ。

従ってポインティングベクトルは電磁場の運動量密度を表すと同時に、電磁場のエネルギー流速密度をも表している。また  はマクスウェルの応力テンソルである。


**量子化された電磁場**

** 脚注**

**注釈**

**出典**

**関連項目**
 ジェームズ・クラーク・マクスウェル- ポインティング・ベクトル- 電磁ポテンシャル
セレーネー

セレーネー（Σελήνη〈Selēnē〉）は、ギリシア神話の月の女神である。長母音を省略してセレネ、セレーネとも表記される。聖獣は馬、驢馬、白い牡牛。ローマ神話のルーナと同一視される。

**概要**
ヘーシオドスの『神統記』によると、ティーターン神族のヒュペリーオーンとテイアーの娘で、太陽神ヘーリオス、曙の女神エーオースと兄弟である。その他、父親に関してはメガメーデースの子パラース、あるいはヘーリオスともいわれる。母親に関してはアイトレーともバシレイアともいわれる。ゼウスとの間に娘パンディーア、ヘルセー、ネメアーがいる。一説によると兄弟であるヘーリオスとの子供に四季の女神ホーラーたちがおり、彼女たちはヘーラーに仕える4人の侍女であるともいわれる。さらにエピメニデースによると、不死身の怪物であるネメアーのライオンを生んだのはセレーネーであり、月が恐ろしい身震いをしたときに地上に降ってきたと語られている。ヒュギーヌスによるとネメアーのライオンを洞窟で育てたのはセレーネーである。セレーネーは伝説的な詩人ムーサイオスの母と言われることもあり、相手についてはエレウシースの王エウモルポスあるいはアンティペーモスと言われる。
輝く黄金の冠を戴き、額に月をつけた絶世の美女で、銀の馬車に乗って夜空を馳せ行き、柔らかな月光の矢を放つ。「華やかな夜の女王」、「星々の女王」、「全能の女神」など呼び名がある。月経と月との関連から動植物の性生活・繁殖に影響力を持つとされた。また、常に魔法と関係付けられており、ヘレニズム時代には月は霊魂の棲む所とも考えられていた。後にアルテミスやヘカテーと同一視された。女神自身が3つの顔を持つという形で表現されることがあり、新月、半月、輝く満月の3つの月相を永遠に繰り返した。その他、月は3つの「顔」を持ち、それが新しく生まれる三日月のアルテミス（処女・乙女）、満ちる豊穣の月のセレーネー（夫人・成熟した女性・母）、欠けていく暗い月のへカテー（老女）であるとされている。

**神話**
エドワード・ポインターの1902年の絵画『夢の中のエンデュミオーン』。マンチェスター市立美術館所蔵。
ギガントマキアーではセレーネーは兄弟たちとともにゼウスに協力し、ギガースたちの味方をする大地母神ガイアが薬草を見つけられないように空に現れなかったと伝えられている。

**エンデュミオーン**
最も有名なセレーネーの神話は美青年エンデュミオーンとの恋物語である。セレーネーは彼を愛し、ゼウスに願って（一説には彼女自身）エンデュミオーンに不老不死の永遠の眠りを与えたと言われる。一説によるとこの出来事は小アジアのラトモス山で起きたことになっている。セレーネーがエンデュミオーンの臥所を訪ねた際、夜空を行く月がラトモス山の陰に隠れてしまった。魔女メーデイアはこれを利用して、月のない闇夜を欲する時にはセレーネーに魔法をかけてエンデュミオーンへの恋心を掻き立て、それから月が夜空から消えた。あるいはセレーネーはエンデュミオーンと交わりを重ねて50人の娘・暦月の女神メーネーたちを生んだ。セレーネーは、メーネーとも呼ばれる。

**パーン**
他には、牧神パーンもセレーネーの美貌に魅了され、恋い焦がれたことがあった。そこでパーンは純白の羊毛皮でセレーネーを誘惑したが、毛皮の美しさに魅了されたセレーネーは拒まなかったという。しかしこの恋物語にはいくつか異なるものがあり、パーン自ら純白の羊毛皮に変身し、毛皮に魅了されたセレーネーが地上に降りてきたところをアルカディアの森の奥に連れて関係を持ったとも、純白の羊をプレゼントして関係を持ったとも伝えられている。

**ギャラリー**
Annibale Carracci - Homage to Diana - WGA04460.jpg|small|アンニーバレ・カラッチ『パンとセレネ』（1597-1602年頃） パラッツォ・ファルネーゼ所蔵
Hans von Aachen - Pan and Selene.jpg|small|ハンス・フォン・アーヘン『パンとセレネ』（1600年と1605年の間） 個人蔵
Diane et Endymion 1630 Detroit Institute of Art.jpg|small|ニコラ・プッサン『セレネとエンデュミオン』（1630年頃） デトロイト美術館所蔵
Selene by Pietro della Vecchia.jpg|
Filippo Lauri - Pan and Diana.jpg|small|フィリッポ・ラウリ『パンとセレネ』（17世紀） アルスター国立博物館所蔵
Selene and Endymion by Victor Florence Pollett.jpg|
Albert Aublet - Selene.jpg|
Clipeus Selene Terme.jpg|small|セレネ像（3世紀） ディオクレティアヌス浴場所蔵
Altar Selene Louvre Ma508.jpg|small|セレーネー、ヘスペロス、ポースポロスローマ時代の祭壇 ルーヴル美術館所蔵
Sarcophagus Selene Endymion Met 47.100.4ab n03.jpg|small|セレネとエンデュミオンの像（3世紀） メトロポリタン美術館所蔵

**出典**

**参考文献**
 アポロドーロス『ギリシア神話』高津春繁訳、岩波文庫（1953年）- アルクマン他『ギリシア合唱抒情詩集』丹下和彦訳、京都大学学術出版会（2002年）- 『オデュッセイア／アルゴナウティカ』松平千秋・岡道男訳、講談社（1982年）- ウェルギリウス『牧歌・農耕詩』河津千代訳、未来社（1981年）- クイントゥス『トロイア戦記』松田治訳、講談社学術文庫（2000年）- ディオドロス『神代地誌』飯尾都人訳、龍溪書舎（1999年）- 『ソクラテス以前哲学者断片集 第1分冊』「エピメニデス」山口義久、岩波書店（1996年）- 『ソクラテス以前哲学者断片集 第1分冊』「アクゥシラオス」丸橋裕訳、岩波書店（1996年）- パウサニアス『ギリシア記』飯尾都人訳、龍溪書舎（1991年）- ヒュギーヌス『ギリシャ神話集』松田治・青山照男訳、講談社学術文庫（2005年）- ヘシオドス『神統記』廣川洋一訳、岩波文庫（1984年）- ホメーロス『ホメーロスの諸神讃歌』沓掛良彦訳、ちくま学芸文庫（2004年）- 高津春繁『ギリシア・ローマ神話辞典』岩波書店（1960年）- フェリックス・ギラン『ギリシア神話』中島健訳、青土社（1991年）- Pierre Grimal, The Dictionary of Classical Mythology. Blackwell Publishers, 1986.

**関連項目**
 月神
ルーナ

ルーナ像。
ルーナ（ラテン語：Lūna）は、ローマ神話に登場する月の女神であり、その名は月を意味するラテン語に由来する。日本語では長母音を省略し、ルナともいう。
神殿はローマ市内にあったが、早くからディアーナに吸収された。ルーナ独自の神話は持たなかった。また、ギリシア神話のセレーネーと同一視された。

**出典**

**関連項目**
 ソール（ヘーリオス）- ディアーナ（アルテミス）- ヘカテー- ルナー（曖昧さ回避）
ヒルベルト・プログラム

ヒルベルト・プログラムとは、ダフィット・ヒルベルトによって提唱された、数学を形式化しようとする試みのことをいう。ヒルベルト計画とも呼ばれる。

**概要**
ヒルベルトは、その証明を形式化することで、数学全体の完全性と無矛盾性を示そうと考えた。具体的には、
# 数学において真である命題は必ず証明できること
# 公理から形式化された推論をどれだけ行っても、矛盾が示されることは絶対にないということ
という事実を、有限の立場と呼ばれる確かな方法を用いて証明しようとする計画である。有名なヒルベルトの23の問題の2番目で、実数論の無矛盾性の証明を挙げている（よく自然数論の無矛盾性をさすものと誤解されている）。
1900年をはさんだ数年間に、数学の一部である集合論においていくつもの矛盾（パラドックスと呼ばれる。集合論の項を参照）が発見された。ヒルベルト・プログラムは、単にその矛盾を取り除く（＝無矛盾性）だけではなく、今後二度とこのような矛盾が現われないように、数学全体に確固とした基盤（＝完全性）を与える目的があった。
この計画は、1930年にクルト・ゲーデルが発表した不完全性定理により深刻な影響を受けた。とりわけ「自然数論を含む帰納的に記述できる公理系が、無矛盾であれば自身の無矛盾性を証明できない（第2不完全性定理）」は、有限な立場のみではあらゆる公理系の無矛盾性を証明できないとするもので、ヒルベルト・プログラムでは自然数論だけでなく、実数論、さらには集合論全体の無矛盾性をも、自然数論のような基本的な体系の上で示すことを目的としていたため、この定理によって大きな修正を迫られることになった。
ただしヒルベルト・プログラムは否定されたわけではなく、現在でも研究が続けられている。
自然数論の無矛盾性については、1934年にゲルハルト・ゲンツェンによって、証明の正規化（カット除去定理）を用いることによって示されたとされた。しかしこの方法では、証明の正規化手続きの終了性がε0までの超限帰納法によってなされている。この証明方法の正しさは、ヒルベルトのような「有限の立場」に立っていると主張する研究者が、手続きが実行可能である点をその根拠としているが、ε0までの超限帰納法が「有限の立場」で正当な原理であるかは議論の余地がある。
実数論に関しては、ゲーデルに師事した竹内外史により、1954年に高階述語論理における証明の正規化によって無矛盾性が証明されることが示されており、さらに後にDag Prawitzおよび高橋元男によって、任意の証明に対してその正規化が存在することが示されている。しかしこの場合も証明の正規化手続き自体が知られているわけではないので、存在する事実だけでは有限の立場とはみなされない。

**関連項目**
 幾何学基礎論- ゲーデルの完全性定理- 公理的集合論- 証明論- 数学基礎論- 数理論理学- 逆数学

**外部リンク ==
直観主義 (数学の哲学)

数学の哲学において、直観主義（ちょっかんしゅぎ、Intuitionism）とは、数学の基礎を数学者の直観におく立場のことを指す。

**来歴と評価**
これに類する主張は、カントールの集合論に対抗する形でクロネッカーやポアンカレによってもなされていたが、最も明確に表明したのはオランダの位相幾何学者ブラウワーである。ブラウワーの立場に対してポアンカレらの立場は前直観主義と言われることがある。ブラウワーは、数学的概念とは数学者の精神の産物であり、その存在はその構成によって示されるべきだという立場から、無限集合において背理法によって非存在の矛盾から存在を示す証明を認めなかった。それゆえ、無限集合において「排中律」、すなわちある命題は真であるか偽であるかのどちらかであるという推論法則を捨てるべきだと主張し、ヒルベルトとの間に有名な論争を引き起こした。
ヒルベルトの形式主義は、直接的にはブラウワーからの批判的主張に対し排中律を守り、数学の無矛盾性を示すためのものと考えることができる。
ブラウワーの主張は感覚的で分かりにくかったが、その後ハイティング等によって整備され、結果的には古典論理から排中律を除いた形で形式化されたものが今日、直観主義論理として受け入れられている。
現代では直観主義論理は、数学の証明は全て構成的に為されなければならないという主張（数学的構成主義）と関連が深いと考えられている。
直観主義論理に基づく数学によって得られる成果は、古典論理に基づく数学に比べて制限されたものにならざるを得ない。具体的には、ab = 0 から a = 0 または b = 0 を直接結論することはできない。なぜなら、直観主義においては、「a = 0 または b = 0」が証明できるというのは、「a = 0」が証明できるか、または「b = 0」が証明できることを意味するからである。また、ワイエルシュトラスによる実数体の任意の有界な部分集合は上限を持つという定理が証明できない。
しかし、直観主義は単なる思想としてだけではなく、数学基礎論や計算機科学に様々な影響を与えている。

**逸話**
ブラウワーは「AであるかAでないかが分からない場合もある」を説明する例として、「円周率の無限小数の中に0が100個続く部分があるかどうか分からない」というものをあげていた。
ある学会でブラウワーがこの話をしたとき、「しかし神なら100個続く部分があるかどうか分かるのでは？」という質問を受けたが、ブラウワーはそれに対し「残念ながら我々は神と交信する方法を知りません」と答えた。

**関連項目**
直観主義論理

**参考文献**

**関連文献**
日本語のオープンアクセス文献- 前原昭二 「側面より見た直観主義の立場」 科学基礎論研究 Vol.2, No.1 (1955) pp.201-209 10.4288/kisoron1954.2.201

**外部リンク ==
形式主義 (数学)

数学における形式主義（formalism）とは、数学における命題を少数の記号によって表し、証明において使われる推論を純粋に記号の操作と捉える考え方のことを指す。

**概要**
形式主義の最も原理的な見方では、数学は決められたルール（公理と推論法則）に従って行われるゲームであり、ルールを取り替えることによってできる異なるゲームは、それぞれ同等である。
形式主義は、ダフィット・ヒルベルトによって主張された。その目的は数学をゲームと考えることによって、数学的実在に直接関わることなく、数学の無矛盾性を証明するためであった。（ヒルベルト・プログラム）上記の点から、ヒルベルトの形式主義は、ブルバキの公理論とは異なるものである。
形式主義によると、数学的命題は確実な文字列処理ルールを必要とする命題と考えられる。例として、（「公理」と呼ばれる文字列と、与えられた公理から新しい文字列を生成する「推論規則」からなるものとして見られる）ユークリッド幾何学の「ゲーム」では、ピタゴラスの定理が有効であることを証明できる（それは、あなたが、ピタゴラスの定理に対応する文字列を生成できることである）。数学的真理は、数や集合や三角形やそのようなものについてのものではない。実際、それは何に「ついて（about）」のものでもない。
もうひとつの形式主義は演繹主義としてよく知られる。演繹主義では、ピタゴラスの定理は絶対的真実ではなく、相対的なものだが、もしあなたがゲームのルールが真実となるといった方法で文字列を考えているならば（いいかえれば、真の命題は公理に割り当てられ、推論と真実の保存のルールに割り当てられる）、そのときあなたは、その理論を受け入れなければならない。いやむしろ、あなたがそれに与えた解釈は真の命題でなければならない。同値はすべての他の数学的記述に関して真であると見なされる。従って、形式主義は数学が無意味な象徴ゲームでしかないことを意味する必要はない。それは通常、ゲームに適用するルールの様々な解釈が存在することが望まれている。（構造主義 (数学の哲学)をこの立場になぞらえる） しかし、数学者が仕事を継続し哲学者や科学者にそのような問題を残すことは、数学者が働くことを可能にする。多くの形式主義者らは、実際に、研究された公理体系は、科学への要求や数学以外の分野によって提案されると言うだろう。
ダフィット・ヒルベルト
形式主義の偉大なる初期の発案者はダフィット・ヒルベルトであった。彼の計画は完全でかつ無矛盾性|一貫性（consistent）のある数学の全ての公理化を目的としていた。（「一貫性、無矛盾性（consistent）」ここでは、システムに由来しうる矛盾がないことを意味する。） ヒルベルトは、「有限算術（finitary arithmetic）」（哲学的議論にならないために選ばれた自然数の通例の算術のサブシステム）に矛盾がないという仮説から数学的体系の一貫性を示すことを目標とした。完全かつ矛盾のない数学システムを作るヒルベルトの目標は、十分に表現の富んだ矛盾のない公理体系はそれ自体の無矛盾性を決して証明できないことを述べたゲーデルの第二不完全性定理によって致命的な打撃を受けた。そのような公理体系はサブシステムとして有限算術を含んでいるため、ゲーデルの定理はそのような体系の有限算術に対する相対無矛盾性を証明できないことを含意する（もし証明できたとすると、その体系自体の無矛盾性を証明できたことになるが、ゲーデルの定理はこれが不可能であることを示しているためである）。従って、数学の任意の公理システムが実際に無矛盾であることを示すためには、その体系よりもある意味で強い体系の無矛盾性をまず仮定する必要がある。
ヒルベルトは最初は演繹主義者だった。しかし、上記から明白に、彼は、本質的に意味のある結果をもたらすために、確実な超数学的方法（metamathematical method）を熟考した。また、彼は有限算術に関しては現実主義者であった。後に、彼は解釈にかかわらずどんなものであれ、他の意味にある数学はないと考えた。
ルドルフ・カルナップ、アルフレト・タルスキ、ハスケル・カリーのようなその他の形式主義者は、形式的な公理体系の研究であるべき数学を考えた。数理論理学者は形式的な体系を研究するが、彼らは現実主義者であると同時に形式主義者でもある。
形式主義者は通常、非常に寛容で論理学、非標準記数法、新しい集合論など、新しい試みを惹き付ける。我々が研究するゲームはよりよいものである。しかしながら、これらの例の三つすべてにおいて、自発性は既存の数学や哲学関連を題材にしている。「ゲーム」は普通、恣意的なものではない。
形式主義の主な評論はゲーム以上の文字列操作から遠くかけ離れた数学者を占有する現実の数学的アイデアである。
(もし正しければ)公開された証明は、これらのゲームの言葉で言えば、原理上体系立てられるが、その取り組みは、時間的にも空間的にも、恐ろしく手が出せないものを要求した（『プリンキピア・マテマティカ』序論を見よ）。加えて、そのルールはこれらの証明の初期の生成には必ずしも重要なものではない。形式主義は、公理体系を研究すべきだという疑問には無言でもある。

**参考文献**
Cite book|和書|author=クルト・ゲーデル|authorlink=クルト・ゲーデル|others=林晋・八杉満利子訳|year=2006|month=9|title=ゲーデル 不完全性定理|chapter=第II部 解説|series=岩波文庫 青944-1|publisher=岩波書店|isbn=4-00-339441-0|url=http://www.iwanami.co.jp/.BOOKS/33/0/3394410.html|pages=73-309|ref=ゲーデル2006 - 第I部がゲーデルの論文の翻訳、第II部が数学基礎論の歴史を解説したもの。
*ref=佐々木＆彌永1986
*Cite book|和書|author=ソーンダース・マックレーンほか|authorlink=ソーンダース・マックレーン|others=田中一之編・監訳|year=1999|month=2|title=数学の基礎をめぐる論争　21世紀の数学と数学基礎論のあるべき姿を考える|chapter=第I部 数学の健康 マックレーン氏の意見とその反論|publisher=シュプリンガー・フェアラーク東京|isbn=4-431-70797-2|url=http://www.springer.jp/978-4-431-70797-4|ref=マックレーン1999

**関連項目**
 直観主義- 哲学

**外部リンク**
 Formalism
論理主義 (数学)

数学についての論理主義（ろんりしゅぎ、Logicism、Logicism、Logizismus）は、数学全体を論理学の一部とみなし、数学を基礎付け、数学を論理学へと還元できるとする立場である。方法的には、論理学の諸規則から数学のそれを演繹することが出来ると主張する。
なお、哲学では、強力な還元主義が主要な立場になることは稀である。

**概要**
ゴットロープ・フレーゲの先駆的な論理主義の仕事を受けて、特にバートランド・ラッセルやアルフレッド・ノース・ホワイトヘッドによって唱えられた。彼らはその主張を3巻に及ぶ大部の書物『プリンキピア・マテマティカ』（Principia Mathematica, 1910年 - 1913年）のうちである程度実現してみせた。
フレーゲの『算術の基本法則』第2巻が刊行直前に控えていた1903年に、ラッセルから後にラッセルのパラドックスと呼ばれるパラドックスの指摘が来たため、フレーゲはパラドックス解消を目指すが、最終的には数学的な方法の徹底を放棄した。ラッセルはフレーゲとは独立に、型の理論（タイプ理論）と呼ばれる方法で、彼自身が発見したパラドックスを避けることに成功したが、その無矛盾性および完全性が証明されていなかった。
彼らの仕事を受けてヒルベルトは形式主義、ブラウワーは直観主義でパラドックス解消と数学の基礎付けを目指すが、1931年のゲーデルによる不完全性定理の証明によりその不可能性が指摘された。

**関連項目**
ラッセルのパラドックス
*言語論的転回
ジルコニウム

ジルコニウム（zirconium zɪrˈkoː.ni.ʊ̃ˑ ズィルコーニウム、zɜːɹˈkoʊniəm）は、原子番号40の元素。元素記号は Zr。チタン族元素の1つ、遷移金属でもある。常温で安定な結晶構造は、六方最密充填構造 (HCP) のα型。862 ℃以上で体心立方構造 (BCC) のβ型へ転移する。比重は6.5、融点は1852 ℃。銀白色の金属で、常温で酸、アルカリに対して安定。耐食性があり、空気中では酸化被膜ができ内部が侵されにくくなる。高温では、酸素、窒素、水素、ハロゲンなどと反応して、多様な化合物を形成する。

**名称**
元素名は、宝石のジルコン（アラビア語で金色を表す zarqun）が語源。

**用途**

**原子力**
ジルコニウムは金属の中で熱中性子の吸収断面積が最小のため、ジルカロイと呼ばれるジルコニウム合金が原子炉の燃料棒の被覆材料（燃料被覆管）や沸騰水型原子炉用燃料集合体のチャンネルボックスの材料として利用される。燃料被覆管を形成する際には、原子炉に入れたときにα相（稠密六方格子）の底面に水素化物が析出しやすく、それが原因で被覆管が破損する可能性があるため、ロールダイスにより管を回転往復させながら圧延するピルガー式圧延法を用いる。沸騰水型軽水炉ではα領域内の高温 (580 ℃) で最終真空中で焼鈍した再結晶材を使用し、加圧水型軽水炉では再結晶が生じていない450 ℃程度真空中で焼鈍を行った歪み取り焼鈍材を使用する。

**セラミックス**
二酸化ジルコニウムは、白色顔料などに使われている他、圧電素子、コンデンサー、ガラス、差し歯や歯のブリッジ、ボールベアリング、セラミックの刃物など、あるいは陽極酸化によって発色する特性を活かして宝飾品などに使われている。

**歴史**
1798年、マルティン・ハインリヒ・クラプロートがジルコンから発見。1824年にイェンス・ベルセリウスにより、フッ化カリウムジルコニウム（正確にはPotassium hexafluorozirconate）をカリウムで還元することによって初めて金属分離された。
1944年、福島県塙町真名畑鉱山でジルコニウムの鉱脈が初めて発見される。第二次世界大戦中のことでもあり、国内で希元素が確保されたという点で話題となった。

**ジルコニウムの化合物**
 ジルコン (4)- 二酸化ジルコニウム (ZrO2) - 白色顔料、皮膚炎の治療薬の原料、模造ダイヤ（キュービックジルコニア）- Zirconium tungstate (Zr(WO4)2) - 負の熱膨張率を示す物質- 塩化ジルコニウム(III) (3) - 反磁性物質- 塩化ジルコニウム(IV) (4) - 種々のジルコニウム錯体合成の出発物質- チタン酸ジルコン酸鉛 (3) - 強誘電性を利用した電子部品

**酸化反応**
高温での酸化反応、および陽極酸化反応は次式で表される。
 Zr + 2H2O -> ZrO2 + 2H2

**同位体**

**国別の産出量ランキング**
2011年における国別の産出量は以下の通りである(2011)。

**出典**

**外部リンク**
 1405
モノポール

* 単極子 - 物理学の概念。
** 磁気単極子 - 単極子のうち、特に磁気に関するもの。- モノポール (ワイン)- モノポール鉄塔（モノポールてっとう）
** 部材が1本の鋼管柱から成る鉄塔。都市部や住宅地に多く、土地の節約にもなっている。環境調和型鉄塔に分類される。
レニングラード (曖昧さ回避)

レニングラード（ロシア語：Ленинград リニングラート）。- ロシアの都市・サンクトペテルブルクのソビエト連邦時代の名称。「ウラジーミル・レーニンの町」を意味する地名。
*: 以下の名前は全てこれに由来。- レニングラード州 - ロシア連邦の州。州都はサンクトペテルブルク。- レニングラード (カメラ) - 旧ソビエト連邦のカメラブランド。- ドミートリイ・ショスタコーヴィチの交響曲第7番の表題。- 1999年生まれの日本中央競馬会に所属した競走馬（主な勝鞍：アルゼンチン共和国杯）。- ビリー・ジョエルの楽曲。アルバム『ストーム・フロント』(1989)に収録。
イリヤ・プリゴジン

非平衡熱力学、とくに散逸構造の研究
イリヤ・プリゴジン（Ilya Prigogine n;, 1917年1月25日 - 2003年5月28日）は、ロシア出身のベルギーの化学者・物理学者。非平衡熱力学の研究で知られ、散逸構造の理論で1977年のノーベル化学賞を受賞した。統計物理学でも大きな足跡を残し、「エントロピー生成極小原理」はよく知られている。

**生涯**
モスクワに生まれ、1921年に家族とともにドイツに移住。1929年にはベルギーのブリュッセルに移住した。ブリュッセル自由大学でテオフィル・ド・ドンデに師事してMathematical chemistryを学び、1941年に博士号を取得、1947年から同大学の教授となった。1953年には、国際理論物理学会（東京＆京都）で来日した。その会議の終了後、仲間のカークウッドらと全国の高校をまわって講演し、その当時日本の物理学では素粒子論が主流を占めていたにもかかわらず、これからはトランジスタなどの物性物理学が主流を占めるはずだと予言して日本の若者達を鼓舞し、今日の技術国日本の礎を作ったと、常々満足げに話していた逸話が残っている。その業績のみならず日本の物理学界の多くの指導者を育成した業績が称えられ、日本政府から勲二等旭日瑞宝章が贈られている。1959年からアメリカ合衆国のテキサス大学オースティン校、1961年からシカゴ大学の教授を併任し、のちに彼の名前を冠することになる研究所（Institute Ilya Prigogine）の創設にも関わった。
プリゴジンは自然科学ばかりでなく他の分野でも活躍し、彼の先コロンブス期の石像収集を称えて考古学の名誉博士号が贈られている。さらに、モスクワ音楽院のピアノ科を卒業した母親に４歳のときからピアノを習い始め、その後、世界的なピアニストのウラディーミル・アシュケナージの父でやはりピアニストのダヴィッド・アシュケナージに師事して、大学就学前にピアノ国際コンクールdate=2023年1月で優勝している。2003年ブリュッセルで死去した。

**業績**
プリゴジンは、化学平衡から遠い状態にある溶液について研究した。溶液が平衡状態にあるときは、温度や圧力などの物理学的性質は変化せず、また系への物質やエネルギーの出入りもないはずである。実際には溶液中では恒常的に変化が起こっているにも拘らず、系としてある程度の秩序は保たれている。
溶液の温度を低温から急に上昇させると、溶液の小さい部分部分（セルとよんだ）が秩序を保ちながら全体の中を動くことを発見した。それまで非平衡状態では予想可能な秩序が生じることはないと考えられていた。またプリゴジンはこの現象は不可逆であり、つまり溶液を冷却しても逆の現象は生じないことを発見した。
こうした非平衡系における秩序の仕組みとして「散逸構造」という概念を提唱した。
周囲の環境と共存した状態で存在する散逸系を考え、物質とエネルギーがたがいに作用しあってより秩序性の高い状態になる現象を数量的に研究するプリゴジンの理論や思想は、物理化学の研究のみならず、社会学や生態学、経済学や気象学、人口動態学のモデルとしても応用されている。
ノーベル賞受賞後は、彼が以前から興味を抱いていた物理学の最も基本的な問題の一つである時間の対称性の破れの問題に生涯を捧げた。そして、その対称性の破れが、ボルツマンの立場、すなわち、多自由度系に対する我々の制御不可能性に基づいて引き起こされると言う立場ではなく、それよりももっと基本的に、物理学の基本的法則の帰結として古典力学および量子力学の力学的性質として導き出されるという立場からの論文を数多く残している。
著書「混沌からの秩序」（1979年）は科学の専門家でない一般向けに、彼の理論を理解してもらおうと書かれたものである。そのほかの著書として、「存在から発展へ」（1980年）や「複雑性の探究」（1989年）などがある。科学思想のみならず時代思潮に与えた影響もきわめて大きい。

**批判**
一方で、プリゴジンの主張は既存の物理を過度に否定的に捉えており、また既存の物理に代わるとする彼の提案もレトリカルな部分が多く本質を捉え損ねている、という批判は物理学者の中からも出ており、評価が非常に分かれている。

**著書**
Cite book|和書 |title=化学熱力学 1 |year=1966 |publisher=みすず書房 |url=https://dl.ndl.go.jp/pid/1381674/1/3 |edition=R.デフェイとの共著 |isbn=4622024071
*Cite book|和書 |title=化学熱力学 2 |year=1966 |publisher=みすず書房 |url=https://dl.ndl.go.jp/pid/1381788/1/3 |edition=R.デフェイとの共著 |isbn=462202408X
*isbn=4622025310
*year=1980
*isbn=4622025426
*isbn=4622016931
*isbn=4622040891
*year=1997
*isbn=4254130856
*isbn=4875021240

**受賞歴**
1955年 - フランキ賞
*1972年 - バーク賞
*1976年 - ランフォード・メダル
*1977年 - ノーベル化学賞
*1983年 - 本田賞

**出典**

**外部リンク**
 Ilya Prigogine Facts Nobel Foundation
トロイオンス

トロイオンス(troy ounce)は、貴金属や宝石の原石の計量に用いられるヤード・ポンド法の質量の単位であり、1トロイオンス = 正確に 31.103 4768グラムである。金衡オンス（きんこうオンス）ともいう。日本では、特殊の計量である「金貨の質量の計量」にのみ限定して使用できる法定計量単位であり、その定義値がわずかに異なる（後述）。金の1トロイオンスはISO 4217ではXAUで表され、銀の1トロイオンスはXAGで表される。

**記号**
トロイオンスの単位記号は、oz tr、oz t や ozt が用いられる。ただし、日本の計量法が認めているのは、oz のみである。なお常用オンスの、計量法における単位記号も oz であり、全く同一である。
明治時代の日本の文献では、漢字で「兮」と書かれている場合がある。

**定義**
1000 ozの銀地金
1トロイオンスは、480グレーンであり、1959年以降、正確に 31.103 4768グラムである。
これは、1958年に米、英、カナダ、オーストラリア、ニュージーランド、南アフリカの6カ国の国際協定が締結され、1959年7月1日以降、1ポンドが正確に 0.453 592 37 キログラム、1グレーンが正確に64.798 91ミリグラムと定められたからである。
常用オンス（437.5グレーン）が正確に 28.349 523 125グラムであるので、約9.7%重いことになる。トロイオンスは、貴金属（金や銀）の計量に用いられるが、日本国内ではグラムやキログラムも用いられる。
日本の計量法では、「金貨の質量の計量」に限定してトロイオンスの使用を認めている。ただし、計量法体系では上記の国際定義値の桁数を6桁に丸めて、31.1035グラムと定義している計量単位令 別表第6項番5 「キログラムの〇・〇三一一〇三五倍」となっている。。
トロイオンスはヤード・ポンド法のトロイ衡という単位系の単位の一つであるが、トロイ衡の単位は現在ではトロイオンスしか使われていない。トロイ衡に対して通常使われるオンス、ポンドなどは常衡という。トロイ衡は、ウィリアム1世によるイングランド征服の時代にまで遡る。その名前は、中世において重要な商都であったフランス・シャンパーニュ地方の町トロワに由来する。

**使用**
金地金の取引について述べる。国際価格は「米ドル/トロイオンス」で表示される。一方、日本国内価格は「日本円/グラム」で表示される。

**脚注**

**注釈**

**出典**

**関連項目**
単位の換算
インジウム

インジウム（indium ）は、原子番号49の元素。元素記号は In。第13族元素の1つ。銀白色の柔らかい金属である。常温で安定な結晶構造は正方晶系。比重7.3、融点は156.4 と低い。常温では空気中で安定である。酸には溶けるが、塩基や水とは反応しない。

**名称**
名前は発光スペクトルが濃い藍色 (indigo) であったことが由来。

**用途**
ITO (Indium Tin Oxide) と略称される酸化インジウムスズは、導電性があるのに透明であることから液晶やプラズマといったフラットパネルディスプレイの電極（透明導電膜）に使われている（他のピクセルからの光を阻害せずにそれぞれのピクセルに電気信号を伝達できるため）。
そのほか、シリコン、ゲルマニウムに添加（ドープ）してp型半導体を形成する。融点が低いので、低融点合金であるはんだなどに利用される。またインジウムの化合物では、リン化インジウム (InP) などの化合物半導体が注目を集めている。
熱伝導の良さから、箔状に延ばしたものがクライオポンプ等に用いられている。
また、インジウムはガラスに弾かれないという特性を持つため、高レベルの真空を求める装置等でパッキンとして利用される。

**歴史**
1863年、リヒター (H. T. Richter) とライヒ (F. Reich) によって、閃亜鉛鉱の発光スペクトルの中に発見された。

**化合物**
 酸化インジウム (In2O3)- リン化インジウム (InP)- ヒ化インジウム (InAs)- アンチモン化インジウム (InSb)

**同位体**
右側の表の通り、自然界には質量数113のインジウムと質量数115のインジウムの2種が存在し、95%以上が質量数115のものである。この同位体は天然放射性同位体である。1つ以上の安定同位体を持つ元素の中で、天然放射性同位体が安定同位体より多く存在しているものとしてはインジウムの他にテルルとレニウムがある。
このインジウム115は天然放射性同位体といえど半減期が441兆年と極端に長く、限りなく安定同位体に近い。現在インジウムは透明導電膜、光デバイスや半導体用途向けに需要が高まっているが、そのほとんどが放射性同位体であっても、現在の用途では放射性同位体であることを無視してよいとされる。将来、原子1個レベルでの信頼性が問われるような製品が出た場合でも問題になることは稀だと考えられている。

**毒性**
1990年代半ばまではインジウムの毒性について、情報が非常に乏しく、安全な金属と考えられていたが、2001年にはITO吸入に起因すると考えられる間質性肺炎の死亡例があり、ITO取り扱い作業者の中で間質性肺障害の症例が報告されている。近年の研究では、動物実験において、化合物半導体であるInPの発癌性が確認され、InPに加えて他のインジウム化合物においても強い肺障害性が認められるなど、フラットパネルディスプレイなどにおけるITO需要が進む状況下において、インジウムの健康への影響が懸念されている。
2010年12月に厚労省からインジウム・スズ酸化物等取扱い作業による健康障害防止対策が、通達として発表された。

**供給**

**採掘**
かつてインジウムを世界で最も多く産出していた鉱山は、日本の北海道札幌市の豊羽鉱山であった。採掘場所が坑道の奥になるにつれて採掘環境が高温となり、冷却装備を施すと高コストとなる問題があり、従来工法での可採部分での資源枯渇を理由に2006年3月31日をもって採掘を停止した。2017年時点、中国が世界最大の生産・輸出国である。アメリカ地質調査所の推計によると、2017年に世界で新たに生産されたインジウム地金（720トン）のうち、中国（310トン）に韓国（215トン）、カナダと日本が各70トンと続く。最大消費国は日本である。独立したインジウムの鉱物や高濃度のインジウムを含む鉱石が見つかるのは錫-多金属鉱床と呼ばれるタイプの鉱床で、豊羽や兵庫県の明延（あけのべ）鉱山がこれに相当した。しかし、産出量が多いのは、塊状硫化物鉱床である。

**日本への輸入**
日本への輸入は2006年度で約422トンであり、これは世界中のインジウム取引の約80%の量であった。この内、中国からは61%、韓国からが24%、カナダ8%、台湾6%、米国その他からが1%であった。

**中国での生産体制**
中国の行政報告によると年度は不明ながら近年での採掘資源量は雲南省（5205トン、40%）、広西壮族自治区（4,086トン、31.4%）、内モンゴル自治区（1,067トン、8.2%）、青海省（1,015トン、7.8%）、広東省（910トン、7%）、その他地域（728トン、5.6%）、合計13,014トンという統計値がある。この資源は数百の零細工場によって亜鉛鉱石や鉛鉱石からインジウムの素原料が原始的な方法で取り出され、湖南省株洲工場、広東省招関工場、広西壮族自治区華錫工場、遼寧省蘆島工場、江蘇省南京工場という5大工場に集められて、高純度に精製された後、国内や日本などの海外に供給されている。
2003年からのインジウムの需要急増に対応して湖南省と広東省の亜鉛工場が増産したが、カドミウム公害を起こしたため、広東省では工場が、湖南省ではいくつかの鉱山が2004年から2005年にかけて閉鎖された。雲南省と広西壮族自治区でも採掘現場での環境破壊は深刻だが、山岳地帯であり少数民族地域でもあるため放置されている。
中国政府もインジウムの需要急増に対応して生産を拡大したいが、湖南省と広東省だけに限らず環境問題が解決できないため、2008年時点も果たせないでいる。中国国内産業が工業製品の生産量を増すにつれてインジウムを輸出に回すだけの余分が無くなって来たため、まず2005年から輸出に与えられていた還付税が減額され、2006年9月14日には完全に撤廃された。インジウムの海外からの委託加工も禁止された。
日本では2006年まで札幌の鉱山で世界最大のインジウム生産量を誇っていたが、環境問題とはならなかった。中国では今、環境問題のために生産量に制約が生じており、日本への供給が減ってきている。中国と日本の利害は一致するように見えるが良いニュースは聞こえて来ない。

**日本の対応策**
レアメタルであるインジウムの生産量は世界的に限られており、需要に対する供給量の逼迫が問題となっている。資源を持たない日本の産業界ではこれまで同種の危機に直面した時と同じように、多面的な解決策によって最小限の輸入量で国内産業への影響を回避すべく行動している。

**リサイクル**
2003年から3年間で価格は5倍に上昇した。そのため、生産過程で出る廃材からのリサイクルや、使用済み電子機器からの回収といった方法が進められている。

**代替材料**
住友金属鉱山ではITOの代わりにZTO (Zinc Tin Oxide) が使えないか検討中であり、東ソーでも同じく亜鉛ベースの化合物でテストを行なっている。

**出典**

**関連項目**

**外部リンク ==
アングロアラブ

アングロアラブ（Anglo-Arabian、Anglo-Arab ）は、馬の品種のひとつで、アラブとサラブレッドの混血種である。

**解説**
サラブレッドが競馬に勝つためにスピードを追求するあまり、虚弱体質だったり気性が激しいものも多いため、それを解決する為に頑丈で従順なアラブ種を混合することで、頑丈さと温厚な気性、そしてスピードを得ることができる。日本においてはアングロアラブのことを「アラブ」と呼ぶことが多いため、アラブ種と混同されがちである。
もともとはフランスで生産が始められ、競馬の競走や馬術競技に用いられている。
日本の競馬ではアングロアラブはアラブ血量（アラブ種を100%、サラブレッドを0%とした時のアラブの純血の度合い）が25%以上であることが求められる。25%に満たない場合にはサラブレッド系種となる。フランスでは50%、25%、12.5%に分類される。サラブレッド以外にもセルフランセとの混血種なども存在する。

**日本におけるアングロアラブ**
アングロアラブの神馬「空勇号」（伊勢神宮内宮）
アングロアラブのマーク
戦前の日本において、競馬の存在意義はスポーツ以上に軍需産業としての馬の生産技術および種牡馬の能力検定であり、軍馬の質的向上のためのものであった。政府は軍馬改良の為にサラブレッドの生産を奨励したが、1929年（昭和4年）秋、サラブレッドは繊細菲薄（ひ弱）であり、一方、丈夫で粗食にも耐え、維持管理も比較的容易といわれるアングロアラブの生産を推奨する方針に変更し、同時にアラブ種及びアングロアラブによる競馬の競走の施行を命令した。以降、アラブ系の競走が多数編成されるようになり、アングロアラブが盛んに生産されるようになった。
戦前のアラブ系競走では、ギドラン種や、父母馬が明確ではない血統不詳の馬と交配された馬も、アングロアラブ系として扱われていた。アングロアラブは、軍馬改良に大いに貢献する事になった。
戦後は、軍馬としての需要はなくなった一方、戦災復興と言う名目で多くの地方競馬場が産声を上げており、中央競馬と併せ、競走馬としての需要は大きくなっていた。サラブレッドと比べて生産頭数の多かったアングロアラブは、前述のとおり丈夫さを持ち合わせており、連続出走（馬不足から二日連闘もあった）もこなせた事もあって、在厩頭数が少なくても継続的に開催を行いやすいため、引き続き競走馬として盛んに生産が行われた。
中央競馬ではタマツバキ、セイユウ、シュンエイにイナリトウザイ、地方競馬ではホウセント、フクパーク、オグリオー、タイムライン、ローゼンホーマを始めとして、数多くの強豪を生み出し、平成期に入ってもトチノミネフジ、スズノキャスターなどサラブレッド種とも互角以上に渡り合う様な名馬と呼ばれる馬が数多く登場した。また、生産頭数も1960年代初頭まではサラブレッド系のそれを上回っていた。
しかし、アラブ系競走はサラブレッド系競走と比較してスピードが劣ること、競走においての賞金も安く抑えられていたこともあって、サラブレッドの生産頭数が増加していくのに伴い、アングロアラブに対する需要は薄れていった。
中央競馬においては、昭和20年代後半に抽せん馬のみ出走可能な様に変更された後は、一時期の小倉競馬場で行われていた3歳馬（旧）の自由購買馬による競走を除き、抽せん馬のみで競走が行われたために馬資源が乏しかった。それでも昭和30年代までは、アラブ系競走の全競走数における割合は大きく、競馬ファンの人気もあったが、どうしてもサラブレッドよりも格下と見られがちであったのは否めず、またサラブレッドの馬資源が揃ってくると、アラブ系競走に対する馬主の支持が次第に低下していった。
ファンからの支持も低下したアラブ系競走は、1984年（昭和59年）までに大半のアラブ重賞が廃止され、競走自体もいわゆる中央場所ではほとんど行われなくなっていき、最終的には中央競馬馬主会がアラブ抽せん馬の引き受けの拒否を発表したことがきっかけとなり、1995年（平成7年）12月に中京競馬場で行われたアラブ大賞典（勝ち馬ムーンリットガール）を最後に姿を消した。
その後、地方競馬においてもまず南関東公営競馬や岩手県競馬組合が追随し始め、アラブ系競走の廃止やレース数の削減が相次ぐようになると、生産地でも商業的に成り立たなくなり、最盛期（1972年）には約4000頭を数えたアラブ系の生産頭数は1997年に約2000頭、2004年に約100頭、2005年に78頭、2007年にはついに0頭になった（ただしここ数年はごく少数ではあるが生産頭数は出ており、2020年は2頭が生産されている）。
益田競馬場、兵庫県競馬、福山競馬場はかつて全競走をアラブ系の競走で施行する競馬場であったが、益田は競馬場そのものが休止（事実上の廃止）、「アラブのメッカ」と言われた兵庫でさえ、1999年（平成11年）に中央競馬との交流促進のためサラブレッドを導入後、アラブ系の在厩頭数が急減し2003年（平成15年）にはアラブ系のみの番組編成が不可能となった。
最後までアラブ系限定の競走を続けた福山も、アングロアラブの生産頭数の激減で将来的なレース編成に支障をきたすのが明白であり、競馬場の活性化のため中央競馬や他地区との人馬交流を促進するという観点から、2005年（平成17年）10月に開かれた市議会の特別委員会で順次サラブレッドの導入をすることを決めた。2005年12月4日より他競馬場からの転入馬によるサラブレッド系の競走が行われ、アラブ系のみでレースを開催する日本の競馬場はなくなった。2009年（平成21年）7月30日現在で、金沢1頭、名古屋1頭、高知7頭、荒尾7頭、そして福山41頭が競走登録されているにとどまった。
そして2009年8月には福山競馬場でもアラブ系の登録頭数が40頭を切ったことから、9月27日に行われた「開設60周年記念アラブ特別レジェンド賞」（優勝馬はザラストアラビアン）を最後にアラブ系限定競走が終了した。なお、アラブ系馬は今後もサラブレッドに交じって競走に出走することは可能である。2013年（平成25年）3月23日付読売新聞では、競走馬登録を抹消していないアラブ馬は7頭だが、厩舎に入っていて出走可能な唯一の馬であったレッツゴーカップが同日のレースを最後に引退し、アラブ系競走馬は事実上消滅したと報じられている。
2017年（平成29年）「牧場に縁ある血統を残したい」と青森県、北村牧場・北村守彦氏の愛情でキタミキ（牝・父アア エトーレ　母アア キタヒラコウ（母の父アキヒロホマレ）が誕生、岩手競馬（盛岡・櫻田康二厩舎）に入厩。しかし能力不足でデビューできず引退した。
日本ではシャギア・アラブ（ハンガリーの土着馬にアラブ種を交配した馬）をアラブ100%として計算しているため、日本ではアングロアラブとされている馬でも日本以外ではアングロアラブとならない競走馬が存在する。血統表に「オーバーヤン五ノ七」、「初雪」などが含まれる馬がそれにあたる。

**テンプラ**
アラブ血量を偽り、アングロアラブとして登録されたサラブレッド系種をテンプラという。詳しくはテンプラ (馬)を参照。

**脚注**

**注釈**

**出典**

**関連項目**
アラブ系競走一覧
*ギドラン

**外部リンク ==