hotchpotch/wikipedia-multilingual-ir-related-paragraph-pairs huggingface dataset:
日本の地域別鉄道路線一覧
Section: 北海道

超広域：
北海道新幹線（北海道 - 東北地方）
海峡線（北海道 - 東北地方）

広域：
函館本線 - 千歳線 - 石勝線 - 室蘭本線 - 根室本線 （JR北海道）
宗谷本線 - 石北本線 - 釧網本線（JR北海道）

石狩振興局
札幌市
札幌市営地下鉄南北線 - 札幌市営地下鉄東西線 - 札幌市営地下鉄東豊線 （札幌市交通局）
札幌市電都心線 - 札幌市電一条線 - 札幌市電山鼻線 - 札幌市電山鼻西線 （札幌市交通事業振興公社）
札沼線
日本の地域別鉄道路線一覧
Section: 九州・沖縄

熊本県
広域:
三角線（JR九州）
熊本電気鉄道菊池線（熊本電気鉄道）
くま川鉄道湯前線 （くま川鉄道）
熊本市
熊本市電幹線（熊本市交通局）
熊本市電上熊本線（熊本市交通局）
熊本市電水前寺線（熊本市交通局）
熊本市電健軍線（熊本市交通局）
熊本市電田崎線（熊本市交通局）
熊本電気鉄道藤崎線（熊本電気鉄道）
阿蘇郡
南阿蘇鉄道高森線（南阿蘇鉄道）

佐賀県
広域:
唐津線（JR九州）

長崎県
広域:
島原鉄道線（島原鉄道）
長崎市
長崎電気軌道本線（長崎電気軌道）
長崎電気軌道赤迫支線（長崎電気軌道）
長崎電気軌道桜町支線（長崎電気軌道）
長崎電気軌道大浦支線（長崎電気軌道）
長崎電気軌道蛍茶屋支線（長崎電気軌道）
日本の地域別鉄道路線一覧

「広域：」とは、その地域内の複数の部分にまたがる路線である。地域内で完結している。

「超広域：」とは、その地域と他の地域にまたがる路線である。
詳細は、その地域を含んだ親の地域の「広域」に同じ路線名を見つけることができる。

日本の地域別鉄道路線一覧（にほんのちいきべつてつどうろせんいちらん）では、50音順配列の日本の鉄道路線一覧を日本の地域別に一覧にしている。

解説：

本記事は、原則として旅客営業を行う路線を対象とし、貨物専用の路線は含まれない（ただし、リンク先の「○○（地方）の鉄道路線」には貨物線を含む。）。
湘南市

合併が実現していれば、神奈川県第3位の人口を有する都市となり、2010年4月に政令市に移行した相模原市よりも規模の大きい政令市が誕生し、また同一県内に4つの政令市（横浜市・川崎市・相模原市・湘南市）を擁した可能性もあった。

湘南市（しょうなんし）は、神奈川県平塚市、藤沢市、茅ヶ崎市、高座郡寒川町、中郡大磯町、二宮町の6市町の合併構想により、新設が検討されていた人口約97万人（当時）の都市である。政令指定都市への移行を目指したが、合併まで至らなかった。
室温超伝導
Section: 実現の試み

2020年10月、ロチェスター大学のランガ・ディアス博士らのグループが、光化学的に合成される炭素質水素化硫黄（英語: Carbonaceous sulfur hydride）の三元系で、267GPaの圧力下において、287.7K（15℃）で超伝導状態になることが報告されたが、同年9月26日、『ネイチャー』はデータや再現性に問題があるとして論文を撤回した。

2023年3月8日、同じくディアス博士らのグループが、高圧下で水素化ルテチウムが294 K（21℃）で超伝導になったとする論文を再度『ネイチャー』に発表し、追試が行われたが、理論的にも実験的にも否定的な見解が多かった。2023年6月9日、イリノイ大学シカゴ校のラッセル・ヘムリー教授のグループが追試に成功したという報告が、インターネット上の論文サーバである「arXiv」に報告された。
トート・タロット
Section: カードの概説

V 『神官（The Hierophant）』

VI 『恋人（The Lovers）』

VII 『戦車（The Chariot）』

牛・鷲・天使・ライオンのスフィンクスを従え、聖杯を抱え持つ御者の姿が描かれている。

0 『愚者（The Fool）』

I 『魔術師（The Magus）』

裸の魔術師が描かれている。

II 『女司祭（The Priestess）』

III 『女帝（The Empress）』

IV 『皇帝（The Emperor）』
トート・タロット
Section: 他のタロットとの相違点

ウェイト版などと同じく、黄金の夜明け団の教義に基づいてはいるが、クロウリー独自の解釈も加わっており、かなり相違点がある。

大アルカナや小アルカナのカードの名称変更が多い。

名称変更された大アルカナは、

『魔術師』 The Magician が 『魔術師』 The Magus

『女司祭長』 The High Priestess が 『女司祭』 The Priestess

『正義』 Justice が 『調整』 Adjustment
ミュルミドーン人

ゼウスはアイギーナを父のもとからさらい、当時オイノーネーと呼ばれていた島に連れて来て、アイアコスを生ませた。これ以降オイノーネー島はアイギーナ島と呼ばれるようになった。ゼウスはアイアコスがアイギーナ島に一人でいるのを哀れみ、蟻を人間に変えてあげた。彼らがミュルミドーン人である。

アイアコスの子にペーレウスとテラモーンが生まれた。彼らは成長した後、異母兄弟のポーコスを殺したため、ペーレウスはプティーアへ、テラモーンはサラミース島へ逃亡した。ペーレウスが逃げ出すときにミュルミドーン人をプティーアへ連れ出したため、ペーレウスの子アキレウスが、トロイア戦争にミュルミドーン人を率いていくことになったと思われる。
グリモワール
Section: 古代の魔術文書と旧約偽典

『ソロモンの遺訓』（Testament of Solomon）

旧約偽典のひとつで、ソロモンの指輪が登場する最古の文献。

『モーセ第八の書』（The Eighth Book of Moses）

PGM (Papyri Graecae Magicae)のひとつ。

グリモワールという言葉が生まれるずっと前のものであるが、古代後期のヘレニズム文化に属するエジプトの魔術パピルス文書が多数見つかっており、それらはカール・プライゼンダンツによって「ギリシア語魔術文書」（Papyri Graecae Magicae、略称PGM）として集成された。
グリモワール
Section: 概要

『ソロモンの鍵』『ソロモンの小さな鍵』『黒い雌鶏』などが有名で、特に『大奥義書』の異本『赤竜』に加えられた、黒い雌鶏を使った召喚儀式に登場する「エロイムエッサイム 我は求め訴えたり」（Eloim, Essaim, frugativi et appellavi）という呪文は、日本でも有名である。

