mahiyama/miracl-retrieval huggingface dataset:
クエリ: 天動説を唱えたのはだれ

関連文書: 天動説: 古代、多くの学者が宇宙の構造について考えを述べた。古代ギリシアでは、アリストテレスやエウドクソスは、宇宙の中心にある地球の周りを全天体が公転しているという説を唱えていたが、エクパントスは、地球が宇宙の中心で自転しているという説を唱え、ピロラオスは地球も太陽も宇宙の中心ではないが自転公転しているという説を唱え、原著は失われたが紀元前280年頃アリスタルコスは、宇宙の中心にある太陽の周りを地球が公転しているという説を唱えていた（古代ギリシア以外の宇宙観については後述）。ガリレオ・ガリレイはコペルニクスの事を太陽中心説の発明者ではなく「埋もれていた仮説を復活させて確認した人」と書いている。

関連しない文書1: 天動説: 地動説をまとめたのは16世紀のカトリック司祭で天文学者のニコラウス・コペルニクスである。更に17世紀になって望遠鏡が発明され、天動説に不利な観測結果が次々ともたらされる。しかし当時は望遠鏡を錬金術師が使う非科学的な呪具であると考える者が多く、また依然として残る宗教的圧力によって天動説を捨てる学者はなかなか現れなかった。天動説の優位性は、太陽の周りを地球が公転するなら月は軌道を保てずに飛んで行ってしまうであろうという批判に対し、当時の地動説が反証できなかった点にあった。しかし、1610年にガリレオ・ガリレイが望遠鏡を用いて木星に衛星があることを発見した。この発見により、天動説は木星の月が飛んでいってしまわない理由の説明に窮した。

関連しない文書2: ヨハネス・ケプラー: そんな折、1599年、ティコ・ブラーエ (1546-1601) に助手（ケプラーがいうには助手でなく共同研究者）としてプラハに招かれ、ケプラーはこれを受諾しプラハへと移った。ティコは当代きっての大観測家であり、1576年から1597年の21年間、デンマーク（現スウェーデン領）のヴェン島にウラニボリ天文台を建設して天空の観測を続け、さらにプラハでも観測を続けていたのであった。この観測データは望遠鏡のなかった当時、肉眼で観察されたものとしては最高の精度を持っていた。ティコは自らのデータから地動説を支持する証拠を見つけることができず、自ら手を加えた地球中心説（天動説）を提唱していた。ティコのもとで働き始めて1年半後の1601年にティコが亡くなった。ティコは臨終の遺言で、16年におよぶ観測の資料の整理をケプラーに委託した。（こうして観測家ティコの正確で膨大な観測データが理論家ケプラーの手に渡り整理・分析されたことがケプラーの法則発見へとつながり、太陽中心説（地動説）が強化される大きな転機となったのである。）

関連しない文書3: ニコラウス・コペルニクス: ニコラウス・コペルニクス（ラテン語名: Nicolaus Copernicus、ポーランド語名: ミコワイ・コペルニク 、1473年2月19日 - 1543年5月24日）は、ポーランド出身の天文学者、カトリック司祭である。当時主流だった地球中心説（天動説）を覆す太陽中心説（地動説）を唱えた。これは天文学史上最も重要な発見とされる。（ただし、太陽中心説をはじめて唱えたのは紀元前三世紀のサモスのアリスタルコスである）。また経済学においても、貨幣の額面価値と実質価値の間に乖離が生じた場合、実質価値の低い貨幣のほうが流通し、価値の高い方の貨幣は退蔵され流通しなくなる （「悪貨は良貨を駆逐する」） ことに最初に気づいた人物の一人としても知られる。

関連しない文書4: ニコラウス・コペルニクス: ただしコペルニクスは、惑星は完全な円軌道を描くと考えており、その点については従来の天動説と同様であり、単にプトレマイオスの天動説よりも周転円の数を減らし、エカントを排除したに過ぎない。

関連しない文書5: 西洋占星術: プトレマイオスは、古代より天文学界を支配してきた地球を宇宙の中心と捉え、太陽や惑星が地球の周りを回る「天動説」を集大成して、「プトレマイオス体系」として確立し、天文学や占星術の「世界観」に大きな影響を与えた。
クエリ: 天動説を唱えたのはだれ

関連文書: クラウディオス・プトレマイオス: 主著『アルマゲスト』で、地球が宇宙の中心にあり、太陽やその他の惑星が地球の周りを回るという天動説を唱えた。ただし、天動説などはプトレマイオスが初めて唱えたわけではなく、『アルマゲスト』の内容は、アリストテレスやヒッパルコスなど、それ以前の古代ギリシアの天文学の集大成である。幾何学におけるエウクレイデスの『原論』のように、『アルマゲスト』はそれまでの天文学を数学的に体系付け、実用的な計算法を整理したことで、何世紀もの間天文学の標準的な教科書としての地位を得た。この中で、当時火星などの惑星で見られた逆行を星が「周転円」という小さな円を描きながら地球の周りを回転することによって起こると説明し、これによって天動説の地位を守った。天体観測の方法や天体の軌道計算、太陽までの距離やその大きさといったあらゆる知識をひとつにまとめたことが天文学におけるプトレマイオスの業績である。

関連しない文書1: 天動説: 紀元前3世紀頃のアポロニウスあるいは紀元前2世紀のヒッパルコスは、惑星が単に円運動を描くのではなく、円の上に乗った小さな円の上を動くと考えた。この小さな円を周転円、周転円が乗っている大きな円を従円と呼ぶ。感覚的には、遊園地の乗り物のコーヒーカップがこれに近い。コーヒーカップの取っ手を中心から見ると、2種類以上の円運動が合成されて、進む方向や速さが変化するように見える。これによって惑星の接近による明るさの変化、巡行と逆行の速度の差を大雑把に説明できた。

関連しない文書2: 天動説: 地動説をまとめたのは16世紀のカトリック司祭で天文学者のニコラウス・コペルニクスである。更に17世紀になって望遠鏡が発明され、天動説に不利な観測結果が次々ともたらされる。しかし当時は望遠鏡を錬金術師が使う非科学的な呪具であると考える者が多く、また依然として残る宗教的圧力によって天動説を捨てる学者はなかなか現れなかった。天動説の優位性は、太陽の周りを地球が公転するなら月は軌道を保てずに飛んで行ってしまうであろうという批判に対し、当時の地動説が反証できなかった点にあった。しかし、1610年にガリレオ・ガリレイが望遠鏡を用いて木星に衛星があることを発見した。この発見により、天動説は木星の月が飛んでいってしまわない理由の説明に窮した。

