Sovesh/autoresearch-ja huggingface dataset:
「AMBITIOUS JAPAN!」（アンビシャス ジャパン!）は、東海旅客鉄道（JR東海）が行っていたキャンペーン、およびそのキャンペーンソングとして制作されたTOKIOの楽曲。通算28作目のシングルとして2003年10月1日にユニバーサルミュージックから発売された。

オリコンチャート初登場で、前作『ding-dong/glider』に続く通算3作目、かつ2作連続となる首位を獲得した。

概要 

JR東海とのタイアップにより制作されたシングルである。文学者の中西進の紹介で作詞家のなかにし礼と会った当時JR東海社長の葛西敬之が、その場でなかにしに「新しい鉄道唱歌を作って欲しい」と依頼したことが発端となり、なかにしのプロデュースで制作されることになった。

表題曲はリリースと同時に、JR東海による東海道新幹線品川駅の開業および東海道・山陽新幹線のダイヤ改正を記念したキャンペーンのCMソングに採用された。また、同線を走る700系電車のうち、JR東海が保有する編成の先頭車側面に、シールによる「AMBITIOUS JAPAN!」の文字が掲出された（300系電車は中間車両の円形ステッカーのみ）。松岡昌宏が制作した本曲のミュージック・ビデオにも700系が頻繁に登場する。

キャンペーンは当初2003年末で終了する予定になっていたが、予想以上の反響があったことや、2004年に東海道新幹線が開業40周年を迎えること、また2005年には愛知県で「2005年日本国際博覧会」（愛・地球博）が開催されることなどから延長され、2005年9月25日まで続いた。なお、キャンペーンのキャッチコピーは当初「AMBITIOUS JAPAN! のぞみは、かなう」であったが、後に「AMBITIOUS JAPAN! のぞみはいつも、そこにある」に変更されている。

2003年11月24日からは、JR東海が保有する新幹線車両の車内チャイムとしても使用されるようになり、始発駅発車後と終着駅到着前に歌い出しの部分（約10秒）、途中駅到着前と発車後にサビの部分（約5秒）が流れていた。2018年4月にメンバーの一人である山口達也の不祥事が発覚した際にはチャイムの継続使用の是非がJR東海社内で検討されたが、変更は行わないことになった。

2023年2月16日、JR東海は新たなキャンペーン「会いにいこう」の展開に伴い、本曲の車内チャイムとしての使用を終了することを発表した。同年7月21日からは、同キャンペーンのテーマソングであるUAの「会いにいこう」に変更されている。

シングルについて 
2003年10月1日にユニバーサルミュージックからジャケットが異なる初回限定盤と通常盤の2形態で発売されたのち、2009年6月24日にJ Stormより通常仕様として再発売された。これにより、ユニバーサルミュージックから発売された初回限定盤と通常盤は廃盤となった。

初回限定盤のジャケットはメンバーが走り抜ける横顔を模したものになっているが、当時短髪だった長瀬智也は躍動感を演出するためウィッグを被って撮影した。このジャケットと同じ写真が当時のJR東海の宣伝ポスターや2003年秋期の『東海道・山陽新幹線時刻表』の表紙などに使用された。また、2021年4月28日に発売された氣志團による筒美京平のトリビュート・アルバム『Oneway Generation』のジャケットは、同写真のパロディになっている。

本シングルがオリコン1位を獲得したことで、作曲した筒美京平は歌手・プロデュースを含めてオリコン史上初となる「1960年代から2000年代の5年代に渡ってのシングルチャート1位」を達成した。

ライブパフォーマンス 
音楽特番に出演した際にはよく演奏されており、『NHK紅白歌合戦』では4回（第54回・第64回・第66回・第68回）、『FNS歌謡祭』では3回（2003・2013・2015）、『テレ東音楽祭』では2回（2014・2015）披露されている。

エピソード 
 サビ直前のコーラス「I get a true love」は、音楽番組において披露する際には城島茂が単独で歌唱するが、この部分が「アヤヤトゥーヤー」に聞こえるとして2021年頃からネット掲示板やSNSの間で話題になっており、2022年3月27日放送の日本テレビのバラエティ番組『ザ!鉄腕!DASH!!』で松岡が同フレーズに言及したに際にはTwitterでトレンド入りするなどの盛り上がりも見せた。

収録曲

収録アルバム

カバー 
AMBITIOUS JAPAN!
Pan Pop Paradise（2007年） - アルバム『PARADISE』収録。インストカバー。
SWEET POP（2008年） - アルバム『SWEETS！CHOCOLATE HOUSE』収録。
悠未ひろ・壱城あずさ・宇月颯・鳳真由・彩風咲奈（2013年） - アルバム『Bon Voyage -タカラジェンヌと出かけよう-』収録。

関連項目 
 THE HIT MAKER -筒美京平の世界- - 筒美の作曲家活動40周年を記念したCD-BOX。本曲も収録されている。
 ご当地ソング（日本全般）
 DISCOVER WEST - 本キャンペーンと同時期に西日本旅客鉄道（JR西日本）が始めたキャンペーン。
 いい日旅立ち・西へ

脚注

注釈

出典

外部リンク 
 J Stormによる紹介ページ
 AMBITIOUS JAPAN!

 Johnny's netによる紹介ページ
 AMBITIOUS JAPAN!

TOKIOの楽曲
なかにし礼が制作した楽曲
筒美京平が制作した楽曲
2003年のシングル
ユニバーサルミュージックジャパンのシングル
2003年のオリコンシングルチャート1位獲得作品
第54回NHK紅白歌合戦歌唱楽曲
東海旅客鉄道の広告
東海道新幹線
歌あんひしやすしやはん
JRのキャンペーン
JRのコマーシャルソング
鉄道の音楽
日本を題材とした楽曲
応援歌
んひしやすしやはん
ミュージック・ミーム
「ハロウィーン・イベント2020」（Halloween Event 2020）は、2020年9月18日から11月8日までユニバーサル・スタジオ・ジャパンで開催されていた秋のシーズナル・プログラムの総称である。

概要 
2011年から2019年までは、同時期に『ユニバーサル・サプライズ・ハロウィーン』が開催されていた。2020年は、新型コロナウイルスによる国内感染拡大を防止するため、ニューノーマルの時代に即した、新たなシーズナル・プログラムとして開催された。

また、前年の『ユニバーサル・サプライズ・ハロウィーン』で開催されたエンターテインメント「ゾンビ・デ・ダンス」のアンバサダーを務めた三代目 J SOUL BROTHERS from EXILE TRIBEのNAOTOと山下健二郎が、今年はニューノーマルに対応したイベントの“サポーター”を務めることとなった。本年は、「モンスター・デ・ダンス」で引き続き「Rat-tat-tat」が使用されている。昨年の振付に追加して、手を左右に広げる動作などソーシャルディスタンスが保たれる振付が取り入れられた「ソーシャルディスタンス・ラタタ」が導入された。