狭義では悪魔や精霊、天使などを呼び出して、願い事を叶えさせる手順、そのために必要な魔法円やペンタクルやシジルのデザインが記された書物を指すが、魔術を行う側の立場から書かれた悪魔学書、魔術や呪術などに関する知識、奥義を記した古文書、書物全般のことを指す場合もある。
グリモワール
Section: 概説

しばしば「グリモワールは中世のヨーロッパで書かれた」と言われるが、必ずしもそうではない。13世紀前半にはパリの司教、オーヴェルニュのギヨームが、1267年頃にはロジャー・ベーコンがこうした書物に言及しており、中世盛期後半の12-13世紀ごろには今日グリモワールと呼ばれているような書物がすでにあったことがわかる。しかし現存する写本や刊本の多くは17世紀以降のもので、中世に書かれたものは例外的である。『ソロモンの鍵』の現存する写本の多くは17-18世紀のものであり、『レメゲトン』の現存する最古の版は1641年のものである。現存するグリモワールの中には、中世を起源とする書物の近世における異本と考えられるものもあるが、権威付けのために「中世、あるいは古代に記された原典を現代語訳したもの」と自称している「近世・近代の産物」も多いと考えてよい。

グリモワール（grimoire）という言葉の由来については「文法（書）」を意味するフランス語の grammaire から派生したとの説が有力である。フランスではかつて grammaire はラテン語で書かれた書物を指した。中世ヨーロッパで「文法」（grammatica）といえばラテン語の文法や教養を意味したが、一般の人々にとってラテン語は聖職者などの限られた人だけが読める“ちんぷんかんぷん”なものであった。民衆の中でしばしば「文法」と「魔法」が関連付けられたであろうことは、イギリスで grammar の異形 gramarye が「魔法」の意味で用いられたという事実からも窺知される。グリモワールという言葉が普及したであろう18世紀のフランスでは、民衆語で書かれた廉価本の出版が盛んで、その中には通俗的な魔法書も少なからずあった。そのような魔法書の大衆化傾向にあっても、依然としてラテン語で書かれた魔法書の写本も流布していた。フランス語では grimoire という言葉は「わけのわからない書物」「判読不能な文字」の比喩としても用いられる。
トンネル効果

トンネル効果は、原子核崩壊や核融合など、いくつかの物理現象において欠かせない役割を果たしている。また、トンネルダイオード、量子コンピュータ、走査型トンネル顕微鏡、フラッシュメモリなどの装置において応用されているという意味でも重要である。

トンネル効果（トンネルこうか、英: tunnelling effect）は、量子力学において、波動関数がポテンシャル障壁を超えて伝播する現象である。

20世紀初頭に予言され、20世紀半ばには広く認知される物理現象となった。トンネル効果は、ハイゼンベルクの不確定性原理と、物質における粒子と波動の二重性を用いて説明できる。
トンネル効果
Section: 量子トンネルの数学的表現

また、最低次の項については次のような拘束が課せられる。

ここで、二つの極端な場合について考察する。

Case 1

振幅の変化が位相に比べて遅い場合、 および

は古典的運動に相当する。次の次数までの項を解くと、次を得る。

.

この方程式を半古典近似を用いて解くには、各関数を  の羃級数に展開する。この方程式の実部を満たすためには、羃級数が少なくとも  から始まる必要があることがわかる。古典極限の振舞いを良くするためにはプランク定数の次数はなるべく高い方がよいので、次のように置くこととする。
トンネル効果
Section: 基礎

波動関数は系のすべての情報を持っている。系の波動関数を得るには、シュレーディンガー方程式（あるいはそれと等価な方程式）を解析的ないし数値的に解く必要がある。
通常、波動関数は位置の関数として表されるが、この場合、波動関数はある場所に粒子を見出す確率を与える（2乗絶対値が確率密度関数に対応する）。障壁を高くもしくは広くする極限をとれば、透過する確率は下がる。

このような違いは、量子力学における粒子と波動の二重性に起因する。この二重性により導かれるハイゼンベルクの不確定性原理によれば、粒子の位置と運動量は確定することができない。このことは、粒子はぼんやりとした雲のように存在している（存在確率に空間的な広がりがある）ことを意味しており、また、その確率が厳密に0（もしくは1）になるような解はない。したがって、障壁に粒子が衝突する時、障壁を挟んだ反対側には粒子の存在確率があり、障壁が薄ければ薄いほど、その存在確率は無視できないものとなる。
名誉毀損罪
Section: 概要

毀損された名誉が死者のものである場合には、その摘示内容が客観的に虚偽のものでなければ処罰されない（刑法230条2項）。ただし、相手の死亡が名誉毀損をした後の場合には、通常の名誉毀損罪として扱われ、当該事実が虚偽でなかったことでは免責されない（刑法230条の2の適用が問題となる）。

公然とある人に関する事実を摘示し、その人の名誉を毀損した場合に成立する（刑法230条1項）。法定刑は3年以下の拘禁刑または50万円以下の罰金である。

名誉毀損罪は、摘示された内容が真であっても偽であっても成立する可能性がある。
名誉毀損罪
Section: 代表例

『事故のてんまつ』 - 死者の名誉棄損について。謝罪し絶版となった。

『落日燃ゆ』 - 死者の名誉毀損について。遺族が耐え難い精神的苦痛を被ったとした裁判が行われ、遺族の名誉毀損は認められるものの、虚偽妄想であるという確たる証拠が見られなかったため棄却。

スマイリーキクチ中傷被害事件 - ネット上に虚偽の情報から長期的な誹謗中傷が書き込まれた事件について

『石に泳ぐ魚』 - 「『新潮』に掲載された作品は、出版、出版物への掲載、放送、上演、戯曲、映画化等の一切の方法による公表をしてはならない。謝罪広告の掲載、改訂版の出版差し止め請求ほかの請求は棄却」
名誉毀損罪
Section: 名誉毀損罪（1項）

本罪の行為は人の名誉を公然と事実を摘示して毀損することである。

通説では、本罪は抽象的危険犯とされる。つまり、外部的名誉が現実に侵害されるまでは必要とされず、その危険が生じるだけで成立する。

事実の有無、真偽を問わない。ただし、公共の利害に関する事実を、専ら公益目的で摘示した結果、名誉を毀損するに至った場合には、その事実が真実であると証明できた場合は処罰されない（230条の2第1項、#真実性の証明による免責参照）。

「公然」とは、不特定または多数の者が認識し得る状態をいう。「認識しうる状態」で足り、実際に認識したことを要しない（大判明治45年6月27日刑録18輯927頁）。また、特定かつ少数に対する摘示であっても、それらの者がしゃべって伝播していく可能性が予見でき、伝播される事を期待して該当行為を行えば名誉毀損罪は成立する（伝播性の理論）。
環 (数学)
Section: 基本概念