関連しない文書3: ヨハネス・ケプラー: そんな折、1599年、ティコ・ブラーエ (1546-1601) に助手（ケプラーがいうには助手でなく共同研究者）としてプラハに招かれ、ケプラーはこれを受諾しプラハへと移った。ティコは当代きっての大観測家であり、1576年から1597年の21年間、デンマーク（現スウェーデン領）のヴェン島にウラニボリ天文台を建設して天空の観測を続け、さらにプラハでも観測を続けていたのであった。この観測データは望遠鏡のなかった当時、肉眼で観察されたものとしては最高の精度を持っていた。ティコは自らのデータから地動説を支持する証拠を見つけることができず、自ら手を加えた地球中心説（天動説）を提唱していた。ティコのもとで働き始めて1年半後の1601年にティコが亡くなった。ティコは臨終の遺言で、16年におよぶ観測の資料の整理をケプラーに委託した。（こうして観測家ティコの正確で膨大な観測データが理論家ケプラーの手に渡り整理・分析されたことがケプラーの法則発見へとつながり、太陽中心説（地動説）が強化される大きな転機となったのである。）

関連しない文書4: ニコラウス・コペルニクス: ニコラウス・コペルニクス（ラテン語名: Nicolaus Copernicus、ポーランド語名: ミコワイ・コペルニク 、1473年2月19日 - 1543年5月24日）は、ポーランド出身の天文学者、カトリック司祭である。当時主流だった地球中心説（天動説）を覆す太陽中心説（地動説）を唱えた。これは天文学史上最も重要な発見とされる。（ただし、太陽中心説をはじめて唱えたのは紀元前三世紀のサモスのアリスタルコスである）。また経済学においても、貨幣の額面価値と実質価値の間に乖離が生じた場合、実質価値の低い貨幣のほうが流通し、価値の高い方の貨幣は退蔵され流通しなくなる （「悪貨は良貨を駆逐する」） ことに最初に気づいた人物の一人としても知られる。

関連しない文書5: ニコラウス・コペルニクス: ただしコペルニクスは、惑星は完全な円軌道を描くと考えており、その点については従来の天動説と同様であり、単にプトレマイオスの天動説よりも周転円の数を減らし、エカントを排除したに過ぎない。
クエリ: 天動説を唱えたのはだれ

関連文書: 天動説: それらの学説からより確からしいものを集め、体系化したのがプトレマイオスである。ヒッパルコスの説に改良を加えたものだと考えられているが、確証はない。地球が宇宙の中心にあるという説を唱えた学者はこれ以前にもいるし、惑星の位置計算を比較的に正確に行った者もそれ以前にいたが、最終的に全てを体系化したプトレマイオスの名をとり、今なおこの形の天動説は、プトレマイオスの天動説とも呼ばれる。

関連しない文書1: ヨハネス・ケプラー: そんな折、1599年、ティコ・ブラーエ (1546-1601) に助手（ケプラーがいうには助手でなく共同研究者）としてプラハに招かれ、ケプラーはこれを受諾しプラハへと移った。ティコは当代きっての大観測家であり、1576年から1597年の21年間、デンマーク（現スウェーデン領）のヴェン島にウラニボリ天文台を建設して天空の観測を続け、さらにプラハでも観測を続けていたのであった。この観測データは望遠鏡のなかった当時、肉眼で観察されたものとしては最高の精度を持っていた。ティコは自らのデータから地動説を支持する証拠を見つけることができず、自ら手を加えた地球中心説（天動説）を提唱していた。ティコのもとで働き始めて1年半後の1601年にティコが亡くなった。ティコは臨終の遺言で、16年におよぶ観測の資料の整理をケプラーに委託した。（こうして観測家ティコの正確で膨大な観測データが理論家ケプラーの手に渡り整理・分析されたことがケプラーの法則発見へとつながり、太陽中心説（地動説）が強化される大きな転機となったのである。）

関連しない文書2: ニコラウス・コペルニクス: ニコラウス・コペルニクス（ラテン語名: Nicolaus Copernicus、ポーランド語名: ミコワイ・コペルニク 、1473年2月19日 - 1543年5月24日）は、ポーランド出身の天文学者、カトリック司祭である。当時主流だった地球中心説（天動説）を覆す太陽中心説（地動説）を唱えた。これは天文学史上最も重要な発見とされる。（ただし、太陽中心説をはじめて唱えたのは紀元前三世紀のサモスのアリスタルコスである）。また経済学においても、貨幣の額面価値と実質価値の間に乖離が生じた場合、実質価値の低い貨幣のほうが流通し、価値の高い方の貨幣は退蔵され流通しなくなる （「悪貨は良貨を駆逐する」） ことに最初に気づいた人物の一人としても知られる。

関連しない文書3: ニコラウス・コペルニクス: ただしコペルニクスは、惑星は完全な円軌道を描くと考えており、その点については従来の天動説と同様であり、単にプトレマイオスの天動説よりも周転円の数を減らし、エカントを排除したに過ぎない。

関連しない文書4: 西洋占星術: プトレマイオスは、古代より天文学界を支配してきた地球を宇宙の中心と捉え、太陽や惑星が地球の周りを回る「天動説」を集大成して、「プトレマイオス体系」として確立し、天文学や占星術の「世界観」に大きな影響を与えた。

関連しない文書5: 天動説: 天動説は単なる天文学上の計算方法ではない。それには当時の哲学や思想が盛り込まれている。神が地球を宇宙の中心に据えたのは、それが人間の住む特別の天体だからである。地球は宇宙の中心であると共に、全ての天体の主人でもある。全ての天体は地球のしもべであり、主人に従う形で運動する。中世ヨーロッパにおいては、当時アリストテレス哲学をその体系の枠組みとして受け入れていた中世キリスト教神学に合致するものとして、天動説が公式な宇宙観と見なされていた。14世紀に発表されたダンテの叙事詩『神曲』天国篇においても、地球の周りを月・太陽・木星などの各遊星天が同心円状に取り巻き、さらにその上に恒星天、原動天および至高天が構想されていた。
クエリ: 天動説を唱えたのはだれ

関連文書: 天動説: 天動説は、2世紀にクラウディオス・プトレマイオスによって体系化された、地動説に対義する学説である。地球が宇宙の中心にあるという地球中心説ともいうが、地球が動いているかどうかと、地球が宇宙の中心にあるかどうかは厳密には異なる概念であり、天動説は「Geocentric model (theory) （＝地球を中心とした構造模型）」の訳語として不適切だとの指摘もある。なお中国語では「地心説」という。後述する、半球型の世界の中心に人間が住んでいるという世界観と天動説は厳密に区別される（しかし、日本語では、「天動説」という語が当てられたため、天上の天体が運動しているという世界観の全てが天動説であると誤解されることが多い）。13世紀から17世紀頃までは、カトリック教会公認の世界観だった。

関連しない文書1: 天動説: 紀元前3世紀頃のアポロニウスあるいは紀元前2世紀のヒッパルコスは、惑星が単に円運動を描くのではなく、円の上に乗った小さな円の上を動くと考えた。この小さな円を周転円、周転円が乗っている大きな円を従円と呼ぶ。感覚的には、遊園地の乗り物のコーヒーカップがこれに近い。コーヒーカップの取っ手を中心から見ると、2種類以上の円運動が合成されて、進む方向や速さが変化するように見える。これによって惑星の接近による明るさの変化、巡行と逆行の速度の差を大雑把に説明できた。

