Podtech/llm-jp-corpus-v4-ja_wiki-manufacturing huggingface dataset:
フランベルジュ（flamberge）は、刀身が波打つ剣の総称。刀身の揺らめきが炎のように見えるため、炎を意味するフランス語のフランブワン（flamboyant）にちなんでこの名前がついた。なお、フランベルジェという発音は誤りである。

なおドイツ語ではフランベルク（Flamberg）というが、こちらは両手剣ではなく、初期型のフランベルジュである波刃型のレイピアを指す。

概要 
フランベルジュには、大型で両手持ちの長剣ツヴァイヘンダーから細身の片手剣まで様々なものが知られている。

その特殊な刀身が肉を引き裂き止血を難しくするため、一般に殺傷能力が高く、「死よりも苦痛を与える剣」としても知られた。また、現代よりも衛生環境が悪かった時代には、傷口から破傷風などに感染して死亡する例が多かったという。

前線での戦闘においては、敵の馬上の騎士の槍先を切り落とす、パイクを装備した敵が作った槍衾を切り開く、敵の剣による攻撃を受け流す等の使用法で効果を発揮した。叙事詩に登場するカール大帝につかえたとされる騎士ルノー・ド・モントーバンがこの剣を愛用していたとされる。

17世紀後半にはレイピアに代わり決闘裁判に使用されるようになった。

銃器が開発され、剣は日の目を見なくなったがそれでもこの剣は美術的評価と共に生産されつづけた。
チャールズ・ジョン・ペダーセン（Charles John Pedersen、1904年10月3日 - 1989年10月26日）は、アメリカ合衆国の化学者。

来歴 
父は航海技師であるノルウェー人のブレーデ・ペーデシェン（Brede Pedersen）。母は朝鮮半島で豆や蚕の貿易に携わっていた福岡県出身の日本人である安井タキノ。自身の日本名は安井 良男（やすい よしお）。

父が一時、釜山税関に勤務していたため、大韓帝国の慶尚南道東萊郡（現在の同郡域はすべて大韓民国釜山広域市に属する）で1904年（光武8年、明治37年）に生まれる。8歳まで朝鮮半島（1910年からは日本統治となる）で過ごした後に長崎県へ移り、10歳で神奈川県横浜市に転居しインターナショナルスクールのセント・ジョセフ・インターナショナル・カレッジで学んだ。

化学を学ぶため、1922年にアメリカ合衆国へ渡り、デイトン大学で学位を得た後、マサチューセッツ工科大学（MIT）で修士課程を修了した。

MITの教授らは大学に残り博士課程を修めるよう薦めたが、父から学資を受け続ける生活を嫌ったペダーセンは実務の世界に移った。この決断の数十年後にペダーセンはノーベル化学賞を受賞することとなるが、こうした経緯から、ノーベル化学賞受賞者の中では珍しい博士号を持たない人物ということになった。

1927年、デュポン社で研究員として働き始め、65歳で退職するまで42年間にわたって同社に勤務した。この間、25の論文と65の特許を残した。

1967年に発表された2本の論文では、クラウンエーテルと命名されたリング状の分子が安定した構造を持つ金属イオンなど電荷を持ったイオンを捕らえる性質を持つことを明らかにした。この発見は超分子化学研究の礎を築き、この論文は今日では化学論文の中でも最も偉大な論文のひとつとみなされている。この発見の後にこの分野の研究を深めたドナルド・クラム、ジャン＝マリー・レーンとともに、1987年にノーベル化学賞を受賞した。

1983年に骨髄腫と診断され、この病のため体は急激に弱っていったが、1987年にはノーベル賞を受賞するため、病身に鞭打ちストックホルムまでの旅行を敢行した。ノーベル賞受賞の2年後、1989年に死去した。

備考 
 ペダーセンの両親はノルウェー人と日本人であり、ノーベル化学賞を受賞した時の国籍はアメリカ合衆国だったが、ノーベル委員会のホームページでは受賞者を出生地で分類し、現在釜山を領している韓国の出身と表示される。
 ペダーセンによる化学賞の受賞は、日系アメリカ人としては初、アジア系アメリカ人、日本およびノルウェーにルーツを持つ人物としてはいずれも2人目に当たるものだった。
過マンガン酸カリウム（かマンガンさんカリウム）は化学式 KMnO4 の無機化合物で、カリウムイオン (K+) と過マンガン酸イオン (MnO4−) より構成される過マンガン酸塩の一種。Mn の酸化数は+7、O の酸化数は−2、K は+1である。

式量は 158.04 g/mol で、水、アセトン、メタノールに可溶である。固体では深紫色の柱状斜方晶系結晶である。においはなく、強力な酸化剤である。

水への溶解度は 7.5 g/100 g (25) で、約 200 ℃ で酸素を放ち分解する。

麻薬及び向精神薬取締法により麻薬向精神薬原料に指定されている。

歴史
過マンガン酸カリウムは1659年に発見された。初期の写真家の間では閃光粉として使用されていた。

製法

実験室的製法
主に以下の3段階の操作で合成される。

 酸化剤に対して耐久性のある素材（不動態被膜を形成する鉄など）製の容器で二酸化マンガンと、水酸化カリウムもしくは炭酸カリウムを溶融させて空気酸化させるか、前者2つに酸化剤である塩素酸カリウムもしくは硝酸カリウムを混合して溶融させて酸化し、マンガン酸カリウムを得る。
 合成したマンガン酸カリウムを冷却後に水に溶解し、酸化剤に耐久性のある素材(ガラス繊維ろ紙等)を用いて未反応のMnO2等を濾別する。
 濾過後の溶液に二酸化炭素を吹き込むと自己酸化還元反応が起こり、過マンガン酸カリウムが生成する。
マンガン酸イオン(MnO42-)は中性～酸性条件下、酸性が強くなるほど不安定になり、自己酸化還元反応によって二酸化マンガンと過マンガン酸イオンに不均化することを利用する。

上記の方法は、化学反応としては2つの反応を利用している。下記にその一例を示す。

 二酸化マンガンの酸化によるマンガン酸カリウムの生成
塩基に水酸化カリウム、酸化剤に塩素酸カリウムを用いた場合
 3MnO2 + 6KOH + KClO3 -> 3K2MnO4 + KCl + 3H2O
塩基に水酸化カリウム、酸化剤に酸素を用いた場合
 2MnO2 + 4KOH + O2 -> 2K2MnO4 + 2H2O
 マンガン酸カリウムの不均化による過マンガン酸カリウムの生成
 3K2MnO4 + 2H2O -> 2KMnO4 + MnO2 + 4KOH
特に、pH調整剤として二酸化炭素を用いた場合
 3K2MnO4 + 2CO2 -> 2KMnO4 + MnO2 + 2K2CO3

工業的製法 
軟マンガン鉱 (主成分:二酸化マンガン MnO2) を水酸化カリウムに溶融し、空気酸化してマンガン酸カリウムとした後、電解酸化または塩素により酸化して製造する。
塩素によるマンガン酸カリウムの酸化は次の式で表される。
 2K2MnO4 + Cl2 -> 2KMnO4 + 2KCl

