流山有料道路（ながれやまゆうりょうどうろ）は、千葉県流山市の常磐自動車道・流山インターチェンジ（流山IC）から、千葉県道5号松戸野田線（旧松戸野田有料道路）接続部に至る道路である。2015年に無料開放された（後述）。全長は0.5 kmであり、「日本一短い有料道路」であった。
フルート3（3番はピッコロ持ち替え）、オーボエ2、イングリッシュホルン、クラリネット2、バセットホルン、バスクラリネット、ファゴット3、コントラファゴット、ホルン4、トランペット3、トロンボーン3、ティンパニ、小太鼓、シンバル、大太鼓、トライアングル、タンブリン、タムタム、ハープ2、弦五部（各16人、16人、12人、10人、8人の指定）バンダ：オルガン、アルプホルン
2007年4月にKSCが発売した「U-18」シリーズや、2009年4月10日に東京マルイが発売した「Rシリーズ」は、前述した最低限の条件である1.以外を満たしていない。全機種が10歳以上用としては異例中の異例であるブローバックガスガンであり、U-18シリーズに至っては定価2万円の機種も存在しており、10歳以上用モデルとしては超高級品ともいえるシリーズである。このシリーズの売れ行き如何では、1.以外の用件は過去のものとなるであろう。これらは全てリキッドチャージ式であるが、Rシリーズでは14歳以上推奨という自主的な基準を設けた上で、生ガスから手を防護する「ガス注入ガード」を付属させて対応を行っている。なお、これら以前にも対象年齢10歳以上用のガスガンは販売されていた事があったが、いずれも固定スライドガスガンであり（当時ブローバックガスガンが未発達だったという事情もある）、ガスは小さな缶入りのものが付属していた。
対象年齢10歳以上のエアソフトガン（たいしょうねんれい10さいいじょうのエアソフトガン）は、東京都や神奈川県等の青少年保護育成条例に合わせた威力を持ち、10歳以上18歳未満の児童にも使用できるようにしたエアソフトガンである。タイプとしては、大きく分けて18歳以上用のモデルの威力を落としたものと、10歳以上用モデルとして一から設計したものの2種類があり、前者は「子供も使えるエアソフトガン」後者は「大人も使える"子供用"エアソフトガン」といった位置づけといえる。各社エアコッキングガンの10歳以上用モデルやKSC「U-18シリーズ」、東京マルイ「Rシリーズ」が前者、東京マルイ「ミニ電動ガン」「電動ブローバック」「電動ブローバックフルオート」「電動ガンBOYs」などが後者に当たる。
巽 博一（たつみ ひろかず、1913年 - ）は、日本の経済学者。成蹊大学名誉教授。ケインズ経済学を中心に研究した。
1987年10月、中国放送（RCC）で放送開始のラジオ番組「びしびしばしばしらんらんラジオ」のパーソナリティとして活動開始。通算10年6ヶ月間務め、自身の代表作になる。デビュー当初より覆面パーソナリティで正体について色々な噂は有るが、公式には非公表になっている。プロレスの大ファンで、「びしびしばしばしらんらんラジオ」では「ペンネーム」の代わりに「リングネーム」を使っていたほどである。広島ホームテレビ（HOME）の「ジョブジョブ」（2007年03月17日放送終了）のナレーターを担当していたが、以降はRCCラジオ「一文字弥太郎の週末ナチュラリスト 朝ナマ!」のパーソナリティのみ担当。
アリューシャン列島内の無人島チュギナダック島（Chuginadak）にある活火山で、火山活動はかなり活発である。標高1730m。ほぼ毎年噴火していて、山頂火口に溶岩ドームを形成することがある。また、噴煙は上空10000m以上に到達することがあり、飛行機の欠航が出ることも。
2つの項 s と t があるとき、（統語論的）ユニフィケーションは s と t を構造的に等価にする置換を求めるプロセスである。そのような置換が存在する場合、それを s と t の単一子と呼ぶ。理論上、入力された2つの項は無数の単一子を持ちうる。しかし一般的用途では1つの最大汎用単一子を考慮すれば十分である。他の単一子は最大汎用単一子のインスタンスである。一階のユニフィケーションは、一階の項（変数記号や関数記号で構築される項）の統語論的ユニフィケーションである。一方高階ユニフィケーションは、高階の項（何らかの高階の変数を含む項）のユニフィケーションを指す。特定のユニフィケーションアルゴリズムの理論的属性は、入力される項の多様性に依存する。たとえば一階のユニフィケーションは決定可能であり、単一化可能な項群は必ず最大汎用単一子を持つ。しかし高階ユニフィケーションは一般に決定不能であり、最大汎用単一子を持たないことが多い。統語論的ユニフィケーションとは別に、意味論的ユニフィケーションも広く使われている。この2つは、項を「等しい」とみなす方法が異なる。統語論的ユニフィケーションでは、置換によって項が構造的に等価になるようにする。意味論的ユニフィケーションでは、2つの項が何らかの理論において合同であるかで判定する。例えば、交換性と結合性において合同な項を「等しい」とするユニフィケーションをAC-ユニフィケーションと呼ぶ。ユニフィケーションは計算機科学の重要なツールである。特に一階のユニフィケーションは論理プログラミング、プログラミング言語の型システム設計、自動推論などに用いられている。高階ユニフィケーションは定理証明支援で使われている。高階ユニフィケーションに制約を加えたものを実装に採用したプログラミング言語もある。意味論的ユニフィケーションは、背景理論付きSAT (SMT) を解くアルゴリズムや項書き換えアルゴリズムでよく使われている。