プログラム

ミニオン・モンスターズ・グリーティング 

ミニオン・モンスターズ・グリーティング（Minions Monsters Greeting）は、フランケンシュタインやドラキュラなどのモンスターの姿となったミニオンたちがゲストとふれあうグリーティング・ショーである。

キャノピーではランダム4体のミニオンが登場し、冒頭にはダンスタイムが設けられている。ミニオン・パーク前では、登場スケジュールは公開されておらず、グルーを含むランダム2体が登場する。

ワンダーランド・シーズンズ・ジョイ ～ハロウィーンver.～ 

ワンダーランド・シーズンズ・ジョイ ～ハロウィーンver.～（Wonderland Season's Joy: Halloween version）は、「ユニバーサル・ワンダーランド」各所でハロウィーン限定の衣装を着たピーナッツ、ハローキティ、セサミストリートの仲間たちがゲストとふれあうグリーティング・ショーである。

トリック・オア・トリート 

トリック・オア・トリート（Trick or treat）は、ハロウィーンのポシェットを持ったクルーに「トリック・オア・トリート」の合言葉を言うと、小学生以下のゲストにキャンディがプレゼントされるプログラムである。

モンスター・デ・ダンス 

モンスター・デ・ダンス（Monsters de Dance）は、ショー・アトラクション「ユニバーサル・モンスター・ライブ・ロックンロール・ショー」に出演するドラキュラや狼男など、モンスター・エンターテイナーたちがシアターを飛び出してステージに登場し、ショーの締めくくりにゲストと共に「ソーシャルディスタンス・ラタタ」を踊るステージ・ショーである。

披露曲 
 マイリー・サイラス「」
 ゴッドスマック「」
 三代目 J SOUL BROTHERS from EXILE TRIBE「Rat-tat-tat」

ゾンビーツ 

ゾンビーツ（ZOM-BEATS）は、ゾンビたちがハロウィーンの曲をパワフルな歌声とダンスで披露するステージ・ショーである。

披露曲 
 ジャネット・ジャクソン「」
 リアーナ「Disturbia」（3曲のうち1曲がランダムで披露される）
 フィフス・ハーモニー「」（3曲のうち1曲がランダムで披露される）
 ピンク「」（3曲のうち1曲がランダムで披露される）
 フォール・アウト・ボーイ「」
 マイケル・ジャクソン「Thriller」

イベント

マスクコスプレ選手権 
新型コロナウイルス感染症の世界的流行により、日常の習慣となったマスクのデザイン性を競う「マスクコスプレ選手権」が開催された。「マスクアレンジ」、「USJマスク」、「全身コスプレ」の3部門で開催され、パークで販売されているキャラクターマスクを主役にした全身コスプレや、市販のマスクにハロウィーンのデコレーションを施した「オリジナルマスク」をゲストがデザインし、「#マスクコスプレ選手権」と「#マスクアレンジ部門」「#USJマスク部門」「#全身コスプレ部門」のそれぞれのハッシュタグとセットでSNSに投稿すると、入賞者にはプレゼントが用意された。

コスプレ・サタデー 
「マスクコスプレ選手権」をより盛り上げるイベント「コスプレ・サタデー」が今年初の取り組みとして開催された。10月の毎週土曜日にゲストが仮装でパークを盛り上げた。ハロウィーン期間中、仮装テーマとハッシュタグが公式WEBサイト、Twitter、Instagramで発表された。

ハロウィーンver.の施設

フォーティセカンド・ストリート～グリーティング・ギャラリー～ 

「ミニオン」と「スヌーピー」のギャラリーでは、ハロウィーン限定のアートが登場する。撮影された写真は、ハロウィーン限定の特製ホルダーにいれて持ち帰ることができた。

ハリウッド・ドリーム・ザ・ライド 

ライド・アトラクション「ハリウッド・ドリーム・ザ・ライド」と「ハリウッド・ドリーム・ザ・ライド～バックドロップ～」のドリームトラックに、「Rat-tat-tat」が期間限定で搭載された。さらに三代目 J SOUL BROTHERS from EXILE TRIBEのNAOTO、山下健二郎のメッセージを通常ver.とバックドロップver.でそれぞれ収録され、アトラクション体験中に流れた。

グッズ 
今季初めてシリーズ化された「おばけのキャスパー」のグッズや、『チャイルド・プレイ』シリーズのチャッキー、ドラキュラに扮したスヌーピーのなりきりグッズをはじめとするグッズが新たに販売された。

また、より気軽に新たなパーク体験にチャレンジして欲しいという思いから、ユニバーサル年間パス、ユニバーサル年間パス ライトを提示するとハロウィーンフード・グッズが20%割引になる特典が用意された（グッズ: 9月18日 - 、フード: 9月28日 - ）。ユニバーサル年間パス VIPは、9月1日から12月31日までパーク内のすべてのフード・グッズが30%割引になる特典が継続して用意された。

フード 
ハロウィーンのカーニバルをイメージしカラフルに装飾した「ユニバーサル・マーケット」では9月28日より、チュリトスやピッツァ・スティックなどのハロウィーンをテーマにしたメニューが登場した。また、ハロウィーンの仮装をしたミニオンたちをテーマにしたフードも多数登場し、「ハロウィーンミニオン・ポップコーンバケツ アップルパイ・ポップコーン」や「くろねこミニオンまん～ハチャメチャカレー～」「ハロウィーン・ミニオン・シュークリーム～チョコバナナ～」などが販売された。

脚注 

ユニバーサル・スタジオ・ジャパン
ユニバーサル・スタジオ・ジャパンのスペシャルイベント
ユニバーサル・スタジオ・ジャパンのアトラクション
ハロウィン
ソウル鐘路警察署（ソウルチョンノけいさつしょ）は、ソウル地方警察庁所管の警察署である。

管轄区域 
 鐘路区の一部

沿革 
1945年10月21日 - 国立警察設置とともに鐘路警察署として開所
2001年12月27日 - ソウル鐘路警察署に名称変更
2006年3月1日 - ソウル恵化警察署に1治安センターを移管、ソウル西大門警察署から1地区隊、2治安センターを編入

組織 
署長（総警）
聴聞監査官
警務課
警務係
経理係
情報通信係
生活安全課
捜査課
刑事課
交通課
交通管理係
交通捜査係
交通安全係
警備課
情報課
情報1係
情報2係
保安課
保安係
外事係