環準同型とは、環における乗法と加法に対して可換である写像である。単位的環 R1 から単位的環 R2 への（単位的環）準同型 f とは、

が成り立つ、R1 から R2 への写像のことをいう。ここで、1 は R1 の単位元、1' はR2 の単位元をそれぞれ表している。準同型 f が全単射であるとき、同型（写像）と呼び、R1 と R2 は同型であるという。準同型の核はイデアルになり、次の準同型定理が成り立つ；

R の元で他のどの元との積も可換になっているものを集めた集合 Z(R) はRの中心と呼ばれる。Z(R) は R の可換な部分環になっている。

R の部分集合 I が加法について閉じていて、x ∈ R, y ∈ I ならば xy やyx が必ず I に入っているとき、I を両側イデアルという。（したがって両側イデアルは単位元を持つとは限らない環である。）イデアル I が与えられているとき、x − y ∈ I で R に同値関係を定義することができる。さらに同値類の間に自然な演算を定義できて、環になることが分かる。この環を R の I による剰余環といい、R/I と書く。
環 (数学)
Section: 可換環

任意の環に対して素元および既約元を定義することはできるが、この二つの概念は一般には一致しない。しかし、整域において素元は必ず既約である。逆は、UFD については正しい。

一意分解整域と他の環のクラスとの関係としては、たとえば任意のネーター環は先ほどの条件の1番目と2番目を満足するが、一般には3番目の条件を満足しない。しかし、ネーター環において素元の全体と既約元の全体が集合として一致するならば、3番目の条件も成り立つ。特に主イデアル整域は UFD である。

2番目の条件は R の「非自明」な元の既約元への分解を保証するものであり、3番目の条件によってそのような分解は「単元を掛ける違いを除いて」一意的である。一意性について、単元を掛けてもよいという弱い形を採用するのは、そうしないと有理整数環 Z が UFD とならないからというのが理由のひとつとしてある（単元を掛けてはいけないとすると (−2)2 = 22 = 4 は 4 の「相異なる」二つの分解を与えるが、−1 と 1 は Z の単元だから、二つの分解は同値になる）。ゆえに、整数環 Z が UFD となるというのは、自然数についての（本来の）算術の基本定理からの簡単な帰結である。
環 (数学)
Section: 環の初等的性質

しかし、環においては乗法と加法を組み合わせた様々な特徴的性質も存在する。例えば、

任意の元 a について a0 = 0a = 0 が成り立つ。

単位的環において 1 = 0 ならば、その環にはたった一つの元しか含まれない。

環の加法や乗法に関する定義からの直接的な帰結として、環の様々な性質が導かれる。

特に、定義から (R, +) はアーベル群であるから、加法単位元の一意性や各元に対する加法逆元の一意性など群論の定理を適用して得られる性質はたくさんある。乗法についても同様にして単元に対する逆元の一意性などが示される。
可換体

代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は（ゼロ除算を除いて）除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x = 1 は整数において解を持たない。また、体における乗法演算は可換でなければならない。可換性を仮定しない除法の可能な環は可除環、斜体、あるいは体と呼ばれる。

環として、体は整域の特別なタイプとして分類でき、以下のようなクラスの包含の鎖がある。

可換環 ⊃ 整域 ⊃ 整閉整域 ⊃ 一意分解環 ⊃ 単項イデアル整域 ⊃ ユークリッド環 ⊃ 体 ⊃ 有限体

体をアルファベットで表すときは、K（続いて L, M 等）を用いる慣例がある。これは体がドイツ語で "Körper" だからである。英語の "field" の頭文字をとって F が用いられることもある。F の次の文字 G は群と紛らわしいから、前の文字 E も用いられる。
可換体
Section: 諸概念

体 K が与えられたとき、その乗法構造を忘れて加法に関するアーベル群と見たときの代数系 (K, +) を体 K の加法群と呼ぶ。加法群を K+ や Ga(K) と記す場合もある。また乗法構造のみに注目して、0 を除く K の元の全体 K* に乗法を与えて得られる代数系 (K*, ×) は群であり、乗法群と呼ばれる。K の乗法群をしばしば K× とも記し、Gm(K) と記されることもある。体 K の乗法群の任意の有限部分群は巡回群である。

体の元の濃度を位数といい、有限な位数を持つ体を有限体と呼び、そうでない体を無限体と呼ぶ。有限斜体は常に可換体である（ウェダバーンの小定理）。

n1 で単位元 1 を n 回足したものを表すとき、n1 = 0 となるような正の整数 n のうち最も小さなものをその体の標数という。ただし、そのような n が存在しないとき標数は 0 であると決める。体の標数は 0 または素数である。
可換体
Section: 定義

乗法は加法に対して分配的である：a, b, c を K の任意の元とするとき、a(b + c) = ab + ac, (a + b)c = ac + bc が成り立つ。

また、この条件を満たす代数的構造を備えた代数系 (K, +, 0K, ×, 1K) あるいは省略して単に集合 K は「体を成す」という。零元のみからなる集合 {0} は 1 = 0 と見れば上記の条件を満たし、自明な体と呼ばれるが往々理論的な障害となるため通常は除外して考える。つまり、体の定義に通常は

K は乗法に関してモノイドであって、0 以外の元が可換群をなす：
a, b, c を K の任意の元とするとき、結合法則 a(bc) = (ab)c が成り立つ。
a1K = 1Ka = a が K の零元 0K でない元 a の取り方に依らずに満たされる単位元と呼ばれる特別な元 1K が存在する。
a が零元 0K でない K の元ならばそれに対して aa−1 = a−1a = 1K を満たす、逆元と呼ばれる元 a−1 が常に存在する。
交換法則が成り立つ。つまり K の任意の非零元 a, b に対し ab = ba が成り立つ。
一般相対性理論
Section: 歴史

1915年 論文『水星の近日点の移動に対する一般相対性理論による説明』(S.B. Preuss. Akad. Wiss., 831-839)

1916年 論文『一般相対性理論の基礎』(Annalen der Physik (Germany), 49, 769-822)

1916年 論文『ハミルトンの原理と一般相対性理論』(S.B. Preuss. Akad. Wiss., 1111-1116)

アインシュタイン方程式の発表後は、その方程式を解くことが研究の課題となった。
一般相対性理論
Section: 物理学としての位置づけ

また、平坦なローレンツ多様体上では共変微分と通常の微分は一致するので、全ての線形座標でクリストッフェル記号は消えている。クリストッフェル記号は物理学的には重力に対応しているので、これはすなわち全ての線形座標で重力がゼロである事を意味する。