関連しない文書2: 天動説: 地動説をまとめたのは16世紀のカトリック司祭で天文学者のニコラウス・コペルニクスである。更に17世紀になって望遠鏡が発明され、天動説に不利な観測結果が次々ともたらされる。しかし当時は望遠鏡を錬金術師が使う非科学的な呪具であると考える者が多く、また依然として残る宗教的圧力によって天動説を捨てる学者はなかなか現れなかった。天動説の優位性は、太陽の周りを地球が公転するなら月は軌道を保てずに飛んで行ってしまうであろうという批判に対し、当時の地動説が反証できなかった点にあった。しかし、1610年にガリレオ・ガリレイが望遠鏡を用いて木星に衛星があることを発見した。この発見により、天動説は木星の月が飛んでいってしまわない理由の説明に窮した。

関連しない文書3: ヨハネス・ケプラー: そんな折、1599年、ティコ・ブラーエ (1546-1601) に助手（ケプラーがいうには助手でなく共同研究者）としてプラハに招かれ、ケプラーはこれを受諾しプラハへと移った。ティコは当代きっての大観測家であり、1576年から1597年の21年間、デンマーク（現スウェーデン領）のヴェン島にウラニボリ天文台を建設して天空の観測を続け、さらにプラハでも観測を続けていたのであった。この観測データは望遠鏡のなかった当時、肉眼で観察されたものとしては最高の精度を持っていた。ティコは自らのデータから地動説を支持する証拠を見つけることができず、自ら手を加えた地球中心説（天動説）を提唱していた。ティコのもとで働き始めて1年半後の1601年にティコが亡くなった。ティコは臨終の遺言で、16年におよぶ観測の資料の整理をケプラーに委託した。（こうして観測家ティコの正確で膨大な観測データが理論家ケプラーの手に渡り整理・分析されたことがケプラーの法則発見へとつながり、太陽中心説（地動説）が強化される大きな転機となったのである。）

関連しない文書4: ニコラウス・コペルニクス: ニコラウス・コペルニクス（ラテン語名: Nicolaus Copernicus、ポーランド語名: ミコワイ・コペルニク 、1473年2月19日 - 1543年5月24日）は、ポーランド出身の天文学者、カトリック司祭である。当時主流だった地球中心説（天動説）を覆す太陽中心説（地動説）を唱えた。これは天文学史上最も重要な発見とされる。（ただし、太陽中心説をはじめて唱えたのは紀元前三世紀のサモスのアリスタルコスである）。また経済学においても、貨幣の額面価値と実質価値の間に乖離が生じた場合、実質価値の低い貨幣のほうが流通し、価値の高い方の貨幣は退蔵され流通しなくなる （「悪貨は良貨を駆逐する」） ことに最初に気づいた人物の一人としても知られる。

関連しない文書5: ニコラウス・コペルニクス: ただしコペルニクスは、惑星は完全な円軌道を描くと考えており、その点については従来の天動説と同様であり、単にプトレマイオスの天動説よりも周転円の数を減らし、エカントを排除したに過ぎない。
クエリ: 天動説を唱えたのはだれ

関連文書: 天動説: 紀元前4世紀、古代ギリシアのエウドクソスは、地球を中心に重層する天球が包む宇宙を考えたとされる。いちばん外側の天球には恒星が散りばめられており（恒星球）、天の北極を軸に、およそ1日で東から西へ回転する（日周運動）。太陽を抱える天球は恒星球に対して逆方向に西から東へ、およそ1年で回転する（年周運動）。太陽の回転軸は恒星球の回転軸とは傾いているために、1年の間でその南中高度が変わり、季節が説明される。恒星球と太陽の間には惑星を運行させる天球を置いた。地球から見て惑星は星座の中をゆっくりと動くように見える。これは恒星球に対して惑星を運ぶ天球の相対運動で説明されたが、惑星は天球上で速さを変えたり、逆行といって一時期だけ逆に動くことがある。逆行を説明するために、いくつかの回転方向や速度の異なる複数の天球を1つの惑星の運行に用意した。これらの天球は動かぬ地球を共通の中心とする球体であったので、地球からそれぞれの惑星までの距離は変化することはない。エウドクソスの同心天球はアリストテレスの宇宙像に組み入れられた。

関連しない文書1: 天動説: 地動説をまとめたのは16世紀のカトリック司祭で天文学者のニコラウス・コペルニクスである。更に17世紀になって望遠鏡が発明され、天動説に不利な観測結果が次々ともたらされる。しかし当時は望遠鏡を錬金術師が使う非科学的な呪具であると考える者が多く、また依然として残る宗教的圧力によって天動説を捨てる学者はなかなか現れなかった。天動説の優位性は、太陽の周りを地球が公転するなら月は軌道を保てずに飛んで行ってしまうであろうという批判に対し、当時の地動説が反証できなかった点にあった。しかし、1610年にガリレオ・ガリレイが望遠鏡を用いて木星に衛星があることを発見した。この発見により、天動説は木星の月が飛んでいってしまわない理由の説明に窮した。

関連しない文書2: ヨハネス・ケプラー: そんな折、1599年、ティコ・ブラーエ (1546-1601) に助手（ケプラーがいうには助手でなく共同研究者）としてプラハに招かれ、ケプラーはこれを受諾しプラハへと移った。ティコは当代きっての大観測家であり、1576年から1597年の21年間、デンマーク（現スウェーデン領）のヴェン島にウラニボリ天文台を建設して天空の観測を続け、さらにプラハでも観測を続けていたのであった。この観測データは望遠鏡のなかった当時、肉眼で観察されたものとしては最高の精度を持っていた。ティコは自らのデータから地動説を支持する証拠を見つけることができず、自ら手を加えた地球中心説（天動説）を提唱していた。ティコのもとで働き始めて1年半後の1601年にティコが亡くなった。ティコは臨終の遺言で、16年におよぶ観測の資料の整理をケプラーに委託した。（こうして観測家ティコの正確で膨大な観測データが理論家ケプラーの手に渡り整理・分析されたことがケプラーの法則発見へとつながり、太陽中心説（地動説）が強化される大きな転機となったのである。）

関連しない文書3: ニコラウス・コペルニクス: ニコラウス・コペルニクス（ラテン語名: Nicolaus Copernicus、ポーランド語名: ミコワイ・コペルニク 、1473年2月19日 - 1543年5月24日）は、ポーランド出身の天文学者、カトリック司祭である。当時主流だった地球中心説（天動説）を覆す太陽中心説（地動説）を唱えた。これは天文学史上最も重要な発見とされる。（ただし、太陽中心説をはじめて唱えたのは紀元前三世紀のサモスのアリスタルコスである）。また経済学においても、貨幣の額面価値と実質価値の間に乖離が生じた場合、実質価値の低い貨幣のほうが流通し、価値の高い方の貨幣は退蔵され流通しなくなる （「悪貨は良貨を駆逐する」） ことに最初に気づいた人物の一人としても知られる。

関連しない文書4: ニコラウス・コペルニクス: ただしコペルニクスは、惑星は完全な円軌道を描くと考えており、その点については従来の天動説と同様であり、単にプトレマイオスの天動説よりも周転円の数を減らし、エカントを排除したに過ぎない。