用途 

過マンガン酸カリウムは強い酸化剤として、実験室および工業の場面で数多くの種類の酸化反応に用いられている。用いる溶液の濃度である程度酸化作用を調節でき、例として薄い KMnO4 水溶液はアルケンを 1,2-ジオール（グリコール）に酸化する。より濃い溶液は芳香環のメチル基などのアルキル基をカルボキシ基に酸化する。分析化学では KMnO4 水溶液の標準溶液の紫色が目視で確認しやすく、当量点の特定が容易であるために酸化還元滴定の滴定剤として用いられる。深紫色の過マンガン酸イオンは、酸性溶液中では酸化数+2を持つ薄いピンク色の Mn2+ (aq) 陽イオンに還元される。塩基性溶液中では過マンガン酸イオンは酸化数+4を持つ茶色の沈殿物、二酸化マンガン (MnO2) に還元される。

過マンガン酸カリウム水溶液と塩酸プソイドエフェドリン水溶液からメトカチノンを生成する事ができる。薄い水溶液は洗口液 (0.25%) もしくは手の消毒液 (1%) としても利用される。コカインを 100% 純粋に精製するのにも用いられてきた。ほかに、殺菌剤、消臭剤、魚類の寄生虫駆除、飲料水の殺菌、リン中毒の解毒剤、染料の用途が挙げられる。

エチレンを酸化して分解してしまうので、バナナの長期保存に使用される。過マンガン酸カリウムを使用することにより、常温で最大4週間の貯蔵が可能となる。

第二次世界大戦時には、水溶液がヴァルター機関の反応触媒として利用された。また木パルプのκ価を測定する試薬として用いられる。自動車のラジエター液と混合すると発火するので、サバイバルキットに点火材として含まれることがある。

注意 
固体の過マンガン酸カリウムは非常に強い酸化剤であり、純粋なグリセリンなどのアルコールと混合すると強い発熱反応が発生する。この反応はこれらが入っているガラスや他の容器を溶かすほど自発的に高温の燃焼となり、近くにある可燃性の物質に引火することがある。この反応は固体の過マンガン酸カリウムが多種の有機化合物と混合された場合にも発生し得る。
 3 C3H5(OH)3 + 14KMnO4 -> 14MnO2 + 7K2CO3 + 2CO2 + 12H2O

水溶液中では酸性条件下で最も強い酸化力を示し、中性、塩基性では酸性条件より酸化力は弱い。これは過マンガン酸イオンの水溶液中での安定度と密接な関係があり、過マンガン酸イオンは酸性条件下では不安定で、中性、塩基性において安定である。（但し、過剰の塩基存在下では不安定で、マンガン酸イオンへ還元される。）また、当然濃度によっても酸化力は危険性と共に増減する。過マンガン酸カリウムの水溶液は、特に薄い場合、酸化力は低く危険性は低いが、高濃度では過マンガン酸イオンは不安定で酸化力は強くなり、危険性が高まる。さらに、過マンガン酸カリウムの固体を濃硫酸と混合すると、爆発性の酸化マンガン(VII) (Mn2O7) を生成する。

また、通常、酸性条件で酸化を行う場合、希硫酸で酸性にした硫酸酸性過マンガン酸カリウム水溶液を用いる。これは硫酸が過マンガン酸イオンの酸化作用の影響を受けず、かつ最も汎用され、安価な酸で都合が良いためである。酸化剤に対して安定な酸ならば、他の酸を用いることも可能である。

仮に塩酸を用いた場合、塩化水素が還元剤となって酸化される反応が起こってしまう。
硝酸では酸化作用に対しては安定であるが、自身が酸化剤であるために、酸化還元滴定などでは正確な値の測定には不都合である。また、過マンガン酸カリウムの濃厚な水溶液や固体を塩酸と混合すると、致死性の塩素ガスが発生する。これは自発的な反応であり、穏やかな酸化剤である二酸化マンガンとの反応とは異なる点である。（二酸化マンガンと塩酸との反応は加熱が必要）

過マンガン酸カリウムは衣服や手を染色するため取り扱いには注意が必要である。これは、過マンガン酸カリウムが還元されてできる二酸化マンガンのためである。衣服のしみは酸性にした亜硫酸ナトリウム（亜硫酸ガスの発生に注意、酸性の定着液を使用すると安全、処理後の洗浄を確実に）を使用して除去可能である。ただし、シュウ酸を使うこともできる。肌のしみは48時間以内に自然に除去されるが、肌に触れるとやけどを起こし、飲み込むと胃腸炎を起こす。

日本では法令により危険物第一類、特定麻薬向精神薬原料に指定されている。アメリカではDEA規則により使用と販売が制限されている。
シンクロトロンとは、円形加速器の一種。粒子の加速にあわせて、磁場と加速電場の周波数をコントロールする事によって、加速粒子の軌道半径を一定に保ちながら加速をおこなう。

特徴 

2011年現在、もっとも高いエネルギーまで粒子を加速できるシンクロトロンは、CERNの大型ハドロン衝突型加速器(LHC)であり、陽子を7TeVまで加速する事ができる。

一般にシンクロトロンのみで粒子を加速する事はなく、前段の加速器によって適当なエネルギーまで加速された粒子を入射した上で、さらに高いエネルギーへと加速するような形態で運用される。前段加速器としては、線型加速器、サイクロトロン、小型のシンクロトロンなどが用いられる。

加速粒子の比電荷によって最適な設計は異なり、特に電子シンクロトロンと陽子・重イオンシンクロトロンの間には大きな違いがある。よって一つの加速器で両方の用途に使用することは、加速エネルギーが大きくなるほど困難である。特にエネルギーフロンティア探索に用いられるような大規模なシンクロトロンでは、どちらか一方の専用設計とすることが通例である。

電子の場合、比較的小さな磁場でも容易に軌道を曲げる事ができるので、用いる電磁石(ベンディングマグネット)は小規模のもので間に合う一方、比較的低いエネルギーでも速度が速く、シンクロトロン放射によるエネルギー損失が大きいため常に大きな力で加速しなければ電子のエネルギーを保つ事が出来ない。一方、陽子や重イオンを加速する場合、シンクロトロン放射の影響が比較的小さく、比較的小さな加速でも粒子のエネルギーを維持できるが、粒子の軌道を曲げるためには大きな磁場を必要とし、大掛かりな超伝導電磁石などを使用する必要がある。

原理

主な用途

高エネルギー衝突実験 
シンクロトロンは従来の線型加速器やサイクロトロンでは実現が困難な高エネルギーの粒子ビームを実現できる事から、素粒子実験等の高エネルギー物理学実験で広く用いられてきた。2007年現在で稼動している高エネルギー衝突実験用加速器はすべてシンクロトロンである。運転を終了したものも含め、代表的な高エネルギー実験用加速器としてはCERNのLEPおよびLHC、米国フェルミ研究所のテバトロン、米国ブルックヘブン国立研究所のRHIC、高エネルギー加速器研究機構のトリスタン/Bファクトリーなど。