以上より特殊相対性理論とは、エネルギー・運動量テンソルの影響が無視できる程度に、すなわち宇宙全体に比べれば微小な領域における理論であり、空間の曲率も領域の微小さゆえに無視できる場合の理論であると言える。
一般相対性理論
Section: 概要

相対論によれば空間は時空連続体であり、一般相対性理論では、その時空連続体が均質でなく歪んだものになる。つまり、質量が時空間を歪ませることによって、重力が生じると考える。そうだとすれば、質量の周囲の時空間は歪んでいるために、光は直進せず、また時間の流れも影響を受ける。これが重力レンズや時間の遅れといった現象となって観測されることになる。また質量が移動する場合、その移動にそって時空間の歪みが移動・伝播していくために重力波が生じることも予測される。

アインシュタイン方程式から得られる時空は、ブラックホールの存在や膨張宇宙モデルなど、アインシュタイン自身さえそれらの解釈を拒むほどの驚くべき描像である。しかし、ブラックホールや初期宇宙の特異点の存在も理論として内包しており、特異点の発生は一般相対性理論そのものを破綻させてしまう。将来的には量子重力理論が完成することにより、この困難は解決されるものと期待されている。
算術
Section: 四則演算

加法 (addition)、減法 (subtraction)、乗法 (multiplication)、除法 (division) の4つの演算を、四則（しそく）あるいは四則演算（英: Four arithmetic operations）と称する。

歴史的には四則演算を表す記号として、様々な記号が用いられたが、現在標準的に用いられる記号は以下である。

加法:+

減法:−

乗法:×

除法:÷

ただし、コンピュータにおけるプログラミング言語では専ら
代数的構造
Section: 代数的構造の例

さらに複雑なもの
代数（多元環）: 乗法の定義された加群やベクトル空間
結合代数: 乗法が結合法則を満たす代数
可換代数: 乗法が可換な結合代数
束: 二つの演算が定義されている集合で、演算が冪等で可換で結合的で簡約律（吸収律）を満たすもの。これは順序的構造から定義することもできる。

一般的な代数的構造は普遍代数という数学の分野で研究される。代数的構造はまた、ほかの構造に加えて定義されることもある。位相構造をもつ位相群、位相線型空間、リー群はそのような例である。

どの構造も、それぞれに固有の準同型（構造を保つ写像）の概念を持っている。このことを使って、それぞれの構造を満たすもの全体の圏を考えることができる。
代数的構造
Section: 構造の類と種

そこで、同類の代数系をさらに「それらの算法がどういう法則に従うか」によって分類して種に分けて、それぞれの種に属す代数系をまとめて抽象化して論ずるのが普通である。
歴史的には、半群・群・環・多元環・体・束などはそうやって出来た抽象概念である。

また、環を加法と乗法を算法とする代数系とみなし、束を結びと交わりを算法とする代数系とみなせば、加法 x + y と結び x ∨ y 、乗法 x × y と交わり x ∧ y とを同一視することによって、この両者は同類の代数系となる。
代数的構造
Section: 算法の全域性・局所性

実数すべてから成る集合とそこでの四則（加減乗除の算法、すなわち足し算・引き算・掛け算・割り算）との組は、典型的な代数系である。
この例では、足し算・引き算・掛け算は任意の二つの数の組について実行可能であるが、割り算は、0での割り算ができないという意味で局所的（あるいは非全域的）である。
代数系の算法には一般には、こういうような局所的（あるいは非全域的）算法も含まれる。
たとえば行列の足し算・掛け算も、あらゆるサイズの行列から成る集合での算法とみなせば、局所的である。

こういう局所的算法を含む代数系の理論は複雑であるので、数学の分野では避けられる傾向がある。たとえば行列の足し算・掛け算も、数学者の間でさえ、上記のような意味での局所的算法と捉えて説明されることは稀である。また、上記の実数と四則とから成る代数系は体の典型であるが、体の概念も環の概念も、局所的算法である除法を用いないで説明するのが通例である。
ギリシア神話の固有名詞一覧
Section: 異形の神・怪物

スピンクス - 【スフィンクス】獅子の身体、美しい女性の頭に翼をもつ。

セイレーン - 【仏：シレーヌ】上半身が人間の女性、下半身が鳥。美しい歌声で船乗りを惑わす。

ネメアの獅子 - 人や家畜を襲ったライオン。ヘーラクレースにより退治された。

ケルベロス - 3つの頭を持つ犬。冥界の番犬。

ゴルゴーン - ステンノー、エウリュアレー、メドゥーサの3姉妹。

スキュラ - 上半身は美しい女性、下半身は魚、腰からは6つの犬の首と12本の犬の足が生えている。
ギリシア神話の固有名詞一覧
Section: 人間

カストール - ディオスクーロイの一人。弟とともにふたご座、およびその恒星カストルの由来となった。

カッサンドラー - トロイアの王女で予言者。アポローンに愛されたが彼の愛を拒絶したために彼女の予言を誰も信じないよう呪われる。カサンドラ・コンプレックスの由来。

オルペウス - 【オルフェウス、仏：オルフェ】アルゴナウタイの一人。オルペウス教の祖とされる吟遊詩人。妻エウリュディケーを取り戻すために冥界へ下り、生還した。彼の竪琴はこと座の由来。

オレステース - ミュケーナイ王アガメムノーンの息子。父を殺した母クリュタイムネーストラーとその情夫アイギストスを殺害した事で復讐の女神に追われ、その後アテーナイのアレオパゴスの丘で神々の裁判を受ける。
ギリシア神話の固有名詞一覧
Section: ニュンペー・その他の種族

ダクテュロス - イーデー山の精霊。

テルキーネス - ロドス島の精霊。

ケンタウロス

半人半馬の種族。

ケイローン - ケンタウロス族の賢者。ヘーラクレースやカストールに武術を教えた。

ネッソス - ヘーラクレースの妻に手を出そうとしてヘーラクレースに殺害された。

精霊

サテュロス - 半人半獣（下半身が山羊）の精霊。
マルシュアース - アポローンと音楽で競い、敗北したサテュロス。

シーレーノス - 半人半馬の種族。

クーレース - クレーテー島の半神。
メリッセウス - ゼウスを育てた2人のニュンペー・アドラステイアとイーデーの父。
数学的構造
Section: 定義

与えれられた基底（主および副基のすべて）から作られる、ある階梯の中の一つの集合 M を考えるとき、M の元に関する具体的な性質によって M の部分集合が定まるが、いくつか定められた性質に対するそのような部分集合たちの交わりを T とする。このとき、一つの元 τ ∈ T は与えられた基底集合に種 T の構造を定めるといい、τ ∈ T からの帰結として得られる任意の定理は種 T の構造の理論に属するという。

代表的特性記述 (predicate)

