stanford-oval/wikipedia huggingface dataset:
フォウ・ムラサメ
劇中での軌跡 > 機動戦士Ζガンダム

サイコガンダムと共に実戦参加した際、ティターンズに功績を上げれば記憶を返すと言い包められ、ホンコン・シティにおいてカミーユ・ビダンの乗るガンダムMk-IIと戦う。しかしカミーユと何度か会う中で心を通わせ、心の底から素直になれたカミーユのひたむきな言葉はフォウに届き、カミーユが宇宙に戻らなければならないことを知ると、ガルダ級大型輸送機スードリに搭載されていたシャトル用ブースターを独断で射出、ガンダムMk-IIを宇宙へと送る。そしてスードリの爆発に巻き込まれ死亡したと思われた（なお劇場版では、ブースター射出を止めようとしたベン・ウッダーの銃撃で死亡したため、後述のキリマンジャロでカミーユと再会するシーンは描かれなかった）。
その後、エゥーゴとカラバによるキリマンジャロ基地の攻撃作戦の際、地上に降りてきたカミーユの前に、サイコガンダムの2号機と共に現れる。以前より強化が進んでおり、カミーユの説得に応じつつも戦火を目の当たりにして豹変。サイコガンダムに乗り戦闘を始めるが、カミーユの必死の説得によって心を取り戻す。しかし、Ζガンダムを狙ってジェリド・メサの乗るバイアランが攻撃してきた際、身を挺してカミーユをかばって盾となり息を引き取る。敵に利用され続けながら健気に生き、想いを寄せたフォウの死は、カミーユの心に大きな傷跡を残すこととなり、この一部始終を見ていたアムロ・レイとシャア・アズナブルには、ララァ・スンの死という7年前の苦い記憶を想起させた。
最終回では、パプテマス・シロッコとの最終対決においてカミーユの呼びかけに応じ、彼と同化した死者の思念として登場した。
劇中での軌跡 > 機動戦士ガンダムΖΖ

『機動戦士ガンダムΖΖ』では、最終回で主人公・ジュドー・アーシタとハマーン・カーンによる一騎討ちの際、ジュドーは途中でΖΖガンダムの合体を解除したため、ピンチに陥ったがジュドーを守ろうとするカミーユ（の思念）などと共に再登場し、ΖΖを再合体させてジュドーを助けている。
フォウ・ストーリー

『アニメージュ』（徳間書店）1986年2月号の付録として『機動戦士Ζガンダム』以前のフォウを描いた小説作品があり、脚本家の1人、遠藤明範によるオリジナルとして発表された外伝作品である。
本作では、『Ζガンダム』本編では語られなかった、彼女が求め焦がれてやまなかった「失われた記憶」がどのようなものであったが描かれており、本作ではフォウと名付けられる前はキョウという名前となっている。また、『機動戦士ガンダム』のミハル・ラトキエの弟ジルが登場している。
なお、本作は雑誌の付録だったために入手困難な作品であったが、2001年に加筆や再構成を経て文庫化され、角川スニーカー文庫『フォウ・ストーリー そして、戦士に…』（ISBN 4-04-411906-6）として発刊された。後に遠藤が『機動戦士ガンダムΖΖ』の小説化を担当することになった際、実績のない新人である彼の力量を危惧した編集者も、この小説によって不安を払拭したという。
麗しのフォウ・ムラサメ

『月刊ニュータイプ』1986年12月号に、この表題で北爪宏幸によるフォウのヌードイラストピンナップが掲載された。
これは当時流行しつつあった、同人による性的描写を伴う二次創作へのアンチテーゼとして、正式なイラストレーターによるヌードポスターを発表するという意図のもと企画されたものである、という趣旨のコメントが発表時に公開されている。かつて『月刊OUT』に掲載された「悩ましのアルテイシア」へのオマージュとも言えるこのイラストは、後年、『北爪宏幸画集 Characters of GUNDAM』に収録されている。
北爪は後年、『ガンダムエース』誌上で「若気の至りだった」という旨の発言をしている。なお、劇場版『Ζ』公開に併せて刊行された『Ζガンダムエース』の付録用イラストでもフォウの裸身を描いており、『Ζ』放映当時から約20年の間で生じた画風の変化が見てとれる。
劇場版『Ζ』における声優交代

「新訳」として新たにまとめられた劇場版『機動戦士Ζガンダム A New Translation』では、20名以上に上る大幅なキャストの変更が行われた。その中でもフォウ・ムラサメに関しては、テレビ版声優である島津冴子が「富野由悠季総監督はフォウ役を変更する考えはなかったが、オーディションの連絡が音響監督の不手際でオリジナルキャストの島津には行っていなかった」という趣旨の手記を公開した。だが、後に富野がこの手記を否定するような発言を行ったり、島津もまた手記の公開後にこれに関する追加のコメントは行っていないなど、正確な真相は明らかになっていない。
→詳細は「島津冴子 § 『Ζガンダム』での声優変更」を参照
逸話

作画監督を務めた北爪は、切れ長の目に険のある少女として安彦良和がデザインしたフォウの日常における顔を、つぶらな瞳の邪気のない美少女のように描いている。ここからは彼が、湖川友謙率いるアニメーター集団「ビーボォー」の中でも美少女系アニメに嗜好が傾いていた事実が窺えるが、主人公カミーユの設定資料にも「他愛のないお遊びはご自由に」と書き添えた安彦は、特に不快を表すこともなくこれを黙認した。
また、安彦による設定書では、フォウの後ろ髪は上向きに跳ね上がっているが、北爪は後ろ髪をストレートに垂らして描いている。劇場版II『恋人たち』の新作画カットでは表情も含めて比較的設定書に忠実に描かれているため、テレビ版からのカットとビジュアルの不統一が生じている。
総監督の富野曰く、テレビシリーズの当初の構想ではフォウは第20話「灼熱の脱出」で死なせる予定であったとの事である。しかし、そこでフォウを死なせてしまったらストーリーが1年続かない事に気付いたため、うやむやな形で生死不明という事で一時離脱させ、第35話「キリマンジャロの嵐」で再登場させたという。従って、劇場版では当初の構想を忠実に反映させた話の流れとなっている。
主な搭乗機

MRX-009 サイコガンダム
評価

『愛と戦いのロボット 完全保存版』で発表されたアンケート「みんなで選ぶロボットアニメーションベスト100」では、「一番お気に入りのヒロインは？」で第16位にランクインした。
ヘレナ・ボナム＝カーター

ヘレナ・ボナム＝カーター（Helena Bonham Carter, CBE、1966年5月26日 - ）は、イギリスの女優。
来歴 > 生い立ち

