stanford-oval/wikipedia huggingface dataset:
G.I.S.M.
概要

1981年に結成し、東大赤門ギグでライヴデビュー。活動スローガンに "anarchy & violence" を掲げ、間奏中にボーカリストの横山SAKEVIが客席に降りオーディエンスに暴行を加える、点火したガスバーナーやチェーンソーを持って客席に飛び込むなどそのスローガンを地でいく暴力的なステージを展開する。
1982年9月、新宿ロフトで行われた『消毒GIG特別篇ハードコアパンク2DAYS』にGAUZE、THE EXECUTE、THE COMES、MASTURBATION、LAUGHIN' NOSE等と出演。同年10月、テレビ東京『ヤングTOUCH』の暗黒大陸じゃがたらのライブ本番生録りに横山SAKEVIらパンクスが乱入し乱闘騒ぎとなる。
1983年4月、目黒鹿鳴館で行われた『消毒GIG Vol.11』に出演。同年11月、音楽雑誌『DOLL』が設立したハードコア専門レーベル・ドグマレコードから1stミニアルバム『DETESTation』を発売。日本のハードコア・パンク黎明期にリリースされた1stミニアルバムは、後のバンドに多大な影響を及ぼしたとされる。また徳間ジャパンから発売されたオムニバスアルバム『GREAT PUNK HITS』に参加し、当時の日本のハードコアシーンの衝撃的な音源をメジャーレーベルを通じて知らしめる一端を担った。
1984年8月、AAレコードから発売されたオムニバスアルバム『ハードコア不法集会』にLAUGHIN' NOSE、COBRA、Lip Cream等と参加。同アルバムは日本のハードコア・オムニバスの金字塔的作品とみなされている。
2009年12月、3rdアルバム『SoniCRIME TheRapy』の3rdプレス発売をもって「第一期完結」とアナウンスされ、以降音源の発売はされなくなった。しかし、2015年4月、突如1stミニアルバム『DETESTation』の全曲及び『OUTSIDER』を除く全コンピレーションアルバムへの参加作品をまとめてリマスターし収録したベストアルバム『DETERMINATION』が発売された。なお、宝島社が発売したオムニバスカセットブック『THE PUNX』に収録されている"G.I.S.M."という曲は"Aahb""Choke"という別々の曲をそれぞれ左チャンネル・右チャンネルに収録し1曲にまとめたものであり、『DETESTation』のボーナストラック及び『DETERMINATION』では2曲を切り離して独立の曲として収録している。
2015年10月現在、上述のベストアルバムを含む全ての音源・映像作品が廃盤になっており、入手は困難となっている。
2016年4月15日、オランダにて開催された音楽イベント『ロードバーンフェスティバル2016』に出演し、2002年2月に開催されたライブイベント『＋R』以来14年振りにライブを行った。
2018年9月11日、未公開ライブ映像のみを編集した映画「烈波壊虐音群突入911」(安田潤司監督/60分)を立川シネマシティ2で1日2回(384席×2回)の限定上映。チケットは即日完売。リハーサル映像の「GOD SAVE THE QUEEN」、エッグプラントにおけるライブでの客が逃げ惑うライブ映像など、G.I.S.M.のみの1時間作品。上映終了時には拍手が起こった。日本のハードコアバンドの映画が商業映画館で上映されたのは初めてである。
2022年9月11日、BEAST ARTSから「烈波壊虐音群突入911」の発売がリリースされる。
2023年8月24日、バンドの中心人物である横山が死去。
メンバー

横山SAKEVI（ボーカル）
RANDY内田（ギター）
KIICHI（ベース）
IRONFIST TATSUSHIMA（ドラムス） 元The Magnets
メンバー > 旧メンバー

CLOUDY（"+R"にはKANNONとして参加）（ベース）
MARIO（ドラムス）
HIROSHIMA（ドラムス）
香村カヲリ（ドラムス) MARIOの前任者
GHOST(ベース）元GHOUL
南部（ギター）ディフェランス
EXECUTIONER（コーラス）1stEP "DETESTation" の1, 3曲目に参加
ディスコグラフィ > アルバム

DETESTation （1983年、ミニアルバム。1992年にボーナストラック3曲を追加してCD化。）
M.A.N. (Military Affairs Neurotic) （1987年、初回プレスのみポスター付属、2023年LP.CD.カセットテープ再発)
SoniCRIME TheRapy （2002年）
DETERMINATION（2015年、ベストアルバム）
ディスコグラフィ > ビデオ・映画

Performance （1985年）
BOOTLEG 1986 （1986年）
Gay Individual Social Mean - Subj & Egos, chopped （1995年）
+R, Regicide Reverberation （2002年）
映画「烈波壊虐音群突入911」(2018年)
すべて映画監督・映像作家の安田潤司が監督。
ディスコグラフィ > オムニバス

OUTSIDER （1982年）
GREAT PUNK HITS （1983年）
ハードコア不法集会 （1984年）
P.E.A.C.E./War （1984年）
THE PUNX （1985年、カセットテープのみ発売）
なお、この他ライブでのみ演奏され公式音源への収録は一度もされていない"Punks is Hippies"という曲が存在する。
山崎薫子

| やまざき かおるこ山崎 薫子> プロフィール |
| --- | --- |
出生地:   日本 埼玉県さいたま市
出身地:   日本 愛知県名古屋市
生年月日:   (1988-07-16) 1988年7月16日（36歳）
最終学歴:  フェリス女学院大学卒業
職歴:  NHKさいたま（2012年 - 2014年） 新潟テレビ21（2014年 - 2017年） テレビ山梨（2017年 - 2021年） テレビ埼玉（2022年 - ）
活動期間:  2012年 -
ジャンル:  報道番組
出演番組・活動
出演中:  『テレビ埼玉 ニュース930』
アナウンサー: テンプレート - カテゴリ
山崎 薫子（やまざき かおるこ、1988年7月16日 - ）は、日本のフリーアナウンサー。
経歴

埼玉県さいたま市生まれ、愛知県名古屋市出身。フェリス女学院大学コミュニケーション学科卒業。大学在学時には東京アナウンスセミナーに通っていた。
親戚に女性アナウンサーがおり、その姿を見てアナウンサーを志した。
2012年4月から2014年3月までNHKさいたま放送局に、2014年4月から2017年3月まで新潟テレビ21に、2017年から2021年3月までテレビ山梨に在籍していた。
2021年4月からフリーランスとして活動スタート。現役のアナウンサーとして活動するほか、東京アナウンスセミナーで後進の指導も行っている。
担当番組 > 現在

