Blaze7451/Wiki-ja-20250601 huggingface dataset:
特装車

特装車（とくそうしゃ）とは、自動車メーカーが生産し、有効な「完成検査修了証」が添付された自動車（完成車）に対し、特定の用途や目的の為に部品や装置を取付けたり、ボディやシャシに対して改造を加えられたものを指す。

**商用車**
商用車においては、貨物自動車やトラックのシャーシの上に、一般的な屋根のない荷台（平ボデー）ではなく、多種多用途な装備を架装したりマイクロバスを改造した自動車のこと等を指す。
具体的にはアルミバン・冷凍冷蔵車・キャリアカー・タンクローリー・コンクリートミキサー・クレーン車などが挙げられるが、
これらの車両は、自動車メーカーにおいて製造された「運転台（キャビン）と車枠（シャシー）のみ、いわゆるキャブシャシー」の状態で架装メーカーに納入され、ユーザーが希望する用途に応じた装備の設計・製作・取付加工を施し、改造車検を通した上でユーザーに引き渡されるのが通常である。
特装車は新車のキャブシャシーに架装されるのが一般的であるが、事故等で廃車となった車両から取り外された荷台を別の中古車の荷台を取り外した上に架装する・使用過程車の特殊な荷箱を降ろして新車に架装する「再架装」、使用中の平ボディトラックにキャブバッククレーンを新規架装するといった「追架装・二次架装」も少なからず存在する（この場合も改造車検となる）。

**乗用車**
完成車に対し自動車メーカー、あるいは自動車メーカー系の架装メーカーによって、専用エアロパーツやエンジン、サスペンション等への換装、ボディの改造が施されて販売される車両についても、自動車メーカーでは特装車として扱う事がある。また、高齢者や体の不自由な人向けの福祉車両に改造される車両も特装車の範疇に入る。

**その他**
商用車の特装車は、需要の殆どが特定の仕様に集中する冷凍・冷蔵車やキャリアカー、クレーン車など、自動車メーカーによってある程度仕様を設定しカタログモデル化されているものもある。
カタログモデル化することで、メーカーからは半完成車として出荷でき納期短縮が可能となる、架装メーカーも量産効果が見込めることから価格の低廉化が可能となるなど、購入するユーザーのメリットも多い。
しかし、顧客から設定外の仕様を求められる場合もあり、あらゆる仕様を自動車メーカーがカタログモデル化することは非現実的である。
近年ではこれまで架装メーカーで改造を行っていた部分を含め、自動車メーカーの生産工場で標準車と同じライン上で生産する（つまり、生産工場を出荷後に架装メーカーによる改造を必要としない）ケースもある。
また予め自動車メーカー側で下記の様な架装に適したシャシを生産している。- ダンプカー用（ホイールベースが短く最低地上高が高い2デフシャシ）- コンクリートミキサー車用（ダンプシャシーにフライホイールPTO付き）- タンクローリー用（運転台が低く車両前方に飛び出している前2軸・後1軸の高床シャシーでリアオーバーハングが短い）- 冷凍冷蔵車用（冷凍機架装の為にシャシー側面の片一方が空けられており大容量の燃料タンクを複数装備）- 高所作業車用（走行安定性向上のためワイドトレッド化するため、標準キャビン車にワイドキャビン車用の車軸が取り付けられている）- 消防車用（総輪駆動・オートマチック・ダブルキャブ・フルパワーPTO付きシャシ）- 救急車用（スーパーロングワイドボディ・専用ハイルーフ・専用サスペンション等）- キャンピングカー用（専用シャシ・専用サスペンション等）
これらの特装ベースシャシーを流用し、メーカーの想定とは異なる架装が行われることもある。

**主なメーカー**

**自動車メーカー系**

**トヨタ自動車・ダイハツ工業**
 トヨタカスタマイジング&ディベロップメント（旧：トヨタテクノクラフト）- トヨタ車体

**日産自動車**
 日産モータースポーツ&カスタマイズ（旧：オーテックジャパン）- 日産車体
** オートワークス京都

**マツダ**
 マツダE&T

**三菱自動車工業**
 三菱自動車ロジテクノ- 丸文 - 岡山県倉敷市の企業。

**ホンダ**
 ホンダオートボディー

**スバル（旧・富士重工業）**
 桐生工業 - 主にスバルブランド車の架装や富士重工業で行ってきたバス車体架装車のアフターサービスを行う。

**いすゞ**
 いすゞ車体

**日野自動車**
 トランテックス

**三菱ふそう**
 パブコ- 三菱ふそうバス製造

**その他**
 ジェイ・バス - 旧・日野車体工業のバス製造部門といすゞバス製造との合併。- 富士重工業（現・SUBARU） - バス車体架装及び塵芥車の生産を行っていたが現在はいずれも終了。塵芥車事業については新明和工業へ譲渡。

**架装車体製造メーカー**
 飛鳥特装- 新明和工業
** 東邦車輛 - 前身は東急車輛製造から分社化された東急車輛特装で、東急車輛製造の廃業に伴い新明和工業に譲渡。- 極東開発工業- モリタ
** モリタエコノス- タダノ- 加藤製作所- 古河ユニック- アイチコーポレーション- 花見台自動車- 日本車輌製造- 矢野特殊自動車
** アルナ矢野特車 - アルナ工機の特装車事業を継承。- 日本トレクス- 東プレ- 小平産業- 山田車体工業 - ヤマダボデー- 日本フルハーフ- 北村製作所- 須河車体- 浜名車両コーポレーション- 相互車輌- 昭和飛行機工業- 浜名ワークス- 名自車体- 京成自動車工業- 東京特殊車体- 城東特種自工- イズミ車体製作所- 坪井特殊車体- 富士車輌- カヤバ- 宇部特装車- 日本機械工業- 帝国繊維- ジーエムいちはら工業- 日本ドライケミカル- 吉谷機械製作所- 札幌ボデー工業- 自動車精工- タケクラフトコーポレーション- トノックス
** ワイ・エンジニアリング
** ヤナセテック- 中京車体工業- 小川ポンプ工業- いそのボデー- ヤシカ車体- 東洋車輌- 細谷車体工業- 赤城車体工業- 犬塚製作所- 協和機械製作所- 野口自動車- 新和技研- 東洋ボデー