ロンドン郊外のゴールダース・グリーン出身。兄が2人いる。父親のレイモンド・ボナム＝カーターは銀行頭取、母親のエレーナ（旧姓カジェホン）は心理療法士。母親のエレーナの父親は、スペイン外交官のEduardo Propper de Callejónで、母親はFould家の一員の女男爵Hélène Fould-Springerである。大叔父は映画監督のアンソニー・アスキス、曾祖父は第一次世界大戦開戦時のイギリス首相のオックスフォード＝アスキス伯爵のハーバート・ヘンリー・アスキス。母方からスペイン人とユダヤ人の血を引いている。ウェストミンスター・スクールで学んだ後、ケンブリッジ大学に合格していたが、女優としてのキャリアを考え入学を辞退した。
来歴 > キャリア

1983年にテレビ映画でデビュー。1985年公開の『レディ・ジェーン/愛と運命のふたり』、翌年公開の『眺めのいい部屋』で国際的に注目を集める。
コスチューム・プレイ作品の出演が多いことから「コルセット・クィーン」や「イングリッシュ・ローズ」という愛称を付けられたが、本人は、そのような堅苦しいエドワード7世時代のイメージで語られることを嫌っているという。
1997年公開『鳩の翼』でロサンゼルス映画批評家協会賞主演女優賞を受賞、アカデミー主演女優賞にもノミネートされた。
2005年に第18回東京国際映画祭コンペティション部門に出品された『女たちとの会話』（劇場公開題『カンバセーションズ』）にて最優秀主演女優賞を受賞した。
2007年公開の『ハリー・ポッターと不死鳥の騎士団』から、当初予定されていたヘレン・マックロリー(妊娠したため辞退)に代わってベラトリックス・レストレンジ役を演じた。
また、同年公開の『スウィーニー・トッド フリート街の悪魔の理髪師』などでゴールデングローブ賞 主演女優賞（ミュージカル・コメディ部門） にノミネートされた。
2010年公開の『英国王のスピーチ』ではジョージ6世の王妃エリザベス・ボーズ＝ライアンを演じ､英国アカデミー賞助演女優賞を受賞し､さらにアカデミー助演女優賞にもノミネートされた。
2012年、イギリス王室より大英帝国勲章の第3位にあたるCBEを受章した。
来歴 > 私生活

過去に映画『フランケンシュタイン』で共演した映画監督ケネス・ブラナーと交際していた時期があった。
映画監督ティム・バートンと、結婚はしなかったもののロンドンで暮らし､2003年10月4日に長男ビリー・レイ・バートンを､2007年12月15日長女ネル・バートンを出産。バートンと交際し始めてから､コスチューム・プレイ（衣装劇・時代劇）への出演が激減し､バートン作品の常連となる。バートン作品では特殊メイクが多いため、「ティムはまたあなたに特殊メイクをさせるの？」と実母が憤慨したが、本人はバートンの才能を尊敬しており意に介していない。二人は2014年に破局を発表した。
フランス語が得意で、全編フランス語の映画（『恋人たちのポートレート』）に出演したこともある。
フィルモグラフィ > テレビシリーズ

| 公開年 | 題名 | 役名 | 備考 |
| --- | --- | --- | --- |
| 1987 | 特捜刑事マイアミ・バイス Miami Vice | テレサ・リオン | 2エピソード |
| 1987 | Screen Two | Jo Marriner | 1エピソード |
| 1991 | Jackanory  | Reader | 5エピソード |
| 2019-2020 | ザ・クラウン The Crown | プリンセス・マーガレット | 18エピソード |
日本語吹き替え

主に担当しているのは、以下の人物である。
このほかにも、勝生真沙子、佐々木優子、深見梨加、山像かおり、兒玉彩伽なども複数回、声を当てている。
紅色娘子軍

| 紅色娘子軍 |
| --- | --- |
 
各種表記
繁体字：:  紅色娘子軍
簡体字：:  红色娘子军
拼音：:  Hóngsè Niángzǐjūn
発音：:  ホンスー ニャンズージュン
英文：:  Red Detachment of Women
テンプレートを表示
紅色娘子軍（こうしょくじょうしぐん）は中華人民共和国の革命バレエ。文化大革命期間中、上演が許された8作の『様板戯』（模範劇）、『紅色経典』（共産主義模範作品）の一つ。
概要

1931年（民国20年）に海南島で結成された中国共産党傘下の海南島ゲリラ部隊、中国工農紅軍第2独立師団第3団女子特務連隊の実話を基にしたもので、海南島で中国国民党につながる反動地主の横暴に対して立ち上がった女性農民が紅色娘子軍を組織して、反動地主を打倒する姿を描いた。
1961年、謝晋監督（上海天馬電影）による劇映画が上映、1964年に舞台バレエが北京・天橋劇場で初演、さらに1971年にバレエ映画、1972年に京劇版映画が上映された。
文化大革命期を代表する芸術作品だが、バレエ版は白毛女と共にバレエ民族化の代表作とされ、21世紀の今日まで上演され続けている。1972年バレエ『白毛女』と共に訪日公演がおこなわれた。
あらすじ

1930年代。海南島の万泉河一体の椰林寨 （現在の瓊海市）で、国民党につながる反動地主・南覇天から暴行を受けた下女、呉瓊花はジャングルに逃れ、そこで共産党員、洪常青と出会い、その指導で紅色娘子軍というゲリラ部隊に参加する。一度は拙速な作戦で南に逃げられ、損失をこうむるが、私怨による報復でなく農民を反動地主から解放するという大義に目覚めたことから、ついに南を捕らえ、処刑することができた。そして娘子軍は共産党の主力部隊と合流し、南ら地主勢力を一網打尽にすることに成功。呉は娘子軍連隊長となった。
徳川千枝子

徳川 千枝子（とくがわ ちえこ、1896年（明治29年）7月30日 - 1973年（昭和48年）7月1日）は、明治時代から昭和時代の女性。清水徳川家第8代当主・徳川好敏の夫人。父は松平忠威。
生涯

島原藩主・松平忠和の長男・松平忠威の長女として生まれる。母は土浦藩主・土屋挙直の娘である峰子。清水徳川家第8代当主・徳川好敏に嫁ぎ、好敏との間に2男5女を儲ける。1922年（大正11年）に長男の徳川豪英を出産。
1973年（昭和48年）、死去。
水谷眞

水谷 眞（みずたに まこと、1945年9月1日 - ）は、東京都出身の元ラグビー選手。
来歴