ただし、電子シンクロトロンに関してはシンクロトロン放射が大きいため、より高エネルギーの加速器を設計する事が難しく、次世代の高エネルギー電子コライダーとして、大型の線型加速器を建設する事となった。

放射光 
電子シンクロトロンに伴う大きなシンクロトロン放射を積極的に利用することができる。高強度で強い指向性を持つ均一な白色光を特徴とし、この光を放射光とも呼ぶ。日本国内における代表的な施設に、兵庫県にあるSPring-8、茨城県のフォトンファクトリーが挙げられる。

医療用陽子・重粒子線源 
悪性腫瘍の放射線療法に用いる放射線として、陽子やさらに重い重粒子を用いる重粒子線がん治療がある。これらの粒子が物質を通過する際に単位長さ当たりに失うエネルギーをグラフにするとブラッグ曲線と呼ばれる特徴的な曲線を描き、深い位置でピークとなるため、周辺臓器への影響を少なくしつつ腫瘍へ効果的に照射できる。このための陽子線、重粒子線を供給するための加速器としてシンクロトロンが用いられている。日本国内で代表的な施設としては、放射線医学総合研究所のHIMACなどがある。照射するイオンとしては最大230MeVの陽子や最大400MeVの12C原子核が実用化されており、さらに照射効果の高いイオンも研究中である。

粒子ビームの蓄積 
シンクロトロンは加速粒子にエネルギーを供給し続けることで、一定の円軌道に沿うように周回させる事ができることから、蓄積リング、またはストレージリング (Storage Ring) とも呼ばれている。上記の放射光施設の場合で言えば加速器自体は電子ストレージリングである。

歴史 

1945年にエドウィン・マクミランとVladimir Vekslerによって独立に発明された。

主なシンクロトロン 

粒子によって加速エネルギーは異なるため、特に注意書きの無い限り加速粒子の欄の最も左に書かれている粒子のエネルギーが示されている。
カラーチャートとは、「色」の「表」、つまり色見本を配列した板状の物体であり、画像システムの色彩再現性をチェックするなど色の比較・測定に用いる。デジタルカメラやスキャナーなどのグラフィック機器を較正したり特徴を明らかにするのに使われる。

フィルムスキャナーにおいては、IT8ターゲットが標準規格となっており、Coloraid.de、富士フイルム、コダック、LaserSoft Imaging といった企業がIT8ターゲットを製造している。

デジタルカメラにおいては、実世界のスペクトル反射特性を反映したX-Rite (旧Macbeth)のColorCheckerが使われている。

照明の演色性の評価にも使うことができ、マンセルの色見本からの反射を評価する。

カラーチェッカー 

カラーチェッカーは24の矩形の色見本が並んだ板であり、マンセル・カラー・システムに基づいている。1976年に登場した“Macbeth ColorChecker”が最初である。そのメーカーだった Gretag–Macbeth は2006年、X-Riteに買収された。

物体色用の規格 

 DICカラーガイド
 DICの製品で、カラーガイドシリーズとカラーチャートシリーズに類別されている。特に日本で印刷用インクの特色のマッチングに使われる。同様のものとして東洋インキのカラーファインダーがある。
 日本塗料工業会標準色
 日塗工あるいはJPMA標準色。日本塗料工業会が定める塗料の色標準。現在の日本の塗料の色標準、この標準番号を使えばメーカーからその色の塗料が購入できる。
 パントン
 米国の企業、パントン社の製品。デザイン、工業、繊維、建築分野などで広く使われている。
 RAL (Reichsausschuß für Lieferbedingungen)
 ヨーロッパで使われている規格。"Classic" と "Design" がある。
 ナチュラル・カラー・システム (NCS Palette)
 スウェーデン工業規格

ウェブ上のカラーチャート 

ウェブページに限ったことではないが、色を使う場合、上手に色を用いれば大変読みやすく見栄えもよくなるが、色遣いがまずければ、かえって読みにくくなり見栄えも悪くなる。コンテンツによっては色覚異常者に対する配慮も必要となるだろう。（ユニバーサルデザインも参照）

また、色を表示できない環境もあり、また同じ色でも、ディスプレイによって濃く表示されたり薄く表示されたりするため、色が自分の見ているとおりに表示されない環境でも読めるような配慮が必要である。（アクセシビリティも参照）

基本16色 
基本16色または標準16色 (Basic 16 Colors) とは、HTMLにおいて「色名」で指定して表示が可能な16種類の色である。

内訳は、「FFと00の組合せ8色」と「80と00の組合せ8色」で#000000（Black）が重複し、#C0C0C0（Silver）を加えた16色。

 上段: 指定した色名またはRGB値（16進表記）
 下段: 上段の文字列で指定した色の表示部

ウェブセーフカラー 

ウェブセーフカラー（Web Safe Color、Webセーフカラー）は、ウェブ上の色をRGB値の三原色をそれぞれ6段階に分割し、"00", "33", "66", "99", "cc", "ff" の6種類のみを組み合わせた216色のことである。閲覧環境に左右されることが少ないため「セーフ」と付く。8bitカラー（=256色）環境、24bitカラー（=16777216色）環境では共通した色が出るものの、16bitカラー（=65536色）環境では"00", "ff"のみで組み合わせた8色以外は一致しない。さらにモニターやビデオカードの性能によってもWebセーフカラーでも表示される色は異なる。16bitカラー以上を表示可能なモニタが広く普及している21世紀初頭現在ではあまり意味のないものとなっている。
架線電流計（かせんでんりゅうけい、英語：clamp meter）はクランプメータとも呼ばれ、電流による磁界を測ることによって電気回路を開くことなく測定できる電流計である。

使用上の注意 
 測定する回路の電圧にあわせたものを使用し、低圧用のもので、高圧以上を測定してはならない。
 クランプの分割部に異物をはさんだり汚損しないように注意する。
 測定時は、クランプをきちんと閉じ、架線がなるべく中心に来るようにする。
 他の磁気の影響を受けないように注意して測定する。

負荷電流測定 
負荷につながれた電線を1本ずつはさんで測定する。負荷電流が予想できないときは最大レンジで測定し、一つずつレンジを下げて測定する。

また、指示値が読み取りにくい場合は、データホールド機能を利用して測定する。

漏れ電流測定 
電線路の絶縁測定は、通常、電源を開放した停電状態において絶縁抵抗計を利用して行うが、停電させることが出来ない場合は、架線電流計を利用して漏れ電流を測定することで絶縁測定の代用とする。

変圧器のB種接地線を測定する場合、変圧器や平行する電線の磁界の影響を受けにくい位置で測定する。負荷の交流架線を一括でクランプする場合、クランプが確実に閉じられた状態で測定する。