**その他**
 エスマック - 建設現場向け高所作業車の架装を行っていた。2009年11月27日、破産手続開始申立。- 西日本車体工業 - 2010年10月、会社解散。

**脚注**

**注釈**

**関連項目**
 特種用途自動車- 商用車- 貨物自動車- コーチビルダー- 特別仕様車

**外部リンク**
  日本自動車車体工業会(JABIA) - 業界団体。
テイラーの定理

関数  の点  における多項式  による近似
指数関数 y = ex（赤の実線）と原点のまわりでのその4次のテイラー多項式（緑の破線）。
微分積分学において、テイラーの定理（テイラーのていり、Taylor's theorem）は、k 回微分可能な関数の与えられた点のまわりでの近似を k 次のテイラー多項式によって与える。解析関数に対しては、与えられた点におけるテイラー多項式は、そのテイラー級数を有限項で切ったものである。テイラー級数は関数を点のある近傍において完全に決定する。「テイラーの定理」の正確な内容は1つに定まっているわけではなくいくつかのバージョンがあり、状況に応じて使い分けられる。バージョンのいくつかは関数のテイラー多項式による近似誤差の明示的な評価を含んでいる。
テイラーの定理は1712年に1つのバージョンを述べた数学者ブルック・テイラー (Brook Taylor) にちなんで名づけられている。しかし誤差の明示的な表現はかなり後になってジョゼフ＝ルイ・ラグランジュ (Joseph-Louis Lagrange) によってはじめて与えられた。結果の初期のバージョンはすでに1671年にジェームス・グレゴリー (James Gregory) によって言及されている。
テイラーの定理は微分積分学の入門レベルで教えられ、解析学の中心的な初等的道具の1つである。純粋数学ではより進んだasymptotic analysisの入り口であり、より応用的な分野の数値解析や数理物理学においてよく使われている。テイラーの定理は任意次元 n, m の多変数ベクトル値関数 f: Rn → Rm にも一般化する。テイラーの定理のこの一般化は微分幾何学や偏微分方程式において現れるいわゆるJet (mathematics)の定義の基礎である。

**動機**

**一変数の場合**

**定理の主張**
テイラーの定理の最も基本的なバージョンの正確なステートメントは次のようになる：
テイラーの定理に現れる多項式は関数 f の点 a における k 次のテイラー多項式

である。テイラー多項式は次のような意味で「漸近的に最もフィットする」唯一の多項式である、すなわち、関数 hk: R → R と k 次多項式 p が存在して

となるならば、p = Pk である。テイラーの定理は剰余項

の漸近的な振る舞いを記述する。これは f をテイラー多項式で近似するときの近似誤差である。ランダウの記号を用いれば、テイラーの定理のステートメントは次のように書ける：


**剰余項の明示公式**
f へのより強い正則性の仮定のもとで、テイラー多項式の剰余項

に対するいくつかの正確な公式がある。最も一般的なものたちは以下のものである。
テイラーの定理のこれらの改良は通常平均値の定理を用いて証明されるため、その名前がある。また他の同様の表示も見つけられる。例えば、G(t) が閉区間上連続、開区間上で微分可能で導関数の値が非0ならば、

となる数 &xi; が存在する。このバージョンはラグランジュとコーシーの剰余項を特別な場合として含んでおり、以下でコーシーの平均値の定理を用いて証明される。
積分形の剰余のステートメントはこれまでのものより進んでおり完全な一般性にはルベーグ積分論の理解が要求される。しかしながら、f の (k + 1) 階微分が閉区間 a, x 上連続であるならば、リーマン積分の意味でも成り立つ。
これはベルヌーイの剰余loc=定理(7.13)とも呼ばれる。閉区間上の f(k) の絶対連続性により、導関数 f(k+1) は L1 関数として存在し、結果は微分積分学の基本定理と部分積分を用いた形式的な計算により証明できる。

**剰余項の評価**
テイラー近似に現れる項の剰余項の正確な公式があるよりはむしろそれを評価できることの方が実用上しばしば有用である。f が a を含む区間 I において (k + 1) 回連続微分可能とする。実定数 q, Q が存在して I 上

とする。このとき剰余項は x > a のとき不等式

を満たし、nowrap|x  0 で区間  上

ならば、すべての x ∈ (a−r, a+r) に対して

がこの状況において正当化される。f のすべての (k − 1) 階偏導関数が a のある近傍において存在し a において微分可能であれば、同じことが正しい。このとき f は点 a において k 回微分可能であるという。

**多変数関数に対するテイラーの定理 ===
量子

量子（りょうし、quantum）は、物理学において用いられる、様々な物理現象における物理量の最小単位である。主に巨視的な物理を取り扱う古典力学では、物理量は実数で表される連続量だが、量子力学では、量子を数え上げたものとして扱われる。たとえば電気量は、電気素量の整数倍の値となる。
また、量子力学では微視的物質は粒子と波動の二重性を持つと仮定する。このとき、量子力学が適応されうる粒子を指して量子力学的粒子、または量子と呼ぶ例も存在する。

**脚注**

**関連項目**
 量子化 (物理学)- 量子化 - 量子コンピュータ- 量子暗号- 量子数- 量子状態- 量子もつれ- 量子テレポーテーション- 量子論- 場の量子論
** 量子色力学
小陰唇

