hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
ジェフ・フランコーア 人物
2012年4月10日、オークランド・アスレチックス私設応援団のBleachersによるベーコン・チューズデーという第2回目のイベントがオー・ドットコー・コロシアムで開催された。アウェーゲームで相手チームの応援団のイベントだが、フランコーアがスポンサーを務めた。彼らにピザ20枚と、サイン入りバットをサプライズプレゼントしている。
カルマンフィルター
カルマンフィルター (英: Kalman filter) は、誤差のある観測値を用いて、ある動的システムの状態を推定あるいは制御するための、無限インパルス応答フィルターの一種である。
カルマンフィルター 実用例
カルマンフィルターは、 離散的な誤差のある観測から、時々刻々と時間変化する量（例えばある物体の位置と速度）を推定するために用いられる。レーダーやコンピュータビジョンなど、工学分野で広く用いられる。例えば、カーナビゲーションでは、機器内蔵の加速度計や人工衛星からの誤差のある情報を統合して、時々刻々変化する自動車の位置を推定するのに応用されている。カルマンフィルターは、目標物の時間変化を支配する法則を活用して、目標物の位置を現在（フィルター）、未来（予測）、過去（内挿あるいは平滑化）に推定することができる。
カルマンフィルター 歴史
このフィルターはルドルフ・カルマンによって提唱されたが、同様の原理はトルバルド・ティエレとピーター・スワーリングによってすでに開発されていた。カルマンがアメリカ航空宇宙局のエイムズ研究センターを訪問した際、この理論がロケットの軌道推定に有用なことに気づき、のちのアポロ計画で用いられた。
カルマンフィルター 用いられる動的システム
カルマンフィルターは時間領域において、連続時間線形動的システム、もしくは離散化された離散時間線型動的システムに基づいて駆動する。以降に導入される解説は、後者の立場のものである。それらはガウス白色雑音によって励振をうける線形演算子からなるマルコフ連鎖モデルにより表現される。より端的にいえば、システムは状態空間モデル (state space model) で表現されるということである。
カルマンフィルター 用いられる動的システム
対象のシステムに定義された「状態 (state)」は、そのシステムの過去の動特性の遷移を保持する役割を果たし、動特性の遷移を保持する線形空間が状態空間として定義される。この空間は実数空間であるため、システムの状態は一般に、任意の次元の状態空間に含まれる実数ベクトルとして与えられる。状態の変化は、現在の状態と、それに付加する雑音の影響と、場合によってはシステムの状態の制御に関与する既知の制御入力の線形結合によって記述される。したがって、状態はシステムの因果性に寄与する存在である。上記の理念は、以下に記述する状態方程式 (state equation) によって表現される。
状態が直接観測できない場合には、システムの出力は一般に状態と観測雑音の線形結合として観測が可能なものとして与えられる。この理念は観測方程式 (observation equation) として、以下に示すような線形モデルで表現される。
カルマンフィルターは、システムの状態が直接観測できない問題に対する状態推定法であるから、一般的に観測方程式を伴う問題に適用される。
カルマンフィルター 用いられる動的システム
カルマンフィルターは隠れマルコフモデル (hidden Markov model) の類似であると考えることができる。両者の主な差異は隠れマルコフモデルにおける状態変数が、連続であるか離散であるかである。また、隠れマルコフモデルでは状態変数の未来への変化を任意の分布に従う形式で統計的に与えることができる一方で、カルマンフィルターでは、ガウス分布に従う雑音によって未来の状態変数が統計的に記述される点が異なっている。したがって、カルマンフィルターと隠れマルコフモデルの間には強固な双対性が存在する。ちなみに、カルマンフィルターの導出過程においては、「システムに付随する雑音の性質はガウス分布に従う」という仮定の下に行われるのが一般的であるが、雑音の性質がガウス分布に従わない場合であっても、カルマンフィルターは線形なクラスにおける最適な推定値、すなわち線形最小分散推定値を導くことができる点で、汎用性に富んでいるといえる。
カルマンフィルター 用いられる動的システム
観測が可能な唯一の、雑音の影響を受けた出力過程に基づいて（制御問題であれば、入力も観測可能な過程となる）、システムの状態をカルマンフィルターを用いて推定するためには、対象とするシステムに対して、カルマンフィルターの理念と合致するような状態の遷移（すなわち状態過程）に関するモデルを与えなければならない。これは、時変 (time-variant) な行列 , 
, 
, ,  によって特徴付けられる線形方程式として、以下で与えられる。これが状態方程式である。
時刻  における真のシステムの状態は、１ステップ前の時刻  の状態をもとに、次のように表現される。
ここで、
これがシステムの状態の遷移を記述する状態方程式である。
ある時刻  において、観測量（測定量） は、真の（すなわち観測不可能な）状態  と、以下のような関係にある。
ここで、 は状態空間を観測空間に線形写像する役割を担う観測モデルであり、  は、その共分散行列が  で平均が零の多変数正規（ガウス）分布に従う雑音である（観測雑音 (observation noise) ）。これが観測方程式である。
システムの初期条件と雑音
  は、互いに統計的に独立であると仮定する。
状態方程式と観測方程式を合わせて、状態空間モデルという。上記の状態空間モデルは時変システムを表現しているが、特別な場合として添字がの行列を定数であるとすれば、時不変システム (time-invariant) も表現できる。
実際の多くの動的システムでは上記の状態空間モデルは厳密には適合しないが、カルマンフィルターは雑音の影響を考慮して設計されているため、上記のモデルは対象システムに近似的に適合するものと考えられ、そのことを理由としてカルマンフィルターの有用性は十分に認められている。カルマンフィルターは洗練された様々な拡張がなされており、それは以降に述べられる。
カルマンフィルター カルマンフィルター
カルマンフィルターは、システム（系）の現在の観測量と 1 ステップ前の状態推定値のみから（モデルが制御入力を受ける場合には現在の入力値も用いて）、現在の状態推定値（ろ波推定値）と 1 ステップ先の状態予測値（ 1 段予測値）を与える、反復推定器（反復推定型フィルター）である。例えばローパスフィルターなどの多くのフィルターが周波数領域で設計され、時間領域へ変換されて実演される中で、カルマンフィルターは純粋に時間領域でのみ設計されるフィルターで、その意味で特異な存在であるといえる。カルマンフィルターは基本的に線形なクラスのフィルターであり、システム（系）が無限の過去から駆動し続けていると仮定すると、状態の推定値は、それまでにシステム（系）から観測された観測値の全て（システム（系）が制御入力を受ける場合は入力値の全ても含めて）を用いた線形結合の形で表現される。その意味で、カルマンフィルターは無限インパルス応答フィルターであると解釈できる。反復推定との対応関係は、1 ステップ前の状態推定値が 1 ステップ前までの全ての観測値（入力値も含め）の情報を線形結合の形で保有しているという事実により与えられる。
カルマンフィルター カルマンフィルター
以降、 は時刻 m 時点での時刻 n の状態推定値を示すものとする。
フィルターの現在(時刻 k )の状態(様子)は、以下の２つの変数で特徴付けられる。
カルマンフィルターは、時間ステップをひとつ進めるために予測と更新の二つの手続きを行う。予測の手続きでは、前の時刻の推定状態から、今の時刻の推定状態を計算する。更新では、今の時刻の観測を用いて、推定値を補正してより正確な状態を推定する。
（今の時刻の予測推定値）
 （今の時刻の予測誤差行列）