関連しない文書5: 西洋占星術: プトレマイオスは、古代より天文学界を支配してきた地球を宇宙の中心と捉え、太陽や惑星が地球の周りを回る「天動説」を集大成して、「プトレマイオス体系」として確立し、天文学や占星術の「世界観」に大きな影響を与えた。
クエリ: アルフレッド・コージブスキーの出身はどこ

関連文書: アルフレッド・コージブスキー: アルフレッド・コージブスキー（Alfred Korzybski, 1879年7月3日 - 1950年3月1日）は、ポーランドワルシャワ生まれの学者。一般意味論の構築で有名。後にアメリカ合衆国に渡り、コネチカット州レークヴィルで死去。

関連しない文書1: ドン・コージス: ドン・コージス（Don Kojis、1939年1月15日 - ）はアメリカ男子プロバスケットボールリーグNBAで活躍した元バスケットボール選手。ウィスコンシン州ミルウォーキー出身。ヒューストン・ロケッツ（当時はサンディエゴ・ロケッツ）最初期のスター選手である。1963年のバスケットボール世界選手兼のアメリカ代表。

関連しない文書2: ノーム・チョムスキー: ノーム・チョムスキーは1928年12月7日、アメリカ合衆国ペンシルベニア州フィラデルフィアの近郊で生まれた。父は当時ロシア帝国支配下のウクライナで生まれたが、戦乱を避けて1913年にアメリカへ渡った。メリーランド州ボルチモアの搾取工場で働き、貯蓄してジョンズ・ホプキンス大学で学んだ甲斐もあり市のヘブライ人系小学校教師の職を得た。現在のベラルーシで生まれアメリカで育ったエルシー・シモノフスキーとの結婚を期にフィラデルフィアに移り、夫妻はミクッバ・イスラエル宗教学校で教鞭を取った。「とても温和で紳士、そして魅力的な人物」と評されたウィリアムはここの校長にまで出世し、1924年には教師養成講座に最年長の教授に就任、1932年からは教授長職を勤めた。1955年からはでも教鞭を取ったウィリアムは、別に中世ヘブライ語の研究にも取り組み、一連の著作も発表した。

関連しない文書3: ユージン・カスペルスキー: ソビエト連邦ノヴォロシースク出身。子供の時から数学への関心を持ち、高校在学中には通常授業と別にが主催するハイレベルな数学と物理学の課外授業を受講している。後に数学のコンテストで入賞してモスクワ大学のコルモゴロフ先進科学教育センターが才能ある学生向けに主催していた特別教育プログラムに選抜されている。コムソモールのメンバーにもなった

関連しない文書4: アリフレド・コフ: アリフレド・レインゴルドヴィチ・コフ（、ラテン文字転写の例：Alfred Reyngoldovich Kokhまたは、Koch、1961年2月28日 - ）は、ロシアの政治家、実業家。カザフスタン出身のドイツ系。

関連しない文書5: アルバート・コーツ: ロシア帝国時代のサンクトペテルブルクにてイギリス人の父親とロシア人の母親の間に、7人きょうだいの末っ子として出生。ライプツィヒ音楽院に進み、アルトゥール・ニキシュに師事した。一時期ドレスデンのゼンパー・オーパーに勤めた後、マリインスキー劇場の指揮者に就任。ロシア革命後の1919年4月にフィンランド経由でロシアを脱出し、イギリスに移った。
クエリ: 一階述語論理とはなんですか？

関連文書: 一階述語論理: 一階述語論理（いっかいじゅつごろんり、first-order predicate logic）とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理（にかいじゅつごろんり、second-order predicate logic）と呼ぶ。それにさらなる一般化を加えた述語論理を高階述語論理（こうかいじゅつごろんり、higher-order predicate logic）という。本項では主に一階述語論理について解説する。二階述語論理や高階述語論理についての詳細は「二階述語論理」「高階述語論理」を参照。

関連しない文書1: 述語論理: 述語論理と言った場合、一階述語論理を指すこともある。述語論理の公理化された形態を述語計算 (predicate calculus) と呼び、述語論理は非形式的でより直観的なものとする見方もある。

関連しない文書2: 一階述語論理: Σ を論理式の集合とし、φ を論理式とする。Σ に属するすべての論理式 ψ に対して "M"(ψ, "s") = 1 であるような任意の構造 "M" と "M" の個体の割り当て関数 "s" が "M"(φ, "s") = 1 をみたすとき、φ は Σ の論理的帰結 (logical consquence) であるといい、formula_1 と書く。論理式 φ と ψ が formula_2 かつ formula_3 をみたすとき、φ と ψ は論理的に同値 (logically equivalent) であるという。また、φ が ∅ の論理的帰結である場合、すなわち任意の構造 "M" と "M" の個体の割り当て関数 "s" に対して "M"(φ, "s") = 1 であるとき、φ は恒真 (valid) であるという。φ と ψ が論理的に同値であることは、(φ ↔ ψ) が恒真であることと同値である。

関連しない文書3: 一階述語論理: 一階述語論理の言語（一階の言語）は次のものからなる：

関連しない文書4: 一階述語論理: 二階述語論理（およびそれ以上の高階述語論理）では、述語および関数に対する量化を導入する。

関連しない文書5: 一階述語論理: 論理式 φ が論理式の集合 Σ から証明可能であるとは、Σ に属する論理式と論理公理から推論規則の有限回の適用によって φ が得られることを意味する。そして、Σ に属する論理式と論理公理から φ を導出する仮定を示した論理式の有限列を、Σ からの φ の形式的証明とよぶ。これらの概念は次のように厳密に定義することができる。
クエリ: ミクロ経済学はいつ誕生した？

関連文書: ミクロ経済学: 経済学者の岩田規久男はミクロ経済学の誕生がアダム・スミスの著書『国富論』（1776年）に始まるとしている。

関連しない文書1: 経済学: 1758年にフランスの重農主義の学派フランソワ・ケネー（1694年 - 1774年）が『経済表』を書き、国民経済の再生産システムを解明して、経済学の体系化の発端となった。

関連しない文書2: シカゴ学派 (経済学): 1920年代半ば、シカゴ大学経済学部においてフランク・ナイトとジェイコブ・ヴァイナーが教授に就任した。彼らはアルフレッド・マーシャルらのケンブリッジ学派の体系と道徳哲学を受け継ぎ、シカゴ学派の基礎を構築した。特にヴァイナーは、マーシャルが提唱した企業の費用曲線を精密化し、新古典派経済学のミクロ経済学の分析手法を確立した。ナイトは、計画経済を批判する一方で競争経済の論理的基盤に対しても等しく批判的であったし、ヴァイナーはリベラリストとして知られ、極端な言辞・政策に強い反発を示していた。その他に、「市場社会主義」を初めて提唱したことで知られる社会主義者のオスカル・ランゲ、「コブ=ダグラス型生産関数」の実証研究で知られるポール・ダグラス、計量経済学会の創始者であるヘンリー・シュルツ、電話・鉄道の国有化を提唱したことで知られるヘンリー・サイモンズらが第一世代のシカゴ学派に数えられる。
1950年代から1960年代にかけては、ナイト教授の門下生であったジョージ・スティグラー（1982年ノーベル賞受賞）とミルトン・フリードマン（1976年ノーベル賞受賞）を中心に「第二世代のシカゴ学派」が形成された。第二世代の特徴は、自らの仮説を統計データを基に検証し、有意な政策的結論を得ようとするものであり、数理経済学的手法よりも実証経済学的手法を重視する傾向が強かった（実証主義）。こうした実証的手法によって、スティグラーの産業組織論やフリードマンのマネタリズムが発展した。なお、先験的手法を重視したことで知られるフリードリッヒ・ハイエク（1974年ノーベル賞受賞）は当時シカゴ大学に在籍していたもの、経済学部ではなく「社会思想委員会」の所属であり、シカゴ学派とは一定の距離を置いていた。フリードマンはケインズ経済学を実証主義の観点から評価していた。またマクロ理論ではハイエクとは考えが一致しない部分もあったが、サッチャーや、チリのピノチェトを支持する点では一致していた。