現役時代のポジションは主にウイング(WTB)及びセンター(CTB)。
目黒高校を経て、法政大学へ進む。同大学在籍時代には、第1回/第4回大学選手権で優勝を経験。日本代表に選出され、キャップ4を獲得。
卒業後はリコーに入社。同チーム在籍時代には、『和製オールブラックス』という愛称を持つ強豪チームの一員として、日本選手権で2回、全国社会人大会で3回の優勝を経験した。
引退後はリコー監督、関東ラグビーフットボール協会理事長、日本ラグビーフットボール協会理事等を歴任。また、ラグビー中継の解説者としても多数出演歴がある。
土手町 (弘前市)

| 土手町 |
| --- | --- |
 町名
 土手町の様子
 土手町土手町の位置
 北緯40度35分52.64秒 東経140度28分32.82秒﻿ / ﻿北緯40.5979556度 東経140.4757833度﻿ / 40.5979556; 140.4757833
国:   日本
都道府県:   青森県
市町村:   弘前市
人口（2017年（平成29年）6月1日現在）
 • 合計:  514人
等時帯:  UTC+9 (日本標準時)
郵便番号:  036-8182
市外局番:  0172
ナンバープレート:  弘前
土手町（どてまち）は、江戸期から現在にかけての青森県弘前市の地名。郵便番号は036-8182。2017年6月1日現在の人口は514人、世帯数は274世帯。
地理

弘前市の中心市街地に属する。青森県道260号石川百田線・青森県道3号弘前岳鰺ケ沢線沿い、南東から北西に斜めに伸び、南端は土手町と松森町と大町の交差点から始まり一番町に至る筋道の町。
土手町内を上土手町・中土手町・下土手町と三分しても呼ばれ、松森町寄りが上土手町、土淵川をまたぐ蓬莱橋から先が下土手町、その中間が中土手町と呼ばれる。中土手町と言われるのは青森県道127号石川土手町線の終点、そして代官町方面から来る青森県道3号の交差点から先で、下土手町のスクランブル交差点を直進した一番町の交差点まで一方通行になる。それゆえ、弘南バスの一部の路線は往路・復路が一部異なる路線もある。また、多くの路線バスは当地を経由して運行される。元々職人が多くいた職人町で、現在は多くの商業施設が並ぶ東北地方有数の繁華街を形成している。
歴史

古くは寛永末年頃に町屋として町割され（津軽弘前城之絵図）、173軒の町屋があったとされる。1649年（慶安2年）の弘前古御絵図によれば、町名は記されてはいないが64軒の町屋が並び、職種は大工・鍛冶屋・桶屋・銀屋・室屋・居鯖など。商家では大坂屋・輪嶋屋・江戸屋など屋号のあるものが多く、ほかに煙草屋・酒屋など商工入交じりの町を形成したとされる。
歴史 > 沿革

江戸期 - 弘前城下の一町。
明治初年〜明治22年 - 弘前を冠称。
1889年（明治22年） - 弘前市に所属。
交通

弘南バス
上土手町、市立病院前、土手町十文字、青銀土手町支店前、中土手町、蓬菜橋、下土手町(1)（土手町循環100円バス）停留所。
上代官町、土手町十文字、上土手町(1)(2)（弘前 - 大鰐・碇ヶ関線、他）停留所。
このほか、町域外ではあるが、弘南鉄道中央弘前駅も徒歩圏内にある。
施設 > 医療

スーパードラッグアサヒ調剤薬局
弘前市薬剤師薬局土手町
審美会梅原歯科医院
施設 > 福祉

聖誠会デイサービスセンター土手町
施設 > 商業

金正堂本店
かさい家具
ピザハット弘前店
弘前ドライ土手町営業所
ルネスアリー
平山萬年堂
利研刃物店
アサヒ会館
など
施設 > 宿泊

弘前パークホテル
弘前東栄ホテル
スーパーホテル弘前
施設 > 金融

東奥信用金庫本店
青森みちのく銀行下土手町支店・大学病院前支店
施設 > 公共

弘前市まちなか情報センター
小・中学校の学区

市立小・中学校に通う場合、学区は以下の通りとなる。
| 大字 | 番地 | 小学校 | 中学校 |
| --- | --- | --- | --- |
| 土手町 | 全域 | 弘前市立大成小学校 | 弘前市立第三中学校 |
催事

1月上旬 - 弘前消防団出初式。
4月下旬・5月上旬、弘前さくらまつりの2日間 - じょっぱれ弘前春ねぷた。
6月下旬 - よさこい津軽。
8月上旬 - 弘前ねぷたまつり土手町コース。
9月上旬 - カルチュアロード。
上記の期間は、弘南バスの路線の一部は、枡形・南瓦ヶ町・徒町経由で運行される。
滝川哲也

滝川 哲也（たきがわ てつや、1956年 - ）は、東京都出身の元陸上選手。専門は長距離で、早稲田大学時代に箱根駅伝を走り4年連続10区。時事通信社編集局解説委員、元運動部長。日本ワールドゲームズ協会（JWGA）理事、日本スポーツ協会ブランド戦略委員会委員、同協会広報部会長、同協会情報誌「Sport Japan」編集部会長、笹川スポーツ財団評議員などを兼務。
略歴・人物

保善高校時代に全国高校駅伝1区を走り、全国高校総体（久留米総体）にも出場。日本大学に進学し陸上から一度引退。2年後に早稲田大学に入学し競走部に入部。監督は中村清で1学年上に瀬古利彦が在籍。1年時に箱根駅伝10区に起用され総合6位、区間9位。2年時は総合4位、10区で区間2位。3年時は総合3位、10区で区間5位。4年時も10区で総合5位、区間3位。4年連続アンカーは箱根駅伝史上滝川一人しかいない。4年時は駅伝主将。日本学生選手権（日本インカレ）は3年時に30キロに出場し4位入賞。1981年2月の東京国際マラソンを最後に引退した。
早稲田大学卒業後は時事通信社に入社。運動部に配属され、プロ野球を担当。その後は陸上をメインに担当し、世界選手権を3度取材。五輪は長野冬季大会バルセロ、アトランタ両大夏季会を現場取材した。運動部デスク、川越支局長、運動部長、編集委員などを歴任し、2018年10月から解説委員。
主な戦績

1978年　箱根駅伝　10区（21.3ｋｍ）区間9位　1時間11分24秒
1979年　箱根駅伝　10区（21.3ｋｍ）区間2位　1時間08分12秒
1980年　箱根駅伝　10区（21.3ｋｍ）区間5位　1時間08分51秒
1981年　箱根駅伝　10区（21.3ｋｍ）区間3位　1時間06分30秒
1979年　日本学生選手権30キロ　4位
逆数学