種類 

 測定対象別
 交流専用 : 電磁誘導を利用した計器用変流器を使用している。
 交流直流両用 : 半導体のホール効果を利用している。
 漏れ電流計 : 微小な漏れ電流を測定するための高感度のものである。高調波による影響を除き、商用周波数の漏れ電流の大きさを計る機能を持っていることが多い。
 計器形状
 一体型
 分離型
 数値表示
 デジタル表示
 指針表示

また、電圧計や電気抵抗の測定機能をもつものもある。

主なメーカー 
 三和電気計器
 共立電気計器
 日置電機
 マルチ計測器
 エー・アンド・デイ
 横河メータ＆インスツルメンツ
伊予若宮信号場（いよわかみやしんごうじょう）は、愛媛県大洲市にある四国旅客鉄道（JR四国）予讃線の信号場である。

歴史 
 1920年（大正9年）5月1日：愛媛鉄道内子線の分岐点とするため若宮連絡所として開設。
 1935年（昭和10年）10月6日：愛媛鉄道を買収した国鉄が内子線の分岐を五郎駅に変更したため、廃止される。
 1986年（昭和61年）3月3日：予讃線内子方の分岐を再度現在地に変更して信号場となる。
 1987年（昭和62年）4月1日：国鉄分割民営化により、JR四国に継承。

構造 
予讃線の旧線・愛ある伊予灘線伊予長浜方面と新線・内子線の新谷方面の線路が分岐する、単線合流・分岐型の信号場である。このため伊予長浜方に片開き分岐器があるのみで列車行き違い設備は設けられていない。当信号場は両線の施設上の分岐点で、営業上の分岐駅は伊予大洲駅である。

周辺 
 付近に松山自動車道、国道56号大洲道路 大洲ICがある。

交通手段 
五郎駅からの移動が便利であり、ほぼ線路沿いに約1.5km程で到着する。

隣の施設 
 四国旅客鉄道（JR四国）
 予讃線（愛ある伊予灘線　伊予長浜方）
 五郎駅 - 伊予若宮信号場 - 伊予大洲駅
 予讃線（内子方）
 新谷駅 - 伊予若宮信号場 - 伊予大洲駅
伊予鉄道800系電車（いよてつどう800けいでんしゃ）は、かつて存在した伊予鉄道の鉄道線用通勤形電車。1984年から1985年にかけて京王帝都電鉄（現・京王電鉄）2010系電車を購入し、京王重機整備にて整備・改造の上投入したものである。

本系列の一部を譲り受けた銚子電気鉄道2000形電車（ちょうしでんきてつどう2000がたでんしゃ）についても、本稿で記述する。

概要 
編成は横河原方から、モハ820形 (Mc) - クハ850形 (Tc) + モハ810形 (Mc) の組成である。

伊予鉄道譲渡にあたり軌間が異なる（京王 : 1372mm、伊予鉄道 : 1067mm）ため、同時期に廃車された京王井の頭線用の初代1000系の台車や主電動機などを取り付け、軌間変更に対応している。ちなみに、これが京王重機整備による中古車両改造・譲渡の第1号である。種車のうち、モハ815は1961年製の京王2010系中期車グループで、冷房改造以前は屋上通風器の形状や配置が同系他車と異なっていたため遠方からでもすぐに見分けが付けられたが、後には車体裾部の処理を除いて他車との相違が見られなかった。

京王時代は1台の主制御器で8個の主電動機を制御する1C8M制御であったが、750V用への降圧に伴い制御装置を増設して1C4M制御とされた。発電ブレーキ（電制）も使用していたが、電制動作時の衝動が激しかったため、後に使用を中止した。また、投入当初は冷房装置を搭載していなかったが、集約分散型三菱電機CU127-Rを1台につき3基、補助電源装置(SIV)をサハ850に京王重機製造の出張工事により搭載した。1994年頃まで先頭車両に「今年も涼しい冷房電車増車」のマークが取り付けられていた。

入線時はモハ820 - サハ850 - モハ810の3両編成を組んだが、1993年から1994年にかけて運用の効率化のためサハ850形の高浜・郡中港寄りに貫通型運転台を取り付ける改造が京王重機整備の出張工事で実施された。これによりモハ810形を外した2両編成での運用も可能となった。新設された運転台の形状は、700系（旧 : 京王5000系）に類似しているが、800系は車体断面形状が裾絞りのない直線となっているため、独特の雰囲気を醸し出している。なお、クハ850形の運転台側とモハ810形の連結面側の連結器は電気連結器併設の密着連結器、モハ810形とモハ820形の運転台側は密着自動連結器であるが、営業運転で他形式と連結することはない。また、この改造と並行してATS取り付け改造も実施された。側面には700系と同じ行先表示器が取り付けられた。

610系に合わせた新塗装化（旧色は市内線車両と同色）は1995年から開始され1996年に完了している。

各車の来歴

運用終了・譲渡 
伊予鉄道では2009年度から2011年度にかけて郊外線向けの新型車両である3000系（3両固定編成×10本）を導入した。本系列はその代替として全廃されることとなり、2010年7月25日にさよなら運転を行い運用を終了した。このうち、2009年に廃車となったモハ822 - クハ852・モハ823 - クハ853の2編成4両が銚子電気鉄道に譲渡され、同社2000形電車（デハ2000形・クハ2500形）デハ2001 - クハ2501・デハ2002 - クハ2502となった。車内は座席の一部を撤去してバリアフリー化及びワンマン化を実施した。外装は、2001編成が京王時代のライトグリーン色に、2002編成はイオン銚子ショッピングセンター（現・イオンモール銚子）がスポンサーになり、白地の上から側面に電子マネー「WAON」のマスコットキャラクターである犬のラッピングが施されている。デハ2000形の前面には方向板受けも設置されている。なお、2009年度内に営業を開始する予定だったが、大幅に遅れ、2010年7月24日から営業運転が開始された。
伊予鉄道700系電車（いよてつどう700けいでんしゃ）は、伊予鉄道の鉄道線用電車。

1987年（昭和62年）から1994年（平成6年）にかけて京王帝都電鉄5000系電車を京王重機整備にて改造の上、購入したものである。

概要 
110系、120系などの旧型電車の置き換え目的で投入された。松山市寄りから、クハ760形 (Tc) - モハ710形 (Mc) - モハ720形 (Mc) の3両編成またはクハ760形 (Tc) - モハ710形 (Mc) の2両編成を組む。2015年度末現在、3両編成5本（15両）と2両編成2本（4両）の計19両が在籍し、営業運転では2両編成を2本併結した4連での運用もある。かつては伊予鉄道の鉄道線用電車の過半数を占める同社の主力であったが、3000系の導入により数を減らしている。

京王5000系は増備の途中で車体幅を変更したため、本系列も種車の関係から狭幅車（旧番号の下2桁01 - 06・51 - 56）と広幅車（同07 - 14・57 - 62）がある。

車体 
基本的に京王5000系時代そのままであるが、先に導入された800系同様に正面の方向幕が撤去されているほか、側面の種別表示幕も埋められて行先表示のみになっている。