「階梯（主基集合と副基集合から、直積とべき集合をとることを繰り返して得られる集合）に件の構造が含まれる」ということを表す論理式。複数あってもよい。

公理系

構造が満たす論理式。ただし移行可能であるという条件が付く。この条件は、準同型などを定義する際に必要になる。
数学的構造
Section: 意義または概念の有用性

しかし、或る構造の概念の適用が問題を解くにあたって見当違いのこともある。ポアンカレ予想はそれまで多くの研究者にとって役立つと思われていた位相幾何学で扱われる 位相多様体の概念によってでなく、より強い理論である―可微分多様体を扱う微分幾何学の範疇の問題として解かれた。

例えば解析幾何学において座標を使った解法と 位置ベクトルを使った解法を比べてみると、後者のほうが同じ内容を表現するにも重複した記述を省略できる、しかし問題を解く手段であることには両者とも変りはない。構造の概念も表現や思考の節約に役立つ。
コイ
Section: 生態

食性は雑食性で水草、貝類、イトミミズなどを食べる。口に歯はないが、喉に咽頭歯という歯があり、これでタニシなどの硬い貝殻なども砕き割ってのみこむ。さらに口は開くと下を向き、湖底の餌をついばんで食べやすくなっている。なお、コイには胃がない。コイ科の特徴として、ウェーバー器官を持ち、音に敏感である。また髭には匂いや味を感じる器官が沢山集まっており、この感覚器を「味蕾」と呼ぶ。

コイは外見が同亜科異属のフナに似るが頭や目は体に対して小さい。吻はフナよりも長く伸出させることができる。また上顎後方及び口角に1対ずつ触覚や味覚を感知する口ひげがある。体長は成魚で約100センチメートルになる。飼育されたり養殖されてきた系統の個体は体高が高く、動きも遅いが、野生の個体は体高が低く細身な体つきで、動きもわりあい速い。雌雄を外観で判断することは難しいが、体は雌のほうが大きく逆に雄の方が頭が大きい、雄のほうが体がやや細くて胸鰭が大きく角張っているなどの特徴がある。また雌の胸鰭は丸型をしている。
コイ
Section: コイによる生態系の破壊問題

また、コイは底生生物や水生植物などを根こそぎ食べてしまうという影響もある。

同じことは飼養種でないコイについても言える。コイは体が大きくて見栄えがするため、「コイが棲めるほどきれいな水域」というきわめて安直な趣旨で自治体レベルで川やダムなどに放流されることが多い。しかしコイはもともとBOD値の高い湖沼や河川を好んで住処とする種で、低酸素環境に対する高い耐性がある。これは、生物界における一般的な基準からすると、他の生物の嫌う水質の悪い水域にしか生息できないことを意味する。実際、逆に水質がよい小川の堰の内部に放流したニシキゴイが餌の問題から大量に餓死する例も報告されており、「コイが棲める＝きれいな水域」という図式は成立し得ないことがわかる。

コイは都市河川などで川をきれいにする目的で河川の環境保護の一環として放流される種でもある。しかし、コイの本来の生息域は大河川の下流域や大きな湖で、中小河川に放流されると他の魚の卵や稚魚を大量に捕食してしまうことがある。こうした放流について、地元の固有種との交雑が起こって何万年もかけて築かれてきた固有種の絶滅を懸念する（遺伝子汚染）声もあるが、当事者には全く意識されていないのが現状である。また、ニシキゴイの放流が原因と推測されるコイヘルペスウイルスによる感染症が地元のコイに蔓延し大量死する事件もある。
コイ
Section: 文化

藍藻はゲオスミンや2-メチルイソボルネオールを作り、これが魚の皮膚や血合肉に濃縮される。このゲオスミンが、鯉やナマズなど水底に棲む淡水魚が持つ泥臭いにおいのもとでもある。ゲオスミンは酸性条件で分解するので、酢など酸性の調味料を調理に使えば泥臭さを抑えることができる。

海から離れた地域では古くから貴重な動物性タンパク源として重用され、将軍や天皇に出される正式な饗応料理や日常的にも慶事・祝事の席などでも利用されてきた。卵をもつ真子持ちのうま煮やあらいの切り身の見た目から雌のほうが重宝される。
語族の一覧
Section: 提唱中の語族・大語族仮説

コイサン語族

現在は独立した語族の集合体（系統関係は未証明）とされるが、互いの系統関係があるとの主張も引き続きある。

デネ・エニセイ語族

エドワード・ヴァイダが発表。ナ・デネ語族とエニセイ語族から成る。

ウラル・ユカギール語族

ウラル語族とユカギール語族を同系とする説。

ウラル・シベリア語族

ウラル語族、ユカギール語、チュクチ・カムチャツカ語族、エスキモー・アレウト語族を同系とする説。マイケル・ホーテスキューによって最初に提案。
語族の一覧
Section: 概要

語族は諸言語に共通性を見出し、祖語があるのではとの意識が学究的動機に発展して成立した分類体型であり、比較言語学の方法によって同系統と証明された言語群の最上位のグループ名である。（その下位は語派、さらにその下位は語群。）

語族は、歴史学、民族学などにおいて民族集団の分類に用いられることが多く、それぞれの「～語族」に基づき「～人」、「～系民族」、「～族」などと表現される。

次節以降では自然言語の語族の一覧を掲載する。†は比較言語学の記号で、記号が付属している言語は現在の死語を意味する。自然言語以外はその他とし、リンク先等を参照のこと。
語族の一覧
Section: 手話の語族

イギリス手話語族

フランス手話語族

日本語対応手話 - 日本語文法に則した手話。中途失聴者などが使用。日本手話とは文法が全く異なる人工言語。

他の手話や言語から隔絶した環境で生まれた手話
ニカラグア手話
アル＝サイード・ベドウィン手話
アダモロベ手話

国際手話 - 欧米の手話をベースとした人工言語。アジア・アフリカの手話者には習得が難しいとされる。
欧州統一手話 - 現在、ヨーロッパ経済圏を中心に自然発生的に生まれつつある手話。クレオール言語とも言える。
冪集合

冪集合（べきしゅうごう、英: power set）とは、数学において、与えられた集合から、その部分集合の全体として新たに作り出される集合のことである。

べきは冪乗の冪（べき）と同じもので、冪集合と書くのが正確だが、一部分をとった略字として巾集合とも書かれる。

集合と呼ぶべき対象を公理的にかつ構成的に与える公理的集合論では、新たに作られた原体の冪集合もしくはそれに準ずる複数の冪集合が、それぞれの連続性に関わらず集合と呼ばれるべきもののうちにあることを公理の一つ（冪集合公理）としてしばしば提示する。
冪集合
Section: 構造

が冪集合  の中に存在する。