関連しない文書3: 経済学: 経済学は、法学、数学、哲学などと比べて、比較的新しい学問である。経済学は、近世欧州列強の著しい経済発展とともに誕生し、その後資本主義経済がもたらしたさまざまな経済現象や経済システムについての研究を積み重ね、現代に至る。しかし、経済学の最初を遡るとすると、古代ギリシャプラトンの国家論にまで遡る。これらの思想は、共産主義思想にも影響を与えた。

関連しない文書4: 古典派経済学: 古典派経済学（こてんはけいざいがく、classical political economy）とは、労働価値説を理論的基調とする経済学の総称である。18世紀後半からスミス、マルサス、リカード、ミルといったイギリスの経済学者によって発展されたため、イギリス古典派経済学とも呼ばれる。
経済学史上初の主流派経済学であったが、1870年代に誕生した新古典派経済学によって論駁され、主流派の座から退いた。
マルクス経済学は古典派経済学を継承しており、マルクスも古典派経済学者に分類されることがある。

関連しない文書5: 生産要素: 政治経済学における生産と分配に関する最初の継続した議論であり、アダム・スミス（1776年），デヴィッド・リカード（1817年），後には、カール・マルクスとジョン・スチュアート・ミルらが貢献している。古典派経済学は、分配理論として労働価値説を発展させた。アルフレッド・マーシャルは、4つの生産要素を紹介した。ジョン・ベイツ・クラークは、限界生産力説に基づく分配理論を展開した。フランク・ナイトは、完全競争の下では不確実性を排除することはできないと主張し、その不確実性に対処する経営者への報酬として、利潤を基礎付けた。市場経済において要素市場を分けて考えると、契約者は利潤を形成するために技術進歩を考慮に入れた土地・労働・資本などの他の生産要素を合体させる。カール・ポランニーは、『大転換』において、市場経済と生産要素の関係について論じた。市場経済は、本来は商品ではない労働（人間）、土地（自然）、貨幣を商品化し、人間の生活を破壊すると述べた（擬制商品論）。
クエリ: プロレタリアートとは何ですか？

関連文書: プロレタリアート: プロレタリアート（）とは、資本主義社会における賃金労働者階級のこと。無産階級とも。個々の賃金労働者はプロレタリアと呼ばれる。雇用する側の資本家階級を指すブルジョワジーと対になった概念で、カール・マルクスとフリードリヒ・エンゲルスが『共産党宣言』で使った例によって広く普及した。

関連しない文書1: 労働者階級: いわゆるプロレタリアートのことを指すが、プロレタリアートは、特に無産階級と呼ばれることもある。

関連しない文書2: 四権: イギリスの思想家で政治家のエドマンド・バークが、新聞のことを第四階級 (Fourth Estate) と呼んだのが最初とされ、このときは国王（または聖職者）・貴族・市民の三身分に次ぐ社会的勢力の意味であった。第四階級の語は、のちプロレタリアート（無産階級）を指す別の意味の言葉にもなった。日本では田中角栄が第四権力という言葉を定着させた。

関連しない文書3: 階級政党: 歴史的には階級闘争を重視するマルクス主義の影響を強く受けた社会主義・共産主義において、みずからを労働者階級・プロレタリアート（無産階級）の政党と位置づけたことが大きい。このとき打倒の対象としての資本家階級の政党は蔑称的にブルジョアジー政党（政治体制としてはブルジョア民主主義）とされた。実際にはブルジョワジー政党とされる側（主に保守政党や中道政党）が自らを階級政党と位置づけることはあまりない（国民政党と称するのが普通である）。

関連しない文書4: カール・マルクス: は「マルクスとエンゲルスは公にはプロレタリアートを人類の救済者と呼び、その独特の優れた性格を賛美してやまなかった。だが私的にはプロレタリアートについての彼らの言葉はますます尊大に侮蔑的になってきた。エンゲルスはマルクスへの報告の中で、まるでプロイセン軍の軍曹が新兵に向かって用いるような言葉でプロレタリアを語っている。『あいつら』、『あの駄馬たち』、『何でも信じる愚かな労働者』」と主張する。マルクスに批判的なも「プロレタリアートが自らのゴールを設定し、他からの援助なしにそれを実現する能力に関してマルクスが懐疑的であったことは様々な資料からうかがい知れる。このことは革命は決して大衆から起こることはなく、エリート集団から発するものだという彼の見解とも一致する」と主張する。も「マルクスは人間を侮蔑していた。とりわけ彼がプロレタリアートと呼んだ人種を」と主張する。

関連しない文書5: 独裁政治: これらはマルクス・レーニン主義を掲げる社会主義国で、共産党（共産党幹部）が独裁している。「プロレタリア独裁」という概念などを根拠としている。ただし、実際には共産党の幹部は多くが世襲化しており、親の代からプロレタリアート（労働者）として働いてもおらず、さまざまな利権を独占していて賄賂などを受け取り、一般大衆とは別格の裕福な生活を送っており、結局、17世紀や18世紀の貴族による支配とほとんど変わらなくなってしまっている（共産貴族、ノーメンクラトゥーラ）。
クエリ: プロレタリアートとは何ですか？

関連文書: プレカリアート: 1990年代に「グローバリズム」という名で世界を席巻した新自由主義・アメリカナイゼーションの下で、自らの不安定な「生」を強いられながらも、その競争への参加を「放棄」する人々は、上記のカテゴリーにとらわれることなくこの範疇に包摂されうる。プロレタリアートと語呂を合わせることで、新自由主義における新貧困層の現実との向き合い方を示している。（プレカリオ: 不安定な）と（プロレタリアート: 無産階級・賃金労働者）を組み合わせたイタリアでの落書きから始まった語と言われる。

関連しない文書1: 独裁政治: これらはマルクス・レーニン主義を掲げる社会主義国で、共産党（共産党幹部）が独裁している。「プロレタリア独裁」という概念などを根拠としている。ただし、実際には共産党の幹部は多くが世襲化しており、親の代からプロレタリアート（労働者）として働いてもおらず、さまざまな利権を独占していて賄賂などを受け取り、一般大衆とは別格の裕福な生活を送っており、結局、17世紀や18世紀の貴族による支配とほとんど変わらなくなってしまっている（共産貴族、ノーメンクラトゥーラ）。