☆印は現在担当中
テレビ埼玉 ニュース930など定時ニュース　※公式youtubeチャンネルで一部視聴可能、ニュース545（毎週金曜担当）☆
青森テレビ「わっち‼︎」「あずましTV mini」
福島テレビ「スマイルプラス」
テレビユー福島「げっきんS」
マイあさ! 関東甲信越のニュース・気象情報（平日隔週6:25、7:20、7:50）
担当番組 > 過去

NHKさいたま放送局
こんにちはいっと6けん
ひるまえ ほっと
首都圏ネットワーク
日刊!さいたま〜ず
新潟テレビ21
スーパーJにいがた
まるどりっ!
朝だ!生です旅サラダ
にいがたLive!ナマ+トク
UX News
テレビ山梨
UTYニュースの星
スゴろく
テレビ埼玉
あなたにカンケイある選挙 2023 県知事選挙 開票特別番組（2023年8月9日）
第103回全国高等学校ラグビーフットボール埼玉県大会 開会式（アシスタント、2023年9月2日）
フリー
みなみおばちゃんのガッチリ金曜日（テレビ山梨、2021年12月24日）
テレメンタリー「岐路に立つ コメ王国」（ナレーション、新潟テレビ21）
NHK BSニュース（2021年4月1日 - 2024年3月26日）
その他

佐藤友祈選手東京パラリンピック金メダル報告会（司会）
Kinexions Japan 23（司会）
英朝条約

| 英朝条約 |
| --- | --- |
通称・略称:  朝英修好通商條約
署名場所:  李氏朝鮮
発効:  1883年11月
失効:  1910年8月29日
締約国:  大英帝国 李氏朝鮮
言語:  英語 朝鮮語
主な内容:  外交使節の相互派遣  片務的最恵国待遇 領事裁判権
テンプレートを表示
1883年の英朝条約 (えいちょうじょうやく、United Kingdom–Korea Treaty of 1883) は、イギリスと朝鮮（李氏朝鮮）の代表者の間で取り交わされた条約。朝英修好通商條約（조영수호통상조약）などともいう。
この項では、前年1882年に結ばれた条約についても、併せて説明する。
背景

1876年、日本の艦船が江華島に近づき、首都（漢城府、後のソウル）への砲撃を威嚇したことを契機として、朝鮮は日本と日朝修好条規（江華島条約）を結んだ。この日本との条約が最初に締結されると、いくつもの西洋の国々との交渉が行われるようになった。
朝鮮の宗主国であった中国で直隷総督兼北洋通商大臣として朝鮮に関する事項を扱っていた李鴻章は、日本やロシアの介入を警戒し、独立国として朝鮮と欧米諸国との間で条約を結ばせ、同時に中国の宗主権を確認させるという形で朝鮮の独立を確保しようと画策し、イギリス公使トーマス・ウェードの支持を取り付けた。1882年には、アメリカ合衆国が朝鮮と米朝修好通商条約を結んで、外交関係を打ち立て、これがその後の西欧列強との交渉においてテンプレートとなった。同年6月には、米朝修好通商条約の内容に沿った最初の英朝条約（第一次英朝条約、ウィルズ条約）が結ばれたが、これは朝鮮とドイツとの間の条約締結と同時期のことだった。イギリス側の交渉担当者だったジョージ・ウィルズ（英語版）は、中国側の提案を踏まえて条約を締結したとされる。
この第一次英朝条約に対して、駐日英国大使だったハリー・パークスは、朝鮮に有利な内容であるとして強く反発し、イギリス政府に対してこれを批准しないよう主張した。イギリス政府は、パークスの提言を受け入れる形で、条約を批准前に改定する方針を固め、1883年にパークスをウェードの後任の中国公使に任じ、パークスが起草した案を基に条約の交渉が行われることとなった。こうして、11月に改めて第二次英朝条約が締結され、公使や領事の交換、領事裁判権、協定関税制、片務的最恵国待遇、開港場などについて規定された。
条約の規定

イギリスと朝鮮は、他の西洋諸国との条約と同様の規定を含む、多数の条項から成る条約を交渉し、合意した。
この条約に基づいて、イギリスから朝鮮には公使が派遣されることとなり、1884年にはサー・ハリー・パークス、1885年にはサー・ジョン・ウォルシャム（英語版）、1892年にはサー・ニコラス・オコナー（英語版）、1896年にはサー・クロード・マクドナルド、1898年にはジョン・ジョーダン（英語版）が、それぞれ任命された。
この条約は、1905年の第二次日韓協約によって大韓帝国が日本の保護国になった後も有効とされ、1910年の韓国併合によって朝鮮の日本統治が始まり、ようやく失効した。
この条約の下で、イギリスは1883年から1910年まで、治外法権を認められ、朝鮮におけるイギリス臣民は、朝鮮の法廷では裁かれず、刑事裁判や民事紛争はイギリスの領事裁判所か、1900年から1910年までは「中国と朝鮮の最高裁判所 (the Supreme Court for China and Korea)」と称されていた中国と朝鮮を管轄する英国高等領事裁判所で処理された。
関連文献