モハ720形に改造された車両は、モハ710形の先頭車と貫通幌でつながれるため、連結面の広幅貫通路の幅を先頭車の貫通路に合わせた幅に狭める改造を実施した。

台車 
京王帝都電鉄の軌間が1372mmであるのに対して、伊予鉄道の軌間は1067mmであるため、電動車は廃車発生品の台車に交換し、制御車は車軸を交換して軌間変更に対応した。

電動車に用意されたのは、いずれも住友金属工業製の3種類の台車である。

 1988年から廃車の始まっていた東武2000系の廃車発生品である、FS340
 130系の老朽台車更新として1984年に小田急から6両分が譲渡された、小田急電鉄2220形の廃車発生品であるFS316
 FS316と同様の経緯で譲渡を受けた、小田急2200形デハ2217・デハ2218の廃車発生品の空気ばね台車FS321

大半の車両がFS340を装備したが、当初モハ717・モハ718がFS321を、モハ712・モハ714・モハ715・モハ722・モハ724・モハ725がFS-316を使用していた。このうちFS321は車輪転削盤にかからないことから、1993年11月までにFS340に振り替えられている。FS316についても、1999年の時点ではモハ722・モハ724・モハ725の3両のみで使用されている。

主電動機 
台車の流用元車両が装備していた、中空軸平行カルダン駆動の東洋電機製TDK-824及びWN駆動方式の三菱電機製MB-3032-Aを流用している。出力はどちらの主電動機も同じだが歯数比は異なる。

モハ711 - 719、モハ721 - 723の種車である京王デハ5101 -5112は、デハ2700形から主電動機・主制御器を流用した吊り掛け駆動車であったが、この主電動機流用でカルダン駆動に変わった。

なお、同様の主電動機を流用した610系との併結運転も可能だが、放送設備などの機器の相違から、実際に連結して運用された例はない。

制御装置 
東洋電機製造製ES-556B（モハ711 - 719・721 - 723の12両）と日立製作所製MMC-HTB-20B（モハ710・720・724 - 727の6両）というように異なっている。

ES-556Bは主電動機同様デハ2700形からの流用品で、駆動方式が変わった後もそのまま使用している。MMC-HTB-20Bは元クハ5700形を電装した車両に使われており、京王時代の中間電動車の電装品を移設している。ES制御器は発電ブレーキ（電制）を使用できないため、MMC制御器装備車も合わせて電制を使用していない。

冷房装置 
京王時代吊り掛け駆動車を含む編成だったことから、種車は元デハ5114のモハ727以外は冷房化されていなかった。冷房改造は運用開始後に伊予鉄道で実施し、全車同一の三菱電機CU-127R形集約分散式冷房装置を搭載している。冷房化された当時は800系と同じように「今年も涼しい冷房電車増車」のマークが取り付けられたが、後に側面の窓にステッカーで表示されるようになった。

編成及び旧番号（譲受年） 
下記の旧番は『鉄道ファン』408号および『鉄道ピクトリアル』578号・678号・734号・893号に基づく。

斜字は狭胴車、*はES-556B制御装置搭載車

現状 
610系に合わせた新塗装化（旧色は市内線車両と同色）は1994年から開始され1997年に完了している。過渡期には新旧混色での運転も見られた。2015年度より2度目の新塗装化（橙色一色化）が実施されており、2019年3月には全ての編成が新塗装となっている。モハ725編成の新塗装化時は、モハ725とクハ765の貫通扉にみきゃんのＰＲのシールが貼られていた。

伊予鉄道では2009年度から2011年度にかけて郊外線向けの新型車両である伊予鉄道3000系電車（3両固定編成×10本。元京王3000系）を導入した。本系列はこれにより3両編成3本が廃車された。このうちクハ763 - モハ713は銚子電気鉄道へ譲渡されて同社の3000形となり、2016年3月26日から営業運転を開始した。

また2024年度より伊予鉄道は新型車両を投入することが決定しており、実質的な余命宣告がされた。
ジュール＝トムソン効果（ジュール＝トムソンこうか）とは、多孔質壁を通して両側の圧力を一定に保ちながら膨張させた時に温度が変化することである。1852年に観測された現象に対して、ジェームズ・プレスコット・ジュールとウィリアム・トムソン（ケルビン卿）によって1861年に提唱された。この現象は気体の液化などに今日も応用されている。1908年にヘイケ・カメルリング・オネスはこの効果を利用して、ヘリウムの液化できる温度0.9 K (= −272.25) を達成した。

この膨張の過程はジュール＝トムソン膨張 と呼ばれる。膨張に伴って温度が下降するか、上昇するかは膨張前の温度によって決まり、温度の上昇と下降が入れ替わる温度は逆転温度と呼ばれる。

概要 
気体が入る2つの部屋を、多孔質壁を介してつなぎ、2つの部屋それぞれの圧力を均一に保つ条件のもと、一方の部屋から他方へと気体を押し出すというものが、ジュール＝トムソン膨張である。例えば圧力レギュレータで一定圧力に調整されたガスを多孔質を通して大気へ解放する状況がこれに当てはまる。このとき、終状態の圧力は始状態の圧力よりも必ず低くなる。ジュール＝トムソン効果は分子間距離が増大する際、分子間力に対して仕事をするために起こる。そのため理想気体ではこの現象は起こらない。高圧の気体の冷却効果として重要である。また、液化した気体の気化熱による冷却や断熱膨張による冷却とは区別する必要がある。

ジュール＝トムソン係数 

ジュール＝トムソン膨張は外部と熱のやり取りを行わない断熱過程であるが、不可逆過程でありエントロピーは増加する。一方で始状態と終状態でエンタルピーは変化せず、等エンタルピー過程であるといえる。圧力と温度で表した状態空間（図）上に等エンタルピー曲線を描いたとき、この曲線の傾き

はジュール＝トムソン係数と呼ばれ、ジュール＝トムソン効果を測る指標となる。
係数とはいうが、平衡状態に依存して決まる状態量であり、一般には温度と圧力の関数として表される。
気体の膨張、すなわち圧力の低下に伴って温度は

と変化する。 のとき  であり、膨張に伴って温度は下降する。逆に  のときは  であり、膨張に伴って温度は上昇する。従って、逆転温度において  である。

ジュール＝トムソン係数は、熱力学的状態方程式を用いると

と変形される。ここで  は等圧熱容量、 は熱膨張係数である。
 なので、 の符号によってジュール＝トムソン係数の符号が決まる。

理想気体の場合は  なので常に  であり、膨張に伴って温度は変化しない。従って、ジュール＝トムソン効果は実在気体に固有の現象といえる。実在気体の状態方程式をビリアル展開

の形で書くと

となる。ファン・デル・ワールス気体を考えると

となり、充分に温度が低い領域でジュール＝トムソン係数が正であることが分かる。
低圧領域で考えて  を無視すると、ファン・デル・ワールス気体の逆転温度は