関連しない文書2: プロレタリア独裁: プロレタリア独裁（プロレタリアどくさい、、）とは、階級独裁の1種で、プロレタリアートによる独裁のこと。労働者階級独裁、無産階級独裁とも訳される。日本では「プロ独」とも略される。

関連しない文書3: プレカリアートユニオン: プレカリアートとは、不安定な労働者という意味の造語であるが、職業や雇用形態にかかわらず、誰でも加入できる。組合費に関しては月々年収によって変わってくる。

関連しない文書4: 階級意識: マルクス主義においては、プロレタリアートは当初ブルジョアジーに対する階級闘争で自己の階級利害を自覚しない即自的な階級に留まるが、やがては資本主義の発展とその矛盾の増大とともに階級利害と歴史的使命を自覚する対自的な階級として社会変革の途に就くのであるから、社会変革の原動力となるプロレタリアートの自覚的意識だけが真の階級意識であると、特にプロレタリアの階級意識が問題とされる。

関連しない文書5: プレカリアート: プレカリアートという言葉は1980年代にフランスの社会学者たちによって一時雇用の労働者を指して用いられたが、プレカリアートという言葉が大衆化するに従いさまざまな意味を持つようになった。
国籍・年齢・婚姻関係に制限されることなく、パートタイマー、アルバイト、フリーター、派遣労働者、契約社員、周辺的正社員、委託労働者、移住労働者、失業者、ニート等を包括する。広義では、貧困を強いられる零細自営業者や農業従事者等を含めることもある。
クエリ: プロレタリアートとは何ですか？

関連文書: プロレタリア文学: ところで、プロレタリアとは、賃金労働者階級、無産者階級を指す言葉である。とすると、プロレタリア文学とは、労働者の文学と訳せることになるのだが、日本では、東京帝国大学出身であり父親も知識層に属している中野重治もプロレタリア文学の担い手として認められているように、社会主義、共産主義的な革命的立場から描いた文学をさし、書き手の出身階級は問題にしていない。（外国では、そのような作品には革命文学という呼び名を与えている）そこには、戦前の出版の弾圧が、『革命』などのことばをそのままの形で表現できないという事情があったからだと、小田切秀雄は『座談会　昭和文学史』（集英社）のなかで語っている。革命文学という名称は、戦後になって、占領軍による言論弾圧（黒島伝治の『武装せる市街』はGHQによって出版を禁止された）の時代には使えなかったが、その後使えるようになり、1960年代には〈世界革命文学選〉というシリーズも出版された。も参照のこと

関連しない文書1: 階級意識: マルクス主義においては、プロレタリアートは当初ブルジョアジーに対する階級闘争で自己の階級利害を自覚しない即自的な階級に留まるが、やがては資本主義の発展とその矛盾の増大とともに階級利害と歴史的使命を自覚する対自的な階級として社会変革の途に就くのであるから、社会変革の原動力となるプロレタリアートの自覚的意識だけが真の階級意識であると、特にプロレタリアの階級意識が問題とされる。

関連しない文書2: プレカリアート: プレカリアートという言葉は1980年代にフランスの社会学者たちによって一時雇用の労働者を指して用いられたが、プレカリアートという言葉が大衆化するに従いさまざまな意味を持つようになった。
国籍・年齢・婚姻関係に制限されることなく、パートタイマー、アルバイト、フリーター、派遣労働者、契約社員、周辺的正社員、委託労働者、移住労働者、失業者、ニート等を包括する。広義では、貧困を強いられる零細自営業者や農業従事者等を含めることもある。

関連しない文書3: プロレタリア独裁: これ以降も、ソ連における支配が、プロレタリアートに対するソ連共産党の独裁であるとして論難したものは多い（左翼共産主義、評議会共産主義など）。ウラジーミル・レーニンに対してレフ・トロツキーが「代行主義批判」を展開したことも共産党独裁の萌芽を批判したものであると言える。
ロシア革命において、レーニンが「どんな法律によっても、絶対にどんな規則によっても束縛されない、直接暴力で自ら保持する無制限の権力」（レーニン『プロレタリア革命と背教者カウツキー』）としてプロレタリア独裁を規定し、彼の指導を批判したカール・カウツキー『プロレタリアートの独裁』に反論した。だが実際には、彼の指導する共産党支配は次第に、立法と執行が一体になったソヴィエト型政体、ひいては一党制や、法にもとづかない「反革命」弾圧・「粛清」をおこなう権力を意味するものへ変質していき、さらに1918年4月28日には『ソヴェト権力の当面の任務』で「個人の独裁はきわめてしばしば革命的階級の独裁の表現者であり、担い手であり、先導者であった」として個人の独裁も肯定し、鉄道管理などで企業内に無制限な個人独裁全権（ワンマン経営）を与えた。そして、スターリンがマルクス・レーニン主義を定式化する際にレーニンにおいては社会主義社会への移行段階とされていたプロレタリア独裁段階の社会そのものを社会主義社会とする理論化をおこない、この規定の承認をコミンテルンの加盟要件の一つとしたために、ソ連とその流れをくむマルクス主義においては、プロレタリアート独裁とは、職業革命家による前衛党つまりは共産党の一党支配を意味するものとなった。

関連しない文書4: 支配階級: 共産党宣言によれば、ある時代に支配的となっている思想というのは、常にその時代の支配階級によって持たれている思想に過ぎないとのこと。共産党宣言の理想ではプロレタリアートは民主主義の社会において政治的に勝つことで支配階級に就き、ブルジョアジーから一切の資本を奪い取り、支配階級であるプロレタリアートの所有物として生産力の向上を目指すのであるが、これは国家の所有物を活用することで国力を向上させるということでもあった。

関連しない文書5: 党官僚: マルクス主義の理論では、ブルジョワジーから権力を奪い取ったプロレタリアートが執権すべきものとされた。しかし、かつて第一インターナショナルにおいてマルクスのプロレタリア独裁論を、革命指導者である共産主義者によるプロレタリアートに対する独裁にすぎないと批判したミハイル・バクーニンの予告や、カール・マルクスの先進国革命論とは異なり、世界で最初の社会主義革命（ロシア革命）が、経済発展が遅かった農業国・ロシアで成功したことによって、資本主義の発達の結果生まれるはずだったプロレタリアートが存在しない事態が起こり、プロレタリアートが育つまでの間、共産党幹部がプロレタリアートの役割を「代行」することとなった。これが党官僚専制支配の起源である。
クエリ: プロレタリアートとは何ですか？

関連文書: プレカリアート: プレカリアート（、、）は、「不安定な」（、）と「プロレタリアート」（労働者階級）（、）を組み合わせた語で、1990年代以後に急増した不安定な雇用・労働状況における非正規雇用者および失業者の総体。