Kim, Chun-gil. (2005). The History of Korea. Westport, Connecticut: Greenwood Press. ISBN 9780313332968, 9780313038532; OCLC 217866287
Korean Mission to the Conference on the Limitation of Armament, Washington, D.C., 1921-1922. (1922). Korea's Appeal to the Conference on Limitation of Armament. Washington: U.S. Government Printing Office. OCLC 12923609
Yŏng-ho Ch'oe; William Theodore De Bary; Martina Deuchler and Peter Hacksoo Lee. (2000). Sources of Korean Tradition: From the Sixteenth to the Twentieth Centuries. New York: Columbia University Press. ISBN 9780231120302, 9780231120319; OCLC 248562016
| 表 話  歴朝鮮が締結した主な国際条約・協定・合意 |
| --- | --- |
高麗以前 (–1391年):  羅済同盟 (366年・433年)  麗済同盟 (642年頃)  唐・新羅の同盟 (660年) 
李氏朝鮮 大韓帝国 (1392年– 1910年):  嘉吉条約 (1443年)  丁未約条 (1547年)  丁巳約条 (1557年)  己酉約条 (1609年)  三田渡の盟約 (1637年)  日朝修好条規 (1876年)  中朝商民水陸貿易章程 (1882年)  済物浦条約 (1882年)  米朝修好通商条約 (1882年)  英朝条約 (1883年)  露朝修好通商条約 (1884年)  漢城条約 (1885年)  露朝陸路通商条約 (1888年)  日朝攻守同盟 (1894年)  日韓議定書 (1904年)  第一次日韓協約 (1904年)  第二次日韓協約 (1905年)  第三次日韓協約 (1907年)  韓国併合ニ関スル条約 (1910年) 
大韓民国 (1948年-):  米韓相互防衛条約 (1953年)  在韓米軍地位協定 (1953年)  日本国と大韓民国との間の基本関係に関する条約 (1965年)  日本国に居住する大韓民国国民の法的地位及び待遇に関する日本国と大韓民国との間の協定 (1965年)  日韓漁業協定 (1965年)  財産及び請求権に関する問題の解決並びに経済協力に関する日本国と大韓民国との間の協定 (1965年)  日韓大陸棚協定 (1974年)  日韓漁業協定 (1998年)  日韓犯罪人引渡し条約 (2002年)  図書に関する日本国政府と大韓民国政府との間の協定 (2010年)  米韓自由貿易協定 (2012年)  日韓秘密軍事情報保護協定 (2016年) 
北朝鮮 (1948年–):  ソ朝友好協力相互援助条約 (1961年)  中朝友好協力相互援助条約 (1961年)  中朝辺界条約 (1962年)  ロ朝友好善隣協力条約 (2000年)  日朝平壌宣言 (2002年)  ロ朝戦略的パートナーシップ条約 (2024年) 
  Category:中国の条約
超準解析

ゴットフリート・ライプニッツは無限小たちを含む理想的数を導入することを主張した。
微分積分学の歴史（英語版）は、流率法（英語版）あるいは無限小数の意味および論理的妥当性に関する哲学的論争を孕んでいる。これらの論争の標準的な解決策は、微分積分学における操作を無限小ではなくイプシロン-デルタ論法によって定義することである。超準解析（英: nonstandard analysis）は代わりに論理的に厳格な無限小数の概念を用いて微分積分学を定式化する。Nonstandard Analysisは直訳すれば非標準解析学となるが、齋藤正彦が超準解析という訳語を使い始めたため、そのように呼ばれるようになった。無限小解析（infinitesimal analysis）という言葉で超準解析を意味することもある。
超準解析は1960年代に数学者アブラハム・ロビンソンによって創始された。 彼は次のように記述している：
[...] 無限に小さいあるいは無限小の量という概念は我々の直観に自然に訴えかけるように見える。何れにせよ、無限小の使用は、微分学・積分学の黎明期において、広く普及した。相異なる2つの実数の差が無限に小さくなることはないという [...] 異論に対して、ゴットフリート・ライプニッツは、無限小の理論は理想的数――それは実数と比較して無限に小さかったり無限に大きかったりするものであるが、後者（訳注：実数）と同じ性質を有する――の導入を含意するものであると主張した。
ロビンソンはこのライプニッツの連続性の原理（英語版）は移行原理（英語版）の先駆けであるとしている。ロビンソンは次のように続ける：
しかしながら、彼も、彼の弟子たちや後継者たちも、このようなシステムに繋がる合理的な進展（訳注：そのような原理を合理化するもの）を得なかった。その結果、無限小の理論は徐々に評判を落としてゆき、最終的には古典的な極限の理論に取って代わられた。
ロビンソンはさらに次のように続ける：
本書では、ライプニッツのアイデアが完全に正当なものであり、古典解析やその他の多くの数学の分科に対する新奇で実りあるアプローチに繋がることを示す。我々の方法の鍵は、現代モデル理論の基盤にある、数学の言語と数学的構造との間の関係の詳細な分析によって齎される。
1973年、直観主義者アレン・ハイティングは超準解析を「重要な数学的研究の標準モデル」だと賞賛した。
導入

順序体  \mathbb {F}  の非零元が無限小であるとは、その絶対値が  {\frac {1}{n}}（ n は標準的自然数）の形をした如何なる  \mathbb {F}  の元よりも小さいことをいう。無限小を持つ順序体は非アルキメデス的であるという。もっと一般に、超準解析は超準モデルと移行原理に基づくあらゆる形態の数学をいう。実数に対して移行原理を満たすような体を超実数体といい、超準実解析学はそういった体を実数の超準モデルとして用いる。
ロビンソン自身のアプローチはそれら実数体の超準モデルに基づく。彼のこの分野に関する古典的・基礎的な本 Non-standard Analysis は1966年に出版され、現在も販売されている。 88ページにおいて、ロビンソンは次のように書いている：
算術の超準モデルの存在はトアルフ・スコーレム（1934）によって発見された。スコーレムの手法は超冪構成を予示するものである [...]
無限小計算を展開するには幾つかの技術的問題を解決しなければならない。例えば順序体に無限小を付け加えたものを構成するだけでは不十分である。これに関連するアイデアにまつわる議論は超実数の記事を参照。
基本的定義

本節では超実数体  {}^{\ast }\mathbb {R}  の最も簡明な定義のひとつを概説する。 \mathbb {R}  を実数体、 \mathbb {N}  を自然数の成す半環とする。また、 \mathbb {R} ^{\mathbb {N} } によって実数列の成す集合を表す。体  {}^{\ast }\mathbb {R}  は  \mathbb {R} ^{\mathbb {N} } の適当な商（後述）として定義される。いま  \mathbb {N}  上の非単項超フィルター  F を取る。とくに  F はフレシェフィルターを含む。次の2つの実数列を考える
このとき  u と  v が同値であるということを、それらが超フィルターに属す集合上で一致すること、あるいは同じことであるが、次の式によって定義する：
この同値関係による  \mathbb {R} ^{\mathbb {N} } の商がひとつの超実数体（a hyperreal field） ^{*}\mathbb {R}  を与える。この状況を簡単に  ^{*}\mathbb {R} ={\mathbb {R} ^{\mathbb {N} }}/{F} と表す。この構成は  F による  \mathbb {R}  の超冪と呼ばれる。
動機

超準解析を考えることには少なくとも3つの理由（歴史的、教育的、技術的）がある。
動機 > 歴史的

ニュートンとライプニッツによる無限小解析の最も初期の成果の多くは infinitesimal number や vanishing quantity といった表現を用いて定式化されていた。超実数の記事で注意されているように、それらの定式化はジョージ・バークリーなどから広く批判を受けた。無限小を使用した解析学の整合的な理論の構築が問題であったが、これを満足のいく仕方で成し遂げた最初の人物がアブラハム・ロビンソンである。
1958年にクルト・シュミーデンとデトレフ・ラウグヴィッツ（英語版）は論文 "Eine Erweiterung der Infinitesimalrechnung" ("An Extension of Infinitesimal Calculus") を出版した。この論文は無限小を含む環の構成法を提案したものである。この環は実数列達から構成される。2つの数列が同値と看做されるのは、それが高々有限個の要素だけ異なっているときである。算術演算は要素毎に定義される。しかしながら、このようにして構成された環は零因子を含み、よって体を成さない。
動機 > 教育的