で表される。ここで  はボイル温度、 は臨界温度である。

準静的断熱膨張の場合は

である。同じ圧力差の膨張ならジュール＝トムソン膨張より準静的断熱膨張の方が気体の温度を下げることができる。しかも、気体の熱膨張係数は正なので準静的断熱膨張では常に温度が低下する。しかし、気体の液化には技術的に簡単なジュール＝トムソン膨張が用いられている。
造影剤（ぞうえいざい）とは、画像診断の際に画像にコントラストを付けたり特定の組織を強調して撮影するために検査対象者に投与される医薬品である。組織そのものの写り方が変わるのではなく、生体組織とは写り方が大きく異なる物質を取り込ませることで、画像上その組織の写り方が大きく変化したように見えるのである。つまり、例えばX線を用いた撮影においてはX線をよく遮蔽する物質が使われる。いずれにしても生体に与える副作用の少ない物質が造影剤として選ばれ、ヨウ素化合物、バリウム化合物、ガドリニウム化合物、二酸化炭素などが用いられる。

分類 
 血管内に投与するもの
静脈に投与することで血管の豊富な組織を強調するほか、動脈の特定の部位に注入して透視することで動脈の血流を観察するのに使用する。非イオン性水溶性ヨード造影剤、水溶性ヨード造影剤、低浸透圧水溶性ヨード造影剤などが用いられる。
ヨウ素を使用しておりアレルギー反応が出現することがあるため、使用前に既往歴の問診が欠かせない。実際にアレルギーが出現し血圧低下などが起こった場合は、輸液やカテコールアミンの使用で対処する必要がある。
かつてはトロトラスト（二酸化トリウムコロイド）が用いられたが、トリウムの放射性に由来する発癌作用が発見されたため、現在では用いられていない。
 消化管を造影するもの
経口から飲むほか、消化管内に挿入したチューブから注入したり、肛門から注入するなど、検査目的に応じて使用される。水に不溶性の硫酸バリウムと水溶性のヨード系のものがある。消化管穿孔がある場合（疑われる場合）には不溶性のものは使用できない。
 脊髄内に投与するもの
腰椎穿刺により注入する。血管の造影剤同様に、メトリザミドなどの非イオン系のヨード造影剤が用いられるが、現在ではMRIの方が広く用いられる。かつてはイオフェンジラート（親油性ヨード化合物）が用いられていたが、水溶性が無いため体内除去が困難で、後遺症が問題となったため現在では用いられない。
 MRI検査で使用するもの

ガドリニウム化合物はMRIの強いT1短縮効果を持ち、T1強調画像で高信号をしめすため、陽性造影剤として使用される。
 心臓超音波検査で使用するもの
心臓内の血液の流れを可視化するため、マイクロバブルを含む超音波造影剤を静脈注射、また発泡剤を投与することで造影剤とすることがある。

副作用

病態生理

アナフィラキシーショック 
あらゆる物質は、それに対する生体のアレルギー反応を起こしうる。造影剤も例外ではなく、アナフィラキシーショックを起こすリスクは他の薬剤に比べやや高い。なお血管に投与するタイプなどの一部の造影剤は、体内に投与されると体が熱く感じるが、これは血管が広がり血行が良くなることにより起こるためで、問題はない。

造影剤腎症 
ヨード造影剤は大部分が尿中排泄され、主に血管収縮による虚血と近位尿細管障害により腎毒性を引き起こす。特にイオン性のものは浸透圧性が高く、非イオン性より腎臓に負荷がかかりやすいとされている。

アナフィラキシーショックの呈する症状が激しいのに対し、こちらは個別の症例で予後に対する影響が緩やかであるために見過ごされて来た。2000年代になって大規模かつ長期の疫学調査により、特に重症患者において生命予後を数%とは言え有意に低下させることが示され、注目を集めるようになった。造影剤関連急性腎障害とも呼ばれる。

ヨウ素過剰症 
一過性の甲状腺機能亢進症を発症することがある。

予防と治療 
生理食塩水による補液、アセチルシステインによる解毒、重炭酸による腎機能の維持などが提唱されているが、本症自体が大規模な疫学調査によって初めて示された疾患であるので、有効性の立証も困難であり、論文によってその有効性の評価は分かれている。また病院によっては副作用予防のために撮影前にコップ1杯分の水を飲むように指示されることもある。
Hyper Text Coffee Pot Control Protocol（ハイパー・テキスト・コーヒーポット・コントロール・プロトコル、HTCPCP、ハイパーテキスト・コーヒーポット制御プロトコル）は、HTTPの拡張でコーヒーポットの制御、監視、診断を行うための通信プロトコルである。1998年4月1日に発行されたRFCので規定されているが、これはエイプリルフール恒例のジョークRFCとして公開されたものである。

2014年4月1日には、紅茶向けに拡張したHTCPCP-TEA (Hyper Text Coffee Pot Control Protocol for Tea Efflux Appliances) がとして公開されたが、これもエイプリルフールのジョークRFCである。

概要
RFC 2324 はが執筆したものである。彼はこれを風刺と表現し、「これは真面目な目的を持っている――それはHTTPを不適切に拡張する方法を特定することである。」と書いている。しかし、プロトコルの文言からして、これが完全に真面目な目的ではないことは明らかである。例えば、"there is a strong, dark, rich requirement for a protocol designed espressoly for the brewing of coffee"（コーヒーを淹れるためにエスプレッソリーに設計したプロトコルには、強く、暗く、豊かな要求がある）と書かれている。

エイプリルフールに発行されたジョークRFCではあるが、プロトコルそのものは実行可能なものである、エディタのEmacsには、完全に機能するHTCPCPクライアントの実装 (coffee.el) が存在する。Mozillaのバグレポートには、このプロトコルに対応していないことに対する不満を訴えるものが多数存在する。また、大学生の研究対象として、実際にHTCPCPを実装したコーヒーメーカーを試作するといったことも行われている。

HTCPCPの発表から10年後の2008年4月1日、World Wide Web Consortium (W3C) の “HTTP Vocabulary in RDF”のパロディとして、Web-Controlled Coffee Consortium (WC3) が “HTCPCP Vocabulary in RDF” の初稿を発表した。

HTTPをベースとしたプロトコルであるため、「コーヒーポット側からクライアントに『コーヒーが入った』等の通知を送ることができない」などの問題を抱えており（元々がジョークRFCであるため仕方のないことではあるが）、本プロトコルの代わりにIRC・Twitterによる通知機能を持たせたコーヒーメーカー「萌香」が開発されるなど、本プロトコルの代替となるものも提案されている。

コマンドと応答
HTCPCPはHTTPを拡張したものである。HTCPCPリクエストは、URIスキーム  （または、29の言語における「コーヒー」を意味する単語。日本語の「コーヒー」も含まれている。）で識別され、HTTPメソッドを以下のように拡張している。

以下の2つのエラー応答が定義されている。

また、一時的にサーバにコーヒーがなくなった場合には、汎用のステータスコード503が返される。