逆数学（ぎゃくすうがく）とは、数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラムである。簡単に言えば、通常の数学が公理から定理を導くのとは逆に、「定理から公理を証明する」手法を用いることが特徴である。「選択公理とツォルンの補題はZF上で同値である」、というような集合論の古典的定理は、逆数学プログラムの予兆となるものだった。しかし、実際の逆数学では主に、集合論の公理ではなく、通常の数学の定理を研究するのを目的とする。
逆数学は大抵の場合、2階算術について実行され、定理が構成的解析と証明論に動機付けられた2階算術の部分体系のうち、どれに対応するのかを研究する。
2階算術を使うことで、再帰理論からの多くの技術も利用できる。実際、逆数学の結果の多くは、計算可能性解析学の結果を反映している。
逆数学は、Harvey Friedman (1975, 1976)によってはじめて言及された。基本文献は(Simpson 2009)を参照。
一般的な原理

逆数学は、フレームとなる言語と基本的な公理からはじめる。例えば、“すべての実数の有界な列は上限をもつ”という定理の研究には、実数と実数の列を定義する公理が必要となる。
基本体系において証明できない定理からはじめて、定理を証明するのに必要な(基本体系よりも強い)公理を決定することを目標とする。定理 T\,とそれを証明可能な場合の体系 S\,との関係を示す2つの証明がある。1つ目は、 S\,から T\,が証明可能であることの証明である。このとき普通の数学の定理は体系 S\,で成り立つ。2つ目は*逆方向*、
すなわち T\,が S\,と同値であることであることの基本体系における証明である。
逆方向の証明ができれば、 S\,より弱い体系 S^{\prime }\,であって T\,を証明できるようなものは存在しないことが分かる。
一般的な原理 > 2階算術の使用

逆数学は2階算術の部分体系において研究されることが多い。その場合、数学的対象を自然数と自然数の集合によって形式化しなければならない。例えば、自然数のペアを1つの自然数として表現することができ、自然数のペアによって有理数を表現する。有理数の集合（これは結局、自然数の集合として表現される）によって有理数の列を表現し、有理数の列のうちコーシー列であるようなものによって実数を表現することができる。逆数学の研究においては、弱い部分体系であって数学的対象を形式化できる程度には強い体系を基本体系として用いる。
逆数学が集合論ではなく2階算術を用いるのは、弱い部分体系であって数学的対象を形式化できる程度には強い体系を2階算術では自然に定義することができるからである。
2階算術を使う場合、数学の定理を制限しなければならない。例えば、2階算術では一般のベクトル空間は表現できない。そのため"すべてのベクトル空間は基底をもつ"という一般的な原理は表現できないが、"すべての可算なベクトル空間は基底をもつ"という原理は表現することができる。同様に、代数の定理の対象は可算な群や環や体についてのものになる。また、距離空間を対象とする解析や位相の定理は、実数を有理数のコーシー列によって表現したのと同様の手法により、可分な距離空間について考察することができる。
なお、定理を可算なものに制限した場合、本来の定理とその強さが全く異なる場合がある。例えば、"すべての体は代数的閉体をもつ"はZF集合論では証明できないが、"すべての可算な体は代数的閉体をもつ"と制限すれば、非常に弱い形式体系である {\mbox{RCA}}_{0}\,でも証明することができる。
2階算術の5つの基本的部分体系(Big Five)

2階算術の部分体系  {\mbox{RCA}}_{0}\,、 {\mbox{WKL}}_{0}\,、 {\mbox{ACA}}_{0}\,、 {\mbox{ATR}}_{0}\,、 \Pi _{1}^{1}{\mbox{-CA}}_{0}\,は, Big Fiveと呼ばれ、
逆数学において頻繁に扱われるものである。
次は"big five"の特徴である。Simpson (2009, p.42)参照。
| 部分体系 | 名称の由来 | 証明論的順序数 | 対応する哲学的原理 | 備考 |
| --- | --- | --- | --- | --- |
|  {\mbox{RCA}}_{0}\, | Recursive comprehension axiom(再帰的内包公理) |  \omega ^{\omega }\, | 構成的数学 (Bishop) | 逆数学の基本体系 |
|  {\mbox{WKL}}_{0}\, | Weak König's lemma(弱ケーニッヒの補題) |  \omega ^{\omega }\, | 有限還元 (Hilbert) | PRA上で \Pi _{2}^{0}\,文を、 {\mbox{RCA}}_{0}\,上で \Pi _{1}^{1}\,文を保存する。 |
|  {\mbox{ACA}}_{0}\, | Arithmetical comprehension axiom(算術的内包公理) |  \epsilon _{0}\,(イプシロン数) | 可述主義 (Weyl, Feferman) | ペアノ算術上で算術的文を保存する。 |
|  {\mbox{ATR}}_{0}\, | Arithmetical transfinite recursion(算術的超限再帰) |  \Gamma _{0}\, | 可述的還元主義 (Friedman, Simpson) | フィッファーマン体系IR上で \Pi _{1}^{1}\,文を保存する。 |
|  \Pi _{1}^{1}{\mbox{-CA}}_{0}\, |  \Pi _{1}^{1}\, comprehension axiom ( \Pi _{1}^{1}\,内包公理) |   \Psi _{0}\,( \Omega _{\omega }\,) | 非可述主義 |  |
なお, Big Fiveの名前についている  {}_{0}\,は帰納法の図式が制限されていることを意味する。例えば、 {\mbox{ACA}}_{0}\,は算術的論理式についての帰納法しか持たない。帰納法を制限した体系は、一般の2階算術の論理式についての帰納法をもつ体系に比べ、大幅に小さい証明論的順序数を持つ。
2階算術の5つの基本的部分体系(Big Five) > 再帰的内包公理 RCA0

{\mbox{RCA}}_{0}\,は、「ロビンソン算術の公理」＋「 \Sigma _{1}^{0}\,論理式に対する帰納法の公理」＋「 \Delta _{1}^{0}\,論理式に対する内包公理」からなる部分体系である。
{\mbox{RCA}}_{0}\,は逆数学で最も多用される体系である。 {\mbox{RCA}}_{0}\,は"再帰的内包公理"と呼ばれ、"再帰的"とは"計算可能"を意味している。この名称は {\mbox{RCA}}_{0}\,が"計算可能性数学"に類似しているからである。 {\mbox{RCA}}_{0}\,で存在が証明可能な自然数の集合は計算可能である、よって計算不可能な集合の存在は {\mbox{RCA}}_{0}\,で証明できない。
{\mbox{RCA}}_{0}\,はBig Fiveで最弱だが、古典的数学の対象を形式化できる。また、以下の定理が証明可能である。
自然数全体、整数全体、有理数全体の成す集合の基本性質(例えば、有理数全体が順序体を成すこと)。
実数全体の成す集合の基本性質(実数全体がアルキメデス順序体であること、長さが0に近付く任意の包含閉区間列の交叉が1点のみからなること、実数は非可算であること)。
完備可分距離空間におけるベールの範疇定理。
実連続関数における中間値の定理。
可分バナッハ空間における連続線形演算子の列に関するバナッハ–シュタインハウスの定理。
弱いゲーデルの完全性定理。
可算な体での代数的閉体の存在(一意性は除く)。
可算な順序体の実閉体の存在と一意性。
{\mbox{RCA}}_{0}\,の1階部分は、 {\mbox{I}}\Sigma _{1}\,（ペアノ算術の帰納法を \Sigma _{1}\,論理式に制限した体系）と一致する。
2階算術の5つの基本的部分体系(Big Five) > 弱ケーニッヒの補題 WKL0