→詳細は「ブール代数」、「集合の代数学」、「有限加法族」、および「集合環」を参照

冪集合に定義される様々な集合演算は、冪集合を代数系として取り扱う手段を与えてくれる。たとえば、集合の結び  や交わり  は交換可能で結合的な演算であるから、半群として冪集合を見ることができる。さらに、結びに関する中立元は空集合  であり、全体集合  が交わりに関する中立元となるので、 や  はモノイドである。また、対称差  を与えられた演算とする代数系  は、空集合を単位元とし、補集合を逆元にもつ群になる。

順序集合  の部分集合である集合族

が与えられたとき、集合族の結びや交わりをとる操作

は、この集合族に対して包含関係による順序に関する上限と下限を与える。とくに、 の二つの部分集合  について

を考えることにより、組  は完備束となる。完備束の条件は空で無い部分集合族に対する上限・下限の存在を要求するものであるが、冪集合の束では集合族  が空集合であるときにも
将棋類の一覧
Section: その他の将棋

軍人将棋 - お互いに駒の種類の情報を隠して戦うゲーム。駒の衝突時には「より強い種類の駒」が勝つので、どちらの駒が強いか第三者が確認するのが特徴である。

哲学飛将碁 - チェッカーに似たゲーム。

じゃんけんしょうぎ（6×6マス）- 学研の「頭のよくなるゲームシリーズ」のひとつ。駒の形や動きは将棋と大きく異なる。

ろっかくしょうぎ（6角形19マス）- 梅田龍一によって考案され、学研の｢頭の良くなるゲームシリーズ」として発売されたボードゲーム。駒の方向を変化できる点と、六角形の盤上で行う点が将棋と大きく異なる。

サッカーしょうぎ（8×5マス）- 水沢 三太&二三八によって考案され、学研の「頭のよくなるゲームシリーズ」として発売されたボードゲーム。駒の形や動きは将棋と大きく異なる。
将棋類の一覧
Section: 架空の将棋類

軍儀（グンギ）：冨樫義博の漫画『HUNTER×HUNTER』に登場するゲーム。9マス×9マスの盤上に「帥」「将」「馬」「槍」「兵」などの駒を配して対戦する。駒に駒を重ねることができ、三次元的な概念があるとされているが、詳しいルールは明らかになっていない。2022年にはこの軍儀を再現した商品が発売され、「入門編」「初級編」「中級編」「上級編」のレギュレーションが用意され、詳しいルールが定められた。

ジップ・カァーン：吉岡平の小説『宇宙一の無責任男』シリーズに登場するゲーム。

ヒュペリオン：篠原健太の漫画「SKETDANCE」に登場するボードゲーム。プレイ人数は二人だが十字形の盤を使用する。駒は「アブラシモビッチ（魔王）」、「ドドンドンドドン（重戦士）」など、奇抜なものが多い。駒の初期配置は特に決まっておらず、自分の陣地内ならば自由に配置できる。
将棋類の一覧
Section: 現代の将棋とその変形

川中島将棋（9×10マス）- 明治時代中ごろに考案された将棋。シャンチーを日本流にアレンジしたもの。

征清将棋（117マス）- 明治27年の日清戦争時に発案された。

鬼将棋（11×11マス） - 『陀羅鬼CG』という対戦型カードゲームを将棋風ボードゲームにしたもの。

関が原合戦将棋（9×9マス）- 関ケ原町歴史民俗資料館で販売するもの。基本的なルールは本将棋と同じだが、駒が成るときに違いがある。

国際三人将棋（六角形のマスで、一辺が7マス（計127マス）） - 谷ヶ崎治助により、1933年（一説には1931年）に発表されたゲーム。一辺7マスのHEX（六角形）盤を用い、3人で行う。
東京モノレール羽田空港線
Section: 路線データ

最高速度：80 km/h

表定速度：普通44.5 km/h・区間快速50.9 km/h・空港快速56.5 km/h

輸送力：
ピーク（1時間片道）：平日8,700人
終日：平日243,600人、土曜・休日229,680人

方式：跨座式（アルウェーグ式）6両編成

駅数：11駅（起終点駅含む）

複線区間：全線（ただし、モノレール浜松町駅構内161 mは単線）

電化方式：直流750 V（剛体複線式）

閉塞方式：車内信号閉塞式 (CS-ATC)
東京モノレール羽田空港線
Section: 今後の予定

これに対し東京モノレールは、進行する浜松町駅周辺の再開発に合わせてJR山手線や地下鉄大江戸線などとの乗り換えをよりスムーズにする他、2014年1月の毎日新聞インタビューで東京モノレール社長の中村弘之は、「将来的にはモノレールを東京駅まで延伸する夢」があり「24時間運行の可能性も見えてくる」と生き残りに向けた課題を述べている。

2014年1月の産経新聞インタビューによれば、JR東日本社長の冨田哲郎は「日本経済、東京という都市にとって、重要なルートになる」と述べている。また、冨田は競合することになる東京モノレールを新路線開業後も存続させる考えを示している。
東京モノレール羽田空港線

国土交通省監修の『鉄道要覧』においては羽田空港第2ターミナル駅が起点、モノレール浜松町駅が終点となっているが、案内および列車運行上は羽田空港第2ターミナル方面が下り、モノレール浜松町方面が上りとなっているため、本項でもそれに従い、モノレール浜松町駅を起点として記述する。

東京モノレール羽田空港線（とうきょうモノレールはねだくうこうせん）は、東京都港区のモノレール浜松町駅から大田区の羽田空港第2ターミナル駅までを結ぶ、東京モノレールが運営するモノレール路線である。路線名に社名を含む。単に「東京モノレール」「東京モノレール線」と呼称される場合もある。路線愛称は「東京パノラマライン」。駅ナンバリングで使われる路線記号はMO。
YRP野比駅
Section: 歴史

1963年（昭和38年）11月1日 - 久里浜線の終点・野比駅として開業。

1966年（昭和41年）3月27日 - 久里浜線が津久井浜駅まで延伸し、途中駅になる。

1998年（平成10年）4月1日 - 横須賀リサーチパーク開園によりその英語略を付したYRP野比駅に改称し、同時に新駅舎供用開始。

2019年（令和元年）
7月8日 - 京急グループ120周年記念事業の一環としてアニメ放送20周年を迎えるワンピースと京浜急行電鉄とのコラボが実施され、9月16日までの期間限定で当駅名看板が「Yアールフィ野比〜駅」に変わる。京急電鉄によると腕が伸びる主人公ルフィの特徴を駅名に反映させたとのこと。
YRP野比駅
Section: 駅周辺

横須賀リサーチパーク

横須賀野比郵便局

野比海岸

港湾空港技術研究所野比実験場