ハワード・ジェローム・キースラー、デイビット・トールやその他の教育者らは、無限小の使用は学生達にとって"イプシロン-デルタ"アプローチよりもより直感的かつ容易に解析学的概念を把握することができるものである、と主張する。このアプローチはしばしば、対応するイプシロン-デルタで定式化された証明よりも、より易しい証明を提供する。大抵の単純化は、次のような超準算術の大変簡単な法則を適用することから得られる：
および後で述べる移行原理である。
超準解析の別の教育的な応用はエドワード・ネルソンによる確率過程の取り扱いである。彼のアプローチは測度論的確率論のオルタナティヴを与えるものでもある。従来の測度論的確率論に於いて無限確率空間を用いて定式化されていた現象が、超準的な意味での有限確率空間によって再定式化される。それゆえ、測度論や積分論の知識を用いることなく、初等的な有限確率論と超準解析を用いて高度な確率論を展開することが可能となる。
動機 > 技術的

幾つかの最近の研究は、超準解析の概念を用いた解析学、とくに統計学や数理物理学における極限過程の研究において為されている。セルジオ・アルベヴェリオらはそれらの幾つかの応用について論じている。物理学への例を示す書籍としてがあり。
ロビンソンの書

アブラハム・ロビンソンの書 Non-standard analysis は1966年に出版された。この本で開発された幾つかのトピックは、彼の1961年の同名の論文（Robinson 1961）で既に与えられている。この本は、超準解析の最初の完全な取扱いを含むことの他にも、詳細な歴史的な章を含んでいる。そこでロビンソンは、無限小が矛盾した量であるという超準解析以前（pre-NSA）の認識に基づく、数学の歴史に関する広く信じられている幾つかの見解に挑戦している。ロビンソンは、連続関数の級数の収束に関するオーギュスタン＝ルイ・コーシーの Cours d'Analyse にある "sum theorem" が誤りであるという考え方に挑み、この"定理"の仮定に無限小に基く解釈を与えて正しい定理になるようにすることを目論んだ。
論理的枠組み > ふたつのアプローチ

超準解析には2つの非常に異なったアプローチがある：ひとつは意味論的あるいはモデル論的アプローチであり、もうひとつは構文論的アプローチ（公理論的アプローチ）である。これらのアプローチはどちらも、解析学以外にも、数論、代数やトポロジーを含む、他の数学の領域に適用される。
ロビンソンによる超準解析の元々の定式化は「意味論的アプローチ」のカテゴリーに分類される。彼が一連の論文で行ったように、これは理論のモデル（とくに飽和モデル）の研究に基づく。ロビンソンの仕事が最初に現れてから、Elias Zakonは上部構造と呼ばれる純粋に集合論的な対象を用いたより単純な意味論的アプローチを開発した。このアプローチでは、「理論のモデル」は集合  Sの「上部構造」  V(S) と呼ばれる対象で置き換えられる。上部構造  V(S) に超冪構成を適用することで、写像  \ast :V(S)\to {}^{\ast }V(S) を伴い移行原理を満たす別の対象  {}^{\ast }V(S) を構成することができる。写像  \ast  は  V(S) と  {}^{\ast }V(S) の形式的性質を関連付ける。さらに、飽和性のより簡素な形である可算飽和性を考えることもできる。この簡素化されたアプローチはモデル理論やロジックの専門家ではない数学者が超準解析を使用する場合により適している。なぜなら、可算飽和性を満たすモデルは前述したフレシェ超フィルターによる超冪によって構成でき、各々の超準的対象は「標準的対象の可算列の同値類」という具体的な描像を持つからである。（一方、より飽和性の高いモデルの構成には、善良超フィルターや初等鎖の極限など、より高度な集合論的・モデル論的な道具立てを必要とする。）
「構文論的アプローチ」は数理論理学とモデル理論に関して遥かに少ない理解と使用を要する。このアプローチは1970年代半ばに数学者エドワード・ネルソン（英語版）によって開発せられた。ネルソンは内的集合論（英語版）（IST）と彼が呼ぶ完全に公理的な超準解析の定式化を導入した。ISTは二項帰属関係  \in  に関するツェルメロ＝フレンケル集合論（ZFC）に新しい単項述語「標準的」を追加する。この新しい述語は、集合論的宇宙の要素達に適用可能なものであって、それに関する推論の為の幾つかの公理を伴う。この方向からのアプローチはフルバチェック（英語版）らによって進展された。
構文論的な超準解析は数学者が通常当たり前と考える集合構成原理（形式的には内包原理として知られる）の適用において細心の注意を要する。ネルソンが指摘するように、IST内の推論における誤りは「非合法な集合構成」によるものである。例えば、ちょうど標準的自然数からなる集合はISTにおいては存在しない（ここで「標準的」は新たに導入した述語の意味に解する）。非合法な集合構成を回避するために、部分集合の定義（内包性公理の適用）にはZFCの論理式だけを使用しなければならない。
構文論的アプローチの別の例としてはヴォピェンカによって導入された代替集合論がある。これはZF公理系よりもより超準解析と両立的な集合論的公理を探るものである。
その他の構文論的アプローチとして  \alpha  と呼ばれる特殊な定数記号（これはある固定した無限大超自然数と思える）を公理的に導入する Alpha Theory がある。
論理的枠組み > 上部構造アプローチ

