stanford-oval/wikipedia huggingface dataset:
ニデックSVプローブ
概要

プローブカードの製造・販売を手掛けていた東京カソード研究所が、国内半導体大手各社の業績低迷などによる業績不振により、2013年3月14日に東京地方裁判所へ民事再生法適用を申請した。東京カソード研究所は同年6月25日に、シンガポールに本社があるSV Probe Pte. Ltd.へプローブカード事業並びに海外子会社の株式を譲渡する契約を締結した。
SV Probe Pte. Ltd.は2013年7月30日に東京カソード研究所のプローブカード事業を譲受する受け皿会社として、SV TCL株式会社を設立。SV TCLは同年9月1日付で、東京カソード研究所のプローブカード事業を譲受した。北光電子工業もSV TCLの子会社となった。SV TCLの本社は、当初は東京カソード研究所埼玉事業所と同じ埼玉県滑川町に置かれていたが、2015年11月に東京都豊島区へ移転している。
日本電産（当時）は2017年8月21日、子会社である日本電産リード（当時）がSV Probe Pte. Ltd.の全株式を取得する事を発表。SVプローブは同年10月31日付で日本電産リードの子会社となったと同時に、SV TCLは日本電産リードの孫会社となった。SV Probe Pte. Ltd.は2018年9月25日にNIDEC SV PROBE PTE. LTD.へ商号変更された。
2023年4月1日付で、SV TCL株式会社の商号をニデックSVプローブ株式会社に変更した。
沿革

2013年
7月30日 - SV TCL株式会社として設立。
9月1日 - 東京カソード研究所から事業を譲受。
2015年11月 - 本社を東京都豊島区へ移転。
2017年10月31日 -親会社であるSV Probe Pte. Ltd.が日本電産リード（現：ニデックアドバンステクノロジー）の子会社となった事に伴い、日本電産リードの孫会社となる。
2023年4月1日 - SV TCL株式会社の商号をニデックSVプローブ株式会社へ、株式会社北光電子工業の商号をニデックSVプローブ電子株式会社へそれぞれ変更。
事業所

本社 - 東京都豊島区池袋4丁目32番8号 サンポウ池袋ビル2階
関西営業所 - 大阪市中央区内本町2-3-1 ストークNE 3階
九州事業所 - 熊本県菊池郡菊陽町津久礼11-9 エヌ・アイ・シービル 2階
子会社

ニデックSVプローブ電子株式会社
ドナルドソン・トーマス不変量

| 表 話  歴弦理論 |
| --- | --- |
理論:  弦理論  ボゾン弦理論  M理論(簡易項目)  タイプI超弦 ·  タイプII超弦  ヘテロティック弦  弦の場の理論  ホログラフィック原理  AdS/CFT対応  ミラー対称性 (弦理論)  T-双対  S-双対  SYZ予想  6次元 (2,0)-超共形場理論  ABJM超共形場理論  6次元 (2,0)-超共形場理論 
概念:  弦 ·  膜  カラビ-ヤウ多様体  カッツ・ムーディ代数  Dブレーン  E8リー群 
人物:  ダフ  マイケル・グリーン  ブライアン・グリーン  グロス  カク  マルダセナ  マンデリシュターム  ポルチンスキー  ポリャコフ  レイモンド  シャーク  シュヴァルツ  セン  サスキンド  タウンセンド  ヴァッファ  ヴェネツィアーノ ·  ウィッテン 
関連項目:  超対称性  超重力理論  量子重力理論  モンストラス・ムーンシャイン 
数学、特に代数幾何学では、ドナルドソン・トーマス理論(Donaldson–Thomas theory)は、ドナルドソン・トーマス不変量(Donaldson–Thomas invariants)の理論であり、3-次元カラビ・ヤウ多様体上の層のコンパクトなモジュライ空間が与えられると、そのドナルドソン・トーマス不変量は、点の仮想数である。すなわち、この仮想数は、仮想基本類に対してコホモロジー類が 1 となる積分のことである。ドナルドソン・トーマス不変量は、キャッソン不変量の正則な類似物である。不変量は、Simon Donaldson and Richard Thomas (1998)で導入された。ドナルドソン・トーマス不変量は、3-次元代数多様体のグロモフ・ウィッテン不変量やパンダハリパンデ(Pandharipande)とトーマス(Thomas)による安定ペアの理論と密接な関係を持つ。
ドナルドソン・トーマス理論は物理的には、弦理論やゲージ理論に現れるあるBPS状態に動機を持っている。[要説明]
定義と例