関連しない文書1: 階級政党: 歴史的には階級闘争を重視するマルクス主義の影響を強く受けた社会主義・共産主義において、みずからを労働者階級・プロレタリアート（無産階級）の政党と位置づけたことが大きい。このとき打倒の対象としての資本家階級の政党は蔑称的にブルジョアジー政党（政治体制としてはブルジョア民主主義）とされた。実際にはブルジョワジー政党とされる側（主に保守政党や中道政党）が自らを階級政党と位置づけることはあまりない（国民政党と称するのが普通である）。

関連しない文書2: カール・マルクス: は「マルクスとエンゲルスは公にはプロレタリアートを人類の救済者と呼び、その独特の優れた性格を賛美してやまなかった。だが私的にはプロレタリアートについての彼らの言葉はますます尊大に侮蔑的になってきた。エンゲルスはマルクスへの報告の中で、まるでプロイセン軍の軍曹が新兵に向かって用いるような言葉でプロレタリアを語っている。『あいつら』、『あの駄馬たち』、『何でも信じる愚かな労働者』」と主張する。マルクスに批判的なも「プロレタリアートが自らのゴールを設定し、他からの援助なしにそれを実現する能力に関してマルクスが懐疑的であったことは様々な資料からうかがい知れる。このことは革命は決して大衆から起こることはなく、エリート集団から発するものだという彼の見解とも一致する」と主張する。も「マルクスは人間を侮蔑していた。とりわけ彼がプロレタリアートと呼んだ人種を」と主張する。

関連しない文書3: 独裁政治: これらはマルクス・レーニン主義を掲げる社会主義国で、共産党（共産党幹部）が独裁している。「プロレタリア独裁」という概念などを根拠としている。ただし、実際には共産党の幹部は多くが世襲化しており、親の代からプロレタリアート（労働者）として働いてもおらず、さまざまな利権を独占していて賄賂などを受け取り、一般大衆とは別格の裕福な生活を送っており、結局、17世紀や18世紀の貴族による支配とほとんど変わらなくなってしまっている（共産貴族、ノーメンクラトゥーラ）。

関連しない文書4: プロレタリア独裁: プロレタリア独裁（プロレタリアどくさい、、）とは、階級独裁の1種で、プロレタリアートによる独裁のこと。労働者階級独裁、無産階級独裁とも訳される。日本では「プロ独」とも略される。

関連しない文書5: プレカリアートユニオン: プレカリアートとは、不安定な労働者という意味の造語であるが、職業や雇用形態にかかわらず、誰でも加入できる。組合費に関しては月々年収によって変わってくる。
クエリ: プロレタリアートとは何ですか？

関連文書: ルンペンプロレタリアート: ルンペンプロレタリアート（）とは、カール・マルクスが使用した用語で、プロレタリアート（労働者階級）のうち階級意識を持たず、そのため社会的に有用な生産をせず、階級闘争の役に立たず、更には無階級社会実現の障害となる層を指す呼称。略して「ルンプロ」ともいう。

関連しない文書1: 四権: イギリスの思想家で政治家のエドマンド・バークが、新聞のことを第四階級 (Fourth Estate) と呼んだのが最初とされ、このときは国王（または聖職者）・貴族・市民の三身分に次ぐ社会的勢力の意味であった。第四階級の語は、のちプロレタリアート（無産階級）を指す別の意味の言葉にもなった。日本では田中角栄が第四権力という言葉を定着させた。

関連しない文書2: 階級政党: 歴史的には階級闘争を重視するマルクス主義の影響を強く受けた社会主義・共産主義において、みずからを労働者階級・プロレタリアート（無産階級）の政党と位置づけたことが大きい。このとき打倒の対象としての資本家階級の政党は蔑称的にブルジョアジー政党（政治体制としてはブルジョア民主主義）とされた。実際にはブルジョワジー政党とされる側（主に保守政党や中道政党）が自らを階級政党と位置づけることはあまりない（国民政党と称するのが普通である）。

関連しない文書3: カール・マルクス: は「マルクスとエンゲルスは公にはプロレタリアートを人類の救済者と呼び、その独特の優れた性格を賛美してやまなかった。だが私的にはプロレタリアートについての彼らの言葉はますます尊大に侮蔑的になってきた。エンゲルスはマルクスへの報告の中で、まるでプロイセン軍の軍曹が新兵に向かって用いるような言葉でプロレタリアを語っている。『あいつら』、『あの駄馬たち』、『何でも信じる愚かな労働者』」と主張する。マルクスに批判的なも「プロレタリアートが自らのゴールを設定し、他からの援助なしにそれを実現する能力に関してマルクスが懐疑的であったことは様々な資料からうかがい知れる。このことは革命は決して大衆から起こることはなく、エリート集団から発するものだという彼の見解とも一致する」と主張する。も「マルクスは人間を侮蔑していた。とりわけ彼がプロレタリアートと呼んだ人種を」と主張する。

関連しない文書4: 独裁政治: これらはマルクス・レーニン主義を掲げる社会主義国で、共産党（共産党幹部）が独裁している。「プロレタリア独裁」という概念などを根拠としている。ただし、実際には共産党の幹部は多くが世襲化しており、親の代からプロレタリアート（労働者）として働いてもおらず、さまざまな利権を独占していて賄賂などを受け取り、一般大衆とは別格の裕福な生活を送っており、結局、17世紀や18世紀の貴族による支配とほとんど変わらなくなってしまっている（共産貴族、ノーメンクラトゥーラ）。

関連しない文書5: プロレタリア独裁: プロレタリア独裁（プロレタリアどくさい、、）とは、階級独裁の1種で、プロレタリアートによる独裁のこと。労働者階級独裁、無産階級独裁とも訳される。日本では「プロ独」とも略される。
クエリ: キンティンスヒル鉄道事故は人身事故か？

関連文書: キンティンスヒル鉄道事故: キンティンスヒル鉄道事故（キンティンスヒルてつどうじこ、）は、イギリス・スコットランド・のグレトナ・グリーン近郊にあるキンティンスヒル（クィンティンズヒル）信号場で1915年5月22日に発生した列車の多重衝突事故である。200人以上が死亡し、イギリスの鉄道史上最悪の事故となった。

関連しない文書1: キンティンスヒル鉄道事故: 2回の衝突により、兵員輸送列車に乗っていた多くの兵士たちが死亡した。しかし続けて起きた火災が、事故を一層悲惨なものとした。戦時の膨大な輸送量で客車は不足しており、の時代遅れとなっている客車を使わざるを得なかった。この客車は木製の車体と台枠を備えており、鋼製の客車に比べると衝突時の耐性は無いに等しく、またピンチガス（Pintsch gas、ナフサが原料）を利用したガス照明装置を使っていた。台枠の下に吊り下げられたタンクに照明用のガスが貯蔵されており、このタンクが衝突事故で破裂した。漏れ出したガスが、機関車の石炭を燃やす炎で引火した。ガスタンクはラーバートを出発する前に充填されたばかりであり、消火用の水が不足していたこともあって、鉄道員やカーライル消防隊の消火活動にもかかわらず、鎮火するのは翌朝までかかった。