{\mbox{WKL}}_{0}\,は、 {\mbox{RCA}}_{0}\,に弱ケーニッヒの補題（すべての無限二分木は無限路をもつ）を付け加えた体系である。
弱ケーニッヒの補題は選択公理に近く、実際 {\text{RCA}}_{0}\,において、 \Pi _{1}^{1}\,選択公理と {\text{WKL}}_{0}\,が同値であることを示せる。また、 \Sigma _{1}^{0}\,分離原理とも同値になる。
{\mbox{WKL}}_{0}\,は、 {\mbox{RCA}}_{0}\,よりも証明能力が高く、 {\mbox{WKL}}_{0}\,では非計算可能集合の存在を示せる。
{\mbox{RCA}}_{0}\,と {\mbox{WKL}}_{0}\,の1階部分は同じ、つまり算術的な定理については証明能力は同じである。しかし、 {\mbox{WKL}}_{0}\,で証明可能で、 {\mbox{RCA}}_{0}\,では証明不可能な古典的数学の定理もある。これらの結果は2階部分の証明能力の違いを示している。
{\mbox{RCA}}_{0}\,上で、 {\mbox{WKL}}_{0}\,と以下の定理が同値であることが示せる。
実数からなる単位閉区間に対する（開区間による任意の被覆が有限部分被覆を持つという意味での）ハイネ＝ボレルの定理。
完備全有界可分距離空間に対する（開球体列による被覆についての）ハイネ＝ボレルの定理。
単位閉区間（もしくは任意のコンパクト可分距離空間）上の連続実函数が有界であること（もしくは有界かつその境界値を実現する点が存在すること）。
単位閉区間上の連続実函数が有理係数多項式で一様に近似できること。
単位閉区間上の連続実函数が一様連続であること。
単位閉区間上の連続実函数がリーマン積分可能であること。
単位閉区間の有限個のコピーの直積上の連続函数に対するブラウワーの不動点定理。
可分バナッハ空間の部分空間上の有界線型形式が全体空間上の有界線型形式に拡張できるという形での可分ハーン＝バナッハの定理。
ジョルダンの閉曲線定理
可算言語に対するゲーデルの完全性定理。
任意の可算可換環が素イデアルを持つこと。
任意の可算形式的実体を順序体にできること。
可算体に対する代数閉包の一意性。
2階算術の5つの基本的部分体系(Big Five) > 算術的内包公理 ACA0

{\mbox{ACA}}_{0}\,は、 {\mbox{RCA}}_{0}\,に算術的内包公理を付け加えた体系である。 {\mbox{ACA}}_{0}\,は、任意の算術的論理式を満たす自然数の集合の存在を示す。実際、算術的内包公理を得るために、 {\mbox{RCA}}_{0}\,にΣ1論理式の内包公理を追加したものである。
{\mbox{ACA}}_{0}\,の1階部分はペアノ算術と同じである。つまり {\mbox{ACA}}_{0}\,は算術的な定理についてはにペアノ算術と証明能力は同じである。また、両者は無矛盾性については等価である。
{\mbox{ACA}}_{0}\,は、可述的数学のほとんどを展開することができ、古典的数学の基本的な定理の多くを証明することができる。
算術的集合を含まない {\mbox{WKL}}_{0}\,のモデルが存在するので、 {\mbox{ACA}}_{0}\,は {\mbox{WKL}}_{0}\,よりも強いことが示される。実際、低基底定理を使った低集合を含むような {\mbox{WKL}}_{0}\,のモデルは構成不可能。
{\mbox{RCA}}_{0}\,上で次と {\mbox{ACA}}_{0}\,は同値。
実数全体の集合の点列コンパクト性（有界で単調増加な任意の実数列は極限を持つ）。
ボルツァーノ＝ワイエルシュトラスの定理。
アスコリの定理: 単位閉区間上の任意の有界で同程度連続な実関数列は一様収束する部分列を持つ。
任意の可算可換環は極大イデアルを持つ。
有理数体（もしくは任意の可算体）上の任意の可算ベクトル空間は基底を持つ。
任意の可算体は超越基底を持つ。
（任意の有限分岐木に対する、弱でない）ケーニヒの補題。
ラムゼーの定理の一形態などを例とする組合せ論の諸定理。
2階算術の5つの基本的部分体系(Big Five) > 算術的超限再帰 ATR0

{\mbox{ATR}}_{0}\,は、 {\mbox{ACA}}_{0}\,に算術的超限再帰を追加した体系である。
{\mbox{ATR}}_{0}\,は {\mbox{ACA}}_{0}\,上で、Σ11分離原理と同値である。
{\mbox{ATR}}_{0}\,は、 {\mbox{ACA}}_{0}\,の無矛盾性を証明可能なのでゲーデルの不完全性定理より、 {\mbox{ACA}}_{0}\,より強い。
{\mbox{RCA}}_{0}\,で次が {\mbox{ATR}}_{0}\,と同値。
任意の二つの可算整列順序は比較可能（一方が他方または他方の始片に同型）である。
可算被約アーベル群に対するウルムの定理。
完備可分距離空間の任意の非可算閉部分集合が完全閉集合を含むことを述べた完全集合定理。
ルージンの分離定理（essentially  \Sigma _{1}^{1}\,分離）。
ベール空間における開集合の決定性。
2階算術の5つの基本的部分体系(Big Five) > Π1