小陰唇（しょういんしん、Labia minora）とは、陰核包皮と繋がる女性器の一部で、尿道口と膣口の両脇にある襞状の薄い肉びらのことである。女性が性的に興奮していない時は左右の小陰唇が閉じており、尿道や膣を保護している。男性における陰茎の皮膚に相当する。
性的興奮が起こると、閉じている小陰唇の血流が良くなり肉びらが膨張して左右に大きく開く。この時に、膣内および膣口が膣分泌液（バルトリン氏腺液やスキーン腺液）によって濡れていることが多く、男性器の挿入を容易にする。思春期頃に小陰唇は成長するが、型や長さは個人差が大きく陰核包皮の延長に小さく見える女性もいれば、大陰唇からはみ出るほど大きく成長する女性もいる。
小陰唇の黒ずみや長さなどを気にする女性もおり、性交やオナニーのやり過ぎと言われることがあるが、これに関しては医学的な信憑性は一切ない。黒ずむ原因としては、下着や生理用品との摩擦により、メラニン色素が生成される事が挙げられる。他には、ホルモンバランスの乱れ、遺伝的な原因、加齢や不摂生も原因とされる。

**脚注**

**関連画像**

**関連項目**
女性器- 陰唇- 大陰唇
平均値の定理

ファイル:Mvt2.svg|thumb|right|346px|a, b で連続かつ (a, b) で微分可能な関数に対して、平均変化率に等しい傾きを持つ接線を与える点 c が (a, b) 内に存在する。
微分積分学における平均値の定理（へいきんちのていり、mean-value theorem）または有限増分の定理 (Théorème des accroissements finis) は、実函数に対して有界な領域上の積分に関わる大域的な値を、微分によって定まる局所的な値として実現する点が領域内に存在することを主張する。平均値の定理にはいくつかバリエーションがあるが、単に 「平均値の定理」 と言った場合は、ラグランジュの平均値の定理と呼ばれる微分に関する平均値の定理のことを指す場合が多い。
平均値の定理は微積分学の他の定理の証明（例えば、テイラーの定理、微分積分学の基本定理）にしばしば利用される、大変有用なものである。平均値の定理の証明自体にはロルの定理を用いる。その一方で、平均値の定理はそのまま多変数の関数に適用することはできない。また、もっと弱い条件の元でも同じ定理が成り立つ。その他種々の理由から、平均値の定理を使うこと避ける数学者もいる。多変数関数にも使えて、平均値の定理の代わりになるような定理として、有限増分不等式がある。これは存在型ではない。あるいは、積分を持ち込んで微積分学の基本定理で代用することもある。

**歴史**
平均値の定理の特別の場合について、最古の記述はインドのケーララ学派Parameshvara (1370–1460) によるGovindasvāmiおよびバースカラ2世に関する解説の中に見られる。制限された形の平均値定理は、1691年にミシェル・ロルが今日ロルの定理と呼ばれるものを、多項式に限って、微分積分学の手法を用いることなく示した。現代的な形の平均値定理を定式化し証明したのはオーギュスタン・ルイ・コーシーで、1823年のことである。

**微分の平均値定理**

**有限増分の定理**
有限増分の定理と呼ばれる定理にもいくつか異なるバージョンがあり、後で述べる平均値の定理の別名でしかない場合もある
 弱い有限増分の定理
 函数 f は閉区間 a, b 上で有限かつ連続、開区間 a, b で微分可能であるとき、 とすれば  が成立する。
 強い有限増分の定理
 函数 f, g は閉区間 a, b 上で有限かつ連続、開区間 a, b で微分可能であるとき、区間 a, b 上で  となる定数 m, M が存在するならば  が成立する。
微分可能性に関しては、殆ど至る所微分可能や、殆ど至る所左側（resp. 右側）微分可能に緩めたもの、あるいは微分係数が∞となることを許す場合でも、適当な仮定のもとで成り立つ。また、絶対値をとれば結論の不等式を  のような形に書くこともできる。

**ラグランジュの平均値の定理**
a ab f(x) dx を区間の全長（図形の横の長さ）b − a で割ったものである。したがってこの等式は、関数 f(x) が区間 a, b において掃く図形の平均の“符号付き”高さ（その符号付き面積を持つ図形を一定の符号付き高さに均したときの高さ）を実現する点が区間内に存在することを保証する。
第一平均値定理の系として、開区間 (a,b) において有界変動かつ連続な関数 F(x) と有界な単調関数 φ(x) に対して、φ(x) はルベーグ・スティルチェスの意味で F(x) に関して可積分であって、a < ξ < b で
 
を満たすものが存在することが示せる。これを第二平均値定理という。特に、開区間 (a,b) において、f(x) が可積分で φ(x) が有界かつ単調な関数であるならば、f(x) の不定積分が第二平均値定理にいう F(x) の条件を満たしているので、この場合の第二平均値定理の等式は
 
の形に表せる。

**注**

**注釈**

**出典**

**関連項目**
 差商に対する平均値の定理

**外部リンク**
平均値の定理- 平均値の定理を利用する不等式の証明 - 受験の月
*urlname=rolle
*urlname=meanvalue- title=The Mean Value Theorem- title=Gauss's Mean-Value Theorem- title=Mean-Value Theorem- title=complex mean-value theorem- title=mean-value theorem- title=Mean Value Theorem- author= Kudryavtsev, L.D.
帝紀

帝紀（ていき）とは、歴代の天皇あるいは皇室の系譜類、あるいはそれらをまとめた分野、特に『古事記』や『日本書紀』以前に存在したと考えられている日本の歴史書の一つ。『旧辞』と共に記紀の取材源になったと考えられているが、古くに散佚し、内容は伝わっていない。本項ではこれについて記述する。