以下ではモデル論的アプローチに分類される上部構造アプローチについて述べる。任意の集合  S が与えられたとき、 S の上部構造（superstructure）とは次のように帰納的に定義される集合  V(S) である：
つまり  S の上部構造は  S から始めて、 S の冪集合を  S に添加していく操作を繰り返し、それによって得られた列の和集合を取ることで得られる。実数たちの上部構造は沢山の数学的構造を含む：例えば全ての可分距離空間や距離化可能位相線型空間の同型なコピーを含む。実質的には、解析学者が興味を持つ全ての数学が  V(\mathbb {R} ) の中で展開できる。一般に、ある一群の数学的対象  X_{0},X_{1},\ldots  について議論したいならば、それらの和集合の上部構造を考えればよい。
超準解析の道具立ては集合  {}^{\ast }\mathbb {R}  と写像  \ast \colon V(\mathbb {R} )\to V({}^{\ast }\mathbb {R} ) で幾つかの追加の性質を満たすものである。それらの原理を定式化するために、最初に幾つかの定義を述べる。
論理式が有界であるとは、その論理式に現れるどの量化子も、それぞれある集合上に制限されていること、すなわち、次の何れかの形をしているときにいう：
例えば、論理式
は有界である：全称量化された変数 x は A 上を走り, 存在量化された変数 y は B の冪集合上を走る。他方で、
は有界でない。なぜなら y の量化が制限されていないからである。有界論理式の真偽はあるランクの  V_{n}(S) の中で完全に決定され、 V(S) 全体を参照する必要がないことが重要である。
論理的枠組み > 内的集合

集合 x が内的とは、ある  A\in V(\mathbb {R} ) に対して  x\in {}^{\ast }A となることをいう。 A\in V(\mathbb {R} ) ならば  {}^{\ast }A 自身が内的である。
超準解析の基本的な論理的枠組みを定式化しよう：
拡大原理：写像  \ast  は  \mathbb {R}  上で恒等的である。
移行原理：いかなる有界論理式  P(x_{1},\ldots ,x_{n}) と  A_{1},\ldots ,A_{n}\in V(\mathbb {R} ) に対しても、次の同値が成り立つ：
可算飽和性：もし  \{A_{k}\}_{k\in \mathbb {N} } が空でない内的集合の減少列ならば、
超積を用いることで、このような写像  \ast  が存在することが示せる。 V(\mathbb {R} ) の元は標準的と呼ばれる。 {}^{\ast }\mathbb {R}  の元は超実数と呼ばれる。
論理的枠組み > κ-飽和性

飽和原理はより高次の基数を許すことによって「改良」することができる。モデルが  \kappa -飽和であるとは、 \{A_{i}\}_{i\in I} が有限交叉性を持つ内的集合の族（族は外的であってよい）で  |I|\leq \kappa  のときには必ず次が成り立つことをいう：
添字集合の条件を  |I|<\kappa  とする流儀もある。例えば、最初の流儀で  \aleph _{0}-飽和（可算飽和）と呼ばれるものは、後者の流儀では  \aleph _{1}-飽和と呼ばれる。以下の記述は最初の流儀に従う。
この原理は有用である。例えば、位相空間  X において、全ての標準的な近傍の共通部分（モナド）が内的な（超準）近傍を含むことを保証するために  2^{|X|}-飽和性を用いることができる。より精密には  \chi (X)-飽和性があれば十分である。ここで  \chi (X) は  X の指標を表す。この事実は、開集合、連続写像、コンパクト性などの概念の標準的な定義と超準的な定義との同値性を示すのに使われる。一方、実数全体  \mathbb {R}  は第一可算であるので、初等的な解析学に関する限り、可算飽和性があれば十分である。
いかなる基数  \kappa  に対しても、（ \kappa  を固定する毎に） \kappa -飽和的な拡大を構成できる。
集合論（の十分大きい部分（例えば上部構造））の超準モデル  M が  \kappa -飽和的なとき、 M の内的な無限集合の濃度は  \kappa  より大きい。特に台集合  M の濃度は  \kappa  より大きい。
一方で次の飽和原理の弱い形である広大化（enlargement）の原理は基数の制限を除くことができる。超準宇宙が広大化であるとは、 \{A_{i}\}_{i\in I} が有限交叉性を持つ標準集合の族のとき、必ず次が成り立つことをいう：
この原理は  |I|-飽和原理から帰結する。したがって  \kappa  を標準集合全体の濃度とすれば、 \kappa -飽和モデルは広大化の原理を満たす。先述したモナドの性質などは広大化の原理から導かれる。
\aleph _{0} を超える飽和原理はしばしば本質的に用いられる。1+1次元時空のディラック方程式の経路積分に基づく解法は超準解析を用いて測度論的に正当化できることが知られている。この超準的な解法において、光速度  c を正の無限大超実数と置くことで、非相対論的極限である1+1次元時空のシュレーディンガー方程式の解が得られる。この解法において  2^{\aleph _{0}}-飽和性が本質的に用いられる。
微分積分学の超準化

記号  {}^{\ast }\mathbb {N}  で超自然数の集合を表すものとする。拡大原理によれば、これは  \mathbb {N}  の上位集合になっている。集合  {}^{\ast }\mathbb {N} \setminus \mathbb {N}  は空でない。このことを見るためには、可算飽和性を次の内的集合の列に適用する：
列  \{A_{n}\}_{n\in \mathbb {N} } は空でない減少列であるから、所望の結果を得る。
幾つかの定義から始める：超実数  r,s が無限に近いとは、次が成り立つことをいう：
超実数  r が無限小（infinitesimal）であるとは、それが 0 に無限に近いことである。例えば、もし  n が自然数でない超自然数、つまり、 {}^{\ast }\mathbb {N} \setminus \mathbb {N}  の元であるならば、 {\frac {1}{n}} は無限小である。超実数  r が限定（limited）または有限（finite）とは、その絶対値がある標準自然数で抑えられる（より小さい）ことである。有限超実数の全体は、全ての実数を含むような、 {}^{\ast }\mathbb {R}  の部分環を成す。この環において、無限小超実数の全体はイデアルを成す。
有限超実数の成す集合や無限小超実数の成す集合は  V({}^{\ast }\mathbb {R} ) の外的な部分集合である。これの意味するところは（実際的な場面においては）内的集合に限定された有界量化は、これらの集合を亙ることはできないということである。
例：超実平面  {}^{\ast }\mathbb {R} \times {}^{\ast }\mathbb {R}  は内的であり、平面ユークリッド幾何のモデルである。他方、各座標を有限値に限定したもの（デーン平面の類似）は外的であり、平行線公準を破る。例えば  (0,1) を通り無限小の傾きを持つどんな直線も  x 軸と平行である。
定理. いかなる有限超実数  r も、ある一意的な標準実数  \mathrm {st} (r) に無限に近い。これにより定まる写像  \mathrm {st}  は有限超実数の成す環から  \mathbb {R}  への環準同型になっている。
この写像  \mathrm {st}  もまた外的である。
\mathrm {st} (r) を  r の標準部という。どんな有限超実数も標準実数と無限小超実数の和として一意的に表せるので、複素数における実部と虚部に倣って、その標準項のことを標準部というのである。超実数の標準部の存在は次のようにして示される：どんな有限超実数  s も、 s 未満からなる標準実数の集合  L を定める。 s は有限であるから  L は上に有界な非空集合である。したがって実数の完備性より、 L は標準実数の範囲で上限を持ち、これが標準部の条件を満たすことが確かめられる。
連続性の直観的な特徴付けとして次のものがある：
定理. 区間  [a,b] 上の実数値関数  f が連続であるのは、区間  {}^{\ast }[a,b] 内のどんな超実数  x に対しても  {}^{\ast }f(x)=f(\mathrm {st} (x)) が成り立つとき、かつそのときに限る。（詳しく微小連続の項を参照）
同様に、
定理. 実数値関数  f が実数値  x において微分可能であるのは、任意の無限小超実数  h に対して、標準部
が存在し（つまり括弧内の差分商が有限値で）かつ  h に依存しないとき、かつそのときに限る。このとき  f'(x) は実数であり、 f の  x における微分となる。
不変部分空間の問題