関連しない文書2: キンティンスヒル鉄道事故: キンティンスヒル信号場は、グラスゴーとカーライルを結ぶ（現在はウェスト・コースト本線の一部）にあり、本線の両側に2本の待避線を備えていた。事故当時、待避線は2本とも貨物列車が入線しており、旅客の普通列車が南行（上り）の本線上に待機していた。最初の事故では、発リヴァプール行きの南行（上り）の兵員輸送列車が、停車中の普通列車に衝突した。その1分後、最初の事故の残骸に、ロンドン・ユーストン駅発グラスゴー行きの北行（下り）急行寝台列車が衝突した。兵員輸送列車に使われていた古い木造客車に備えられていたピンチガスを利用した照明装置から漏れたガスに引火し、事故に巻き込まれた5本の列車すべてがすぐに炎上した。

関連しない文書3: グレトナ・グリーン: グレトナ・グリーン（Gretna Green）は、スコットランド南部西海岸の小さい町である。駆け落ち結婚（runaway wedding）で有名。ダンフリーズ・アンド・ガロウェイにあり、エスク川の河口近くに位置する。ロンドン-エジンバラ間の街道上にある、スコットランドの最初の町であった。グレトナ・グリーンにある駅はグレトナ・グリーンとグレトナ両方を管轄する。227人の死者を出したイギリス史上最大の列車事故であるキンティンスヒル鉄道事故は、1915年グレトナ・グリーンの近辺で起こった。

関連しない文書4: キンティンスヒル鉄道事故: 陪審は退室し、1時間後に戻ってきて、ティンズリー、ミーキン、ハッチンソンの重大な怠慢のために、今回の審問の対象である27人が死亡したとする評決を出した。このため検視官は、3人を次に開催されるカンバーランドの巡回裁判に過失致死の容疑で送った。3人とも保釈を認められた。

関連しない文書5: キンティンスヒル鉄道事故: 6時49分、上り本線上に停車していた普通列車に兵員輸送列車が衝突した。1分少し後に、2本目の急行列車がやってきて最初の事故の残骸に突っ込んだ。下り待避線と上り待避線に停車中だった貨物列車も巻き込んだ。6時53分にティンズリーは、グレトナ・ジャンクションとカークパトリックの双方の信号扱所に対して「危害あり」の緊急電鈴を送り、事故の発生を知らせてすべての列車の運行を停止させた。
クエリ: キンティンスヒル鉄道事故は人身事故か？

関連文書: キンティンスヒル鉄道事故: 英国放送協会 (BBC) が制作し、2015年5月20日に放送されたドキュメンタリー、「キンティンスヒル: イギリス史上で死者最大の鉄道事故」では、現代の鉄道事故調査の観点からこの事故を再検証した。番組では、2人の信号扱い手は事故に関してスケープゴートにされたと主張し、事故の責任はカレドニアン鉄道と政府（戦時に際して鉄道を運営していた）にあるとした。さらに、判決後に2人とも復職している事実に触れ、会社と2人の間で事故の責任に関して何らかの謀議があった可能性を示唆した。

関連しない文書1: キンティンスヒル鉄道事故: この2人は、その職務に関して事故を引き起こしたとして訴追された信号扱い手として、最初でも最後でもない。1892年のではジェームズ・ホームズが過失致死に問われたが、無罪となった。1967年のでは、信号扱い手のフロストの業務が事故につながったとして2年収監された。

関連しない文書2: キンティンスヒル鉄道事故: 兵士たちの遺体は、83体が身元確認され、82体は回収できたが身元確認できず、50体は回収できず、合計で215人となったが、後に陸軍は214人に訂正した。兵士たちはの礼によって埋葬された。

関連しない文書3: キンティンスヒル鉄道事故: 事故に関する初の公式調査は、5月25日にカーライルのカウンティ・ホールで行われた。商務省を代表して、のE. ドルイト中佐が調査を指揮した。ドルイト中佐はこの時点で、既に事故現場を訪問してしばらく調査し、さらにカーライルでもミーキンやティンズリーを含む証人たちに質問を行っていた。2人とも、規定に反した取り扱いや自分たちのだらしのない勤務について、正直に話した。ドルイト中佐は1915年6月17日に商務省に報告を提出し、ミーキンとティンズリーに責任があるとした。

関連しない文書4: キンティンスヒル鉄道事故: 普通列車を上り（南行）の本線に転線させた直後、信号の取り扱いに2点の誤りが発生した。まず、6時34分に石炭車の貨物列車が到着して「列車が区間から出た」という信号をカークパトリックの信号扱所に送った後に、本来は送っておくべきであった「再び区間に列車が入った」という信号が送られなかった。この信号を送れば、本線に列車が存在していることをカークパトリック信号扱所に通知して、キンティンスヒルに向かってこれ以上の列車を送り出さなくなるはずであった。2点目に、キンティンスヒルの信号扱い手は、本線に列車を転線させた際には、関連する信号扱いてこの動きを制約する器具を取り付けておくべきであった。これを取り付けておけば、信号機を進行現示にすることができなくなり、カークパトリックから次の列車を送り出すこともできなくなるはずだった。こうした取り扱いの誤りが重なって、南行の兵員輸送列車を、既に普通列車が在線している線路に走らせてしまい、6時49分の衝突につながった。

関連しない文書5: キンティンスヒル鉄道事故: 衝突に至る一連の出来事は、鉄道の規則に違反するところが複数点あり、後に2人の信号扱い手が訴追される要因となった。
クエリ: 『ウィザードリィ』を開発したのは誰

関連文書: ウィザードリィの登場キャラクター: 名前の由来は、『ウィザードリィ』の制作者ロバート・ウッドヘッドのロバート（Robert）を逆から綴ったものである。

関連しない文書1: サーテック: 代表作は3DダンジョンRPGの『ウィザードリィ』。ウィザードリィシリーズは1981年から2001年までの20年間にナンバリングタイトルだけで8作がリリースされた。

関連しない文書2: ウィザードリィRPG: グループSNEの安田均が中心になって展開したウィザードリィRPGシリーズ。発売元はアスキー。

関連しない文書3: ウィザードリィRPG: グループSNEの佐脇洋平が中心になって展開したウィザードリィRPGシリーズ。発売元はアスキー出版局およびアスペクト。

関連しない文書4: ウィザードリィ: 『ウィザードリィ』（Wizardry）は、1981年に米国のサーテック社からApple II用ソフトウェアとして発売された3DダンジョンRPGである。

関連しない文書5: ダンジョンズ&amp;ドラゴンズ: 『ダンジョンズ&ドラゴンズ』は、ゲイリー・ガイギャックスとデイヴ・アーンソンによってゲームデザインされ、アメリカのTactical Studies Rules（後に"TSR, Inc."に改名）社が1974年に制作・販売したテーブルトークRPGである。その後、何度か改版を重ねたが、1997年にウィザーズ・オブ・ザ・コースト（"Wizards of the Coast"：略称WotC）社がTSR社を買収して以降は同社より販売されている。2000年には大幅に変更を加えた第3版が発売され、2008年に第4版、2014年には第5版が発売された。第3版以降のナンバリングは『アドバンスト・ダンジョンズ&ドラゴンズ 第2版』に続くものであり、かつてのD&Dの改版ではない。