**概要**
681年（天武天皇10年）より天智天皇の皇子の川島皇子と天武天皇の皇子の忍壁皇子が勅命により編纂し、皇室の系譜の伝承を記したという。歴代天皇について、家族関係、治世年数、生没年、陵墓所在地の基本データと治世における出来事を口承で伝わっていたものを記したとされる。『旧辞』と共に天武天皇が稗田阿礼に暗誦させたといい、のちに記紀の基本史料となったという。
一般に、『帝紀』の内容は皇統譜であると考えられている。しかし異説も多く、- 『古事記』の中・下巻を指すという説。- 特定の書物を指すのではなく皇室の系譜の伝承を記した書物全般を帝紀と呼ぶとする説。- 書物になっていない天皇の系譜に関する伝承も帝紀と呼ばれるとの説。
*『帝紀』『旧辞』は別々の書物ではなく一体のものだったとする説。
などがある。
また『帝紀』は一般に、- 『古事記』序文に書かれている『帝皇日嗣』、『先紀』- 『日本書紀』欽明天皇2年3月条に記載がある『帝王本紀』- 『日本書紀』持統天皇2年11月条に記載がある「古くは『日嗣』と呼ばれた」との注釈がついた「皇祖等之登極次第」- 『正倉院文書』にある『帝紀日本書』や『日本帝紀』- 『日本書紀私記甲本』にある『帝王記』
などと同じものであると考えられている。
ただし、「年紀」を意味する「紀」の文字を含む『帝紀』『帝王本紀』『先紀』と、「紀」の文字を含まない『日嗣』等は分けて考えるべきだとする説もある。また、一定の条件を満たす複数の書物ないしは文書の総称である普通名詞としての「帝紀」と、特定の時点で編纂された特定の書物を示す固有名詞としての『帝紀』は明確に区別すべきだとする説もある。さらに、ほとんどの場合に『帝紀』と『旧辞』が並記されることなどから、これらは組み合わせることを前提にしており、二つの史書を組み合わせた日本独自の歴史叙述の形態が存在する可能性も指摘されている。
一方、古代天皇の称号には、居住した宮の名を冠して呼ぶほか、陵墓の所在地を冠して呼ぶときもあり、このことから関西大学の薗田香融は、帝紀とは名を羅列した単なる系図ではなく、「陵墓の所在地と陵墓名も記載され、そこに亡くなった年代・年齢も記されていたもの」と推測し、東京大学の井上光貞も同じ考えであると述べる。
いずれにしても、『帝紀』が重要視されたことは天武天皇の殯宮において帝皇日嗣が読み上げられたことからも分かる。

**考証**
埼玉県行田市の稲荷山古墳出土鉄剣銘にワカタケル（雄略天皇）に「杖刀人首」として奉仕したヲワケの始祖オホヒコに始まる八代の系譜が記されていた。オホヒコは崇神天皇の四道将軍の一人「大彦命」のことと思われ、このことは五世紀後半の雄略天皇の時代に崇神天皇から雄略天皇に至る、後の「帝紀」に発展する「原帝紀」とも言うべき王統譜が存在していたことを示唆しているという。
また「釈日本紀」「上宮記」逸文には「古事記」「日本書紀」の本文にはない応神天皇から継体天皇までの系譜が記されているが、この系譜は用字法から「記紀」よりも古い推古朝のものと判明している。このことは「記紀」とは別に各王族が別個に作成した系譜が存在していた可能性があることを表している。。

**出典**

**参考文献**
川副武胤「帝紀・旧辞」『国史大辞典』吉川弘文館。
*山田秀雄「帝王本紀」『日本書紀』歴史新書日本史19、ニュートンプレス、1979年6月20日、pp. 42-43。 ISBN 4-315-40170-6

**関連項目**
歴史書一覧
*天皇記
整数計画問題

整数計画問題（せいすうけいかくもんだい）は、線型計画問題において、解ベクトル  の各要素を整数に限定した問題をいう。これはNP困難な問題に該当する。線型計画問題には多項式時間アルゴリズムが存在するのに対し、整数計画問題ではまだ見つかっていない。
解ベクトル  の各要素を  または  のみに限定したものを、特に0-1整数計画問題という。

**整数計画問題の基準形と標準形**
整数計画問題では、定式化を標準形（standard form）および基準形（canonical form）に従った形式で表される。基準形の整数計画問題は次のように書き表される（このときベクトル  について求める問題である）: 

また標準形の整数計画問題は次のように書き表される:

ここで  は行列、 は列ベクトルである。線形計画問題と同様に、不等式の制約式に対して非負の制約をもつslack variable  を不等式制約式の小さな項に対して導入することで等式の制約式に書き換えられ、 という非負の条件を持たない自由変数に対しては、非負の変数 ,  を用いて、 と書き直すことで、整数計画問題を標準形に表すことができる。

**例**
IPとLP緩和後の多面体
右の図に対する整数計画問題は以下の通りである: 

ここで赤点は実行可能な整数点を表しており、赤の破線は実行可能な点をすべて含む最小の多面体（凸包）を表している。青い線と座標軸によって定義されるのが、制約条件から整数制約を除いた線形計画（LP）緩和の多面体を表している。最適化の目標としては、黒の破線が多面体に接した状態を維持したまま可能な限り上方に移動させることである。整数問題の最適解は ,  で、目的関数値が  である。一方、変数の整数条件を取り除いた線形計画緩和の最適解は  で、目的関数値は  である。この線形計画緩和の最適解に対して小数部分を最も近い整数に丸めると、 となり、整数計画問題の実行可能解ではない。

**類似の問題**
混合整数線形計画問題（Mixed-integer linear programming: MILP）とは、変数の一部分に対して整数条件が課された問題である。
0-1整数計画問題（Zero–one linear programming、binary integer programming）とは、変数の取り得る値が 0 または 1 に限定された問題である。整数変数が有界の場合はbinary dataを用いて表現することができる。具体例として、整数変数が  の範囲であるとき、変数は  個のバイナリ変数を用いて: 

もしくは、 個のバイナリ変数を用いて: 

もしくは、 個のバイナリ変数を用いて: 

と書き換えられる。

**整数計画問題として解かれる問題の例**
頂点被覆問題
*ナップサック問題
*ハミルトン閉路問題
*巡回セールスマン問題
*集合被覆問題
*最大独立集合問題
*最小極大マッチング問題
*最大クリーク問題
*支配集合問題
*辺支配集合問題
*ビンパッキング問題
*配送計画問題
*板取り問題
*Optimal facility location
*Generalized assignment problem