アブラハム・ロビンソンとアレン・バーンスタイン(Allen Bernstein)は、ヒルベルト空間上のいかなる多項式的コンパクト線型作用素も不変部分空間を持つことを示すのに、超準解析を用いた。これは不変部分空間の問題（invariant subspace problem）を部分的に解決したもので、超準解析による最初期の非自明な応用（新しい定理の証明）である。
ヒルベルト空間  H 上の所与の作用素  T に対して、 T の反復による  H の点  v の軌道を考える。グラム・シュミットの正規直交化法をこの軌道に適用することで  H の正規直交系  \{e_{i}\} が得られる。いま  \{H_{i}\} を  H の"座標"部分空間からなる増大列とする。 T の  \{e_{i}\} に関する表現行列  \{a_{i,j}\} は殆ど上三角（almost upper diagonal）、つまり、係数  a_{i+1,i} だけが対角下（sub-diagonal）に於いて非零である。バーンスタインとロビンソンは、もし  T が多項式的コンパクトならば、超有限添数  w があって、行列係数  a_{w+1,w} が無限小となることを示す。次に、 {}^{\ast }H の部分空間  {}^{\ast }H_{w} を考える。もし  y\in {}^{\ast }H_{w} が有限なノルムを持つなら、 {}^{\ast }Ty は  {}^{\ast }H_{w} に無限に近い。
いま  T_{w} を  {}^{\ast }H_{w} 上の作用素  P_{w}\circ T とする。ここで  P_{w} は  {}^{\ast }H_{w} への直交射影である。 q を  q(T) がコンパクトとなるような一次以上の複素係数多項式とする。部分空間  {}^{\ast }H_{w} は内的かつ超有限次元である。有限次元複素線形空間における上三角化可能性に対して移行原理を適用することで、 {}^{\ast }H_{w} の内的な正規直交基  \{e_{k}\}_{k=1,\ldots ,w} を上手く取ることにより、対応する  k-次元部分空間  E_{k} が  {}^{\ast }T-不変となるようにできる。 \Pi _{k} で  E_{k} への射影を表すものとする。ある有限ノルムの非ゼロベクトル  x\in {}^{\ast }H に対し、 q({}^{\ast }T)x は非ゼロ、もしくは  |q({}^{\ast }T)x|>1 と仮定して構わない。 q(T) がコンパクトであることから、 q({}^{\ast }T_{w})x は  q({}^{\ast }T)x に無限に近く、したがって  |q({}^{\ast }T_{w})x|>1（無限小の緩みを許せば）であることが分かる。いま  j を  |q({}^{\ast }T_{w})\left(\Pi _{j}(x)\right)|<{\tfrac {1}{2}} なる最大の添字とすれば、 {}^{\ast }E_{j} に無限に近い標準元の成す空間が望みの不変部分空間となる。
バーンスタイン＝ロビンソンの論文のプレプリントを読んだ上で、ポール・ハルモスは彼らの証明を標準的な手法で以って再解釈した。 どちらの論文も Pacific Journal of Mathematics の同じ号に立て続けに載っている。ハルモスによる証明で使われた幾つかのアイデアは、もっと後のquasi-triangular作用素に関するHalmosの仕事に再び現れている。
他の応用 > 群論

有限生成群とその有限な生成集合（であって対称的なもの）が与えられるとケイリーグラフと呼ばれる局所有限グラフが構成できる。このグラフにおいて「半径nの球体」の濃度  g(n):=\sharp S^{n} を与える関数を成長度と呼ぶ。この関数自体は生成集合の取り方に依存するが、漸近的な性質はそれに依存しない。多項式成長度を持つ群に関するグロモフの定理（英語版）は、成長度が多項式で抑えられる有限生成群は、常に有限指数の冪零部分群を持つことを示したものである。ファン・デン・ドリスとウィルキー は、この証明に用いられるasymptotic coneと呼ばれる距離空間の構成や性質の証明に超準解析を応用した。Asymptotic coneは超極限（英語版）へと一般化されているが、これも超冪構成に基づくものであるから、超準解析的に構成することもできる。
ラリー・マネヴィッツとシュムエル・ワインバーガー（英語版）は変換群に関するある結果を証明する際に超準解析を使用した。有理円周群  \mathbb {Q} /\mathbb {Z}  は有限巡回群  \mathbb {Z} /n\mathbb {Z}  たちの和集合（より正確には余極限）と見做すことが出来る。ここで  \mathbb {Z} /n\mathbb {Z}  の元  k{\mbox{ mod }}n は  \mathbb {Q} /\mathbb {Z}  の元  k/n{\mbox{ mod }}1 に対応する。その意味で各有限巡回群は  \mathbb {Q} /\mathbb {Z}  の「局所化」と見做しうる。いま  M を距離を持つコンパクト連結多様体とする。全ての有限巡回群  \mathbb {Z} /(n) が  M に忠実かつ  K-リプシッツに作用しているとしよう。彼らはこのとき有理円周群  \mathbb {Q} /\mathbb {Z}  もまた  M に忠実かつ  K-リプシッツに作用することを示した。この証明では、全ての正整数で割り切れるような無限大超自然数  \gamma  を取れば、 \mathbb {Q} /\mathbb {Z}  が超有限巡回群  {}^{\ast }\mathbb {Z} /(\gamma ) に埋め込めることが用いられている。（なぜならどんな有理数も分母が  \gamma  の形に通分できるから。）移行原理によれば  {}^{\ast }\mathbb {Z} /(\gamma ) は  {}^{\ast }M に忠実かつ  K-リプシッツに作用している。その作用を適当に無限小だけ変形することで、 \mathbb {Q} /\mathbb {Z}  の  M への忠実かつ  K-リプシッツな作用が得られる。
局所コンパクトアーベル群上のフーリエ解析を初等的な有限アーベル群上のフーリエ解析に帰着するためにも超準解析は用いられる。これは局所コンパクトアーベル群が超準的な有限アーベル群（超有限アーベル群）によってある意味で近似できるという事実に基づく。
他の応用 > トポロジー