グロモフ・ウィッテン不変量の基本的なアイデアは、リーマン面から滑らかな対象への写像を研究することにより空間の幾何学を探ることである。そのような写像のすべてのモジュライスタックは、仮想的基本類を持ち、このスタック上の交叉理論は数え上げ情報をもつことがある数値的不変量となる。同様の精神で、ドナルドソン・トーマス理論へのアプローチは、それらの方程式により、さらに正確には、空間上のイデアル層を研究することで、代数的 3-多様体の中の曲線を研究することである。このモジュライ空間もまた、仮想基本類を持ち、数え上げのある数値的不変量となる。
グロモフ・ウィッテン理論では、写像は多重被覆や領域曲線の崩壊成分でも可能となるが、一方、ドナルドソン・トーマス理論は、層の中に含まれるべき零情報をもつことができる。しかし、これらは整数の値の不変量である。モーリク(Maulik)、アンドレイ・オクンコフ(Andrei Okounkov)、ニキータ・ネクラソフ(Nikita Nekrasov)、ラフル・パンダハリパンデ（英語版）(Rahul Pandharipande)による深い予想があり、より一般性を持って代数的 3-多様体のグロモフ・ウィッテン不変量とドナルドソン・トーマス理論が実際、同値であることを証明した。より具体的には、それらの母函数はある適当な変数変換で等しくなる。3-次元カラビ・ヤウ多様体に対するドナルドソン・トーマス不変量は、モジュライ空間上のウェイト付きオイラー特性類として定式化することができる。最近では、これらの不変量、モチーフ的ホール代数、量子トーラス上の函数環の間に関連があることが示されている[要説明]。
クインティックスリーフォールド上の直線のモジュライ空間は、2875個の点からなる離散的集合である。点の仮想数は点の実際の数であり、よってモジュライ空間のドナルドソン・トーマス不変量は整数 2875 である。
同様に、クインティックスリーフォールド上のコニック(conics)のモジュライ空間のドナルドソン・トーマス不変量は 609250 である。
事実

モジュライ空間 M のドナルドソン・トーマス不変量は、M のウェイト付きオイラー特性数に等しい。ウェイト付き函数は、超平面特異点のミルナー数の類似物と M のすべての点を結び付ける。
一般化

層のモジュライ空間に代わり、導来圏の対象のモジュライ空間を考えることができる。これは 3-次元カラビ・ヤウ多様体の安定ペアを数えるパンダハリパンデ・トーマス不変量（英語版）(Pandharipande–Thomas invariant)を与える。
整数に値をもつ不変量に代わり、モチーフ的な不変量を考えることもできる。
成果

若くして病死した長尾健太郎が4次元のゲージ理論と6次元の弦理論を結ぶ「ポテンシャルの切断によるリダクション」という成果を上げた。
ニコラス・トンプソン

ニコラス・トンプソン(Nicholas Thompson、1982年12月25日-)は、アメリカ合衆国のプロゴルファーで、PGAツアー及びウェブドットコムツアーで活躍する。
トンプソンはプランテーション (フロリダ州)で生まれ、2005年にジョージア工科大学を卒業して経営管理の学位を取った。2002年にはACCチャンピオンシップチームのメンバーとなり、卒業後にプロ転向した。
トンプソンは、2005年にクオリファイングトーナメントで3位となり、2006年のPGAツアー出場権を獲得した。2006年には、32戦で15度しか予選落ちせず、1度は10位以内に入ったが、最終的に賞金ランキングは180位に終わったため、翌年の出場権を得られなかった。2007年にはネーションワイドツアーに参戦し、HSBCニュージーランドPGAチャンピオンシップで1勝を挙げ、最終的に賞金ランキングで6位となって2008年のPGAツアー出場権を獲得した。2008年には、10以内に6度入り、その中には、このシーズンのフェデックスカップ初戦であるザ・バークレイズの7位タイがあった。この成績で、彼はフェデックスカップのランキングが20位に急上昇し、最終的には41位で終わった。このシーズンの後半、彼はギン・シュール・メール・クラシックでライアン・パーマーに次ぐ2位タイに入り、最大の賞金27万6000ドルを獲得した。2005年のプロ転向以来、現在までに300万ドル以上を稼いでいる。
2008年の成功以降、トンプソンはPGAツアーで苦戦するようになった。2009年には10位以内に1度しか入れず、賞金ランキングで辛うじて出場権を守った。2010年にも、チューリッヒクラシック ・オブ・ニューオリンズで1度10位以内に入っただけだった。
家族