\Pi _{1}^{1}{\text{-CA}}_{0}\,は、 {\mbox{RCA}}_{0}\,に \Pi _{1}^{1}\,論理式に関する内包公理を追加した体系である。 \Pi _{1}^{1}{\text{-CA}}_{0}\,は非可述的な体系である。
\Pi _{1}^{1}{\text{-CA}}_{0}\,と {\text{ATR}}_{0}\,の関係は、 {\text{ACA}}_{0}\,と {\text{WKL}}_{0}\,の関係に似ている。
\Pi _{1}^{1}{\text{-CA}}_{0}\,は、記述的集合論における強い非可述的論法によって証明される定理と同値になる。この同値性はこれらの非可述的論法が取り除けないことを示している。
{\mbox{RCA}}_{0}\,で、 \Pi _{1}^{1}{\mbox{-CA}}_{0}\,と次の定理が同値であることが証明できる。
カントール＝ベンディクソンの定理（実数から成る任意の閉集合は完全集合と可算集合の和集合として書ける）。
任意の可算アーベル群は可除群と被約群の直和として書ける。
Big Five以外の体系

逆数学においては、Big Five以外の体系も研究されている。それらはAfter Fiveとも呼ばれる。
再帰的内包公理よりも弱い体系が定義できる。 {\mbox{RCA}}_{0}^{\ast }\,は、初等関数算術EFA(指数関数を含む算術の基本公理 +  \Delta _{0}^{0}\,帰納法)に \Delta _{1}^{0}\,内包公理を付け加えた体系である。 {\mbox{RCA}}_{0}^{\ast }\,上で、 {\mbox{RCA}}_{0}\,は、可算な体の上で多項式が高々有限の根しかもたないことや、有限アーベル群の分類定理などと同値である。
{\mbox{RCA}}_{0}^{\ast }\,は {\mbox{EFA}}\,と同じ証明論的順序数
 \omega ^{3}\,をもち、 {\mbox{EFA}}\,上 \Pi _{2}^{0}\,文について保存的な拡大になっている。
{\mbox{WWKL}}_{0}\,は、 {\mbox{RCA}}_{0}\,に弱弱ケーニッヒの補題「無限路を持たない無限2進木のある部分木は、長さ n\,の葉がどれだけ存在するかを一様に推定できる」（無限路を持たない二分木の長さ n の枝の本数と  2^{n} の比は  n\to \infty  でゼロに収束する）を追加した公理系である。 {\mbox{WWKL}}_{0}\,は、 {\mbox{RCA}}_{0}\,上で「任意のコンパクト距離空間における任意のボレル測度は可算加法的である」等の測度論の定理と同値になる。 {\mbox{WWKL}}_{0}\,のモデル理論は、アルゴリズム的ランダム列の理論と関連する。実際、 {\mbox{RCA}}_{0}\,の \omega \,-モデル M\,に対し,  M\,が {\mbox{WWKL}}_{0}\,のモデルであることと,  M\,に含まれる任意の集合 X\,について、 X\,に対し相対的に1-randomなある Y\,が存在して Y\,が M\,に含まれることは同値である。
DNR("diagonally non-recursive"の略)は、 {\mbox{RCA}}_{0}\,に「任意の集合に対し対角的非再帰な関数が存在する」を追加した公理系である。 {\mbox{DNR}}\,とはつまり「任意の集合 A\,に対して、ある全域的関数 f\,が存在して、fは A\,から計算可能などんな部分関数とも等しくない」が成り立つということである。 {\mbox{DNR}}\,は、 {\mbox{WWKL}}_{0}\,よりも真に弱い。(Lempp et al., 2004).
「超算術的な集合全体からなる構造の上で成り立つ」「極小 \omega \,モデルは超算術的な集合全体である」という性質を満たす公理系はTheory of hyperarithmetic analysisと呼ばれる。
Theory of hyperarithmetic analysisの例として、 {\mbox{weak-}}\Sigma _{1}^{1}{\mbox{-AC}}_{0}\,、 \Delta _{1}^{1}{\mbox{-CA}}_{0}\,、 \Pi _{1}^{1}{\mbox{-SEP}}_{0}\,、 \Sigma _{1}^{1}{\mbox{-AC}}_{0}\,はTheory of hyperarithmetic analysisがあり、それぞれ {\mbox{ACA}}_{0}\,に弱 \Sigma _{1}^{1}\,選択公理、 \Delta _{1}^{1}\,内包公理、 \Pi _{1}^{1}\,分離公理、 \Sigma _{1}^{1}\,選択公理を追加した公理系である。
ω-モデルとβ-モデル

「 \omega \,-モデル」の \omega \,は非負整数全体の集合を意味する。
その1階部分が1階ペアノ算術の標準モデルになっているような、2階算術の部分体系のモデルを \omega \,-モデルと呼ぶ。ただし、2階部分は非標準であっても良い。すなわち、 \omega \,-モデルは S\subseteq {\mathcal {P}}(\omega )\,（ {\mathcal {P}}(\omega )\,は \omega \,の部分集合全体のクラス）によって与えられる。数変数は  \omega \,の元として解釈され、定数記号 0,1\,や関数記号 +,\times \,は標準的に解釈される。一方、集合変数は  S\,の元として解釈される。 S={\mathcal {P}}(\omega )\,とする \omega \,-モデルを2階算術の標準モデルと呼ぶ。しかし、標準モデル以外にも \omega \,-モデルは存在する。たとえば、 {\mbox{RCA}}_{0}\,は S\,として計算可能な \omega \,の部分集合全体をとった \omega \,-モデルをもつ。
\omega \,-モデルであって、 \Sigma _{1}^{1}\,文について、標準モデルと真偽が一致するものを \beta \,-モデルと呼ぶ。 {\mbox{ACA}}_{0}\,において全ての \beta \,-モデルが {\mbox{ATR}}_{0}\,のモデルであることが示せる。また、 {\mbox{ACA}}_{0}\,において、「任意の集合 X\,について X\,を含む \beta \,モデルが存在する」は  \Pi _{1}^{1}{\mbox{-CA}}_{0}\,と同値である。
一般に、 \omega \,-モデルであって、 \Sigma _{n}^{1}\,文について、標準モデルと真偽が一致するものは \beta _{n}\,-モデルと呼ばれる。
また、Non- \omega \,-モデル（1階部分が標準ではないモデル）も、ある公理系が保存的拡大であることの証明にしばしば登場する。
小山田圭吾

| --- | --- |
: 「Cornelius」はこの項目へ転送されています。その他の用法については「コーネリアス」をご覧ください。
| 小山田 圭吾 |
| --- | --- |
 