**脚注**

**参考図書**
 今野浩:「整数計画法」，産業図書，1981．- 今野浩・鈴木久敏編：「整数計画と組合せ最適化」，日科技連，1982.- 久保幹雄，田村明久，松井知己（編）：「応用数理計画ハンドブック」，朝倉書店，2002.
ネプツニウム

ネプツニウム (neptunium ) は原子番号93の元素。元素記号は Np。アクチノイド元素の一つ。また最も軽い超ウラン元素でもある。銀白色の金属で、展性、延性に富んでいる。常温、常圧（25℃、1atm）での安定な結晶構造は斜方晶系。280 付近から正方晶系となり、更に580 付近より体心立方構造 (BCC) が安定となる。比重は20.45、融点は640 、沸点は4000 （推定）。原子価は+3から+7価（+5価が安定）。
ネプツニウム239の半減期は2.4日。ウラン238は天然にも存在するので、ネプツニウム239、プルトニウム239は天然にもごく僅かに存在する。他にネプツニウム236（半減期15.4万年）、ネプツニウム237（半減期214万年）などがある。
ネプツニウム237はネプツニウム系列（ネプツニウム237からタリウム205までの崩壊過程の系列）の親核種である。この系列の元素で半減期が一番長いネプツニウム237でも半減期が214万年しかないため、この系列は（ビスマス、タリウムを除き）天然には極めて稀にしか存在しないが、最終系列核種のビスマス、タリウムはごく普遍的に天然に存在する。また、ウラン鉱の中から極微量のネプツニウムが核種崩壊の際の副産物としてしばしば発見される。ネプツニウム237は、核兵器の爆発によって生成する。

**名称**
海王星の neptune が語源となり、ネプツニウムと名付けられた。
奇しくも、その元素記号はかつて幻に終わったニッポニウムと同じ Np があてがわれた。なお21世紀初頭現在では、過去に提案された名前は混乱回避の観点から新元素の名前としては使えなくなっている。

**歴史**
1934年にエンリコ・フェルミらのグループは様々な物質に中性子を当てる実験を行い、質量数が1つ大きな同位体となったのちにベータ崩壊して原子番号の1つ大きな原子になることを観察している。その中でウランから生じた核種の中に、鉛以上の核種としては同定できないものが1つあったため、93番元素の可能性が示唆された。これについてオットー・ハーンやリーゼ・マイトナーらが詳しく調べたところ多くのベータ崩壊が見付かり、93番以降も97番元素まで合成が進んでいた可能性が示された。だが1938年の末頃になって、観察された多くのベータ崩壊はウランの核分裂で生じたバリウムなどの放射性同位体に由来することが判明した。しかしながら少なくとも半減期23分のウラン同位体のベータ崩壊については確認されたため、93番元素の可能性は残された。
ネプツニウムはまた、ニッポニウムの事例に続いて日本人が発見に関わっていた元素としても知られる。1940年に理化学研究所（理研）では逆にウラン238から中性子を1個取り除いたウラン237の合成実験を独自に行っている。そのベータ崩壊が確認できたことからネプツニウム237が生じたことになり、仁科芳雄は93番元素の存在を見出した。しかし当時理研では単離まで行かなかったため発見とは認められず、第2のニッポニウム実現には至らなかった。
その直後、1940年の暮れになると、マクミラン、アベルソン（アーベルソン）がウラン238に中性子を当てて、ネプツニウム239を作った。こちらは単離が実現したため、人工的に作られた最初の超ウラン元素として認められた。

**特徴**
ネプツニウムは銀のような外観の硬い金属で、ほかの元素と活発に化学反応を起こす。空気中で酸化され、発火性を持つなど、化学的挙動はウランに類似する。
また、ネプツニウムは温度によって結晶構造が異なる。
 αネプツニウム
 280 以下の状態のネプツニウムで、斜方晶系である。すべてのアクチノイドの中で最も密度が高い。
 密度は20250 kg/m3
 βネプツニウム
 280 以上577 以下の状態のネプツニウムで、正方晶系である。
 密度は19360 kg/m3
 γネプツニウム
 577 以上の状態のネプツニウムで、立方晶系である。
 密度は18000 kg/m3
また、ネプツニウムは3+から7+まで四つの酸化状態が存在する。確認されている限り、安定した化合物において全ての価電子を放出する最も重いアクチノイドである。溶液中では5+が安定だが、固体の化合物においては4+が多い。溶液中のネプツニウムイオンは加水分解されやすく、配位化合物を生成しやすい。
 Np3+
 淡い紫色をしており、Pm3+ に類似している。
 Np4+
 黄緑色をしており、Pm4+ に類似している。

**用途**
ネプツニウムはプルトニウム238製造の際に用いられる。
また、ネプツニウムは、燃えないウラン238が中性子を浴びて原子力発電等に使用されるプルトニウム239に「中性子捕獲核種変換」する中間生成物でもある。（高速増殖炉のブランケットで劣化ウランをプルトニウムに変えるのがこの反応である）
ウラン238+中性子 → ウラン239 → β崩壊 → ネプツニウム239 → ベータ崩壊 → プルトニウム239。
「ウラン238+中性子 → ウラン239 → β崩壊 → ネプツニウム239」の部分は中性子捕獲反応。
なお、アイソトープ電池に使用されるプルトニウム238はウラン238の (d,2n) 反応でネプツニウム238を作ることで生産されている。

**核兵器の製造**
ネプツニウムは核分裂性で、理論上、核燃料として使用することができる。1992年には、アメリカ合衆国のエネルギー省がネプツニウム237が「核起爆装置のために使用できる。」という機密扱いの事項を解禁した。なお、核兵器製造には利用されていない。
前述のように戦時中は理研がネプツニウムの発見を自力で行っている。その技術は核開発に繋がる懸念を生み、戦後処理の一環として理研の加速器は破壊処理された。以降、日本はニホニウムの発見まで60年近くにわたり元素発見の最前線から遠ざかることになる。