妹のアレクシス・トンプソンは、2007年に史上最年少で全米女子オープンに出場したゴルファーである。ニコラスはその週のネーションワイドツアーの大会に向かう前に、練習ラウンドにつきあった。彼女は2008年には全米女子ジュニアチャンピオンシップを制した。弟のカーティスは、ルイジアナ州立大学で男子ゴルフチームに所属している。
勝利 > アマチュア

2005年 ジョーンズカップ招待
勝利 > プロ

2007年 HSBCニュージーランドPGAチャンピオンシップ
勝利 > 団体

2005年 ウォーカーカップ
Natural Punch Drunker

Natural Punch Drunker（ナチュラル･パンチ･ドランカー）は、日本のロックバンドである。略してナチュパンと呼ばれる[誰によって?]。
1999年大学のサークル内で結成。2003年にはテイチク傘下のレコードレーベル・インペリアルレコードからメジャーデビュー。
2004年にはギターの松原史明が脱退。脱退後からサポートメンバーとして入っていた小野晃裕が2005年3月に正式なメンバーとなった。
メンバー

井村洋（1978年2月2日） - ボーカル、ギター
村上雅之（1977年12月14日） - ベース、コーラス
メンバー > 元メンバー

飯田康博（1977年12月26日） - ドラム
松原史明（1977年10月12日） - ギター
小野晃裕（1981年9月25日） - ギター、コーラス
経歴

1999年4月に大学のサークルの仲間を中心に結成。インディーズでは、Bad Newsよりアルバム2枚、シングル1枚をリリース。
2002年9月1日には神戸の野外イベント「RUSH BALL」のメインステージに登場。
2003年にインペリアルレコードよりメジャーデビュー。プロデューサーにムーンライダースの白井良明を迎え、「シンクロナイズ」「夜汽車」の2曲を表題曲としたシングルを8月21日にリリース。「シンクロナイズ」は、TBS系音楽番組『COUNT DOWN TV』のオープニングテーマとなる。
リリース後、心斎橋CLUB QUATTROで行われた自主イベント「THREE SMILE SPECIAL!」では、ゲストにASIAN KUNG-FU GENERATION、SHORT CIRCUIT、HUCKLEBERRYFINNを迎える。
2004年1月21日リリースの2枚目のシングル「涙のカケラ」では、プロデューサーに元シュガー・ベイブの村松邦男を迎える。NHKの音楽番組『ポップジャム』に出演したほか、全国のFM各局で多数の推薦曲に選ばれる。3月3日には、メジャー初のアルバム『trace』をリリース。アルバムリリース後に行われた東京、大阪CLUB QUATTROでのワンマンライヴを行う。その後、6月21日のライヴを最後に、ギターの松原が個人的な事情により脱退。アルバム『trace』からリカットされた「スタンドバイミー」さらにインディーズ時代の曲「スワロウ」（松原の最後のレコーディング参加作品となる新録）を両A面に配したマキシ・シングルを7月22日にリリース。「スタンドバイミー」は、よみうりテレビ・日本テレビ系バラエティ番組『オカンと娘』エンディングテーマとなる。
11月24日には、シングルとしては「涙のカケラ」以来の新曲「トラベラー」をリリース。エフエム大阪パワープレイを獲得。
2005年に入り、2月23日に「春のあしおと」をリリース。3月24日には、メジャー2枚目のアルバム『GREEN』をリリース。3月27日の心斎橋CLUB QUATTROのワンマンライヴより、サポートメンバーであった小野晃裕を正式メンバーとして迎え再び4人編成となる。10月26日には、シングル「未来のライナーノーツ」をリリース。全国16カ所を巡る初のレコ発全国ツアーも行う。
2009年に飯田康博が脱退。
2011年に小野晃裕が脱退。
2012年以降は事実上の活動休止状態だが、現在まで解散などの発表はおこなっていない。
作品 > シングル