管轄派出所 
洗剣亭派出所
観水派出所
鐘路2街派出所
平倉派出所
三清派出所
通義派出所
清雲派出所
玉仁派出所
橋南派出所
世宗路派出所
新聞路派出所
社稷派出所
清進派出所

外部リンク 
 ソウル鐘路警察署（韓国語）

ちよんの
鐘路区
原爆死没者名簿（げんばくしぼつしゃめいぼ）は1945年8月に広島県広島市と長崎県長崎市に投下された原子爆弾などによって死亡した人物の氏名を記載した名簿。

概要 
太平洋戦争末期の1945年8月、広島市と長崎市に投下された原子爆弾とそれに伴う被害によって死亡した者の氏名を名簿に記載し、毎年それぞれの原爆投下日に執り行われる平和祈念式典において奉納されるものである。

広島市では1952年に57902人を奉納したのを最初に、広島平和記念公園内の原爆死没者慰霊碑（広島平和都市記念碑）に奉納されている。被爆者健康手帳を所有している場合は、手帳の返還などの手続きを行った場合など死亡が確認された時に記載されることになり、被爆者健康手帳を所有していなくても遺族からの申し出があった場合は記載される事になる。

長崎市では1968年より行われ、平和公園の平和祈念像に奉納されていたが、現在は国立長崎原爆死没者追悼平和祈念館に奉納されている（平和祈念像にはマイクロフィルムが収められている）。名簿には遺族の申し出があった場合に記載することになっている。

名簿登載者数 
広島市は2021年8月6日奉納時、長崎市は2021年長崎原爆犠牲者慰霊平和祈念式典時の人数及び冊数。
広島市
32万8929人 121冊
長崎市
18万9163人 194冊

関連項目 
広島市への原子爆弾投下
長崎市への原子爆弾投下
広島平和記念公園
原爆死没者慰霊碑
平和公園
平和祈念像
国立長崎原爆死没者追悼平和祈念館

参考文献 
 中国新聞社刊「年表 ヒロシマ 核時代50年の記録」

脚注

外部リンク 
原爆死没者名簿について: 広島市
原爆死没者名簿: 長崎市

広島原爆
広島平和記念公園
長崎原爆
長崎市の歴史
広島と長崎への原子爆弾投下
日油技研工業株式会社（にちゆぎけんこうぎょう、）は、日油株式会社の化薬事業部に属する日本の化学メーカー。

概要 
「海洋から宇宙まで」のスローガンのとおり、海洋事業から宇宙事業まで多岐にわたる幅広い事業をカバーしている企業である。その他にも、医療機関での滅菌工程の安全のためのインジケータ、製造業の工程管理に欠かせない温度を確認するための示温材「サーモラベル®」、耐震強度を高める建設資材など、生活のあらゆる点において独自の技術が活かしている。

沿革 

 1938年 - 帝国火工品製造株式会社設立。
 1941年 - 雷管製造開始。
 1943年 - 国光火薬工業株式会社を吸収合併し、植木工場とする。
 1956年 - 閃絡表示器®製造開始。
 1957年 - 宇宙ロケット用固体推進薬事業開始。
 1958年 - 美唄工場建設。
 1962年 - テルミット溶接材「テイカウエルド®」製造開始。
 1962年 - 示温材製造開始。
 1970年 - 帝国火工品製造が日本油脂株式会社（現・日油）に吸収合併される。
 1972年 - 銃用雷管を昭和金属工業に移管。
 1973年 - 植木工場を分離し、九州日油住宅工業株式会社を設立。
 1976年 - 信管、起爆薬を昭和金属工業に移管。
 1977年 - 川越工場の大半を日本住宅公団に売却。
 1979年 - 宇宙ロケット用固体推進薬を日本油脂武豊工場に、原料雷管を同美唄工場（現・北海道日油）にそれぞれ移管。新川越工場完成。
 1980年 - 日油技研工業株式会社設立。
 1986年 - H-Ⅱロケット用火工品（点火装置、隔壁型起爆管、分離ナット等）開発開始。
 1989年 - 土木用岩盤固結剤「注入レジン」販売開始。
 1990年 - 地絡点表示器「G・ファインダー®」販売開始。
 1995年 - 日本証券業協会に株式を店頭公開。
 1996年 - 深海ボーリングマシンBMS1号機納入。
 2001年 - 株式会社カクタスを設立。
 2003年 - 株式会社サーモを買収し、子会社化。
 2004年 - JASDAQに株式上場。
 2010年 - 株式上場を廃止し、株式交換により日油の完全子会社となる。
 2012年 - 株式会社テルモを完全子会社化。株式会社サーモを株式会社カクタスに吸収合併。
 2013年 - 英文社名をNiGK Corporationに変更。

工場 

 川越工場（埼玉県川越市）

主要グループ会社 

 日油株式会社
 日本工機株式会社 - 元三井系。日本製鋼所との合弁。
 昭和金属工業株式会社
 北海道日油株式会社
 日邦工業株式会社
 株式会社ジャペックス
 株式会社カクタス - 日油技研工業株式会社の完全子会社。充電式工具、ケーブルカッター、パンチ・パンチャー、圧着・圧縮工具等、溶接剤、温度管理示温材の販売。
 株式会社テルモ - 日油技研工業株式会社の完全子会社。スクリーン印刷、製版、プレス加工、広告、一般印刷、商品の販売。公式キャラクターに「テルくま」がいる。

脚注

外部リンク 

 日油技研工業株式会社
 株式会社カクタス
 株式会社テルモ