（観測残差、innovation）
 （観測残差の共分散）
 （最適 カルマンゲイン）
 （更新された状態の推定値）
 （更新された誤差の共分散）
もし、モデルが正確で初期条件  と  が正確ならば、全ての推定量は不偏である。
ここに、 は、期待値。また、共分散は、推定値の誤差共分散である。
カルマンフィルター 設定例
まっすぐで無限の長さを持つ摩擦の無いレールの上に乗っているトロッコを考えよう。初期条件は、トロッコは位置 0 に静止している。トロッコにはランダムな 力（加速度）が与えられる。Δt 秒ごとにトロッコの位置 x を観測する。ただしこの観測には誤差が混入している。トロッコの位置と速度のモデルを考えると、以下の様に設定すると、カルマンフィルターを用い得る。
制御の必要はないから、 uk は考えない。行列 F、 G、 H、 R、 Q は時間変化しないので添字は付けない。
トロッコの場所と速度は、
で、表される。  は位置の時間微分、すなわち速度である。
時刻 k − 1 と時刻 k の間に加速度がトロッコに与えられる。加速度は平均 0 標準偏差の正規分布をしている。運動の第2法則により、
ここに、
かつ
である。の共分散は、がスカラーであることを用いて、
それぞれの時刻に、トロッコの位置を観測する。観測誤差も平均 0 で標準偏差の正規分布と仮定する。
ここに、
かつ
である。
初期条件は正確に分かっているので、
もしも、初期条件に誤差があるならば、誤差の大きさに応じて B を設定し、
と、取るべきである。もし B が大きければカルマンフィルターは、初期条件より、それ以降の観測に重みを置くようになる。
カルマンフィルター 導出
時間を進めるための予測と更新の手続きのうち、更新が終わったあとの共分散行列 Pk|k をまず求める。上の定義式、
に、推定値  の定義を代入。
続いて、観測残差  を代入。
そして、観測値  と真の値の関係を代入。
変形して、
観測誤差 vk は、他の項と相関がないから、
となり、さらに変形
して、前述の不偏量 Pk|k-1 と、観測誤差共分散 Rk を用いて、
を得る。この式は、 Kk がどんな値であっても成立するが、 Kk が、最適カルマンゲインの時は、以下のようにさらに簡略化される。
カルマンフィルターは最小平均二乗誤差(minimum mean-square error: MMSE)推定値を与える。すなわち、更新後の誤差の推定値は
であり、このベクトルの大きさの二乗の期待値  を最小にするような推定値を与える。これは、更新後の共分散 Pk|k のトレースを最小とすることと同じである。上の式を展開して、
カルマンフィルター 導出
MMSE を導くゲインは、Pk|kのトレースを最小にするから、
必要条件として、Kkによる行列微分は下記が成立しなければならない。
ここからカルマンゲイン Kk を求める。
このゲインは、最適カルマンゲインと呼ばれる。
カルマンゲインが上述の値を取るとき、更新後の誤差共分散行列は以下のように簡単になる。カルマンゲインの式の両辺の右から SkKkT をかけて、
更新後の誤差共分散行列を展開して、
右の二項は相殺するから、
.
計算量が少ないため、ほとんどの場合この式が用いられるが、カルマンゲインが上記の最適解の時にしか適用できないことに注意。計算上の桁落ちなどで解の安定性が悪いときやなんらかの理由で敢えて最適でない解を用いるときは使えない。
カルマンフィルター 再帰ベイズ推定との関係
真の状態は一次マルコフ過程であると仮定され、観測値は隠れマルコフモデルからの観測された状態である。 仮定より、ひとつ前の時刻の状態にのみ依存して
同様に、時刻 k での観測値は現在の状態にだけ依存して、過去には依存しないものとする。
これらの仮定を用いると、隠れマルコフモデルの観測が z1, z2, zk と得られる確率は、
で、表される。
一方、カルマンフィルターで状態 x を求めるには現在の系の状態とそれまでの観測だけを用いる。
カルマンフィルターの予測と更新の手続きを、確率を使って表してみる。予測後の状態の確率分布は、時刻 k − 1 から時刻 k への変化に関する確率と、時刻 (k − 1) の状態の積になるから、
時刻 t までの観測は
である。
更新後の確率は観測の起こりやすさ（尤度）と予測された状態の積に比例するから
となる。分母の
は、全確率を 1 にするための因子であまり重要ではない。
他の確率分布関数も
と書ける。
カルマンフィルター 情報フィルター
情報フィルターもしくは逆共分散フィルターにおいては、カルマンフィルターにおける推定された共分散と状態が、各々フィッシャー情報行列と情報ベクトルに置き換わる。
同様に、予測された共分散と状態は情報形式と等価になり、以下と定義する。
観測共分散と観測ベクトルがあるとして、以下で定義する。
このとき、情報更新は簡便な和算となる。
情報フィルターの主たる優位性は、以下に示すように、N 個の観測値は各時間毎に、観測値の情報行列と情報ベクトルの和算でシンプルにフィルター処理される点である。
情報フィルターを予測するために、情報空間予測を用いることができる。
なおであれば、である。F は可逆（正則）の必要がある。
注意すべきは、もし F, G, Q が時不変(time invariant)ならば、それらの値は保存しておける点である。
カルマンフィルター 固定区間平滑化
固定区間平滑化（fixed-interval smoother）は、平滑化解および（、は固定値とする）を求める。
Rauch–Tung–Striebelの関係式（）：
において、、の右式はに依存しない。なおは情報フィルターのそれに等しい。
これを用いて固定区間平滑化解が求められる。すなわちフィルター計算でにおける上記の値を求めておき、それらを用いて、
を逆方向（backward）すなわち、kが減る方向に逐次計算し平滑化解が求められる。ここで計算が丸め誤差を持っていても、は必ず半正定値となる。
また、上記を変形すると、Bryson–Frazierの固定区間平滑化と等価の式が得られる。すなわち、
また、Biermanによって上記の変形式が得られている。これは、という逆行列計算を必要とせず平滑化解を得られる。すなわち、
カルマンフィルター 非線型カルマンフィルター
ここまでは線形の仮定が成り立つ系をとりあつかってきたが、実際の系の多くは非線型である。時間発展モデルも観測モデルもどちらも非線型になりうる。
ここでは時間発展モデル
と、観測モデル
を考える。どちらも微分可能であれば線形である必要はない。関数 f は前の状態から推定値を与え、関数 h は観測値を与える。どちらの関数も直接共分散を求めることはできず、偏微分行列（ヤコビアン）を用いる必要がある。
原理としては、非線型モデルを現在の推定値の回りで線形化する。そのためにそれぞれの時刻で、ヤコビアンを計算する。すなわち、
予測
更新
出てくる行列は次のヤコビアンで定義される。
非線型性の強いとき、拡張カルマンフィルターの性能は悪い。理由は平均値だけが非線型性に反映されるからである。unscented カルマンフィルターは、シグマ点とよばれる代表点を平均値の回りで用いて、推定値の共分散を計算する。こうすることにより、真の平均と共分散により近い値が得られることがモンテカルロ法や、テイラー展開によって示される。しかも解析的にヤコビアンを計算する必要がなくなるという利点がある。これは複雑なモデルでは有利である。
予測
カルマンフィルター 非線型カルマンフィルター
拡張カルマンフィルターと同様、 unscented カルマンフィルターの予測手続きは更新手続きと別であり、更新手続きに線形カルマンフィルターや拡張カルマンフィルターを用いたり、その逆を行うことも可能である。推定値と共分散には、予測ノイズの平均と共分散項が加えられる。
シグマ点 2L+1 個は、付け加えた項から計算される。ここに L は付け加えた状態項の次元である。
シグマ点は関数 f で時間発展する。
予測値と共分散は重み付き平均で求められる。
重みは以下のように与えられる。
α = 10-3、β = 2 、κ = 0 といった値がよく用いられる。
更新
予測値と共分散には、上と同様に観測値のノイズの平均と共分散項が加えられる。
シグマ点 2L+1 個は、付け加えた項から計算される。ここに L は付け加えた状態項の次元である。
もし、予測手続きも unscented カルマンフィルターで行われていたならば、以下のような変形も可能である。
ここに、
である。シグマ点は関数 h で観測値に変換される。
重み付き平均で、観測値とその共分散を推定する。
推定値と観測値の相関行列
を用いて unscented カルマンゲイン
を計算する。以下は線形の場合と同様である。
真の状態xtをノミナル状態xと誤差状態δxに分解する。
状態方程式
真の状態方程式をfとする。
この状態方程式を、ノミナル状態方程式と誤差状態方程式feに分解する。ノミナル状態は真の状態方程式に従うので、以下の式が得られる。
誤差状態方程式の誤差項の２乗を無視することで、線形な誤差状態方程式を得ることができる。
嗅覚受容神経
嗅覚受容神経（きゅうかくじゅようしんけい）あるいは嗅神経は、嗅覚系において主要な変換細胞である。
嗅覚受容神経 脊椎動物
ヒトにはおよそ4000万個の嗅覚受容神経がある。脊椎動物では嗅覚受容神経は鼻腔の嗅上皮上に位置する。双極神経であり、鼻腔内腔に面する樹状突起と、嗅神経に沿って嗅球に伸びる軸索を持つ。
多くの小さな繊毛が嗅覚受容細胞の樹状突起から嗅上皮表面を覆う粘膜に向かって突き出ている。これらの繊毛は、Gタンパク共役受容体の一種である嗅覚受容体を有する。各々の嗅覚受容細胞は1種類の嗅覚受容体しか持たないが、多くの隔たった嗅覚受容細胞は同じ種類の嗅覚受容体を持つ。同種類の嗅覚受容細胞の軸索が集中し嗅球の糸球体を形成している。
嗅覚受容体は多様なにおい分子に結合出来る。活性化された嗅覚受容体は次々と細胞内のGタンパク質GOLFを活性化し、アデニル酸シクラーゼとサイクリンAMPの産生物が細胞膜のイオンチャネルを開ける。それによりナトリウムイオンとカリウムイオンが細胞内に流入するが、この陽イオンの流入によって神経が脱分極化し、活動電位が発生するのである。
個々の嗅覚受容体は嗅上皮にある神経幹細胞によって、およそ40日ごとに置き換えられる。嗅覚受容細胞の再生は中枢神経系の成熟神経細胞における稀な例の一つとして、多大な興味を引き起こし成熟個体の神経の発生と分化経路分析の対象となるのである。
嗅覚受容神経 昆虫
昆虫では嗅覚受容神経は通例触角に位置する。脊椎動物とよく似て、感覚神経からの軸索は触角葉にある糸球体に集中する。
嗅覚受容神経 研究
ネズミの嗅覚細胞を遺伝子操作で取り除いた結果ネコを怖がらなくなる。
吉田杯ジャンプ大会
吉田杯ジャンプ大会（よしだはいじゃんぷたいかい）は名寄市ピヤシリジャンプ競技場で開催されるスキージャンプの大会である。
吉田杯ジャンプ大会 概要
名寄ピヤシリジャンプ大会との2連戦は冬シーズン（雪上）の国内開幕戦シリーズとして知られている。会場ではスポンサーの吉田病院より豚汁、甘酒などの温かい物が無料で振舞われており、冷や麦やかき氷などが振る舞われる名寄サンピラー国体記念サマージャンプ大会と合わせて名寄開催試合での無料サービスは一種の名物となっている。
なお、「吉田杯」は名寄地方スキー連盟会長であり、医療法人臨生会（吉田病院）理事長の吉田肇に由来する。
毒草を食べてみた
『毒草を食べてみた』（どくそうをたべてみた）は、2000年に文藝春秋より刊行された新書。著者は植物に関するエッセイや翻訳等で知られる植松黎。
毒草を食べてみた 備考
タイトルからするとアングラ系の本を連想させる。しかし、基本的に麻薬や法律で禁止されている植物の栽培を推奨している記述は一切無いどころか、ケシのページで「ケシほど卑しい目的（アヘンの製造）のためによって作り変えられた植物も無い」などと薬物に対する批判を行っているため、法律で規制されている薬物の使用や栽培を推奨しているいわゆるアングラ系の本からは距離を置いている。
表明 (プログラミング)
表明（ひょうめい、英: assertion）とは、プログラミングにおける概念のひとつであり、そのプログラムの前提条件を示すのに使われる。アサーションとも呼ばれる。表明は、プログラムのその箇所で必ず真であるべき式の形式をとる。多くの言語ではそのような前提条件のチェックに表明を使用するが、設計上の判断を文書化するのに使う場合もある。表明が偽となった場合、プログラムにバグが潜在していることを示している。これを「表明違反; assertion failure」と呼ぶ。表明を言語構文や標準ライブラリとしてサポートするプログラミング言語も存在する。
プログラマは、開発過程でソースコードに表明を追加する。デバッグを単純化し、問題を早期に検出するためである。表明違反はバグを示していることが多いため、表明の実装では問題の元を示すために追加情報を表示するようになっていることが多い（ソースコードのファイル名と行番号、スタックトレースなど）。ほとんどの実装では、そのプログラムの実行が即座に停止する。
表明 (プログラミング) 例
例えば、次の疑似コードには2つの表明が含まれている。
x > 0 と x > 1 が表明であり、実行時のその時点でいずれも真である。
この例では、アントニー・ホーアが1969年の論文で採用した表明の記法を使っている。この記法は主なプログラミング言語では採用されていない。しかし、実行時にチェックされない表明としてコメントにこの記法で書いておくことはできる。例えばC/C++では次のようになる。
コメント内の表明を括弧で囲んでおくことで、他の通常のコメントと区別しやすくなる。
表明 (プログラミング) 使用法
Eiffelのような言語では、表明は設計工程の一部である。CやJavaでは実行時に前提条件をチェックするだけである。いずれの場合も実行時に正当性をチェックすることができるが、ソフトウェアの開発時（デバッグ時）のみ有効化され、最終的には（ソフトウェアのリリース時には）無効化（抑止）されることが多い。
表明を仕様書の一種と見ることもできる。コードの部分が動作する前に期待される状態（事前条件）を記述し、そのコードを実行した後に期待される状態（事後条件）を記述する。また、クラスの不変条件を記述することもできる。Eiffelではそのような表明は言語に組み込まれており、そのクラスの仕様書の自動生成に使用される。これは契約プログラミングの重要な部分でもある。
この手法は、契約プログラミングを明確にはサポートしていない言語でも利用価値がある。コメントではなく表明を使用する利点は、表明がプログラムの実行毎にチェックされる点である。表明が真でなくなると、エラーが表示される。これによりコードの実装が表明とずれてしまった場合を早期に検出する。これはつまり、コメントとコードの内容の不一致の問題と同じである。
表明はプログラマが前提条件としていたことがプログラム実装中にも保持され、プログラム実行時でも正しいことを保証するのに使われる。例えば、以下のJavaコードを見てみよう:
表明 (プログラミング) 使用法
Javaでは % は剰余演算子である。その第一オペランドが負であった場合、演算結果も負となる。ここでプログラマは total が負でないという前提でコーディングしており、2 で割った剰余は常に 0 か 1 だと考えている。表明（assert）は、その前提条件を明確に示している。countNumberOfUsers が負数を返す可能性があるなら、これはプログラムのバグとなる可能性がある。
この技法の主な利点は、問題が発生したときにそれを即時かつ直接的に検出できる点であり、後から検出しても様々な副作用によって真の原因がなかなかつかめないことがある。表明違反はコード上の位置を表示することが多いので、煩雑なデバッグ作業なしで問題点を即座に発見することができる。
表明は決して実行されないと見なされている箇所に置かれることもある。例えば、C、C++、Javaのような言語で、switch 文の default 節に表明を置くことがある。プログラマが予期しない状態が発生した場合、実行をそのまま続けるのではなく、エラーを発生させてプログラムを停止させるのである。
Javaでは、表明はassert文としてバージョン 1.4 から言語の一部となった。表明違反は AssertionError を発生させる。
表明 (プログラミング) 使用法
Cでは標準ヘッダファイル assert.h で assert(expression) マクロが定義されており、NDEBUGシンボルが定義されていない場合に有効になる。表明が失敗した場合、エラーメッセージを標準エラーに表示した後、abort()関数でプログラムを強制終了させることが規定されている。C++の標準では cassert というヘッダを必要とするが、ライブラリによってはC言語同様の assert.h が使用可能となっている。
表明はメモリの内容を書き換えてしまったり、スレッドの動作タイミングを変えてしまったり、といった副作用を持つ危険性がある。表明はプログラム本体への副作用を生じないよう注意深く実装する必要がある。
開発中、プログラマは表明を入れた状態でプログラムを実行する。表明違反が発生すると、プログラマに即座に問題が通知される。ほとんどの表明の実装ではプログラムの実行も停止する。プログラムがそのまま実行を続けてしまうと問題の原因を究明することが困難となる可能性が高い。表明違反で表示される情報（違反発生箇所やスタックトレース）を使えば、プログラマは容易に問題を解決できる。このようにして表明はデバッグ工程を単純化する。
表明 (プログラミング) 使用法
コンパイル時にチェックされる表明は静的表明と呼ばれる。静的表明は言語規格で規定されていない数値型のサイズをコンパイル時にチェックするといった用途のほか、コンパイル時のテンプレートメタプログラミングに特に有効である。D言語は静的表明 static assert をサポートしている。また、C++ではC++11規格において static_assert が導入された。C言語でもC11規格で _Static_assert が導入された。
旧規格のC/C++でも、表明違反となったときのみ不正なコード（コンパイルエラーとなるコード）が導入されるようにすることで、静的表明を実装可能である。例えば、C言語では次のように静的表明を実装できる。
(BOOLEAN CONDITION) が偽と評価されると、switch文の2つ目のラベルの値はゼロとなるため、コンパイラは2つのcaseラベルが同じ値だとしてエラーを検出する。なお、指定する式はコンパイル時に値が定まるものでなければならない。例えば (sizeof(int)==4) といった式である。また、関数定義内でないとswitch文が出現しただけでコンパイルエラーになるので、関数内でしか使えない。
表明 (プログラミング) 使用法
もう1つのC言語でよく知られている静的表明の実装として、次の方式がある。
(BOOLEAN CONDITION) が偽と評価されると、配列の長さが負になるため、このコードはコンパイルエラーになる。たとえコンパイラが負のサイズの配列を許したとしても、初期値（'!' の部分）を設定しようとした時点で問題に気付くだろう。
これを何度も使用するには、配列名がそれぞれ別々でなければならない。最近のメジャーなコンパイラにはプリプロセッサに __COUNTER__ というマクロ定義があり、出現の度に増加する数を返すので、それを名前に含める方法があるが、移植性はない。
Boost C++ライブラリではC++03以前でも利用可能なマクロBOOST_STATIC_ASSERTおよびBOOST_STATIC_ASSERT_MSGが用意されている。
表明 (プログラミング) 表明の抑止
表明は有効化/無効化を切り替えられるよう多くの言語で実装されている。表明は本来、開発ツールであるため、最終テストおよびリリース時には無効化する。したがって有効化時/無効化時の違いがプログラムの意味的な違いを生じないことが前提にある。換言すれば、表明は副作用を持っていてはならない。
CやC++を含む多くの言語では、表明は、リリースコンパイル時にプリプロセッサによって完全に除去される。Javaでは、表明を有効化する場合、実行時にオプションの指定を必要とする。オプションの指定がない場合、表明は無視される。
表明 (プログラミング) エラー処理との比較
表明とエラー処理ルーチンを区別することには意味がある。表明は論理的にありえない状況をチェックするのに使うべきである。もし、「ありえない」ことが起きたとしたら、根本的に何かが間違っていたということである。エラー処理は通常発生しうるエラーを処理する（もちろん、一部の状況はほとんど「ありえない」かもしれない）。表明をあらゆるエラー処理に使用するのは賢明ではない。表明ではエラーからの復旧が考慮されておらず、表明違反は無条件でプログラムを停止させてしまう場合がほとんどである。表明はユーザー向けのエラーメッセージも表示しない。
エラー処理に表明を使っているC言語の例を以下に示す。
表明 (プログラミング) エラー処理との比較
ここで、プログラマは malloc が NULL を返す場合があることに気づいている（メモリを確保できなかった場合）。オペレーティングシステムは malloc が常に成功することは保証していない。したがってプログラムはメモリ確保失敗に対処すべきである。この例では表明は最良の選択ではないだろう。というのも、malloc の失敗は論理的にありえないことではないからである。大抵のケースでは滅多に発生しないが、特に大量のメモリを使用するソフトウェアでは、リソースの枯渇により新たな動的メモリ確保の失敗が容易に発生しうるため、設計上考慮すべき可能性である。しかし、このような表明にも利点がある。つまり、プログラマが自分の意思で malloc のエラーに対処するコードを書かない選択をしたことを他の人々に知らしめているのである。
表明の引数である式の副作用に依存するという間違いをすることもある。表明は条件の評価（バグがないことの確認）に使われるものであって、全く実行されないこともあることを常に念頭に置いておく必要がある。最終的にプログラムに問題がないと判断すれば表明を抑止する可能性がある。
例えば、次のようなC言語のプログラムがあるとする。
一見すると、malloc の値を ptr に代入して、同時に NULL かどうかをチェックするという賢いコーディングに見えるかもしれない。しかし、malloc 呼び出しと ptr への代入は副作用を伴い、その副作用はプログラム本体で必須なものである。コンパイル時に NDEBUG というシンボルを定義すると assert() は除去されるので、malloc() が呼び出されなくなり、ptr が初期化されずに使われることになる。結果として未定義動作を引き起こす。
表明 (プログラミング) 歴史
プログラムの正しさを証明する手段として表明の概念を最初に提案したのはアラン・チューリングである。1949年6月24日、ケンブリッジ大学で行った "Checking a Large Routine" と題した講演で「大きなルーチンが正しく動作していると確認するにはどうしたらよいだろうか? 確認する人物に多大な負担をかけないようにするには、プログラムの全体としての正しさを容易に確認できるようプログラマが個別に確認可能な明確な「表明」(assertions) をいくつもするべきである」と述べている。
奥の山古墳
奥の山古墳（おくのやまこふん）は、埼玉県行田市渡柳にある古墳。形状は前方後円墳。埼玉古墳群を構成する古墳の1つ。国の特別史跡に指定されている（特別史跡「埼玉古墳群」のうち）。
奥の山古墳 副葬品
円筒埴輪、馬形埴輪、騎馬像形埴輪、盾形埴輪等が採取されている。
特筆すべきものとして、造り出しから出土した装飾付須恵器（子持壺）が挙げられる。これは丸底で頸部の長い壷に同じ形の小さな小壷が3個付いたもので、同じく造り出しから出土した高坏形器台に載せて供えられたと考えられる。こうした須恵器が出土した例は関東地方ではきわめて少なく、また古墳群で２番目に小さい奥の山古墳から出土したことは、規模の大小にかかわらず、埼玉古墳群の被葬者が関東地方において別格の位置にあったことを示す証拠とされている。
励振
励振（れいしん）は、振動に加えられる振動的な外力、すなわち振動の原因となる入力のこと。小さな振幅で刺激を与えることにより、大きな振幅が引き起こされること。
遠心力、励振力、変位励振、自励振動に分類される。自励振動は係数励振や外部励振が作用しないのにもかかわらず振動を発生する、特殊な励振様式である。
ランディ・ウィン
ドワイト・ランドルフ・ウィン（Dwight Randolph Winn, 1974年6月9日 - ）は、アメリカ合衆国カリフォルニア州ロサンゼルス出身の元プロ野球選手（外野手）。右投両打。
ランディ・ウィン 経歴
サンタクララ大学では野球とバスケットボールの双方で活躍し、1995年のドラフト3巡目（全体65位）でフロリダ・マーリンズに指名され入団。1997年11月、MLBの球団拡張で創設された新球団タンパベイ・デビルレイズにエクスパンション・ドラフトで指名され移籍。1998年にデビルレイズでメジャーデビューを果たした。2002年まで同球団でプレイ。同年10月28日、アントニオ・ペレスとルー・ピネラ監督とのトレードで、シアトル・マリナーズに移籍。監督と選手のトレードとして話題になった。
2003年は、中堅手にマイク・キャメロンがいるため、左翼手へコンバートされた。また、1番打者にはイチローがいるため、主に2番打者を務めたものが、後半戦には7番を任されることもあった。
ランディ・ウィン 経歴
2004年は、FAとなっていたキャメロンがメッツへ移籍。また、ロイヤルズからFAとなっていた左翼手のラウル・イバニェスがチームに加入したこともあり、再び中堅手へコンバートされる。前年に引き続き、主に2番打者を務めたが、イチローが3番打者に入った際には、代わりに1番打者を務めることもあった。
2005年は、イバニェスが指名打者に移り、実質メジャー1年目だったジェレミー・リードが中堅手に入るため、再び左翼手へコンバートされた。そして、同年7月30日、控え捕手のヨービット・トレアルバと若手右腕のジェシー・フォッパートとのトレードで、サンフランシスコ・ジャイアンツへ移籍。移籍後は、中堅手へ再コンバートされ、打順も1番に戻った。
2011年4月1日、現役引退を表明。
ランディ・ウィン 選手としての特徴
両打で長打力があり、足の速さもまずまずで盗塁も多かった。ブルース・ボウチー監督から、「フィールド全体に打ち返す打撃はトニー・グウィンのようだ」と評されたこともある。弱肩であることがよく知られている。外野3ポジションすべてを守れたが、左翼手が1番うまかった。
ランディ・ウィン エピソード
2006年3月12日、ワールド・ベースボール・クラシック2次リーグの米国対日本戦で、同点で迎えた8回表一死満塁、岩村明憲が打ち上げた左飛を受けて西岡剛が三塁からタッチアップした。西岡は送球が捕手に渡るよりも早く悠々と本塁に到達し、日本に勝ち越し点が入ったかに思われたが、米国チームは「離塁が早すぎたのではないか」とアピールした。三塁をカバーした二塁塁審はセーフとしたものの、バック・マルティネス監督の抗議を受けたボブ・デービッドソン球審はアウトと訂正した。このプレイで左翼から送球したのがウィンである。
大学時代、NBA選手のスティーブ・ナッシュとルームメイトであった。
性差別
性差別（せいさべつ）とは、他人に対して、性別を理由に、排除や制限などの不利益を不当に及ぼすことをいう。女性差別や男性差別などがある。性差別が正当なものであるとする考え方は、性差別主義（セクシズム、英: sexism）と呼ばれる。性差別をなくすことを、ジェンダー平等、ジェンダーフリーという。
性差別 歴史的背景
キリスト教においては、布教の過程においてその地域のその時代の社会観念を受け継いだことにより相対的に女性の地位が男性のそれに比べて低いとされる部分もあった。プロテスタントの生みの親ルターも「女児は男児より成長が早いが、それは有益な植物より雑草の方が成長が早いのと同じである」という言葉を残している。その一方でルターは、「女性たちは信仰においては男性よりもはるかに堅固で熱烈であり、男性よりもはるかに屈強にして頑強に信仰を重んじる」とも述べている。
しかし、男性中心主義的なパウロ書簡に反し、同時期に成立した福音書においては、むしろ女性使徒が男性使徒より肯定的な評価を下されている。『ルカによる福音書』に登場するベタニアのマリアは、従来の家庭的役割に従わないことをイエスによって称賛されており、クーザの妻ヨハンナも、財産を持ったまま夫を捨ててイエスの信徒となっている。
性差別 歴史的背景
また、パウロ書簡にも高く評価されている女性は存在し、例えば『ローマの信徒への手紙』に登場する「フィベ」の身分は「教会の diaconos」である。これは「執事・助祭」と訳すべきはずが、女性を聖職者に就けないカトリック教会の意向により、新共同訳聖書では「奉仕者」と広い意味で訳されている。同じく『ローマの信徒への手紙』において、パウロに先んじてキリストに帰依したとされる傑出した使徒「ユニア」の名も、長らく男性名である「ユニアス」と誤訳されていた。同じくパウロ書簡には、夫より地位の高い妻として「プリスキラとアクラ」の「プリスキラ」が登場するが、これは西方系写本ではほぼ例外なく「アクラとプリスキラ」に改変されていた。また、初期キリスト教において「家の教会」の指導者は多くの場合女性であったが、その一人である『コロサイの信徒への手紙』の「ヌンパ」の名も、西方系写本では「ヌンパス」という男性名に改変されていた。
性差別 歴史的背景
同じく西方系のベザ写本は、『使徒言行録』1章14節に「そして子供たち」を加えることで、イエスのもとに集まった女性たちを、使徒の「妻と家族」であるかのように改変している。17章4節では「そして少なからぬ高貴な女性たち」を、「高貴な男性の妻」であるかのように書き換えている。17章12節からも「高貴な女性たち」という強調を除去し、17章34節からは「アテネのダマリス」という女性の個人名を除去している。
キリスト教によって女性差別が緩和された例も少ないながらある。たとえば売買婚を禁止した例がある（そもそも売買婚はなかったとの説もある）。ただし、奴隷との性行為に関しては、教会自身が多くの奴隷を保有していたため禁止できなかった。ローマ帝国の法律では、既婚女性の財産の所有権や発言権には非常に制約が課せられていた。しかし、その後、キリスト教の布教により緩和された。つまり、一定の相続権や離婚の請求権などを得たのである。姦通の罪は女性のみに適用されていたが、男性も罪に問われた。このように、主に結婚に関係して女性の権利が部分的ではあるが解放された。しかし、こういった解放は、中世初期において集中的に発生し、後期においては締付けは逆に厳しくなったりもした。
性差別 歴史的背景
イスラム世界においては、クルアーンに男が女よりも貴いと書かれている節や、女は男の所有物であると書かれている節がある。例えば、イスラム教4代カリフのアリー・イブン・アビー＝ターリブは、ナフジュ・アル・バラーガの中でたびたび女性を賎しめる文言を遺している。一夫多妻制や、レイプ被害者が姦通罪に問われてしまうハッド刑などについても、女性差別の一例として批判されることが多い。現代でもイスラーム世界の知識人の中には、イスラーム法に基づいて一夫多妻制を女は認めるべきだという意見を述べる人間もいる。（"イスラームと女性"や"イスラーム世界の性文化"も参照）
ただし前近代のイスラーム教においても、女性の権利を保護した面がないわけではない。イスラームにおいて女性は男性の半分とはいえ財産を相続することができるが、これはイスラーム以前の状態に比べれば女性の権利を擁護するものだった。また、女児の嬰児殺しや名誉の殺人は（実態はともかく法制度上は）禁止されているし、ハッド刑も否定されつつある。
仏教においては、女は梵天王、帝釈天、魔王、転輪聖王、仏陀の五種になることはできないなどという主張がなされていた（五障）。「女性は男性に変化することによって仏陀になることができる」と説く説もある（変成男子）。釈迦は当初女性の出家（尼）を認めなかったが、本人達の熱心さと阿難の取りなしにより条件付きで許可したとされる。
性差別 歴史的背景
しかし、「三従」は紀元前2世紀前後、「五障」は紀元前1世紀に初めて仏典に登場したものであり、これら女性を劣位に置く考えはいずれも仏教がスリランカに南伝する以前（紀元前3世紀以前）の原始仏教には存在しなかった。釈迦が女性の出家に際して付した条件（八敬法）も、スリランカに保存されたことで上座部仏教による改変を免れた『テーリー・ガーター』における尼僧への授戒には一切登場しないため、後世に付加されたものである可能性が高い。「釈迦の意思に背いて女性を出家させた」と阿難を非難する言葉は、後の仏典では主に大迦葉の口から語られているが、その大迦葉は『テーリー・ガーター』においてバッダー・カピラーニー尼を直接に指導して悟りに導いた当人であり、彼が女性教団の存在を疎んじていたとするのは不自然である。加えて、阿難は「女性を出家させたせいで正法の期間を1000年から500年に縮めた」と非難されているが、その重罪にもかかわらず彼に課せられたのは最も軽い「突吉羅罪」である点にも、不自然性が指摘されている。
性差別 歴史的背景
『テーリー・ガーター』にあるように、女性教団が存在しない頃から、釈迦は在家女性に対しても、求めに応じて男性と等しく教えを説いていた。『パーリ律』においても釈迦は、女性も阿羅漢（仏陀の別称）に至ることができると説いている。同じく『サンユッタ・ニカーヤ』においても釈迦は、男女等しく涅槃に至ると説いている。そこでは「女性の汚れ」について「女人は清らかな行いの汚れ」との条件が付けられており、これは「男性修行者にとって女性は修行の妨げになる」と述べているに過ぎない。
同様に、パーリ仏典の『ディーガ・ニカーヤ』にある「夫は妻に5つの点で仕えるべきである」という文言は、儒教圏で『六方礼経』として漢訳された際には、「婦が夫に事うるに五事あり」と逆の意味に改変された。サンスクリット仏典における mātā-piratau（母と父）という表現も、漢訳では「父母」と改変されている。また、原始仏教のパーリ仏典において「仏弟子」は男女や在家・出家の差別なく sāvaka および sāvikā と述べられていたが、これが上座部仏教のサンスクリット仏典では śrāvaka とのみ訳されたために、「仏弟子」は男性出家者に限られるようになった。
性差別 歴史的背景
ギリシア人のメガステネスは紀元前300年ごろ、『インド誌』において「女性哲学者（仏教の尼僧とされる）が男性哲学者と互角に論を交わしている」と記している。『アングッタラ・ニカーヤ』においても、仏弟子とその代表的な人物について、男女や在家・出家の区別なく名前が挙げられている。そこではケーマー尼は舎利弗と並んで「大いなる智慧を持つ者たちのうち最上の人」と称えられ、「法を説く者たちのうちの最上の人」とされたダンマディンナー尼も、男性に対してしばしば説法を行っている。『テーリー・ガーター』には、アノーパマー尼がバラモン男性を説得して仏教に帰依させたことが記されている。「鋭い直観力を持つ者たちのうちの最上の人」とされるバッダー・クンダラケーサー尼は、自分の命を狙う盗賊を出し抜いたことを、山の神から「男というものは、いついかなる時でも、女より賢くはないのだ」と称えられている。
ヒンドゥー社会においても、伝統的に女性の地位は低い。『マヌ法典』には、女性を低劣だと見なして独立を認めず、男性の従属的存在と見なす条文が多く存在する。その結果として、サティーやダヘーズといった非人道的な慣習が、法律で禁止されてもなお存在している。
性差別 歴史的背景
一方で、『リグ・ヴェーダ』中の「デヴィ―スークタ」においては、女神が宇宙の最高原理とされている。同じく『リグ・ヴェーダ』では「人が妻を称えるように、我々もまた極めて飾られ崇拝されているインドラデーヴァに祈る」とされている。古代のヒンドゥー教典においては、すべての女性はラクシュミーの化身であるとされ、シャクティ派においても「女性よりも珍しい宝石はなく、女性よりも優れた状態もない」とされる。『マヌ法典』3章においては、「女性は男性の家族から敬われ、飾られなければならない」「女性が敬われるところでは神々も喜ぶが、敬われないところではどんな神事も報われない」「女性が正当に敬われず悲しみの中で暮らす家庭は、完全に滅びる」と説かれている。『マハーバーラタ』中においても、「シャンティ・パルヴァ」では「真の知識を授ける教師は10の導師よりも尊く、父親はその真の知識を授ける10の教師よりも尊く、母親はその10の父親よりも尊く、母親よりも偉大なグルはない」、「アヌシャサナ・パルヴァ」では「女性が悲しみから家庭を呪う時、その家庭は魅力・繁栄・幸福を失う」と述べられている。『アタルヴァ・ヴェーダ』においては「男性が女性を見習い従うのと同様に、太陽神は最初に照らされた女神ウシャスに従う」と、女性の優越が説かれている。
国際連合の女子に対するあらゆる形態の差別の撤廃に関する条約について日本は1980年7月17日に署名し、（デンマークで開催された国連婦人の10年中間年世界会議の際、高橋展子駐デンマーク大使が署名） 1985年6月24日に条約締結を承認（第102回通常国会）同年6月25日 批准書を寄託し、同年7月25日日本において効力発生。
女性自衛官（2003年3月以前は婦人自衛官）の就ける職種は、1952年の保安隊時代は看護師のみであった。以降は和文タイプライターのタイピストなど事務系の仕事から徐々に拡大した。
防衛省では女性自衛官の配置を広めるため、1993年に「自衛隊の全ての職域を女性自衛官に開放」を宣言し、徐々に制限を緩和していった。
2020年時点で陸上自衛隊は、放射線を扱う人員と粉塵が発生する場所で活動する坑道中隊以外の職種、海上自衛隊と航空自衛隊は全ての職種に配置可能となった。このほかに陸上自衛隊高等工科学校の高等工科学校生徒は男子のみを募集している。
ゴルフ場#女人禁制を参照のこと
性差別 同性愛と性差別
EUでは2006年1月に欧州議会が「同性愛嫌悪」に対する共同決議案を採決し、同性愛に対するあらゆる差別は人種差別と同様とされた。2000年に採択された欧州連合基本権憲章の第21条も性的指向による差別の禁止を明記している。
キリスト教圏、ユダヤ教圏、イスラム教圏では文学においても同性愛がタブー視されることが多かったが、日本では伝統的にその傾向はなく、文学の世界でも同性愛がしばしば表現されている。日本が伝統的にキリスト教国ではなく、同性愛が制度的に禁止されていたこともなかった。しかし、主要先進国とされる日本やアメリカ合衆国、ドイツ、フランス、イギリス、イタリア、カナダの中で、法的に同性愛者の婚姻ないしそれに準じる地位（シビル・ユニオンないしドメスティックパートナーなど）を用意していない国は日本だけであり「制度的には､日本は主要先進国の中で最も同性愛者を差別している国家である」という見方もあるが（ただし、アメリカ合衆国は州により制度が異なる）、これは伝統的な衆道（男色）文化が主に性的嗜好や単に性欲の処理（当時は遊女が極めて高価であった）を目的としており、現代の同性愛とは全く異なるものであり、同性の恋愛や婚姻を想定していなかった為である。
性差別 同性愛と性差別
日本では男女の結婚は、婚姻届を役所に提出することで成立し、戸籍上に両者の関係が記載され、その関係を公証してもらえる。夫婦は互いに同居、協力、扶助、貞操などの義務があるが、たがいの血族から姻族として親族として扱われる。また、互いの生活財の共有権や遺産相続権などを法律が保障する。また税法上、社会保障上の優遇措置などが受けられる。夫婦の一方が病気や障害を負ったときも、家族とみなされるため、互いの介護や看護などに特別な資格がなくても携われる。制度的に結婚していなくとも、内縁関係が認められれば、相続以外の権利は夫婦と同等に認められる。ところが、日本では同性結婚が認められず、同性間の内縁関係も基本的に認められない（部分的に内縁に準じる地位を認めた判例はある）。このため、同性愛のカップルが権利や優遇措置を得るためには、養子縁組という方法がとられることがある。しかし、養子縁組は本来同性カップルによる利用を想定した制度ではなく、カップルとしての権利が認められにくいという問題がある。
性差別 ポルノグラフィーと性差別
一部のフェミニストはポルノグラフィを性差別だとする意見を述べている。女性の肉体が男性の楽しみによって利用される事自体が性差別だとする考え方は、一部のフェミニストに支持されている。アメリカの著名なラディカル・フェミニストであるキャサリン・マッキノンとアンドレア・ドウォーキンが代表的。ラディカル・フェミニストは、かつては左翼ラディカルの印象が強かったが、現在は急進右派と一致している部分が増えている。反ポルノの姿勢はその典型で、マッキノンらの反ポルノ主義は右派のロナルド・レーガン（共和党）が80年代に成立させた「反ポルノ法」の思考と一致している。『オンリーワーズ』という著作の中でマッキノンは、男性を攻撃用の犬(attack dogs)に見立てており、男性をポルノグラフィにさらすことは『訓練された番犬に攻撃せよと言うようなもの』だと論じている。マッキノンが熱心に取り組んだ法案は、いったん成立したが、表現の自由を保障した合衆国憲法違反であり、裁判所によって「無効」とされた。
カナダやEUはラディカル・フェミニストの女性議員が多い為か、(準)児童ポルノに対する規制が厳しく、所持しているだけで逮捕される例が存在する。
性差別 夫婦同氏と性差別
婚姻の際、ほとんどの場合結婚後の姓として男性の姓を選ぶが、これを性差別として、その改善のために選択的夫婦別姓制度を導入するべきであるとの意見がある。なお、この制度については、2009年の大手新聞各紙の世論調査などで賛成が反対を上回るケースも多かったが、2010年の時事通信による調査など反対が賛成を上回るケースもあり、また、内閣府が2006年11月に実施した「家族の法制に関する世論調査」（2007年1月27日発表）の結果については、日本経済新聞や東京新聞はじめ新聞報道で「賛否拮抗」という評価が目立つなど、制度導入の是非について賛否両論がみられる。
性差別 性差別に関する法令
日本では、日本国憲法において法の下の平等を定めており、性別により差別されないという規定がある。ただし、憲法は本来国と私人の間の関係を規律するものであって、私人同士の関係には原則として直接適用されない（最判昭和48年12月12日など）。一方各種法令の中には、私人によるものも含めて性別による差別を明確に禁じるものがある。この節ではそういった法令の性差別に関連する部分について言及する。
カラーコード戦争計画
カラーコード戦争計画（カラーコードせんそうけいかく、英語: Color-coded War Plans）とは、1920年代にアメリカ合衆国陸軍において、日本やイギリス、ドイツなどの国を仮想敵国として検討されたシミュレーションをさす。世界の主要国との戦争が発生した場合を想定した戦争計画であり、それぞれの国に色を割り当ていた為この名称が付けられた。これらのプロジェクトは1939年に凍結されたが、当時高まっていた枢軸国との二正面戦争に備えて5色のレインボー・プランが発展的に策定されている。
カラーコード戦争計画 概要
カラーコード計画の中で最も著名な物は、1919年に非公式に策定され1924年に公式に策定された、対日戦争を扱ったオレンジ計画である 。このシミュレーションの一部は実際に太平洋戦争において、中国大陸と日本本土との経済的遮断という形で利用されている。
イギリスおよびカナダとの戦争を扱ったレッド計画は、これが1974年に機密解除され公表されると、大きな反響を巻き起こした。これに関連して、カナダ侵攻のみに限定したクリムゾン計画も存在した。これらのシミュレーションにおいては、イギリスがレッド、カナダがクリムゾン、インドがルビー、オーストラリアがスカーレット、ニュージーランドがガーネットといずれも赤系の色名で呼ばれていた。第一次世界大戦を機として、アメリカ合衆国とイギリスとの戦争の可能性は極めて少なくなったが、戦争計画自体は1930年代に至るまで検討が続けられていた。
その他、上にあげたものの他にもいくつかの国が仮想敵としてあげられている。どの計画でも、アメリカ合衆国自体は「ブルー」と呼称される 。
カラーコード戦争計画 内容
これらのシミュレーションの多くは、実際に発生する可能性を吟味した上で検討された物ではなく、若手士官の訓練が目的とされていた。対ドイツ戦計画の一部が明らかとなった際には、第一次世界大戦後に孤立主義へと舞い戻っていた合衆国議会からの反発によって、この傾向はさらに強まっている。
オレンジ計画の次に重視されていたのはメキシコとの戦争を扱ったグリーン計画であった。1912年にはウィリアム・タフト大統領はメキシコ革命への介入を検討している。さらに1916年になるとアメリカ国内への小規模な侵入をおこなったメキシコの革命家パンチョ・ビリャを捕らえるためにジョン・パーシングを司令官とする陸軍部隊がメキシコに派遣された。このメキシコ侵攻においてはさらに海軍の艦船によるベラクルス砲撃がおこなわれ、ビクトリアーノ・ウエルタ大統領の辞任につながった。
カラーコード戦争計画 内容
1930年代には国家もしくは国家連邦ごとに想定されていたカラーコード戦争計画は古くさいものとなり、元々実戦用のシミュレーションというよりも、将兵の訓練用に制定されたものであったこと、さらには新兵器である航空機の飛躍的進歩により、役に立たないものと化しつつあった。国家相互の関係を整理したうえで、複数の国家と、アメリカが戦争状態になることを想定した、レインボー・プランに発展した。
南北戦争から第一次世界大戦期にかけて、アメリカ合衆国は頻繁にカリブ海および中央アメリカ諸国（パナマ、ハイチ、キューバ、ニカラグア）への介入をおこなった。これらの事件の際の陸軍部隊派遣にはカラーコード計画の一部が利用された。
カラーコード戦争計画 ボードゲーム
"Great War at Sea series": アヴァランチ・プレスから、オレンジ計画を扱った"U.S. Navy Plan Orange"(邦題『プラン・オレンジ--日本侵攻計画--』、国際通信社、)、ブラック計画を扱った"U.S. Navy Plan Black"、レッド計画を扱った"U.S. Navy Plan Red"、ゴールド計画を扱った"U.S. Navy Plan Gold"が発売されている。
上平間 (川崎市)
上平間（かみひらま）は、神奈川県川崎市中原区の大字である。住居表示未実施区域。
上平間 (川崎市) 地理
中原区最東端、多摩川とJR南武線に挟まれた地域である。工業地帯と住宅地が混在し、平間銀座商店街として商業地も形成されている。
住宅地の地価は、2024年（令和7年）1月1日の公示地価によれば、上平間字古下河原564番41の地点で36万6000円/m²、2024年（令和6年）7月1日時点の神奈川県地価調査では上平間字四谷前1700番319の地点で39万円/m²となっている。
上平間 (川崎市) 世帯数と人口
2025年（令和7年）9月30日現在（川崎市発表）の世帯数と人口は以下の通りである。
国勢調査による人口の推移。
国勢調査による世帯数の推移。
上平間 (川崎市) 学区
市立小・中学校に通う場合、学区は以下の通りとなる（2022年3月時点）。
上平間 (川崎市) 事業所
2021年（令和3年）現在の経済センサス調査による事業所数と従業員数は以下の通りである。
経済センサスによる事業所数の推移。
経済センサスによる従業員数の推移。
上平間 (川崎市) 交通
域内に鉄道路線はないが、西側を南武線が通過しており、平間駅までは最短で200メートルほどである。
主に南北方向に路線バスが運行されている。
営業所
バス停