国立病院機構久里浜医療センター

筑波大学附属久里浜特別支援学校

国立特別支援教育総合研究所

YRP野比駅前商店街

野比温泉（1989年開業、2022年12月25日閉館）

神奈川大学野比研修所

湘南信用金庫野比支店

横須賀市立野比小学校

横須賀市立野比東小学校

横須賀市立粟田小学校

横須賀市立野比中学校
集合
Section: 帰属と包含

包含関係

2 つの集合 A, B について、A に属する元がすべて B にも属するとき、すなわち x ∈ A ⇒ x ∈ B が x の取り方に依らずに成り立つとき、「A は B の部分集合である」「A は B に集合として含まれる」「B は A を包含する」などといい、A ⊂ B または A ⊆ B あるいは B ⊃ A または B ⊇ A と記す。

集合と元、集合と集合などの間には含んだり含まれたりといった素朴な関係を考えることができる。

帰属関係

対象 a が集合 A を構成するものの一つであるとき、「a は集合 A に属す」「a は集合 A の要素（あるいは元）である」「集合 A は a を要素として持つ」などといい、a ∈ A あるいは A ∋ a と表す。
集合
Section: 濃度

無限集合はどれも「無限個」の元を持っているわけだが、どの無限もみな同じというわけではなく、濃度の概念ではたくさんの無限を区別して扱うことになる。たとえば、自然数と有理数が同じ濃度を持つ、自然数と実数は真に異なる濃度を持つといったような事実は数学を学ぶ者にとってよく知られた内容である。同様の事実に、平面 R2 と数直線 R は同じ濃度を持ち、平面を覆いつくす平面充填曲線と呼ばれる不思議な平面曲線が何種類も存在することが述べられる。より次元の高い空間でも同様で、空間を埋め尽くす空間充填曲線が構築される。異なる次元をもつ空間が同じ濃度をもつというのは、次元や濃度が一方が他方を測るようなものではない異なる尺度であることを表しているのである。

有限個の元からなる集合を有限集合 (ゆうげんしゅうごう、英: finite set) と呼び、集合 A の元の個数を #(A), |A|, card(A) などの記号で表すことが多い。有限集合でない集合を無限集合 (むげんしゅうごう、英: infinite set) という。無限集合に対しても「個数」の概念を広げて、濃度 (のうど、英: potency) 、または基数 (きすう、英: cardinal number, 英: cardinality) というものを考える。個数を数える代わりに、ある集合を使って、その元で別の集合をラベル付け (英: indexing; 添字付け) して、一対一の対応がとれるかどうかを調べるのである。そうすると有限集合の濃度はちょうど元の個数で決まるので、ちゃんと無限集合への「個数」の拡張となる概念が定まっていることが確認できる。
集合
Section: 集合の演算

配置集合・写像空間

→詳細は「配置集合」を参照

ある集合から別の集合への写像を一つの元と見なすならば、その全体として新たな集合が見出される。直積集合は、順序数の各元に任意の集合を対応させる写像からなる配置集合と見ることもできる。

直積

→詳細は「直積集合」を参照 直積の模式図

二つの集合に対し、それぞれに帰属する元の順序対を要素とする集合を作ることができる。

直和・非交和

→詳細は「非交和」を参照

二つの集合の、交わりを持たない和。
零空間

が成り立つ。

Ker A = {0} であることと、線型写像 A が単射であることとは同値である。

もし、V と W が有限次元であり、基底が選ばれているならば、A は行列 M として表すことができて、 零空間は、線型連立方程式 Mx = 0 を解くことで計算できる。零空間の次元は、行列 M の列の数から階数 rank M を引くことで与えられ、それはまた行列 M の退化次数 (nullity) でもある。

また、零空間という語をもちいる文脈においては、線型写像の像 (image) は値域 (range) と呼ばれ、線型作用素 A の値域は Ran(A) や R(A) と綴るのが通例のようである。

零空間は、ベクトル空間 V の部分空間である。さらに、 商空間 V/(Ker A) は、 A の像  に同型である；特に次元について
オフィスコンピュータ
Section: 構造・設計思想

このため、同機器が広く利用された時代に設立されたソフト会社には、これらオフィスコンピュータを構成・メンテナンスする業務が主であったため、「○○オフィスコンピュータ」という社名を使ったものが多い。

メーカー独自の仕様ではなく、業界の標準となっている仕様を用いることをオープン化という（オープンシステム参照）。この場合は、オープン標準のUnixだけでなく事実上標準OSとなっているWindowsも含まれる。

基本的にクローズドアーキテクチャ=専用設計=専用OSのコンピュータであることが多い。既製品パッケージソフトウェアをカスタマイズした専用の業務処理プログラムを稼動させることを目的としている。それらがセットで納入され、納入した業者がメンテナンスからソフトウェア操作や運用方法をサポートする形態が多い。
オフィスコンピュータ
Section: 歴史

NECの独擅場であったオフィス用小型コンピュータの市場だが、1965年、富士通がFACOM 230/10を投入。これは日本語COBOLを利用できるトランジスタ式コンピュータであった。また同年、日立製作所は独自OSのHITAC-8100を発売した。対するNECは1967年、ICを全面採用したNEAC 1240を発表。1968年には東芝 (TOSBAC-1500)、三菱電機 (MELCOM-81)、内田洋行 (USAC-300) などが製品を投入し、オフィスコンピュータ市場は一気に活況を呈することとなった。

1970年代には、販売管理、財務管理、人事給与など本格的な事務処理機能を備えたオフィスコンピュータが登場するようになった。特に1974年のNEAC システム100がオフコンの名を定着させた。

1980年代初頭はNEC、三菱電機、東芝の三強であったが、80年代後半にはNECと富士通の二強時代となった。さらに、1988年に日本IBMがAS/400の販売を開始し、三強の一角を形成するようになった。
オフィスコンピュータ
Section: 概要

日立 ： HITAC、L-30, L-50, L-70シリーズ、L-700シリーズ

三菱電機 ： MELCOM80シリーズ、RX7000シリーズ、Entranceシリーズ、CENTRAGEシリーズ、CENTRAGE IIシリーズ

日本電気 ： N5200シリーズ、S3100シリーズ、S7100シリーズ、S100シリーズ、Express5800/600シリーズ

IBM ： AS/400シリーズ → eServer iSeries → System i → Power Systems
ドライアイス
Section: 製造方法と日本での需給

ブロック状またはペレット状で市販されるドライアイスの塊にするためには液体の二酸化炭素に成形性向上のため少量の水 (H2O) を添加し、プレス機の断熱チャンバー内に放出してできたドライアイスを圧縮・成形し（必要があれば切断も）、所望の形状とする。

精製された気体の二酸化炭素を、加圧圧縮した後に冷却して液化させる。