日本の化学工業メーカー
川越市の企業
建設資材に関する企業
ラズヴァン・ルチェスク（Răzvan Lucescu (, 1969年2月17日 - ）は、ルーマニアの元サッカー選手、サッカー指導者。ミルチェア・ルチェスクは実父。

経歴 
現役時代はGKで、FCスポルトゥル・ストゥデンツェスク・ブカレスト、ナシオナル・ブカレスト、ラピド・ブカレストなどでプレー、合計249試合出場を果たしている。現役最後の2002-03シーズンは選手兼副会長としてラピド・ブカレストでリーグ優勝を経験した。

現役引退後は古巣のFCブラショフで監督業を始める。2004年から2007年まではラピド・ブカレスト監督に就任、3位、2位、4位と好成績を残した。ルーマニア・カップでは2005-06、2006-07に連覇を達成し、2005-06シーズンに出場したUEFAカップでは準々決勝進出を果たしている。

2007-08シーズンからFCブラショフ監督に復帰すると、クラブをリーガ1昇格に導いた。その後も好成績を収め、2009年4月29日、ヴィクトル・ピツルカの後任としてルーマニア代表監督に任命された。しかし、セルビア戦では0-5の大敗を喫するなど、2010_FIFAワールドカップ予選の突破に失敗。その後も成績不振が続き、2011年6月4日、ルーマニアサッカー協会と契約を解除、退任した
。

2011-12シーズン、ラピド・ブカレスト監督に復帰。リーグ戦は4位、カップ戦準優勝となり無冠に終わった。2012年5月31日、アル・ジャイシュ・ドーハの監督に2年契約で任命された。2014年3月、FCペトロルル・プロイェシュティ監督に就任するも2014年9月に解任される。2014年、ギリシャのシュコダ・クサンティFCの監督に就任。

2017年8月11日、PAOKテッサロニキの監督に就任。就任1年目の2017-18シーズンにキペロ・エラーダスを制覇。2018-19シーズンにはリーグ戦を無敗で優勝し、カップ戦とのダブルも果たした。これまで中位に甘んじていたPAOKを低迷が続くパナシナイコスFCを蹴落とす形で、ギリシャ・スーパーリーグにおける3強の一角を占める強豪クラブへと導いた。

2019年6月28日、アル・ヒラルの監督に就任。2019年7月にアル・ヒラルの監督に就任すると、AFCチャンピオンズリーグ2019では決勝で浦和レッドダイヤモンズを2戦合計3-0で下して優勝を遂げた。また、サウジ・プロフェッショナルリーグ、サウジ国王杯でもそれぞれタイトルをもたらした。2021年2月16日、双方合意の下で契約を解消した。

2021年5月27日、2年ぶりにPAOKテッサロニキの監督に就任。

タイトル

選手時代
FCラピド・ブカレスト
ディヴィジアB：1回（2002-03）

指導者時代
FCラピド・ブカレスト
クパ・ロムニエイ：2回（2005-06、2006-07）
FCブラショフ
リーガ2：1回（2007-08）
アル・ジャイシュ・ドーハ
カタール・スターズカップ：1回（2012-13）
PAOKテッサロニキ
ギリシャ・スーパーリーグ：1回（2018-19）
キペロ・エラーダス：2回（2017-18、2018-19）
アル・ヒラル
サウジ・プロフェッショナルリーグ：1回（2019-20）
サウジ国王杯：1回（2019-20）
AFCチャンピオンズリーグ：1回（2019）
個人
ルーマニア年間最優秀監督賞：2回（2018、2020）
ギリシャ・スーパーリーグ最優秀監督：1回（2018-19）
サウジ・プロフェッショナルリーグ月間最優秀監督：4回（2019年9月、2020年1月、2020年2月、2020年11月）
IFFHSAFC男子年間最優秀監督：1回（2020）

脚注

外部リンク 

ルーマニアのサッカー選手
FCブラショヴの選手
FCラピド・ブカレストの選手
FCMバカウの選手
ルーマニアのサッカー指導者
ブカレスト出身の人物
1969年生
存命人物
アスキー (ASCII)

 ASCII - American Standard Code for Information Interchangeの略。1963年に制定された、アメリカ合衆国における情報通信用の文字コード。
 アスキー - かつて存在した出版業を主とした日本の企業、および後継の各社が使用する出版ブランド。
 株式会社アスキー（初代） - （消滅企業）メディアリーヴスの2002年までの法人名。
 株式会社アスキー（2代目） - 株式会社アスキー（初代）から営業を引き継ぎ、2008年にメディアワークスへ吸収合併された企業。アスキー (企業)を参照。
 アスキー・メディアワークス - メディアワークスと株式会社アスキー（2代目）の合併後の社名。2013年にKADOKAWAへ吸収合併された。
 月刊アスキー - 1977 - 2010年発行。
 週刊アスキー - 1997年より発行のパソコン雑誌（2015年印刷物としては休刊）と、ウェブサイトと、1997年に数回発行のもの（一般雑誌）がある。2018年4月より角川アスキー総合研究所の発行に変更。
 アスキー新書 - 2007 - 2015年。
 株式会社アスキー  - 福岡県田川郡川崎町に本社を置く、柑橘類果汁・加工品等を製造する企業。マルボシ酢の関連会社。前述のとおり、アスキー (企業)などとは無関係。
 アスキー (小惑星) - "ASCII"及び『月刊アスキー』に因む小惑星。
 アスキーアートの略。
電子制御ブレーキシステム（でんしせいぎょブレーキシステム）は、一般に電子制御制動力配分システム（でんしせいぎょせいどうりょくはいぶんシステム、Electronic Brake force Distribution、略称 EBD）とよばれる部分を指している。

基本的にはアンチロックブレーキシステム（Antilock Brake System、略称 ABS）に付加されるもので、ブレーキを踏むと 前後輪の回転数や旋回状態から、制動力を車輪に対して最適に制御配分する。

概要 
自動車において、ブレーキを踏むと車両重量が前方に移動する荷重移動が発生する。

運転手一人だけが乗っているのか、乗客も貨物も満載しているのか によって、大きく異なる車両積載重量は、重くなるほど制動時 前輪タイヤに加える重量を増大させる。

この重量が加わる分、前輪タイヤは前後方向のグリップ力を より使って速度を落とすことになる。

タイヤのグリップ力は タイヤの構造や接地面積などによってその絶対値は様々であるが、グリップ力を前後方向に使ってしまうと、左右方向 操舵力に振り向けられるグリップ力は相対的に減少することになる。これは積載重量が大きく荷重移動で前輪に加わる重量が増大すると、操舵力が乏しくなるオーバーステアになることを意味する。

また、大きい荷重移動では車体が前後に揺れるピッチングも大きくなり、乗員に不快感を与えることにもなる。

EBD 電子制御制動力配分システムは、これらの問題を軽減するものである。

積載重量が大きい場合には制動時 後輪の制動力を強めて前輪への荷重移動を小さくし、オーバーステアを軽減して操舵力を確保するとともに、ピッチングを緩和、旋回中の制動時では左右輪間の制動力配分も適切に制御して、車両の制動を安定化させる。

原理 
自動車 前後輪の微妙な回転差や旋回状態をセンサーで検出、走行状態に応じた理想的制動力配分からのズレを推定して、ABSのアクチュエータによって、最適な制動力を 前後輪、および左右に制御配分する。特に前後輪の制動力を適切に制御配分することで、積載過多の状態における制動性能を向上させる。旋回中の制動時においては旋回状態によって さらに左右間の制動力バランスをコントロールし、荷重移動を軽減させている。

脚注

関連項目 
 ブレーキ
 アンチロック・ブレーキ・システム - ABS
 トラクションコントロールシステム - TCS
 横滑り防止装置 - ESC
 衝突被害軽減ブレーキ
 坂道発進補助装置

自動車工学
自動車ブレーキ技術
自動車安全技術
本田技研工業の自動車技術
ソアン・パプディ（Soan Papdi）は、インドの菓子。インドでは日常的に食べるほか、祝い事等で提供される。似たような菓子にトルコのピシュマニエがある。

概要 
ソアン・パプディは、溶かした砂糖を伸ばして層を重ねて作る飴菓子である。口当たりはサクサクしており、口の中では崩れて溶ける。

材料は砂糖、小麦粉、豆粉、乳脂肪、アーモンド、ピスタチオ、カルダモン。

作り方 
砂糖を煮溶かした飴を鉄板に流し、柔らかい内にドーナッツ状に引き伸ばして折り畳む事を繰り返し繊維状の層を作っていく。途中に乳脂肪や粉類を混ぜ、全てが固まりきる前にナッツ類を載せる。食べやすいサイズに切り分ければ完成。

飴を引き伸ばす作業は複数人で行われ、飴が固まるにつれかなりの力仕事になる。

関連項目 
 ピシュマニエ - トルコの菓子、ほぼ同じ作り方。
 龍のひげ飴 - 中国の菓子、似たような作り方であるが一人で麺を伸ばすように作る。
 わたあめ

インドの菓子
飴
宇奈岐日女神社（うなぐひめじんじゃ/うなきひめ-/うなぎひめ-）は、大分県由布市にある神社。式内社で、旧社格は県社。

「六所宮」とも呼ばれるほか、「木綿神社（ゆふじんじゃ）」「木綿山神社（ゆふさん-）」の通称もある。

祭神 
祭神は以下の6柱。「六所宮」の別称はこれら6柱を祀ることによる。
 国常立尊 （くにとこたちのみこと）
 国狭槌尊 （くにさつちのみこと）
 彦火火出見尊 （ひこほほでみのみこと）
 彦波瀲武鸕鷀草葺不合尊 （ひこなぎさたけうがやふきあえずのみこと）
 神倭磐余彦尊 （かむやまといわれひこのみこと、初代神武天皇）
 神渟名川耳尊 （かむぬなかわみみのみこと、第2代綏靖天皇）

ウナグヒメについて 

現在の祭神は、上記のように6柱の神々である。一方『延喜式』神名帳に記される社名は「宇奈岐日女神社」であり、かつ六国史における神階奉叙は「宇奈岐比咩神（宇奈支比咩神）」に対して行なわれていることから、当初の祭神は「ウナグヒメ（ウナギヒメ、ウナキヒメ）」であったと考えられている。「ウナグヒメ」の名について、「うなぐ」とは勾玉などの首飾りを意味するとし、こういった呪具を身につけた女首長の巫女が神に転じたと推測されている。一方、「ウナギ（鰻）」に由来するとする説もある（後述）。

このウナグヒメに関して、古くは由布院盆地が湖であったという伝説（蹴裂伝説）がある。この中で、由布岳の神であるウナグヒメは目の前に広がる湖を見て、力持ちの大男に命じて岸辺を蹴破らせた。男が蹴破った結果水が抜けた湖は盆地となり、その跡を現在の大分川が流れるようになったという。大男は「道臣命」と名付けられたといい、現在も末社の蹴裂権現社に祀られている。また、湖の乾き残りが金鱗湖となったという伝えもある。しかしながら盆地の底にあたる地点から土器が発掘されたこと等もあり、考古学的・地質学的には湖伝説の真偽は明らかとされていない。伝承の考証として、ウナグヒメを『豊後国風土記』にも見える「速津媛」（速見郡の由来）とする説や、ヒメヒコ制の指摘がある。

なお、大分県から発見された古文書『ウエツフミ』によると、ウナギヒメは綿花の栽培を司る神様であり、このあたり一帯がユフ(木綿)と呼ばれていたことからも、かつては木綿の栽培地であったことが推測される。鎌倉時代に、この『ウエツフミ』を書き著したのは初代・豊後国主の大友能直公であり、その記述は参考に価する。

歴史

創建 
社伝によれば、創祀は景行天皇12年10月であるという。『神社明細帳』では、景行天皇が征西のおりに当地で祭を営んだといい、同天皇3年に速津姫が勅を奉じて創祀したという伝承を伝える。

当社は由布岳の南西山麓に鎮座している。『太宰管内志』では「木綿山にます神なので木綿ノ神社ともいう」という記述があるほか、『豊後国志』でも宇奈岐日女神は由布山神であると記されており、元々は由布岳を神体山として成立した神社であると見られている。

一方、由布院盆地が古くは湖であったという伝承に基づき、ウナギ（鰻）を精霊として祀ったことに始まって、のちに由布岳の神と習合したという推測もある。

概史 
国史の初見は嘉祥2年（849年）に従五位下の神階に叙せられたという記述であり、元慶7年（883年）には正五位下に昇叙された。これらの奉叙は、「宇奈岐比咩神（宇奈支比咩神）」に対して行なわれている。

平安時代中期の『延喜式』神名帳には豊後国速見郡に「宇奈岐日女神社」と記載され、式内社に列している。

江戸時代までは佛山寺と習合していたが、神仏分離により現在の姿となった。明治6年（1873年）には近代社格制度において郷社に列し、大正12年（1923年）には県社に昇格した。

神階 
 嘉祥2年（849年）6月、従五位下 （『続日本後紀』） - 表記は「宇奈岐比咩神」。
 元慶7年（883年）9月2日、従五位上から正五位下 （『日本三代実録』） - 表記は「宇奈支比咩神」。

境内 
境内は1万坪を超え、杉の古木に囲まれていたが、平成3年（1991年）の台風で数多く倒壊等の被害を受けた。

本殿は朱塗の流造。また、大鳥居が由布院の中心部に立つ（）。

摂末社 
境内社
 政正社
 厳島神
 御年神社

境外末社

 大杵社
 所在地：由布市湯布院町川南（）
 境内には国の天然記念物「大杵社の大スギ」を始めとして、多くのスギの巨木が立っている。
 蹴裂権現社
 所在地：由布市湯布院町中川（）
 蹴裂伝説を行なった権現を祀る。当地が蹴裂を行なった地という。

文化財

国の天然記念物 
 大杵社の大スギ - 境外末社の大杵社境内に立つ。樹齢1,000年以上、樹高38メートル。昭和9年8月9日指定。

現地情報 
所在地
 大分県由布市湯布院町川上2220

交通アクセス
 鉄道：JR九州久大本線 由布院駅 （徒歩約15分）

脚注 
注釈

出典

参考文献 
 境内説明板
 『日本歴史地名体系 大分県の地名』（平凡社）大分郡湯布院町 宇奈岐日女神社項
 秦政博「宇奈岐日女神社」（谷川健一 編『日本の神々 -神社と聖地- 1 九州』（白水社））
 上田篤・田中充子『蹴裂伝説と国づくり』（鹿島出版会、2011年）ISBN 978-4-306-09410-9 「9 ウナキヒメと力持ちが由布岳を蹴った」章

関連項目 

 由布岳
 佛山寺 - 当社の旧別当寺。

大分県の神社
豊後国の式内社
大分県の旧県社
由布市の建築物
由布市の歴史
サーム

人名 
 サーム (シャー・ナーメ) (Sām, Saam) - ペルシアの叙事詩『シャー・ナーメ』の登場人物
 サーム (Sámr) - アイスランドの物語『フラヴンケルのサガ』の登場人物
 （Douglas Wayne Sahm。1941年-1999年) - アメリカのミュージシャン
 （Baha al-Din Sam I。1149年没） - ゴール朝の君主
 （Baha al-Din Sam II。1206年没） - ゴール朝の君主
 （Baha al-Din Sam III。1213年没） - ゴール朝の君主
 （Sam Mirza Safavi。1517年-1566年） - サファヴィー朝のイスマーイール1世の子