シンクロナイズ/夜汽車(03/08/21)オリコン198位
シンクロナイズ（作詞：井村洋／作曲：Natural Punch Drunker／編曲：Natural Punch Drunker・白井良明）
夜汽車（作詞：井村洋／作曲：Natural Punch Drunker／編曲：Natural Punch Drunker・白井良明）
ポエム（作詞・作曲：井村洋／編曲：Natural Punch Drunker）
涙のカケラ(04/01/21)オリコン76位
涙のカケラ（作詞・作曲：井村洋／編曲：Natural Punch Drunker・村松邦男）
時雨 止んだら（作詞・作曲：井村洋／編曲：Natural Punch Drunker・村松邦男）
丘を越えて(hitori ver.)（作詞・作曲：井村洋）
スタンドバイミー(04/07/22)オリコン197位
スタンドバイミー（作詞・作曲：井村洋／編曲：Natural Punch Drunker）
スワロウ（作詞・作曲：井村洋／編曲：Natural Punch Drunker）
スタンドバイミー(Instrumental)
スワロウ(Instrumental)
トラベラー(04/11/24)
トラベラー（作詞・作曲：井村洋／編曲：Natural Punch Drunker）
プラトー（作詞・作曲：井村洋／編曲：Natural Punch Drunker）
トラベラー(Instrumental)
プラトー(Instrumental)
春のあしおと(05/02/23)
春のあしおと（作詞：井村洋・jam／作曲：井村洋／編曲：Natural Punch Drunker）
栞（作詞・作曲：井村洋／編曲：Natural Punch Drunker）
春のあしおと(Back Track)
栞(Back Track)
未来のライナーノーツ(05/10/26)
未来のライナーノーツ（作詞・作曲：イムラヒロシ／編曲：Natural Punch Drunker）
少年ヴェートーベン（作詞・作曲：井村洋／編曲：Natural Punch Drunker）
9回目の別れ（作詞・作曲：井村洋／編曲：Natural Punch Drunker）
SWINE（作詞：村上雅之／作曲・編曲：Natural Punch Drunke）
(エンハンスド)「未来のライナーノーツ」ビデオ・クリップ+メイキング
夏のレイル(06/07/05)オリコン97位
夏のレイル（作詞・作曲：井村洋／編曲：Natural Punch Drunker）
NPD Summer Song Special Medley Mix
君を忘れたら(08/02/13)オリコン147位
君を忘れたら（作詞・作曲：井村洋／編曲：Natural Punch Drunker）
あの人（作詞・作曲：井村洋／編曲：Natural Punch Drunker）
涙のカケラ(Studio Acoustic Live Take)（作詞・作曲：井村洋）
作品 > アルバム

landscape(01/8/22)
hereafter(02/12/04)
trace(04/03/03)オリコン120位
朝（作曲：井村洋）
土曜日（作詞・作曲：井村洋／編曲：Natural Punch Drunker）
シンクロナイズ（作詞：井村洋／作曲：Natural Punch Drunker／編曲：Natural Punch Drunker・白井良明）
波音少し･･･（作詞・作曲：井村洋／編曲：Natural Punch Drunker）
丘を越えて（作詞・作曲：井村洋／編曲：Natural Punch Drunker）
ソラトブフタリ（作詞・作曲：井村洋／編曲：Natural Punch Drunker）
夜汽車（作詞：井村洋／作曲：Natural Punch Drunker／編曲：Natural Punch Drunker・白井良明）
Start on Me（作詞：井村洋・村上雅之／作曲：井村洋／編曲：Natural Punch Drunker）
涙のカケラ（作詞・作曲：井村洋／編曲：Natural Punch Drunker・村松邦男）
スタンドバイミー（作詞・作曲：井村洋／編曲：Natural Punch Drunker）
夜（作詞・作曲：井村洋／編曲：Natural Punch Drunker・中村公輔）
GREEN(05/03/24)オリコン281位
BABY FLIGHT
春のあしおと -GREEN mix-
サーフスライダー
海岸通り
トラベラー -GREEN mix-
猫
ひらいてひらいて
出会い
スワロウ -GRe:EN mastering-
家路時刻
trooper(06/08/02)オリコン298位
夏のレイル
Summer equip
the beat;howl
sing
声の導火線
夏のせいにして
さよならのムコウ
9回目の別れ
涙dub
LOVERS
未来のライナーノーツ
NDPics-BEST(08/03/05)オリコン263位
NDP PLAY FAST ep(2009/04/22)
iamstandin' therehere(2009/06/03)
作品 > 参加作品