位相空間論への最初の包括的な応用はロビンソンによる前掲書において与えられた。彼は距離空間および一般の位相空間における基本的な概念の超準的な特徴付けを与え、それを標準的な定理の証明に応用した。とりわけ次に示すコンパクト性の超準的特徴付けは、位相空間論に限らず、超準解析の応用に於いて広く用いられている。とくに、超準解析による最初期の成果であるバーンスタイン＝ロビンソンの定理は、この特徴付けを利用している。
定理. 位相空間  X がコンパクトであるのは  {}^{\ast }X の全ての点が近標準的（nearstandard）であるときである。ここで超準点  x\in {}^{\ast }X が近標準的とは、ある標準点  y\in X に対して  x\in \mu _{X}(y):=\bigcap \{{}^{\ast }U\mid y\in U\colon {\mbox{open}}\} が成り立つときを言う。
位相空間論へのさらなる応用はStroyan and Luxemburgに見られる。
代数トポロジーへの応用も存在する。M. C. McCordは超準解析に基づいて位相空間の新しいホモロジー群を構成した。このホモロジー群はホモロジー長完全系列が常に存在する点でチェックホモロジー（英語版）とは異なる。実際、チェックホモロジーはコンパクトハウスドルフ空間に対してさえ完全系列を持つとは限らない。一方でコンパクト性の仮定のもとでチェックホモロジーと同型となる。さらに、チェックホモロジーが全てのコンパクトハウスドルフ空間について完全系列を持つことと、係数群が等式コンパクトであることとは同値である。このことは、係数群  G が等式コンパクトのときレトラクション  {}^{\ast }G\to G が存在することと関係している。
形状理論（英語版）への応用も存在する。形状理論は局所的に複雑な空間の形状を適切に扱うためのフレームワークを提供するものである。例えばワルシャワの円（英語版）は殆ど円のような形状をしているのだが、その基本群は自明である。連続なループが原点を通るためには、 sin(1/x) によって作られる無限に長い経路を辿る必要があるが、それは不可能だからである。Karol Borsukの形状理論では、コンパクト距離空間  X が与えられたら、それを適当な大きな空間（ヒルベルト立方体）に埋め込んだ上で、 X の開近傍たちを考える。すなわち  X を膨らませた空間たちを考える。そこに適当なホモトピーの概念を導入し、そのホモトピー同値類を  X の形状と呼ぶ。Sibe MardešićとJack Segalのアプローチでは、位相空間  X を近似する（適当なよい性質を備えた）空間の射影系を考え、射影系とその間の射をもとにして、シェイプ圏と呼ばれる圏を作る。どちらのアプローチも、所与の空間を少し膨らませた空間のホモトピーを見る、というアイデアでは共通している。Frank Wattenbergは超準解析に基づく位相空間の形状理論を与えた。このアプローチでは、まず空間を適当な大きな空間に埋め込み、それらを超準化した上で、もとの空間を無限小だけ膨らませ、その超準的なホモトピー同値類を考える。これはBorsukやMardešić–Segalのアプローチと類似であり、たくさんの上からの近似を考える代わりに、超準的に無限小だけ大きな上からの近似を考えるというアイデアに基づく。
他の応用 > 測度論・確率論

測度論への応用としてはピーター・ローブ（英語版）によるローブ測度の構成が顕著である。これは測度論を用いる他の分野への応用の端緒となったものである。確率過程の理論への超準解析の応用（ブラウン運動をランダムウォークとして構成するものなど）はそのような応用の例であり、Albeverio et.al.はこの研究領域への優れた導入が含まれる。近接分野への応用としては、釜江による個別エルゴード定理の超準的証明がある。
Glenn ShaferとVladimir Vovkは、ゲーム論的確率論（離散的な時間軸上で繰り返される賭けゲームを基礎とする確率論）を連続時間確率過程の研究に接続するため、超準的手法を用いた。
他の応用 > 微分方程式

ある種の微分方程式系（slow-fast系）において、系のパラメータを微小に変化させたとき、ある特異な振る舞いをする解（の一種）をアヒル解（duck solution）と呼ぶ。M. Dienerは、超準解析を用いてある種のslow-fast系のアヒル解の存在証明を与えた。この技法に触発され様々なアヒル解の存在証明が与えられている。
超冪構成は非線形の微分方程式の研究に現れるコロンボ超関数の構成にも用いられる。この理論では単に超冪構成が用いられているのみならず、内的集合や飽和原理といった超準解析的なツールが有効に用いられている。コロンボの理論は超準解析に基づく再解釈もなされている。
他の応用 > 作用素環論

超準解析のモデルを構成する基本的な手法である超積構成はアラン・コンヌらによって作用素環の研究に応用されている。
他の応用 > 組合せ論・組合せ数論

Mauro Di Nassoらはα-理論と呼ばれる超準化の反復を可能とする公理的超準解析の枠組みを開発し、これを加法的組合せ論をはじめとした研究に応用している。
テレンス・タオは「正の上密度を持つ自然数列は任意長の等差数列を部分列に持つ」というセメレディの定理の証明にローブ測度空間を応用した。
他の応用 > 言語の拡張

しかしながら、超準解析の真の寄与は、超準集合論の新たな拡張された言語を用いた概念や定理の中にある。新たな応用のうちには、確率、流体力学、測度論、滑らかでない解析や調和解析などへの新しいアプローチがある。
他の応用 > 微分積分学の教育への応用

数学教育への応用として、H・ジェローム・キースラー（英語版）はElementary Calculus: An Infinitesimal Approachを著した。 これは超準微分積分学（英語版）をカバーし、無限小元を含む超実数を用いた微分・積分計算を構築した。これらの超準解析の応用は有限超実数  r の標準部の存在に拠っている。 r の標準部分  \mathrm {st} (r) は  r に無限に近い標準実数である。キースラーが用いた視覚化の装置のひとつは、無限に近い点を区別する為の、無限拡大率を持つ仮想的な顕微鏡である。キースラーの本は現在絶版であるが、彼のウェブサイトから無料で利用できる（下記の参考文献を参照）。
批判