その他 
 Psalm（サーム） - 日本のコーラスグループ
 サーム (単位) (Therm) - アメリカ合衆国と欧州連合における英熱量の単位
 タイ語の3（สาม）
  (Sarm East Studios) - ロンドンにある録音スタジオ
  (Sarm West Studios) - ロンドンにある録音スタジオ。旧名称は「アイランド・スタジオ (Island Studios)」
 サーム級フリゲート (Saam class frigate) - イラン海軍のフリゲート艦 ⇒ ヴォスパー・ソーニクロフト・フリゲート#Mk.5フリゲート

関連項目 
 サム（曖昧さ回避）
ドミトロ・リヴォヴィチ・クレバノフ（, , ラテン文字：Dmitri Lvovich Klebanov、1907年7月25日 - 1987年6月6日）はウクライナの作曲家。

経歴
ハリコフ出身。ハリコフ音楽院でピアノ、ヴァイオリン、指揮を学び、作曲をセミヨン・ボガティレフに師事した。1926年に卒業。その後ハリコフ音楽院の講師となり、1930年代後半から1940年代前半にかけて作曲したバレエ、ヴァイオリン協奏曲、管弦楽曲はモスクワとキエフで広く演奏された。しかし不幸なことに1945年に作曲した交響曲第1番「バビ・ヤールの犠牲者の思い出に」がスターリニストたちから反愛国的であるとの批判を受けた。この1940年代後半のジダーノフ批判の嵐の後、クレバノフは「政治的に正しい」社会主義リアリズム作品の作曲に30年を費やした。

