日本では外側は赤い円で囲んであり、中は白色でその中に、青字で規制の速度が書いてある。高速道路などには規制速度の書かれた円盤またはLED表示式で、災害や荒天、事故や渋滞などの異常時に表示を変更できるものもある。なお、LED表示式には2桁の速度表示にのみ対応しているものと3桁（100 km/h台の表示）に対応しているものがある。後者は最高速度100 km/hの自動車専用道路区間と新東名高速道路等の最高速度110・120 km/h区間で使用されている。
2000年代初頭からギャル同士が組んだ会合が徐々に発展し、正式なサークル活動と化していた。当初はギャル系雑誌（Popteenなど）で紹介された。2006年には、ギャルサーをベースとしたテレビドラマ「ギャルサー」も放送された。
はじめ七代目市川團十郎の養子となって六代目市川新之助を襲名し、子供芝居の舞台に立つが、のちに團十郎とは不和により離れ、三枡岩五郎と改名。その後二代目嵐璃寛の門下となり嵐橘次郎と名乗り、京や大坂の宮地芝居で活躍中、上方劇壇の実力者七代目片岡仁左衛門に認められ、天保4年（1833年）に仁左衛門の養子となり、片岡我當と改名、京坂の舞台で若手の立役として活躍する。天保9年（1838年）、二代目片岡我童を襲名。安政元年（1854年）江戸に下り、上方仕込の和事の芸で大人気となる。この年大坂で自殺した八代目市川團十郎に容姿が似ていたことから、荒事で鳴らした市川宗家の團十郎に対して「八代目の綿入り」とあだ名された。安政4年（1857年）、江戸で八代目片岡仁左衛門を襲名、座頭となる。文久2年（1862年）秋に大坂に帰り、同地にて没した。墓所は大阪の薬王寺と東京の池上本門寺。立役から敵役老役、女形と幅広い役を演じ、時代物、世話物、所作事も得意であった。当り役は『廓文章』（吉田屋）の藤屋伊左衛門、『伊勢音頭恋寝刃』（伊勢音頭）の福岡貢、『仮名手本忠臣蔵』の大星由良助・高師直・加古川本蔵、『けいせい青陽鶏』（馬切り）の三七郎信孝など。妻は初代中村歌六の三女。子に十代目仁左衛門と十一代目仁左衛門、門人に養子の二代目片岡我當（死後九代目片岡仁左衛門を追贈）と三代目片岡市蔵がいる。
材料技術科（ざいりょうぎじゅつか）は、高等学校に設置される機械系学科に化学系学科の要素を組み込んだ学科で、元は冶金科（金属工業科）であったが、近年は金属材料以外の工業材料（セラミックスや超伝導材料）の発達により、それらの非金属材料分野へと幅を持たせた知識と技術を修得させる学科となっている。 機械の設計・施工などの機械学科的な知識と技術に電解や薬品特性など化学科的な知識の修得をめざす。 推奨資格として危険物取扱者、ボイラー技士があり、授業の一環として取得させる高校も存在する。その場合、資格取得のための講座を授業として取り入れている。 工業科の専門科目のうち、「金属工業」、「金属冶金」、「材料技術」などを中心に学ぶが、全国的に学科数が少ないため、大学用のものを易しくしただけの様な教科書も存在する。また、参考書の類も大学や研究機関用の物しか存在しない。 近年は少子化の影響や、高卒で企業の研究部署へは就職できないため、減少していっている学科である。
例をとおして、派生型について考える。「鳥」という基本型と「アヒル」「ガチョウ」「ハクチョウ」という3つの派生型を仮定する。それぞれの派生型は「鳥」という抽象概念を別々の形で具体化しているが、「鳥」としての多くの特徴を継承し共有している。データは4つのうちのどの型のインスタンスとしても宣言できる。ほとんどのクラスベースオブジェクト指向言語では、サブクラスが派生型の概念を実現している。A がB のサブクラスだったなら、A のインスタンスはB のインスタンスが期待されるあらゆる場面で使用可能となる（インタフェースの継承）。それゆえA はB の派生型であるといえる。ここで重要なことは、B を型として宣言された変数は実行時にA 型の値を持っているかもしれない、ということである。多くのオブジェクト指向プログラマはこの状況を、B をその変数の静的型、A をその変数の動的型である、と表現する。 この規則の例外には、派生型を作らずに実装の継承ができる言語（private inheritanceのあるC++など）や基本型から継承した機能を派生型で取り除くことができる言語（Eiffelなど）がある。別の例を考える。浮動小数点数と整数で同じコードを共有したい場合に、整数が浮動小数点数の派生型となる場合と、整数と実数を包含するnumber型が定義されている場合が考えられる。プログラマは型の派生を利用することで、それを使わない場合よりも抽象化したコードが書けることがある。function max (x as number, y as number)  if x < y then    return y  else    return xendこの関数には整数と実数のどちらの値でも渡すことができる。このため、型の派生はポリモーフィズムの一形態と考えられることが多い。上記の例はC++のテンプレートとも比較される。型理論においては、派生型関係は<:と表記される。つまり、A <: Bという表記はA はB の派生型であるという意味である。型理論における型の派生は、A <: Bならば型A を持つ式はどれでも型B をも持つという事実によって特性付けられる。この形式的な推論規則は「包摂」として知られている。