基本情報
別名:  Cornelius
生誕:   (1969-01-27) 1969年1月27日（55歳）
出身地:   日本 東京都世田谷区
学歴:  セツ・モードセミナー卒業
ジャンル:  実験音楽 渋谷系 電子音楽 ノイズポップ シューゲイザー
職業:  ミュージシャン シンガーソングライター 音楽プロデューサー 作曲家 スタジオ・ミュージシャン
担当楽器:  ボーカル ギター テルミン キーボード プログラミング ベース ドラムス テノリオン
活動期間:  1987年 -
レーベル:    トラットリア/ポリスター WMJ   Rostrum Lefse House Arrest Everloving Matador   Cherry Red 
共同作業者:   堀江博久  あらきゆうこ  大野由美子  YOKO ONO PLASTIC ONO BAND  salyu × salyu  METAFIVE 
公式サイト:  cornelius-sound.com
小山田 圭吾（おやまだ けいご、1969年1月27日 - ）は、日本のミュージシャン、マルチプレイヤーである。1989年にフリッパーズ・ギターのメンバーとしてデビュー。1991年の解散後、約2年のブランクを経て、1993年よりソロユニットCornelius（コーネリアス）として活動。第51回グラミー賞「最優秀サラウンド・サウンド・アルバム」ノミネートアーティスト。
東京オリンピック・パラリンピック開会式音楽スタッフ就任に端を発する過去の雑誌インタビュー記事騒動 > 過去のインタビュー記事を発端とした辞任騒動の経緯

2021年、小山田は、同年開催の東京オリンピック・パラリンピックに、開会式と閉会式で使用される音楽の作曲担当者として関与することとなり、開会式9日前の7月14日、五輪組織委員会より、「式典コンセプト」とともに、小山田らの名前が発表される（他のメンバーは、徳澤青弦、原摩利彦、景井雅之）。
しかし、翌7月15日に各メディアで報じられると、その直後から、小山田が過去のインタビューで語った、青少年期のいじめのエピソードが問題視されるようになる。
ここで問題とされた、小山田の過去のインタビューは、以下の2本の雑誌記事になったものである。
15日、毎日新聞が、大手メディアで真っ先にこの問題を取り上げ、19時59分に第一報をオンライン配信、小山田への批判は拡大した。これらの批判を受け小山田は7月16日にTwitterでコメントを発表。「私の発言や行為によって傷付けてしまったクラスメイトやその親御さんには心から申し訳なく、 本来は楽しい思い出を作るはずである小学校生活において、良い友人にならず、それどころか傷付ける立場に なってしまったことに、深い後悔と責任を感じております」と謝罪し、同時にインタビュー記事の内容について、「発売前の原稿確認ができなかったこともあり、事実と異なる内容も多く記載されておりますが、学生当時、私の発言や行為によってクラスメイトを傷付けたことは間違いなく、その自覚もあったため、自己責任であると感じ、誤った内容や誇張への指摘をせず、当時はそのまま静観するという判断に至っておりました」と説明した。
翌7月17日に組織委員会はこの謝罪を受け入れ「現在は高い倫理観を持っている」とし続投させると表明した。
しかし知的障害者の家族で作る全国手をつなぐ育成会連合会や日本ダウン症協会などから、小山田が行ったとされるいじめ行為や、著名になってからいじめを面白おかしく公表したことに対する露悪性、明らかに障害者を差別的に揶揄している点などについて相次いで非難声明が発表されるなど、批判の声は収まらなかった。7月19日の昼の時点では組織委員会は前述の「高い倫理観」を理由に続投を強調していたものの、加藤勝信官房長官は同日の定例会見において、連合会などから抗議の声明が出ていることについて「政府として心のバリアフリーの精神を伝えていく姿勢に変わりはない」とした上で「主催者である組織委員会において、適切に対応いただきたい。またそうした対応を取ることが必要だと考えている」と述べた。
結局、小山田本人が辞任を申し出る形で、7月19日の夜に降板が決定。開会式で流れる音楽の内、小山田が制作した楽曲は他の曲に差し替えられた。これと前後して、小山田が担当していた『デザインあ』と『JAPANGLE』（ともにEテレ）は7月20日以降放送を一時中止。テレビ東京もドラマ『サ道 2021』の主題歌を差し替えると発表するなど、小山田の芸能活動が一時休止に追い込まれた。
また、7月18日から19日にかけ、インタビュー記事を掲載した『ROCKIN'ON JAPAN』と『Quick Japan』の出版元はそれぞれ公式サイト上で「差別を助長する」「倫理観に欠ける行為」であったとして社長や編集長名義で謝罪した。翌20日には、別の雑誌である『GiGS』の出版元も、1996年2月号のインタビューでのギターに関する話題の中の、入院先の病室でギターを弾いたエピソードについて、夜中に末期癌患者のうめき声が聞こえてくるといった「倫理観に欠ける表現」を掲載した、として公式サイトで謝罪した。
9月17日、小山田本人による謝罪と経緯説明がCorneliusのHP、及び本人のInstagramに掲載され、この中で、報道されたいじめの事実関係についての説明が行われた。説明の中で小山田は「その生徒（知的障がいを持つ小学校時代の同級生のひとり）に対し、『障がいをあることを理由に陰惨な暴力行為を長年に渡って続けた』ということになっていますが、そのような事実はありません」といじめ内容の一部を否定する一方で、「今にして思えば、小学生時代に自分たちが行ってしまった、ダンボール箱の中で黒板消しの粉をかけるなどの行為は、 日常の遊びという範疇を超えて、いじめ加害になっていたと認識しています」とも語っている。また「その彼とは中学ではほとんど接点がなく」「自分にとっては友人の一人でした」と述べている。また「10歳前後」に行った事柄が「いじめ加害になっていた」とする一方、「それ以降の話は、目撃談と言うこともあり、それもまた他人事のように捉え、傍観者という自分の立場を含め冗談交じりに語ってしまった」と当時を後悔している。またROJ誌のインタビューにおける「排泄物を食べさせた」のくだりについては、「クラスメイトの一人がふざけて道端の犬の糞を食べられると言い出し、拾って口に入れてすぐに吐き出したという出来事があり、彼本人も含めてその場にいた皆で笑っていたという話が事実です」と説明した。
2022年5月25日、小山田圭吾が自身のツイッターと公式サイト上で、「過去の自分の未熟さを猛省する」とする反省の言葉とともに、Corneliusの活動の再開を発表した。
東京オリンピック・パラリンピック開会式音楽スタッフ就任に端を発する過去の雑誌インタビュー記事騒動 > インタビュー記事に対する検証