**天然での存在**
ネプツニウムはウラン鉱の中から極微量見つかる。特にネプツニウム237は、ウラン鉱中に於いてプルトニウム239生成の際の副産物としてしばしば発見される。このため、プルトニウム239の親核種としてネプツニウム239の存在も確認されている。

**同位体**
ネプツニウムには安定同位体が存在せず、すべてが放射性同位体である。ネプツニウムには19の同位体が存在し、質量範囲はネプツニウム225からネプツニウム244まで及ぶ。比較的安定している同位体は214万年の半減期を持つネプツニウム237、15万4000年の半減期を持つネプツニウム236、396日の半減期を持つネプツニウム235が存在する。残りの同位体は4.5日未満の半減期を持っており、また大多数これらの同位体のほとんどが50分未満の半減期を持っている。また、ネプツニウムには4つの核異性体の同位体が存在し、もっとも長い半減期を持つのは 236mNp で22.5時間の半減期を持っている。

**ネプツニウムの化合物**
 ネプツニル(V)イオン (NpO2^+) - 青緑色をしている。- ネプツニル(VI)イオン (NpO2^{2+}) - 淡いピンク色をしている。- 酸化ネプツニウム(IV) (NpO2) - 緑色の結晶である。- 八酸化三ネプツニウム (Np3O8)- シュウ酸ネプツニウム（Np(C2O4)2）
このような化合物は土の中やウラン鉱の中に極微量含まれている。

**出典**

**関連項目**
 小川正孝- テクネチウム
スティーブン・クック

スティーブン・アーサー・クック（Stephen Arthur. Cook, 1939年12月14日 - ）は、米国・カナダの計算機科学者・数学者。専門は計算理論、特に計算複雑性理論の論理学的側面やproof complexityの研究に従事している。2012年現在、トロント大学計算機科学科と数学科の教授である。

**経歴**
ニューヨーク州バッファロー生まれ。1961年ミシガン大学卒業。ハーバード大学で1962年に修士号、1966年に博士号取得。同年カリフォルニア大学バークレー校数学科助教授となったが、1970年には在職権を更新できなかった。バークレーの電気工学・計算機科学科の30周年式典でのスピーチで、チューリング賞受賞者で同大学教授リチャード・カープは「数学科を説得して彼に在職権を与えさせられなかったのは、我々の永遠の恥辱である」と述べた。同年トロント大学計算機科学・数学科の准教授となり、1975年には教授、1985年には大学教授 (University Professor) となった（現職）。

**研究**
博士課程では、関数、特に乗法の複雑性を研究。1966年に博士号を取得した。数年後の1971年の論文 "The Complexity of Theorem Proving Procedures"（定理証明手続きの複雑性）で、多項式時間変換（チューリング還元）の記法とNP完全性を定式化し、充足可能性問題 (SAT) がNP完全だと示すことでNP完全問題の存在を証明した。特に後者の件はソビエト連邦のLeonid Levinも独自に発見しており、Cook-Levin theoremと呼ばれている。その論文では計算機科学最大の問題である「P対NP問題」も定式化している。「P対NP問題」は非形式的には、答えの正しさや最適さを効率的に確認できるあらゆる最適化問題について効率的アルゴリズムで最適に解くことができるかどうか、という問題である。日常生活におけるそのような最適化問題は豊富に存在するので、「P対NP問題」への肯定的な答えが得られれば、実用的にも哲学的にも意義深い結果となる。
クックは、（容易に解を検証可能な）最適化問題の中に効率的アルゴリズムで解けないものがある、すなわち P と NP は等しくないと予想した。この予想は計算複雑性理論の研究を活発化させ、それによって計算問題の本質的複雑性への理解が深まり、効率的に計算できる問題についても理解が深まった。クックのP≠NP予想は今も証明されておらず、有名な7つのミレニアム懸賞問題の1つとされている。
その計算複雑性理論への多大な貢献により、1982年のチューリング賞を受賞。 受賞理由は次の通り。
重要かつ意義深い方法で我々の計算複雑性への理解を高めさせた貢献に対して。彼の重要な論文 The Complexity of Theorem Proving Procedures は1971年 ACM SIGACT 計算理論シンポジウムで発表され、NP完全性の理論の基礎となった。過去10年間、この領域は計算機科学の中でも最も活発な研究の場となった。
1975年に発表した論文 "Feasibly Constructive Proofs and the Propositional Calculus"で、多項式時間の概念のみを使った証明の記述を定式化するPV (Polynomial-time Verifiable) 方程式理論を提唱。1979年には指導学生 Robert A. Reckhow と連名の論文 "The Relative Efficiency of Propositional Proof Systems"では、p-simulation と効率的なpropositional proof systemの記法を定式化し、そこから命題論理proof complexityと呼ばれる分野が生まれた。彼らは「あらゆる真の論理式について短い証明がある証明系の存在」と NP = coNP が等価であることを証明した。クックはこの分野について指導学生 Phuong The Nguyen と共同で "Logical Foundations of Proof Complexity" という本を執筆している。
クックの主な研究領域は計算複雑性理論とproof complexityであり、プログラム意味論、並列計算、人工知能にも関心を寄せている。

**受賞歴**
 1977年 - Steacie Fellowship- 1982年 - Killam Research Fellowship- 1982年 - チューリング賞- 1999年 - CRM-Fields-PIMS prize- 2006年 - John L. Synge Award- 2008年 - Association for Computing Machinery (ACM) フェロー- 2010年 - ヘルツバーグメダル
王立協会とカナダ王立協会のフェローである。また、米国科学アカデミーとアメリカ芸術科学アカデミーの会員にも選ばれている。これまでに30人の学生が彼の指導で博士号を取得している。

**私生活**
子どもは2人おり、2012年現在は妻と共にトロント在住。趣味はヴァイオリンとセーリング。