こうしてクレバノフは忘れられた存在となったが、1983年にヴァイオリン・ヴィオラ奏者のメラ・テネンバウムが彼のヴィオラ協奏曲を演奏して好評を博したことにより、再び注目された。そして日本の俳句のロシア語訳を基にした「日本のシルエット」を作曲し、復活を果たしたかに思われたが、1987年に80歳の誕生日を目前に死去した。

なお教育活動の面では、1960年にハリコフ音楽院の教授に就任し、教え子にヴィクトル・ススリンらがいる。

作品

オペラ 
 共産主義者（1967）
 赤いコサック（1971）

バレエ 
 スヴェトラーナ（1939）

管弦楽曲 
 ヴァイオリン協奏曲第1番（1939）
 ウクライナ・コンチェルティーノ（1940）
 交響曲第1番「バビ・ヤールの犠牲者の思い出に」（1945）
 ウクライナ組曲（1949）
 ヴァイオリン協奏曲第2番（1951）
 交響曲第2番（1952）
 交響曲第3番（1956）
 交響曲第4番（1958）
 交響曲第5番（1959）
 組曲第1番～室内オーケストラのための（1971）
 4つの前奏曲とフーガ（1975）
 組曲第2番～室内オーケストラのための（1976）
 交響曲第6番（1981）
 日本のシルエット～ソプラノ・ヴィオラダモーレ・アンサンブルのための（1983）

室内楽曲
 弦楽四重奏曲第1番（1925）
 ノクチューンとカンツォネッタ～ヴァイオリンとピアノのための（1926）
 弦楽四重奏曲第2番（1926）
 弦楽四重奏曲第3番（1933）
 弦楽四重奏曲第4番（1946）
 弦楽五重奏曲（1953）
 メロディーとワルツ～ヴァイオリンとピアノのための（1958）
 ピアノトリオ（1958）
 弦楽四重奏曲第5番（1966）
 弦楽四重奏曲第6番（1968）

文献 
 Кауфман Л. С. Клебанов Дмитрий Львович // Музыкальная энциклопедия / Гл. ред. Ю. В. Келдыш. - Т. 2. - М.: Сов энциклопедия, 1974. - С. 829. (рос.)
 Українська Радянська Енциклопедія. — 2-е видання. — Т. 5. — Київ, 1980. — С. 221.
 Музыкальный энциклопедический словарь / Гл. ред. Ю. В. Келдыш. - М.: Сов. энциклопедия, 1991. - С. 254. (рос.)
 Мистецтво України: Біографічний довідник. — Київ, 1997. — С. 297—298.
 Черкашина-Губаренко Марина Романівна Дмитро Клебанов // Українське музикознавство. – Вип. 3. – Київ, 1968. - С. 126-131.
 Золотовицька І. Дмитро Клебанов. — Київ, 1980.
 Очеретовська Н. Л. Дмитро Львович Клебанов. - Харків, 2007. ISBN 978-966-2129-00-7

脚注 

ウクライナの作曲家
ソビエト連邦の作曲家
近現代の作曲家
ユダヤ人の作曲家
ソ連人民芸術家
ソビエト連邦のユダヤ人
ロシア帝国のユダヤ人
ハリコフ県出身の人物
ハルキウ出身の人物
1907年生
1987年没
ハビエル・オルテガ・デシオ（Javier Ortega Desio、1990年6月14日 - ）は、スーパーラグビーハグアレスに所属するラグビーユニオン選手。

プロフィール 
アルゼンチン・パラナ出身。
ポジションはフランカー(FL)。
身長 193cm、体重 110kg
U20アルゼンチン代表に選ばれたことがある。
アルゼンチン代表キャップは57（2020年5月現在）でラグビーワールドカップ2015・ラグビーワールドカップ2019のアルゼンチン代表に選ばれた。
7人制アルゼンチン代表に選ばれたことがある。