液化した二酸化炭素を大気圧下にて断熱膨張させる。急速に大気圧力にすることで気化熱が奪われ、残った液体の二酸化炭素は凝固し粉末状（いわゆるパウダースノー状態）になる。これがドライアイスである。
ドライアイス
Section: 取り扱い方法

ドライアイスを、新聞紙・タオルなどで包む。

発泡スチロール製のボックスに入れて、空気を遮断して保管する（ドライアイス専用ボックスだと極めて効果が高い）。ただし内圧上昇による破裂事故を防ぐためガス抜き穴は必ず設けておくこと。

ドライアイスは食用を考慮して製造されていないため、飲料にドライアイスを入れて炭酸水を作ることは衛生上の観点からも避けるべきである。

食品を冷やす場合は間接的な冷却を行うのが好ましい。

下記のいずれか、可能であれば複数を行うことで、ドライアイスを長持ちさせることが出来る。
ドライアイス
Section: 主な用途

人工降雨・降雪技術

水資源の安定確保・枯渇対策を目的とした、人工降雨・降雪技術の確立のための研究も行われている。

自動車の洗浄・エンジン冷却

フレーク状のドライアイスをコンプレッサーの圧縮空気を用いて対象物に吹き付ける「ドライアイス洗浄」が、有機溶媒などと比べて環境に良いとされ、自動車産業を中心に多く利用されてきている。

遺体の保存

人間や動物の遺体保存にも使われる。葬儀の際はエンバーミング処理よりもはるかに手軽でかつ、極めて安価に遺体を保存できるメリットがあり、通夜の際、遺体を安置する寝具の掛け布団の下に入れるだけで済む。また納棺の際、遺体と一緒にしたまま入れることができ火葬しても二酸化炭素しか出さないことから、根強い需要がある。
Squeak
Section: 環境と言語

Squeak環境にはSmalltalkとは別に、Squeak eToys（あるいは Etoy、SqueakToysなど）と呼ばれるプロトタイプベースオブジェクト指向プログラミング言語・環境に近い仕組みを持つ非開発者向けプログラミング環境（タイルスクリプトシステム、あるいは単にスクリプトシステムと呼称）が実装されている。Morph（モーフ）と呼ばれる可視化に適した機構を組み込んだオブジェクトに対し、その属性（動き、色、形、振る舞いなど）を変化させる手続きを、パネル状のパーツをドラッグ&ドロップで組み合わせで表現できる。

こうした特徴から同スクリプトシステムは、プログラミング未経験者のほかに、キーボードの扱いに馴れていない低年齢層ユーザーにも容易に扱うことができる。アラン・ケイの長年の共同研究者であるキム・ローズらは、この機構が低学年向けのコンピュータ・リテラシおよび自然科学教育に活用できることに早くから目を付け、米日独での教育機関との共同プロジェクトを立ち上げてその高い教育効果を示しつつある。
Squeak
Section: 開発の経緯

開発の契機となる1995年ごろにはまだライブラリが整っていなかったJavaや、すでにいくつか存在した商業ベースIDEとして認知、発展を遂げた当時のSmalltalkには求めにくかった、自由で高度な移植性と小さいフットプリント、高機能なマルチメディア処理用ライブラリを持つことを特徴とし、それを動作させるためのOSやプラットフォームに依存しない、ユーザーサイドプログラミングを強力にサポートするコンピュータ環境を目指してその開発はスタートした。

1970年代のパロアルト研究所での俗に言う「ダイナブックプロジェクト」において、暫定Dynabook（Altoの同チームにおける呼び名）のオペレーティングシステム (OS) およびコンピュータ環境にあたるSmalltalkの開発にたずさわったメンバー、特にアイデアパーソンのアラン・ケイ、その実装者のダン・インガルスらが中心となり、当初Appleにおいて同プロジェクトは始動した。のちにウォルト・ディズニー・イマジニアリングを経て、アラン・ケイが設立したNPOであるViewpoints Research Instituteに活動の拠点を移し現在も開発が続けられている。
Squeak
Section: アプリケーション

一般向け
Workspace WYSIWYGタイプの書き捨てのメモ帳
GeeMail 文書と図版の共存が可能なメモ帳
PaintBox ペイントツール
Book カード型データベースおよびアクティブブック作成用のオーサリングツール
Stack HyperCardライクなオーサリングツール
File List ディレクトリ閲覧、テキストエディタ、gzip圧縮などの機能を持つファイラ
Zip Tool zip圧縮およびその展開を行なうためのツール
Scamper ウェブブラウザ（ただし多言語化時においても日本語使用不可）
Celeste メーラ（ただし多言語化時においても日本語使用不可）
ThreadNavigator プレゼンツール
Clock、Watch 時計

開発者向け
Browser クラスやメソッド定義を閲覧したり、編集・追加するためのソフト
Inspector オブジェクトの属性を検査するためのソフト
Debugger インタプリタの内部状態やその推移を検査するためのソフト
Change Set クラスやメソッド定義に加えられた変更の履歴を管理するデータベース
Method Finder 任意の文字列を含むメソッド名やその定義を呼び出すツール
Processes プロセス閲覧・管理ツール
Transcript 通常の開発環境における標準出力的役割りを担うソフト
核 (代数学)
Section: 定義

基点を持つ多くの代数系では、構造は等質性をもち、それゆえに、この第二の定義による核は、第一の定義における核の定める同値関係と同じ関係を定義する。特に、核が第二の定義の意味で自明であれば第一の定義の意味でも自明であり、核が自明な準同型は単射となる。

このような意味で、第二の定義は第一の定義の特別な場合である、あるいは逆に第二の定義の一般化として第一の定義があるということができる。これらの定義は核について、

第一の定義においては、それが同値関係を定めることと、
核 (代数学)
Section: 準同型定理

準同型 h: S → T に対し、始域 S を核 Ker(h)（の定める同値関係）で割った集合 S/Ker(h) には自然に商構造が入る。これを Coim(h) と書いて、準同型 h の余像（よぞう、Coimage）と呼ぶ。

準同型 h: S → T の余像 Coim(h) は h の像 Im(h) = h(S) と同型であるという命題を準同型定理という。S, T が群、環、環上の加群などのときには確かに準同型定理が成り立つ。
核 (代数学)
Section: 例

R, S を環とする。環は零元を基点に持つ代数系であり、0R, 0S をそれぞれ R, S の零元とすれば、環準同型 f: R → S の核は

となる。これは始域 R の部分環であり、さらに R のイデアルとなる。

の定める関係と同じものであることが確かめられる。また、Ker(f) = {eG} となる意味で自明であるならば、g1 ∼ g2 は g1 = g2 と同値であるから、集合 K が定める関係としても自明である。