**脚注**

**関連項目**
 ハーバード大学の人物一覧

**外部リンク**
  本人のウェブページ（英語）-  Oral history interview with Stephen Cook at Charles Babbage Institute, University of Minnesota. - title=Stephen Cook-  Stephen Cook at DBLP
ジョン・バッカス

ジョン・ワーナー・バッカス（John Warner Backus, 1924年12月3日 - 2007年3月17日）は、アメリカ合衆国の計算機科学者。初期の高水準プログラミング言語 (FORTRAN) の発明者、（形式言語の文法の定義に汎用的に用いられる）バッカス・ナウア記法の発明者、またfunction-level programming (Function-level Programming) の提唱者でもある。

**生涯**
ペンシルベニア州フィラデルフィアで生まれ、デラウェア州ウィルミントンで育った。ペンシルベニア州ポッツタウンの The Hill School で学んだが、まじめな学生だったとは言えない。化学を学ぶためにバージニア大学に進学したが挫折し、アメリカ陸軍に入隊。ハバフォード大学で医療を学びはじめ、病院でのインターン時代に頭蓋の骨腫瘍と診断されたものの、手術は成功した。手術で頭にプレートを入れられ、9カ月で医療の道をあきらめたが、後に自分が設計したプレートに入れ替える手術を行った。
ニューヨーク市に移り住み、ラジオ技術者としての訓練を受け始め、数学が向いていることに気づいた。彼は1949年にコロンビア大学で数学の修士号を取得し、1950年にIBMに入社した。IBMでの最初の3年間、彼はSSECを使った仕事に従事した。最初の大きな仕事は月の位置を計算するプログラムを作成することだった。1953年、プログラミング言語 Speedcoding を開発。IBMのコンピュータで動作する初の高水準言語だった。
プログラミングが難しいことから、1954年になるとバッカスはチームを結成して IBM 704 コンピュータのためのFORTRANの設計と開発を行った。これは世界初の高水準プログラミング言語ではないものの、広く使われた世界初の高水準言語となった。
1950年代後半、バッカスは ALGOL 58 を開発した国際委員会の一員としても働いた。ALGOLはアルゴリズムを記述する際の世界的なデファクトスタンダードとなった。また1959年、UNESCOレポートにおける ALGOL 58 の言語仕様記述のためバッカス・ナウア記法 (BNF) を考案。BNFは任意の文脈自由な形式言語の文法（形式文法）を記述でき、その後のプログラミング言語の開発に重要な役割を果たした。これらの貢献からチューリング賞を受賞した。
その後彼はlabel=「関数レベル」プログラミング言語 FP に取り組んだ。これはチューリング賞受賞の際の講演 "Can Programming be Liberated from the von Neumann Style?"（プログラミングはフォン・ノイマン的スタイルから解放されるか?）で述べられている。この論文は FORTRAN を生み出したことへのバッカスの謝罪と受け取られることもあり、彼の研究していた FP そのものよりも関数型プログラミング一般の研究を盛んにする結果となった。FPインタプリタは 4.2BSD 上に実装されている。FP はケネス・アイバーソンのAPLの影響を強く受けており、標準的でない文字も使っている。その後のバッカスは FP言語の後継の FL (Function Level) の開発に注力した。FL はIBM内部のプロジェクトであり、プロジェクト終了とともに言語の開発も終了し、論文もわずかしか発表されていない。しかし、この言語の革新的で重要なアイデアの数々はアイバーソンのJ言語に実装された。
バッカスは1963年にIBMフェローとなった。1993年にはチャールズ・スターク・ドレイパー賞を授与された。1991年から引退生活に入り、2007年3月17日、オレゴン州アシュランドで死去した。

**受賞歴**
 1963年 - IBMフェロー- 1967年 - W.W. McDowell Award- 1975年 - アメリカ国家科学賞- 1977年 - チューリング賞- 1985年 - アメリカ芸術科学アカデミーのフェロー- 1989年 - 名誉学位（Université Henri Poincaré）- 1993年 - チャールズ・スターク・ドレイパー賞- 1997年 - コンピュータ歴史博物館フェロー（コンピュータの殿堂）
2007年6月1日、小惑星 6830 にバッカスの名がつけられた（6830 Johnbackus）
チューリング賞の受賞理由は以下の通り:- 特にFORTRANの研究によって行われた、実用的な高水準プログラミングシステムの設計への深く、影響力のある恒久的貢献に対して。そして、プログラミング言語の仕様記述の形式的手法についての強い影響力のある出版に対して。- (原文) For profound, influential, and lasting contributions to the design of practical high-level programming systems, notably through his work on FORTRAN, and for seminal publication of formal procedures for the specification of programming languages.

**注釈・出典**

**外部リンク**
  Biography at School of Mathematics and Statistics University of St Andrews, Scotland-  Biography at The History of Computing Project-  Can Programming Be Liberated From the von Neumann Style? 1977年チューリング賞講演-  New York Times obituary for John W. Backus-  IBM Archives-  About BNF-  Hall of Fellows コンピュータ歴史博物館-  Memorial delivered at the 2007 Conference on Programming Language Design and Implementation
ロバート・タージャン

ロバート・アンドレ・タージャン（Robert Endre Tarjan、1948年4月30日 - ）は、アメリカ合衆国の計算機科学者。
などのグラフアルゴリズムを発見し、スプレー木とフィボナッチヒープというデータ構造を共同で発明した。2012年現在はプリンストン大学で計算機科学の教授を務めており、ヒューレット・パッカードのシニアフェローでもある。