略歴 
パンパスXVを経て、2016年、ハグアレスに加入。

出典

関連項目 
ラグビーアルゼンチン代表
7人制ラグビー男子アルゼンチン代表
ハグアレス

外部リンク 
Jaguares Javier Ortega Desio
Ultimate Javier Ortega Desio
Javier Ortega Desio Rugby Union

アルゼンチンのラグビーユニオン選手
ラグビーアルゼンチン代表選手
ラグビーワールドカップ2015出場選手
ラグビーワールドカップ2019出場選手
ハグアレスの選手
エントレ・リオス州出身の人物
1990年生
存命人物
2016年リオデジャネイロオリンピックのモロッコ選手団（2016ねんリオデジャネイロオリンピックのモロッコせんしゅだん）は、2016年8月5日から8月21日にかけてブラジルのリオデジャネイロで開催された2016年リオデジャネイロオリンピックのモロッコ選手団、およびその競技結果。

概要 
今大会は銅メダル1個を獲得した。

ボクシング男子ウェルター級でモハメド・ラビーが銅メダルを獲得した。

メダル

出典 
国際オリンピック委員会 Rio 2016 Summer Olympics - results & video highlights

外部リンク
2016年リオデジャネイロオリンピックのモロッコ選手団 - Sports-Reference.com (Olympics) のアーカイブ (英語)
2016年リオデジャネイロオリンピックのモロッコ選手団 - Olympedia（英語）
2016年リオデジャネイロオリンピック公式資料

S2016
もろつこ
りおてしやねいろおりんひつくのせんしゆたん
惟宗 直宗（これむね の なおむね）は、平安時代前期の貴族・明法家。氏姓は秦公のち惟宗朝臣。官位は従五位下・勘解由次官。

経歴 
貞観19年（877年）4月1日の夜間に日食が発生する予測を陰陽寮が上奏した際、陽成天皇が各博士に廃朝の是非を問うたところ、直宗は明法博士として、『儀制令』『令義解』『公式令』の内容を勘案すると夜間の日食では廃朝を行うべきでないと解釈できる旨を述べた。同年11月に外従五位下に叙せられ、同年12月に弟の直本と共に本貫を讃岐国香川郡から平安京の左京六条に移すことを許される。

大判事に任ぜられた後、元慶6年（882年）内位の従五位下に叙せられ、翌元慶7年12月（884年1月）には直宗を含む秦氏（秦宿禰・秦忌寸・秦公）の男女19人が惟宗朝臣姓に改姓した。元慶8年（884年）勘解由次官。

仁和3年（887年）に発生した阿衡事件に際して、翌仁和4年（887年）になってから、参議・橘広相が誤った詔書を作成したことが何の罪に該当するか、明法博士・凡春宗と共に勘申を命ぜられ、流罪に相当する旨を上申している。

官歴 
『日本三代実録』による。
時期不詳：正六位上
貞観19年（877年） 4月1日：見左少史兼明法博士。11月21日：外従五位下。12月25日：讃岐国香川郡から左京六条に移貫
時期不詳：兼能登権介、大判事
元慶6年（882年） 正月7日：従五位下（内位）、見大判事兼明法博士能登権介
元慶7年（883年） 12月25日：秦公から惟宗朝臣に改姓
元慶8年（884年） 3月9日：勘解由次官、大判事明法博士如故
仁和3年（887年） 2月2日：兼播磨大掾、勘解由次官兼大判事如故

脚注

参考文献 
武田祐吉、佐藤謙三訳『読み下し 日本三代実録 下』戎光祥出版、2009年
宝賀寿男『古代氏族系譜集成』古代氏族研究会、1986年

なおむね
平安時代前期の貴族
従五位下受位者
9世紀生
森 広三郎（廣三郎、もり ひろさぶろう、1871年1月4日（明治3年11月14日）- 1939年（昭和14年）7月13日）は、明治から昭和初期の農業経営者、実業家、政治家。貴族院多額納税者議員。幼名・広輔。

経歴 
越前国今立郡稲寄村（福井県今立郡稲寄村、国高村稲寄、武生市を経て現越前市）で、豪農、先代・森広三郎の長男として生まれた。1901年（明治34年）8月、家督を相続し広三郎を襲名した。父の反対を受けながらも上京して英吉利法律学校（現中央大学）で学んだが、ついに父の意思に従い中退して帰郷した。

今立郡会議員に就任。1903年（明治36年）9月、福井県会議員に選出され、1905年（明治38年）5月まで在任し、同参事会員も務めた。1904年（明治37年）6月、福井県多額納税者として貴族院多額納税者議員に互選され、同年9月29日に就任し、1911年（明治44年）9月28日まで在任。1925年（大正14年）に再度互選され、同年9月29日から1932年（昭和7年）9月28日まで2期在任した。この間、研究会に所属した。その他、村会議員にも在任した。

実業界では、越前電気社長、日野川水力電気社長、福井銀行取締役、第五十七銀行取締役、福井貯蓄銀行取締役、越前製瓦取締役、大同肥料監査役、新発田貯蓄銀行取締役、東洋化学工業取締役などを務めた。その他、三国電灯、武岡鉄道、福武電気鉄道、鯖江撚糸織物、福井絹糸倉庫、福井人絹倉庫、南越染織、旭精工、大同肥料、日満繊維鉱業、満州豆稈パルプなどの企業の創設などに参画し、産業振興に尽力した。

親族 
長男 森広三郎（武生市長）

脚注

参考文献 
 人事興信所編『人事興信録 第4版』人事興信所、1915年。
 人事興信所編『人事興信録 第8版』人事興信所、1928年。
『貴族院要覧（丙）』昭和21年12月増訂、貴族院事務局、1947年。
福井県議会史編さん委員会編『福井県議会史 議員名鑑』福井県議会、1975年。
衆議院・参議院編『議会制度百年史 - 貴族院・参議院議員名鑑』大蔵省印刷局、1990年。
『福井県大百科事典』福井新聞社、1991年。

農業に関する人物
19世紀日本の実業家
20世紀日本の実業家
福井県選出の貴族院多額納税者議員
明治時代の貴族院議員
大正時代の貴族院議員
昭和時代の貴族院議員
福井県議会議員
福井県の郡会議員
福井県の市町村議会議員
福井県出身の人物
越前国の人物
1871年生
1939年没
マリー＝フランソワーズ・ビュケ（Marie-Françoise Bucquet, 1937年10月28日 - 2018年8月15日） は、フランスのピアニスト。