小山田が炎上するきっかけになった、上記の2点のインタビュー記事で小山田が語ったいじめエピソードに対して、様々な検証が行われている。以下、それらを時系列で記す。
まず、小山田本人は、ROJ誌の記載内容について、その発表直後から（ROJ誌は、アーティスト側に原稿を事前に見せない方針であったため、小山田が記事の完成版を見たのは、発売された後であった）、否定的なコメントを複数回にわたって発していた。同号の発売にあわせて行われた山崎インタビュアーとのトークイベントで、「あの日の僕は、どうかしてたんです」「これ（記事の内容）、読んでもいいけど、あんまり信じないように（笑）」と述べた。また、翌2月号に掲載された続編インタビューでも、インタビューの「いじめ発言」を気にかけていた。
2011年、NHK Eテレで小山田が制作に関わった教育番組『デザインあ』が放送開始された時、インタビュー記事での発言を問題視する視聴者からの問い合わせがあったが、「（本人は）反省している」と伝えられたため、NHKは放送を継続していた。
2021年7月18日付の週刊文春の記事内で、小山田の同級生に行った取材では「小山田君たちがイジメをしていたのは有名な話です。掃除用具を入れるロッカーに閉じ込め、出口が下になるように倒して出られないようにしたり、真冬なのに無理やり教室からベランダに出させて鍵を閉めてしまう」との証言が得られている。
2021年7月23日、北尾修一（QJ誌元編集長）がブログ記事「いじめ紀行を再読して考えたこと」の中で、はてなブログ『孤立無援のブログ』内の記事「小山田圭吾における人間の研究」について批判的に言及する。このブログ記事は、元々は、2006年11月10日、楽天ブログ『電気熊はアンドロイドの夢を見るか？』に投稿されていたもので、上記の2誌の記事をもとに、小山田のいじめエピソードを紹介していた（2009年にはてなブログに移動）。これに対して、翌24日、「孤立無援のブログ」の著者である電八郎が、北尾の批判に答える形で、ブログ記事が「元記事を意図的に切り貼りして、悪魔のような小山田圭吾像をでっち上げた」と批判されている件について反論した。まず批判された記事の要約については、雑誌に掲載された小山田のインタビュー記事全文と批判されたブログ記事のどちらを読んでも受ける印象は変わらないもので、意図的な切り貼りといったものではなく、被害者側の立場から要約した記事を、逆に小山田本人や加害者側の立場から読むことによる違いに過ぎないと主張した。さらにブログ記事の内容は、出典を明らかにし、自分の考えと引用した部分とを分け、必要な部分のみ引用し、原文を忠実に引用し、引用した部の分の内容の改変はしていないなど、著作権法の規定に基づいたフェアな引用だとも主張した。加えて、批判されたブログ記事の著者は大手マスコミ報道で自分のブログだけをソースとしたものは一つもない、と自身のブログが世論に与えた影響についても疑問を投げかけている。
2021年9月16日、QJ誌のインタビュー記事を執筆した太田出版の村上清は、小山田のいじめ行為を記載し、拡散されていた上述のブログ記事「孤立無援のブログ」に関して「今回、本記事の『原文』としてネット上で最も参照されたであろうブログの記事が必ずしも元記事原文のままではなく、少なからず削除・切り取りされたものであったことは、今夏のオリンピックのタイミングで知りました。いち執筆者として率直に申し上げれば、センシティブなテーマを扱ううえで当時の自分としてぎりぎりの神経を使って言葉を配した箇所ほど狙ったようにカットされていたことは確かです。」と述べている。
中原一歩も「孤立無援のブログ」について、「ブログの記述と照らし合わせてみた。すると、一見、小山田氏の当該インタビューを「引用」した風に読めるこのブログには、実は巧妙な編集が施されていることがわかった。」としている
2021年9月15日付の週刊文春では、小山田へのインタビュー記事（インタビュアー：中原一歩）が発表された。8月末に行われた打ち合わせののち9月上旬に行われた取材で小山田は「実際に行ったいじめはどれでしょうか」という中原の質問に対し、QJ誌で語った「段ボールの中に入れて、黒板消しの粉を振りかけてしまった」「ロッカーに同級生を閉じ込めて蹴飛ばした」の二点を挙げている。この二点のうち、前者は小学校時代の同級生（QJ誌内では「沢田」と仮名）に対して行われたもの、後者は中学校時代の同級生（同じく「村田」と仮名）に行われたものである。一方で、「実際に小山田氏が行っていないことが、なぜこんなにも雑誌のインタビューでは、自分で行ったかのように語られているのだろう」という問いに小山田は「インタビューではその場を盛り上げるために、自分の身の回りに起きたことも含めて語ってしまいました。でも『ロッキング・オン・ジャパン』は原稿の内容を事前にチェックできませんでした。そういう約束で引き受けた僕も悪いのですが、記事になったのを見て、ショックを受けました。全部自分がしたかのように書いてあり、後悔をしました」と答えている。
この取材で中原は「私が指摘した部分は10カ所近くに及んだが、小山田氏の回答は、一貫して「加害者という立ち場で暴力を振るったことはない」だった。」と書いている。
中原一歩は Business Insider Japan のインタビューを受けて、この問題を取材した動機を次のように答えている。「違和感があったんです。あの騒動の発端となったブログ記事です。問題となっている『クイック・ジャパン』『ロッキング・オン』の原文を読むとわかるんですが、ブログの書き方は非常に恣意的で、原典となる2つの記事を正確に引用したとはとても言えないものだった。小山田氏が辞任した時の謝罪文にも、『事実と異なるところがある』と書いてありました。」また、小山田へのバッシングについて中原は次のように語っている。「僕が今むしろ関心があるのは、『なぜ人は小山田圭吾を許せないのか？』ということです。小山田氏をバッシングし続ける人のモチベーションが一体何なのかを、知りたいと考えています」。
中原は、「大手新聞が拡散した「小山田氏が長期的に障がい者を虐めていた」という事実はなかったと結論づけている。だが一方で、小山田氏は「3つの罪」を犯してしまった。「小山田氏は上級生のいじめの現場を目撃したが、それを止めることができず傍観してしまったこと」、「自分のイメージを変えるために、事実と異なる話を雑誌上で複数回、語ってしまったこと（荻上チキ氏が指摘している“いじめ語り”）」、「雑誌掲載後、事実を訂正し、謝罪と説明するチャンスはあったにも関わらず、それをしなかったこと」だ」としている
。
中原はこのインタビューに続く週刊文春の記事でも取材を続け、小山田在学当時の複数人の同級生に話を聞いた。しかし小山田が「障がい者をいじめていた」という証言は得られなかった。なお中原はこの記事により、第28回「編集者が選ぶ雑誌ジャーナリズム賞」作品賞を受賞した。
和光時代の小山田の同級生は、「結局、誰もがこの27年間、小山田君のこの件は触ってはいけないタブーのような扱いをしていました。同級生の間でも、この件について事実確認のための取材を受けたという話も聞いたことがありません」と証言した。