**学生時代まで**
カリフォルニア州ポモナで生まれる。父は精神薄弱が専門の小児精神科医で、州立病院の院長を務めていた。子どものころSFをよく読んだタージャンは、天文学者になりたいと思っていた。その後サイエンティフィック・アメリカン誌に連載されていたマーティン・ガードナーの「数学ゲーム」を読んで数学に興味を持つようになる。8年生のころ「非常に刺激的な」教師の影響で真剣に数学を志すようになる。
高校のとき、パンチカードの照合の仕事を経験。1964年の Summer Science Program で天文学を学ぶ中で、初めて実際のコンピュータに触れている。
1969年、カリフォルニア工科大学で数学の学士号を取得。スタンフォード大学に進学して計算機科学を専攻し、1971年には修士号、1972年には Ph.D. を取得した。スタンフォードでの指導教官はロバート・フロイドとドナルド・クヌースで、どちらも有名な計算機科学者である。博士論文は An Efficient Planarity Algorithm と題したものだった。タージャンは、数学が実用的インパクトを持つことができる分野として計算機科学を専門とすることを選択したという。

**経歴**
その後、コーネル大学 (1972–73)、カリフォルニア大学バークレー校 (1973–1975) を経て、1977年からスタンフォード大学助教授、1981年からニューヨーク大学準教授、1985年からプリンストン大学教授を務めた。また1989年から1997年まで、NECの研究所のフェローを務めていたdate=2012年7月。
ベル研究所 (1980–1989)、InterTrust Technologies (1997–2001)、コンパック (2002) にも席を置いたことがあり、2006年以降はヒューレット・パッカードに在席している。ACMとIEEEのいくつかの委員会で委員を務め、学会誌の編集も務めたことがあるdate=2012年7月。

**アルゴリズムとデータ構造**
タージャンは様々な分野の問題を解くのに適した効率的なアルゴリズムやデータ構造を多数設計している。
グラフ理論のアルゴリズムとデータ構造についての先駆的業績がよく知られている。例えば、Tarjan's off-line least common ancestors algorithmやTarjan's strongly connected components algorithmがある。ホップクロフト-タージャンplanarity testingアルゴリズムは、世界初の線形時間の（グラフの）平面性判定アルゴリズムである。
また、フィボナッチヒープ（木構造群からなるヒープデータ構造）とスプレー木（平衡2分探索木の一種で、Daniel Sleatorと共同開発）という重要なデータ構造を開発した。素集合データ構造の分析でも多大な貢献をしている。また、初めて逆アッカーマン関数の最適実行時間を証明した。

**受賞歴**
 1982年 - ネヴァンリンナ賞受賞- 1984年 - NAS Award for Initiatives in Research- 1986年 - チューリング賞。ジョン・ホップクロフトと共同受賞。「アルゴリズムとデータ構造の設計と分析における基礎的貢献に対して」。- 1994年 - Association for Computing Machinery フェロー- 1999年 - Paris Kanellakis Award (ACM)- 2004年 - Blaise-Pascal-Medaille（European Academy of Sciences）- 2010年 - Caltech Distinguished Alumni Award（カリフォルニア工科大学）

**出典**

**参考文献**
  oclc = 10120539-  oclc =  10018128-  OCLC entries for Robert E Tarjan-  DBLP entry for Robert Endre Tarjan

**関連項目**
 スプレー木- 素集合データ構造

**外部リンク**
  DBLP: Robert Endre Tarjan-  List of Robert Tarjan's patents on IPEXL's Patent Directory-  Robert Tarjan's home page at Princeton.-  Mathematics Genealogy Project entry for Robert Endre Tarjan.
ネヴァンリンナ賞

ロルフ・ネヴァンリンナ賞のメダル
ロルフ・ネヴァンリンナ賞（ロルフ・ネヴァンリンナしょう、Rolf Nevanlinna Prize）は、以下のような情報科学の数学的側面における優れた貢献に対して、4年に一度の国際数学者会議において授与される賞である。2022年より、IMUアバカス・メダル（IMU Abacus Medal）に改称された。
#計算複雑性理論、プログラミング言語の論理、アルゴリズム解析、暗号理論、コンピュータビジョン、パターン認識、情報処理、知能のモデル化など、計算機科学の全ての数学的側面。
#計算科学と数値解析。数理最適化と制御理論の計算的側面。redirect=1。
国際数学連合の実行委員会によって1981年に創設された賞で、創設の前年に亡くなったフィンランドの数学者ロルフ・ネヴァンリンナに因んで命名された。受賞者には金メダルと報奨金が授与される。フィールズ賞と同様に若手の数学者を対象としており、受賞年の1月1日時点で40歳未満の数学者のみが対象となっている。

**メダル**
メダルの表面には、ネヴァンリンナの横顔、"Rolf Nevanlinna Prize"という文字、そして"RH 83"という非常に小さな文字が刻まれている。"RH"はメダルをデザインしたRaimo Heinoの名前を、"83"は初鋳造年を表している。裏面には、賞のスポンサーであるヘルシンキ大学に関係する2人の人物が刻印されている。メダルの縁には受賞者の名前が刻まれる。

**名称の変更**
世界数学競技連盟会長のAlexander Soiferは、ネヴァンリンナがヒトラーの支持者であり、第二次世界大戦中にFinnish Volunteer Battalion of the Waffen-SSの代表として活動していたことから、ネヴァンリンナに因んだこの賞の名称に苦言を呈していた。ソイファーは2015年の著書の中でネヴァンリンナの戦時中の活動について論じており、個人的にも組織的にも賞の名称変更を求めるべきだとする要望をIMUの実行委員会に送った。2018年7月、IMUの第18回総会で、ロルフ・ネヴァンリンナの名前を賞の名称から外すことが決定された。その後、この賞はIMUアバカス・メダルに改称されることが発表された。

**受賞者**
ネヴァンリンナ賞
アバカス・メダル

**関連項目**
国際数学者会議
** ガウス賞
** チャーン賞
** フィールズ賞- チューリング賞- ゲーデル賞- アーベル賞- ショック賞- ウルフ賞数学部門- List of computer science awards- List of mathematics awards

**脚注**

**外部リンク**
 Rolf Nevanlinna Prize | International Mathematical Union (IMU)- IMU Abacus Medal | International Mathematical Union (IMU)