Save 418 movement
2017年8月5日、IETF HTTPBISワーキンググループの議長であるは、HTCPCPを参照して実装されたステータスコード418 "I'm a teapot" をNode.jsプラットフォームから削除するよう求めた。2017年8月6日、ノッティンガムは、プログラミング言語Goから 418 "I'm a teapot" への参照を削除することを要求し、その後PythonのRequestsライブラリやASP.NETのHttpAbstractionsライブラリからも削除するよう要求した。

これを受けて、15歳の開発者シェーン・ブランズウィック (Shane Brunswick) はウェブサイト save418.com を作成し、“Save 418 Movement”（418を守れ運動）を立ち上げた。彼は、様々なプロジェクトで 418 "I'm a teapot" が参照されることは、「コンピュータの基礎となるプロセスがまだ人間によって作られていることを思い起こさせる」ことになると主張した。ブランズウィックのサイトは、ソーシャル・プラットフォームRedditで数千のアップボート (upvotes) を集め、彼のサイトで紹介されたTwitterのハッシュタグ"#save418"を多くの人が使用した。世間の反発を受けて、Node.js、Go、PythonのRequestsライブラリ、ASP.NETのHttpAbstractionsライブラリは、自らのプロジェクトにおいて 418 "I'm a teapot" を削除しないことを決定した。

これらのプロジェクトと一般の人々からの満場一致の支持を受けて、ノッティンガムは、418が当面の間、公式のステータスコードに置き換えられないことを保証するために、418を予約済みのHTTPステータスコードとしてマークするプロセスを開始した。
列車集中制御装置（れっしゃしゅうちゅうせいぎょそうち、通称CTC：Centralized Traffic Control）とは、鉄道において路線・一定区間の単位で信号や分岐器の連動装置を運転指令所又は列車制御所にて遠隔制御できるようにしたシステムをいう。また、JR各社において、このシステムの中央装置を設置した箇所は一般的にCTCセンターとよばれ、CTCセンターで指令業務を行う職員をCTC指令という。

概要 
通常は、駅構内の分岐器や信号の操作は各停車場の信号扱い所に設置された連動制御盤を駅運転取扱者が操作を行う（これを「駅単独てこ扱い」という）。しかし、このシステムでは各停車場に駅運転取扱者が必要になるうえ、かつての運転指令所は列車の運行状況は駅と鉄道電話で連絡を行いながら把握するという、指令所と言いながらも駅のバックアップを受けなければ指令業務が出来ないという状態であった。

CTCを用いた列車制御は、連動駅に信号機・転轍機・軌道回路と接続している駅装置を設け、駅装置と中央制御所のCTC中央装置との間を1対又は2対の通信ケーブルで結んで情報の送受信を行ない、中央制御所のCTCセンターに列車の在線状況をリアルタイムで表示させる列車集中表示盤と、その状況を元に運転取扱者が各駅の信号・分岐器の遠隔操作を行う列車集中制御盤が設置されていて、それにより、CTCセンターから進路制御を行う。しかしこの装置だけでは、各駅で行っていた信号や分岐器の操作が一箇所で可能になっただけであって、本来判断作業に専念しなければならないCTC指令が、信号や分岐器の操作も行わなくてはならない。よって現在では、CTC装置に自動進路制御装置 (PRC) 等を付加することで、実際の信号扱いを自動化している路線もある。また、併設されている車両基地へ車両を出入庫させるための信号操作を頻繁にしているなど特別な理由のある駅では、信号の操作をCTCによる制御から切り離して駅での取扱いを行っている（表示駅という）。これらの駅・CTCセンターは在線位置の把握のみを行う。また、各連動駅には、駅において手動で進路を取扱う為の連動制御盤を設置しているが、普段は中央装置の列車集中制御盤で制御されるため、補助制御盤と呼ばれている。必要に応じて補助制御盤で切替キーてこを操作することにより、CTCセンターではなく駅から進路制御を行うことも可能である。

本装置の短所としては、列車無線の整備、分岐器の自動化、CTCセンターや各駅への装置設置など導入の際には相当の費用がかかることである。しかし導入後の業務効率化効果などは大きく、全国の多くの鉄道事業者がCTCを導入している。また近年は列車無線の整備はせず、乗務員にCTCセンターとの連絡用に携帯電話を持たせ、これに代えている鉄道事業者もある。

基本的なアイディアとその実現法は比較的単純であるため、歴史は意外と古く、1954年に京浜急行電鉄の久里浜線・名古屋鉄道の小牧線に日本国内で最初に導入されており、日本国有鉄道（国鉄）においては1958年（昭和33年）に伊東線に初めて導入され、1962年（昭和37年）には横浜線（当時は全線単線）に導入された。1964年（昭和39年）には東海道新幹線に開業時から導入され（東京駅16-19番線のホーム北側に設置。開業当初はホーム長が12両対応で短かった）、これを日本初の本格的かつ大規模なCTCシステムとみなす場合が多い。1960年代以降から全国の国鉄・大手私鉄各路線で幅広く導入された。当初は列車本数が少ない地方幹線への導入が主であったが、自動進路制御装置 (PRC) や列車運行管理システム (PTC) の技術が確立された1980年代以後は、首都圏などの高密度運転線区にも普及した。

2007年現在では、JRグループ各社や大手私鉄各社はもちろんのこと、第三セクター鉄道でも特殊自動閉塞式の導入により、日本の鉄道路線の大半はCTC化が完了している。ただし、システムの都合などでCTCに移行できず、駅てこ扱いを現在でも続けている鉄道事業者・路線もある。また、高速かつ高密度な輸送で知られる京浜急行電鉄は、久里浜線を除きあえて列車の集中運行管理は行わず、各駅の信号扱所での個別管理方式を堅持している。輸送障害時の迅速なダイヤ復旧などには個別管理方式が優れている、という同社の考え方である。

JRで現在使用中の主な路線

JR北海道 
 列車運行管理システム（独自名称なし）導入路線や一部路線を除いた大半の路線でCTC化完了。

JR東日本 
 東京圏輸送管理システム（ATOS）導入路線や一部路線（下記参照）を除いた大半の路線でCTC化完了。ほとんどがPRCを併用。

非CTC区間

JR東海 
 名古屋圏運行管理システム（NOA）導入路線や東海道本線美濃赤坂支線、名松線を除きCTC化完了。いずれもPRCを併用。

JR西日本 
 運行管理システム (JR西日本)導入路線や一部路線を除いた大半の路線でCTC化完了。ほとんどがPRCを併用。

 
 上記のほかJR西日本金沢支社、和歌山支社、福知山支社、岡山支社、広島支社、米子支社管内の全線でCTC化完了。

JR四国  
 JR四国管内の全線。1991年11月にCTC化完了。

JR九州  
 総合指令システム（JACROS）導入路線を除く全線でCTC化完了。