モンティヴィリエの生まれ。

5歳からピアノを始め、16歳でパリ音楽院を卒業した。その後ウィーン音楽院でピアノを学び、ヴィルヘルム・ケンプ、アルフレート・ブレンデル、エドゥアルト・シュトイアーマン、マックス・ドイチュらの薫陶を受けた。
1960年代初頭から演奏活動をはじめ、ピエール・ブーレーズ、ヤニス・クセナキス、ルチアーノ・ベリオ、カールハインツ・シュトックハウゼン、ベッツィ・ジョラスらと親交を結び、彼らの音楽を積極的に紹介した。
1986年からパリ音楽院で教鞭をとる。

脚注

フランスのクラシック音楽のピアニスト
パリ国立高等音楽・舞踊学校の教員
ウィーン国立音楽大学出身の人物
1937年生
2018年没
グッドスタインの定理（グッドスタインのていり、Goodstein's theorem）は、数理論理学における自然数に関する命題であり、「全てのグッドスタイン数列は必ず0で終わる」という主張。ペアノ算術の範囲では証明も否定の証明もできないが、集合論の公理系、特に無限集合の公理を用いると真であることが言える。たとえばゲーデルの不完全性定理から導かれる決定不能な命題などは、いかにも不自然だったり人工的に見えたりする場合があるのに対し、この定理は「自然な」決定不能命題の例として知られる。

グッドスタイン数列の定義 
グッドスタイン数列を定義するに当たり、まず「nを底とした遺伝的記法」を定義する。ある自然数をｎを底とした遺伝的記法で表すためには、まずその数を（ただし、は0とn-1の間の値をとる整数）という形に書き換える。次に、ここに現れる各項を独立したnの積で表す。たとえば は という形になる。そのあと今度は全ての指数kをnを底とした遺伝的記法に書き換える。以下、再帰的に繰り返して、記述中に現れる全ての数字がnか0になるまで続ける。つまり指数でない全ての数字はnとなり、全ての指数（とその指数）はnまたは0になる（である点に注意）。

例えば、35は2を底として普通に書くととなるが、遺伝的記法で書くと

となる。

数字mのグッドスタイン数列をG(m)と書き、次のように定義する。数列の初項はmとする。次項を得るには、mを2を底とした遺伝的記法で書いてから、現れる「2」を全て3に置換し、結果から1を引く。これがG(m)の第2項である。G(m)の第3項を得るには、一つ前の項（の3を底とした遺伝的記法）の「3」を全て4に置換し、結果からまた1を引く。以下、同様に繰り返し、結果が0になった時が数列の終わりである。

グッドスタイン数列の例 
初めのほうのグッドスタイン数列はすぐに終結する。G(3)の様子を見てみよう。

この後の多くのグッドスタイン数列は非常に長い間に渡って増大し続ける。例えば、G(4)は次のように始まる。

G(4)の項はしばらく増大し続けるが、底が3 · 2402653209となったところで最大値3 · 2402653210 − 1に達し、そのまま3 · 2402653209項の間同じ値を取り続けてから、最初で最後の下降を始める。

値が0となるのは底が3 · 2402653211 − 1の時である。しかしながら、G(4)はグッドスタイン数列が「いかに」急速に増大し得るかについて、良い例とは言えない。G(19)ははるかに急速に増大する。立ち上がりを見てみよう。

これだけ急速に増大するにもかかわらず、グッドスタインの定理は、初項mが何であろうとグッドスタイン数列は必ず0で終わると主張する。

証明 
グッドスタインの定理は（ペアノ算術を逸脱する技法を用いて）以下のようにして証明できる。まず、与えられたグッドスタイン数列G(m)について、これと並行する順序数の数列を作る。この並行する数列の各項は、元のグッドスタイン数列に含まれる各項よりも小さくはないこととする。もしこの並行数列の項が0に収束するならば、グッドスタイン数列も同じく0に収束しなければならない。

並行数列を作るには、グッドスタイン数列の第(n − 1)番目の項のnを底とした遺伝的記法をもとに、そこに現れる全てのnを最初の超限順序数であるωで置換する。順序数は加算、乗算、冪乗についてWell-definedであり、かつ、結果として得られる順序数は元の項より小さくないことが明らかである。

グッドスタイン数列における「底の変更」操作は、並行数列の項には影響しない。つまり、に現れる全ての「4」をωで置換する代わりに、全ての「4」を「5」で置換した後に改めてωで置換しても結果は同じである。ところが「1を引く」操作のほうは、並行数列の超限順序数を減算することに対応する。今の例では、この操作を施すとはに減算される。順序数は整列順序 (well-order) なので、無限に減り続けるような順序数の数列は存在しない。従って並行数列は有限個の項の後で必ず0で終わらなければならない。グッドスタイン数列も、並行数列によって頭を押えられているので、同じく0で終わることになる。

グッドスタインの定理に関するこの証明はかなり易しいが、一方この定理がペアノ算術には含まれないと述べる「Kirby-Parisの定理」はテクニカルではるかに難しい。その中ではペアノ算術の可算で非標準的なモデルが利用される。そこでKirbyはグッドスタインの定理からゲンツェンの定理(en)が導かれることを示した。つまり、グッドスタインの定理はε0までの帰納法の代わりとなるのである。

計算可能関数への応用 
グッドスタインの定理を応用すると、全域関数であって、かつ全域関数であることがペアノ算術では証明できないような計算可能関数を構成できる。個々の数のグッドスタイン数列はチューリングマシンによって算出できる。したがって、n を「n のグッドスタイン数列が停止するまでに要する項の数」に対応づけるような関数も、何らかのチューリングマシンによって計算できる。この計算機は単に n のグッドスタイン数列を算出し、もし数列が 0 に収束したならば、その数列の長さを返すだけである。全てのグッドスタイン数列は最終的には収束するので、この関数は全域関数である。ところがペアノ算術からは全てのグッドスタイン数列が収束することは証明できないので、ペアノ算術はこのチューリングマシンが計算しているのが全域関数であることを証明できない。

参考文献
Goodstein, R., On the restricted ordinal theorem, Journal of Symbolic Logic, 9 (1944), 33-41.
Kirby, L. and Paris, J., Accessible independence results for Peano arithmetic, Bull. London. Math. Soc., 14 (1982), 285-93.

脚注

関連項目
パリス＝ハーリントンの定理

外部リンク 
 
 グッドスタインの定理がペアノ算術からは導けないことの証明について
 
 プログラミング言語RubyとHaskellによるグッドスタイン数列の定義と、大規模な計算例

集合論
数学基礎論の定理
数理論理学
数学に関する記事
巨大数
数学のエポニム