→詳細は「超準解析に対する批判」を参照
超準解析の優美さや幾つかの側面からの魅力にもかかわらず、批判もまた表明されている。エレット・ビショップ（英語版）、アラン・コンヌ、ポール・ハルモスによる批判は超準解析に対する批判（英語版）にある。
資料

E. E. Rosinger, [math/0407178]. Short introduction to Nonstandard Analysis. arxiv.org.
台風委員会

| --- | --- |
 Typhoon Committee
略称:  TC
設立:  1968年
目的:  台風被害の軽減
本部:  マカオ
所在地:  路環 十月初五馬路
会員数:  14か国・地域
関連組織:  アジア太平洋経済社会委員会 世界気象機関
ウェブサイト:  http://www.typhooncommittee.org/
テンプレートを表示
台風委員会（たいふういいんかい、The ESCAP/WMO Typhoon Committee）は、北西太平洋または南シナ海で発生する、台風防災に関する政府間組織。1968年、アジア太平洋経済社会委員会（ESCAP）及び世界気象機関（WMO）が共同で設立した。アジアと極東における台風被害への対策策定と実施を任務とする。本部はマカオにある。
2000年から、台風の国際的な名称として「アジア名」を定めている。
加盟国及び地域

2018年8月現在、下記の14の国及び地域が加盟している。
加盟国及び地域 > 設立当初からの加盟国及び地域

中国
香港
日本
ラオス
フィリピン
韓国
タイ
加盟国及び地域 > その後加盟した国及び地域

カンボジア (1972年)
マレーシア (1976年)
ベトナム (1979年)
マカオ (1993年)
北朝鮮(1993年)
シンガポール (1997年)
アメリカ合衆国 (1998年)
クリームヒルト

クリームヒルトとグンター
クリームヒルト （ドイツ語: Kriemhild）は北欧神話の物語『ニーベルンゲンの歌』に登場する英雄ジークフリートの妻。物語の前半と後半で人格が著しく変わっているが、これはもともと二人の異なる人物をまとめたため起こったのではないか、との説がある（後述）。
表記としては、ドイツの伝承（『ニーベルンゲンの歌』など）にみられる中期高地ドイツ語表記のクリエムヒルト（Kriemhilt）や、その現代ドイツ語表記であるクリームヒルト（Kriemhild）、北欧の伝承（『詩のエッダ』『ヴォルスンガ・サガ』など）にみられる古ノルド語表記のグズルーン（Guðrún）や、その現代ドイツ語表記のグートルーン、グードルーン（Gudrun）、北欧の伝承を参照したワーグナー『ニーベルングの指環』にみられるグートルーネ（Gutrune）などがある。
ニーベルンゲンの歌 > 前半

ブルグント王グンターはイースラントの女王ブリュンヒルトと、グンターの妹であるクリームヒルトはニーデルランドの王子ジークフリートと結婚し、平穏に暮らしていた。しかし、ブルグント王妃ブリュンヒルトは義妹のクリームヒルトが自分に対して横柄な態度を取るのが気に入らず、ある日口論となった。彼女たちは「どちらの夫の方が偉大であるか」を巡って激しく言い争うが、このときクリームヒルトはグンター王がブリュンヒルトに求婚する際ジークフリートの手を借りた事を暴露してしまう。名誉を激しく傷つけられたブリュンヒルトは復讐としてジークフリートの暗殺を決意し、グンター王の側近ハーゲンによりジークフリートは背中の急所から心臓を刺され殺される。
クリームヒルトはジークフリートの死後、13年たっても喪服を着続けたまま嘆き悲しんで暮らす傍ら、夫の遺産であるニーベルンゲンの財宝を得て、これを貴賤を問わず惜しみなく施し人臣の人気を博した。しかし、ハーゲンは財宝で彼女が兵を雇い復讐を成すのではないかと警戒し、グンター王に讒言してニーベルンゲンの財宝をライン川の底へ隠匿してしまった。
ニーベルンゲンの歌 > 後半

フン族の王、妻を亡くしたエッツェルが再婚相手としてクリームヒルトを望み使者を送った。いまだ喪服のクリームヒルトは当初これを拒否するが、フン族の力を使えば復讐が達成できるのではないかと思い直し、エッツェルと再婚した。 フン族の王妃となったクリームヒルトは、数年はおとなしく過ごし、人民の人気と王の信頼を得た。機が熟したころ、クリームヒルトは夫である王に、兄グンターや弟達に会いたくなったのでフン族の宮廷に招いてくれるように願い出て了承を得た。彼女は使者にハーゲンが訪問に加わらないようであればフン族の国を知るのはハーゲンのみであることを言い含めるよう伝えた。 グンターは妹の恨みは時間が解決したものとしてこの招待を受けた。ハーゲンは警戒するが、グンター王の命令で、武装しつつもフン族の宮廷へ赴いた。
ブルグントの一行はエッツェル王の歓待を受けた。その陰でクリームヒルトは、自らの息のかかった者を使いハーゲンの暗殺を図るが、なかなか叶わなかった。王妃が計略を巡らせていることはブルグント側にも伝わっており、少しずつブルグントとフン族の間に不和が広がっていった。血なまぐさい両陣営の応酬が散発するが、グンター、エッツェル両王はまだ争うつもりはなかった。しかしブルクント側の宿舎が襲われ、ハーゲンは意趣返しとしてエッツェル王とクリームヒルトの間の息子を殺害した。これを契機にフン族とブルグントと戦闘状態に陥った。クリームヒルトはハーゲンの首一つで包囲を解くと提案するが、ブルグント側はこれを拒否したため、彼らが篭城する広間を焼き討ちにした。戦いの末、グンターとハーゲンは生け捕りにされ、2人を別々の牢へ投獄された。
クリームヒルトはニーベルンゲンの宝のありかをハーゲンに白状させようとしたが彼の奸計にかかり、グンター王を斬首させてしまった。財宝が得られないことを知ると彼女は、ハーゲンが自分のものにしていたジークフリートの剣で打ち落とし復讐を遂げた。しかし捕縛された捕虜を斬ったことに憤ったフン族の客将ヒルデブラントにより、彼女も殺害された。
ニーベルンゲンの哀歌

『ニーベルンゲンの歌』に続く作品『ニーベルンゲンの哀歌（英語版）』では、クリームヒルトが行った復讐に対する弁護が為されている。岡﨑忠弘は、本作は『ニーベルンゲンの歌』をキリスト教倫理観全盛期の中世世界に受容させるために書き足されたのではないかとしている。