過去に使用されていた路線    
 東海道新幹線 - 東京駅〜新大阪駅間。1972年3月15日の山陽新幹線岡山開業時に世界初のPTCであるCOMTRACに移行。
 埼京線・川越線 - 大崎駅〜武蔵高萩駅間。2005年7月30日にATOSへ移行。PRCをいち早く導入した路線で開業時は最先端のシステムだった。   

 横須賀線 - 大船駅（除）〜久里浜駅間。2009年11月1日にATOSへ移行。
 武蔵野線（支線含む） - 新鶴見信号場（除）〜西船橋駅間。2012年1月22日にATOSへ移行。
 横浜線 - 東神奈川駅（除）〜八王子駅（除）間。2015年7月12日にATOSへ移行。
 京葉線（支線含む） - 東京駅〜蘇我駅（除）間。2016年9月25日にATOSへ移行。拠点式CTC（拠点駅にある信号所で複数駅を制御）と旅客案内機能を有するPRCによる当時最先端のシステムだった。
 片町線 - 祝園駅（除）〜松井山手駅間。2009年に片町線支線が、2011年に片町線全線が運行管理システムへ移行。

私鉄、公営路線で現在使用中の主な路線 
 道南いさりび鉄道
 道南いさりび鉄道線 - 五稜郭駅〜木古内駅間
 東武鉄道
 伊勢崎線 - 館林〜伊勢崎間
 日光線 - 新栃木〜東武日光間
 佐野線、小泉線、桐生線、宇都宮線、鬼怒川線
 西武鉄道
 池袋線 - 高麗〜吾野間
 西武秩父線 - 吾野〜西武秩父間
 多摩川線 - 新小金井〜白糸台間
 京急久里浜線
久里浜工場信号所〜三崎口
 南海電気鉄道 - 高野線の岸里玉出駅〜橋本駅間と鋼索線をのぞいた全線
 大阪市高速電気軌道
 御堂筋線 - 全線
 谷町線 - 全線
 四つ橋線 - 全線
 中央線 - 全線
 四日市あすなろう鉄道内部線
 養老鉄道養老線
 伊豆急行
 伊豆箱根鉄道駿豆線
静岡鉄道静岡清水線
 三岐鉄道北勢線
 一畑電車全線
 高松琴平電気鉄道 - 全線
 伊予鉄道鉄道線 - 全線
公開鍵暗号において、証明可能安全性（しょうめいかのうあんぜんせい）とは、暗号の安全性を形式的に定義し、数学的証明の正当性によって、（定義の範囲内で）安全性の有無を判断できるものである。

安全性の証明がないことは、必ずしも、安全でないことを意味するわけではないが、より確固たる暗号を採用するために、安全性を証明することが求められている。従来、経験則によって安全性の主張を行っていたものを排除できるようになった。

概要 
通常、安全性の形式定義は "攻撃者モデル" という形で攻撃条件と、ゴールを形式的に表現することでなされ（幾らかの仮定の下で）、暗号を解読する問題をよく研究されて誰もが困難と信じる問題(安全性の根拠となる問題)に帰着できることの証明を与えることでなされる。根拠となる問題は、公開鍵暗号の安全性証明では、素因数分解問題や離散対数問題などがよく使われる。

証明の際には、ランダムオラクルモデル（ROM）などの現実には true とは言えないモデルを仮定することもあるし、困難な問題と言っても真に困難であるかの証明は無いことから、安全性証明とは何を証明しているのか注意すべきである。それでも、経験的な安全性とは質の異なる安全性を提供できる点に大きな意味があると考えられている。

ブロック暗号における証明可能安全性 
ブロック暗号において、証明可能安全性（しょうめいかのうあんぜんせい、provable security）とは、ある種の攻撃法に対する暗号の安全性を数学的証明によって保障する手法である。

MISTY1は差分解読法及び線形解読法に対して証明可能安全性を有するように設計された。

ただし、この証明可能安全性はほかの攻撃法に対する安全性を保証するものではない。
SNAKE暗号は差分解読法及び線形解読法に対して証明可能安全性を有するように設計されたが、補間攻撃法によって全数探索より少ない計算量で解読可能なことが知られている。
孤立波（こりつは）とは、波動方程式の解  であって、 で速やかに  となるものを指し、噛み砕いて言えば、ただ一つの山だけが伝わっていく波である。水面を伝わる孤立波に初めて注目して研究したのは、1834年のスコットランドの造船技術者で、1895年にはオランダのとが浅い水の表面を伝わる波の方程式として  を提案し、このKdV方程式が孤立波の解をもつことを示した。

さらに幾つかの条件を満たし粒子のようにふるまう孤立波は、ソリトンと呼ばれる。
ナタ・デ・ココとは、ココナッツ果汁を発酵させてゲル化した、フィリピン発祥の伝統食品である。

概要 
18世紀に誕生したパイナップルを原料とするの代用品として1949年に発明された。発明者はバタンガス州リパ出身の女性化学者 Teódula Kalaw África。

スペイン語で「ナタ」は（液体表面上の）「皮膜」を意味し、「ナタ・デ・ココ」は「ココナッツの上澄み皮膜」を意味する。

ココナッツ果実の内部に蓄えられたココナッツ水と呼ばれる液に、酢酸菌の一種アセトバクター・キシリナム（ナタ菌）を加えて発酵させ、表面から凝固し、一定の厚みになったところでさいの目に切り食用に供する。このゲル状物質は、ほとんど菌が合成するセルロースから成る。寒天と似た外観ながら、イカのような独特の歯ごたえがある。カロリーが低く、食物繊維が豊富であるためダイエット食や特定保健用食品としても利用される。

日本での流行 
日本においては、1970年代後半にデルモンテがフルーツ缶に入れたのが最初とされる。その後、食品会社のフジッコがデザートとして商品化したが、当初はまだナタ・デ・ココが一般的になっておらず停滞気味だった。1992年7月に大手ファミリーレストランチェーンのデニーズがメニューに加え、1993年春以降にマスコミで大きく取り上げられたことにより大流行した。缶詰や瓶詰として単独で販売されるようになったほか、各種食品、飲料と組み合わせて、デザートや菓子として販売されている。

1993年の熱狂的なブームが去った後も、一定のファンが存在し定番商品となっている。

食用以外での利用 
以前からナタ・デ・ココと同質のものである産膜性の酢酸菌が生産するセルロース・ゲルは、均質なセルロース・コロイドのゲルであることから、スピーカーのコーン紙としてなどハイテク素材としての用途が模索されてきた。

ナタ・デ・ココの成分の99%が水分、残りの1%が繊維質であることに着目し、水分を飛ばして乾燥したナタ・デ・ココの繊維質に合成樹脂を浸透させ、有機ELディスプレイの透明基板として使用する研究が2000年代になされている。既存のガラス製パネルでは不可能だった、石英ガラス並みの低熱膨張性を備え、しなやかで折り曲げ可能な薄型ディスプレイを再生産可能な植物原料から製造することができて、さらにガラス製パネルよりも安価に製造が可能であることから、薄型ディスプレイのコスト削減に繋がることが期待されている。