『Tribute to Elvis Costello』（07/04/25）
3.Lip Service
Boniniのパラドックス

Bonini のパラドックスは、複雑なシステム（人間の脳など）を完全に捉えたモデルやシミュレーションを構築することの難しさを説明する論説である。
名称はスタンフォード大学の経営学の教授 Charles Boniniに由来する。
パラドックスの表現

最近の論文では、このパラドックスはJohn M. DuttonとWilliam H. Starbuckによって「複雑なシステムのモデルは、完全になればなるほど、理解し難いものになってゆく。あるいは、モデルは現実的になるほど、そのモデルが表現する現実世界のプロセスとちょうど同じぐらい理解し難くなる。」と明文化された(Computer Simulation of Human Behaviour, 1971)。
このパラドックスは、人間の脳と思考プロセスの完全なモデルは未だ作られておらず、また将来にも疑いようがなく難しいか、を研究者たちが説明するのに用いられるかもしれない。
これと同じパラドックスが、より早い時期に、ポール・ヴァレリーによる言葉に見られる。「簡単なものは全て誤っている。複雑なものは全て使い物にならない」(Notre destin et les lettres, 1937)。
また、同じ話題がRichard Levinsの古典的エッセイ『集団生物学におけるモデル構築の戦略』の中で議論された。複雑なモデルは「あまりに多くの測定すべきパラメーター」を持つため「我々のコンピューターの能力を超える、解析的に解けない方程式群を生み出すが、しかし仮にそれらの方程式が解けるものだったとしてもその結果は我々にとって意味を持たないだろう」(Orzack and Sober, 1993; Odenbaugh, 2006 を参照)。
関連する問題

Boniniのパラドックスは地図-土地関係の一例と見ることができる：地図は単純なほど、不精確だが、より有用な土地の表現になってゆく。
極端な例の一つは、フィクションの『シルヴィーとブルーノ・完結編』と On Exactitude in Scienceに見られる。これらの物語には、Boniniのパラドックスの一つを描写するため、1:1の縮尺の地図（実際の土地と同じサイズ）で精確だが使い物にならないものが登場する。
アイザック・アシモフのファウンデーションシリーズに登場する架空の科学「心理歴史学」はBoniniのパラドックスと同じジレンマに直面する。アシモフは心理歴史学者の一人に、このパラドックスを議論させてもいる。
選択された参考文献

Levins, R. 1966. "The Strategy of Model Building in Population Biology", American Scientist, 54:421-431 (Wayback Machine のアーカイブ）
Odenbaugh, Jay. 2006. "The strategy of 'The Strategy of Model Building in Population Biology' ", Biology and Philosophy, 21:607-621.
Orzack S. H., and E. Sober. 1993. A Critical Assessment of Levins's The Strategy of Model Building in Population Biology. Q. Rev. Biol. 68(4):533-546
Internet Control Message Protocol

Internet Control Message Protocol（インターネット制御通知プロトコル、ICMP）とは、通信処理で使われるプロトコルのひとつで、Internet Protocolのデータグラム処理における誤りの通知や通信に関する情報の通知などのために使用される。ICMPに関するICMP通知は、通知が無限ループに陥るのを防ぐために送られない。
IPv4（Internet Protocol version 4）のための ICMP (ICMPv4) は RFC 792 によって規定され、IPv6（Internet Protocol version 6）のための ICMP (ICMPv6) は RFC 4443 によって規定されている。ICMP は TCP、UDP などと同様にInternet Protocolの上位のプロトコルであるが、Internet Protocolと同様のインターネット層のプロトコルであるかのような特別の処理をされる。
ICMPを利用しているツールにpingやtracerouteなどがある。
通知書式

ICMPヘッダは以下のようにMACヘッダ・IPヘッダの後ろにある。
+------------+-----------+-------------+-----------
  | MACヘッダ  | IPヘッダ  | ICMPヘッダ  | データ...
  +------------+-----------+-------------+-----------
通知書式 > ICMPヘッダ

ICMPヘッダは一般的に以下の通りとなる。
| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| タイプ | タイプ | タイプ | タイプ | タイプ | タイプ | タイプ | タイプ | コード | コード | コード | コード | コード | コード | コード | コード | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム |
データ  
データグラムのデータ部分の最初のオクテットはICMPタイプフィールドであり、このフィールドの値は、以降のICMP通知の書式を決定する。「未使用」とラベル付けされているフィールドは今後の拡張のために予約されており、送信時には0を入れなければならないが、受信者はこれらのフィールドを（チェックサムに含めることを除いて）使用すべきではない。チェックサムは、ICMPヘッダの先頭から（すなわちタイプから）データの末尾までを対象に、16ビット単位で算出される。チェックサムフィールド自身も計算対象に入っているが、計算時には0として扱う。バイト数が奇数の場合は末尾に0のバイトがあるものとして計算する。
また、いくつかのタイプでは、ICMP通知が発生する原因となった元データグラムの先頭部分をコピーしている。この種のタイプは以下の形式をとる。
| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| タイプ | タイプ | タイプ | タイプ | タイプ | タイプ | タイプ | タイプ | コード | コード | コード | コード | コード | コード | コード | コード | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム |
| 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 長さ | 長さ | 長さ | 長さ | 長さ | 長さ | 長さ | 長さ | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 |
IPヘッダ + 元データグラムの先頭部分  
RFC 792では長さフィールドは未使用で、元データグラムの先頭部分は64ビット（8オクテット）と決まっていた。その後RFC 1812およびRFC 4443において、MTUの最小限として保障されるサイズ（IPv4は576オクテット、IPv6は1280オクテット）まで拡張された。RFC 4884において長さフィールドが追加され、この可変長領域の長さを32ビット単位で記述することになった。
ICMP通知は基礎的なIPヘッダーを使用して送られる。個々の型式記述の下で違った形で言及されない限り、ICMPヘッダに先行するIPヘッダーフィールドの値は以下の通りとなる。
通知の種類 > Echo Message（エコー要求通知）・Echo Reply Message（エコー応答通知）

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| タイプ（0または8） | タイプ（0または8） | タイプ（0または8） | タイプ（0または8） | タイプ（0または8） | タイプ（0または8） | タイプ（0または8） | タイプ（0または8） | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム |
| 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 |
データ（可変長）  
エコー要求はタイプ=8で送信される。現在のところ定義されているコードは0だけである。識別子は送信元で適当な値を決める。要求したプロセスのプロセスIDなどが使われる。シーケンス番号は、同じ識別子で繰り返しエコー要求を送信した場合の通し番号である。
宛先となっているホストがエコー要求を受け取ると、発信元と宛先のアドレスを入れ替え、タイプを0（エコー応答）に書き換え、チェックサムを再計算する。識別子とシーケンス番号はエコー要求で指定された値をそのまま返し、どの要求に対応する応答なのかを発信元で判別する際に使う。また、データフィールドも要求の内容をそのまま返す。
ネットワーク診断用コマンドpingは、このEcho / Echo Replyメッセージを使っている。
通知の種類 > Destination Unreachable Message（宛先到達不可能通知）

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| タイプ (3) | タイプ (3) | タイプ (3) | タイプ (3) | タイプ (3) | タイプ (3) | タイプ (3) | タイプ (3) | コード | コード | コード | コード | コード | コード | コード | コード | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム |
| 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 次HopのMTU | 次HopのMTU | 次HopのMTU | 次HopのMTU | 次HopのMTU | 次HopのMTU | 次HopのMTU | 次HopのMTU | 次HopのMTU | 次HopのMTU | 次HopのMTU | 次HopのMTU | 次HopのMTU | 次HopのMTU | 次HopのMTU | 次HopのMTU |
IPヘッダ + 元データのデータグラムの先頭部分  
コードは状況に応じて以下の値をとる。
0 - ネットワーク到達不能
1 - ホスト到達不能
2 - プロトコル到達不能
3 - ポート到達不能
4 - 断片化が必要だがDFフラグが設定されている
5 - 送信元ルーティング失敗
RFC 1122において、以下のコードが追加されている。
6 - 宛先ネットワーク不明
7 - 宛先ホスト不明
8 - 発信元ホストが孤立している
9 - 宛先ネットワークとの通信が管理上禁止
10 - 宛先ホストとの通信が管理上禁止
11 - Type of Serviceに対してネットワーク到達不能
12 - Type of Serviceに対してホスト到達不能
さらにRFC 1812では、以下のコードが追加されている。
13 - 通信が管理上禁止
14 - ホスト優先度違反
15 - 優先度が低すぎる
コード9および10は特殊な用途のために定義されており、通常のルーターは13を発生させるよう求めている。
次HopのMTUはRFC 1191で導入された。コード=4のときに設定され、経路MTU探索のために使われる。タイプ=3、コード=4のICMPパケットをファイアウォール等でフィルタしてしまうと、経路MTU探索ブラックホールと呼ばれる問題が発生する。
また、RFC 792 (ICMPプロトコル本体の)Destination Unreachable Messageをみると次HopのMTUの項目はなく、未使用のみとなっている。
通知の種類 > Source Quench Message（送出抑制要求通知）

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| タイプ (4) | タイプ (4) | タイプ (4) | タイプ (4) | タイプ (4) | タイプ (4) | タイプ (4) | タイプ (4) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム |
| 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 長さ | 長さ | 長さ | 長さ | 長さ | 長さ | 長さ | 長さ | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 |
IPヘッダ + 元データのデータグラムの先頭部分  
受信能力を超えた早さでデータグラムが届き、破棄してしまったことを通知する。ゲートウェイおよび宛先ホストのどちらでも発生する可能性がある。
通知の種類 > Redirect Message（経路変更要求通知）

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| タイプ (5) | タイプ (5) | タイプ (5) | タイプ (5) | タイプ (5) | タイプ (5) | タイプ (5) | タイプ (5) | コード | コード | コード | コード | コード | コード | コード | コード | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム |
ゲートウェイのIPアドレス
IPヘッダ + 元データのデータグラムの先頭部分  
ゲートウェイから送信元に対して、今後は他のゲートウェイを使うよう指示する。元のデータグラムも破棄せずに転送する。経路変更要求ICMPメッセージを受け取ったホストはルーティングテーブルに追記し、該当する次のデータグラムからは指示されたゲートウェイへ送るようになる。
コードは以下の値をとる。
0 - ネットワークに関する経路変更要求
1 - ホストに関する経路変更要求
2 - Type of Serviceとネットワークに関する経路変更要求
3 - Type of Serviceとホストに関する経路変更要求
通知の種類 > Router Advertisement Message（ルーター広告通知）

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| タイプ (9) | タイプ (9) | タイプ (9) | タイプ (9) | タイプ (9) | タイプ (9) | タイプ (9) | タイプ (9) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム |
| ルーターアドレス数 | ルーターアドレス数 | ルーターアドレス数 | ルーターアドレス数 | ルーターアドレス数 | ルーターアドレス数 | ルーターアドレス数 | ルーターアドレス数 | 1エントリあたりの長さ | 1エントリあたりの長さ | 1エントリあたりの長さ | 1エントリあたりの長さ | 1エントリあたりの長さ | 1エントリあたりの長さ | 1エントリあたりの長さ | 1エントリあたりの長さ | 有効期限 | 有効期限 | 有効期限 | 有効期限 | 有効期限 | 有効期限 | 有効期限 | 有効期限 | 有効期限 | 有効期限 | 有効期限 | 有効期限 | 有効期限 | 有効期限 | 有効期限 | 有効期限 |
ルーターアドレスその1
優先度その1
ルーターアドレスその2
優先度その2
…  
Router Advertisement Messageおよび次のRouter Solicitation Messageは、RFC 1256で追加された。
デフォルトゲートウェイのアドレスを通知する。ルーターアドレス数で指定した数だけ列挙することができ、優先度（2の補数表現による符号付き32ビット整数）が大きいものほど優先度が高い。1アドレスあたりの長さは32ビット単位で指定し、このバージョンの形式では2（すなわち1エントリあたり64ビット）となる。有効期限は応答時点からの秒単位で指定する。
通知の種類 > Router Solicitation Message（ルーター要請通知）

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| タイプ (10) | タイプ (10) | タイプ (10) | タイプ (10) | タイプ (10) | タイプ (10) | タイプ (10) | タイプ (10) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム |
未使用
通知の種類 > Time Exceeded Message（時間切れ通知）

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| タイプ (11) | タイプ (11) | タイプ (11) | タイプ (11) | タイプ (11) | タイプ (11) | タイプ (11) | タイプ (11) | コード | コード | コード | コード | コード | コード | コード | コード | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム |
| 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 長さ | 長さ | 長さ | 長さ | 長さ | 長さ | 長さ | 長さ | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 |
IPヘッダ + 元データのデータグラムの先頭部分  
コード0は、IPヘッダのTime to live（TTL；存在回数）が0になっても宛先ホストに到達しなかったことを通知する。コード1は、断片の再統合を行う際、制限時間内に断片が揃わなかったことを通知する。
ネットワーク診断用コマンドtracerouteは、TTLを1から順に増やして行き、各中継点からの時間切れ通知から経路を調べる。
通知の種類 > Parameter Problem Message（不正引数通知）

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| タイプ (12) | タイプ (12) | タイプ (12) | タイプ (12) | タイプ (12) | タイプ (12) | タイプ (12) | タイプ (12) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム |
| ポインタ | ポインタ | ポインタ | ポインタ | ポインタ | ポインタ | ポインタ | ポインタ | 長さ | 長さ | 長さ | 長さ | 長さ | 長さ | 長さ | 長さ | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 | 未使用 |
IPヘッダ + 元データのデータグラムの先頭部分  
パラメータに問題があって、元のデータグラムを破棄したことを通知する。ポインタは元データのうち問題となった箇所を、先頭からのオクテット数で指定する。
通知の種類 > Timestamp Message（タイムスタンプ要求通知）・Timestamp Reply Message（タイムスタンプ応答通知）

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| タイプ（13または14） | タイプ（13または14） | タイプ（13または14） | タイプ（13または14） | タイプ（13または14） | タイプ（13または14） | タイプ（13または14） | タイプ（13または14） | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム |
| 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 |
起点タイムスタンプ
受信タイムスタンプ
送信タイムスタンプ
タイムスタンプ要求はタイプ=13で送信される。現在のところ定義されているコードは0だけである。識別子およびシーケンス番号はエコー要求と同じ要領で使う。起点タイムスタンプには要求時のタイムスタンプを、UTC 0:00からの経過ミリ秒で設定する。日付は含まれておらず、毎日0に戻ることに注意。
宛先となったホストはタイムスタンプ要求を受け取ると、タイプ=14で応答する。識別子、シーケンス番号、起点タイムスタンプは、要求にセットされていた値をそのままコピーする。また要求を受信した際のタイムスタンプを受信タイムスタンプに、応答を送信する際のタイムスタンプを送信タイムスタンプにセットする。
要求を送信したホストは、応答を受信した際のタイムスタンプと、格納されている起点タイムスタンプを比較することで、往復に要した時間を知ることができる。
通知の種類 > Information Request Message（情報要求通知）・Information Reply Message（情報応答通知）

| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| タイプ（15または16） | タイプ（15または16） | タイプ（15または16） | タイプ（15または16） | タイプ（15または16） | タイプ（15または16） | タイプ（15または16） | タイプ（15または16） | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | コード (0) | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム | チェックサム |
| 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | 識別子 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 | シーケンス番号 |
タイプ=15の情報要求通知はアドレス0に対して送られる。要求を受信した各ホストおよびゲートウェイは、タイプ=16の情報応答通知を返す。