stanford-oval/wikipedia huggingface dataset:
ファラフィーナ
ディスコグラフィ > 参加アルバム

ジョン・ハッセル : 『フラッシュ・オヴ・ザ・スピリット』 - Flash of the Spirit (1988年)
坂本龍一 : 『ビューティ』 - Beauty (1989年) ※3曲参加
ローリング・ストーンズ : 『スティール・ホイールズ』 - Steel Wheels (1989年) ※「Continental Drift」に参加
馬廖

馬 廖（ば りょう、生年不詳 - 92年）は、後漢の外戚。字は敬平。本貫は右扶風茂陵県。馬防・馬光・明徳馬皇后の兄にあたる。
経歴

馬援の長男として生まれた。父の蔭官により若くして郎に任じられた。60年（永平3年）、妹の馬皇后が立つと、馬廖は羽林左監・虎賁中郎将に任じられた。
後に軍司馬の鄭衆とともに車師を攻撃した。
明帝が死去すると、遺詔により馬廖は禁門をつかさどることとなり、趙熹に代わって衛尉となって、章帝に尊重された。
馬廖は明徳皇太后に徳政をおこなうことを勧める上疏をおこなった。
馬廖は性格が誠実慎重で、権勢や名声を好まず、毀誉褒貶に囚われなかった。封爵を受けるのを辞退し続け、ようやく79年（建初4年）に順陽侯に封じられた。特進として官を引退し、邸に隠居した。賞賜あるたびに、辞退して受け取らなかった。
92年（永元4年）、死去した。諡は安侯といった。
子孫 > 子

馬豫（歩兵校尉）
馬遵（後嗣、程郷侯）
子孫 > 孫

馬度（潁陽侯、馬豫の子）
伝記資料

『後漢書』巻24 列伝第14
| --- | --- |
典拠管理データベース :  VIAF  WorldCat
ヤー・スィーン (クルアーン)

| --- | --- |
 ヤー・スィーン
啓示:  マッカ啓示
章題の意味:  冒頭にある神秘文字のヤー・スィーンにちなんで名付けられる
詳細
スーラ:  第36章
アーヤ:  全83節
ジュズウ:  22 - 23番
ルクー:  5回
神秘文字:  يس
前スーラ:  創造者
次スーラ:  整列者
テンプレートを表示
『ヤー・スィーン』とは、クルアーンにおける第36番目の章（スーラ）。83の節（アーヤ）から成る。
章の冒頭に神秘文字（Muqatta'at）が置かれているもの（計29スーラ）のうちの一つ。
ヤー・スィーンとは、ムハンマドの別名。本章は「クルアーンの心臓」とも呼ばれる。例えば最後の83節は啓示の核心を説いているとされるように、ムスリムが最も重んじる章句の一つといわれる。
脚注・出典

1 2  日本ムスリム情報事務所 聖クルアーン日本語訳
↑  岩波イスラーム辞典「クルアーン」「ヤースィーン章」
ジョージ・フェイス

| ジョージ・フェイス George Faith |
| --- | --- |
生誕:  1946年7月6日
出身地:   ジャマイカ、キングストン
死没:  2003年4月16日
ジャンル:  レゲエ、ラヴァーズロック
職業:  シンガーソングライター
活動期間:  1970年～2003年
レーベル:  ブラック・アーク アイランド・レコード、GG's スタジオ・ワン
共同作業者:  リー・ペリー
ジョージ・フェイス（英: George Faith、1946年7月6日 - 2003年4月16日）は、ジャマイカのキングストンで生まれた歌手。1977年にリー・ペリーのブラック・アーク・スタジオで制作された「スーパー・エイト」以来、多くの作品を残した。
アルバム

Super Eight (1977) Black Art, also issued as To Be a Lover (1978) アイランド/Black Swan
One & Only (1978) Burning Sounds
Soulful (1979) Hollywood
Loving Something (1979) GG's
Since I Met You Baby (1982) GG's
Happy Anniversary (1986)
Sings For Lovers Only (1987) Nighthawk
Just The Blues (1993) スタジオ・ワン
Rock For Lovers (1998) Nyam Up
Reggae Got Soul (1999) Charly
Reggae's Love & Affection (2002) Clocktower
Together Forever (1999), Joe Frasier – Marie Baines & George Faith
Straight to the Heart (2006), EAD
シングル

"See Me" (1970)
"Green Hills, I Won't Cry" (1973)
"Gonna Give Her All The Love I've Got" (1973)
"To Be A Lover" (1974)
""Soulful Lover" (197?)
"Since I Met You Baby" (197?)
"Island in the Sun" (197?)
"Love Is Something" (197?)
"So Many Ways" (197?)
"Love Depression" (197?)
"To Be a Lover (Have Mercy)" (1977) Island/Black Swan
"Midnight Hour" (1977) island/Black Swan
"All The Love I've Got" (1977) Island/Black Swan
"I've Got The Groove" (1978) Island/Black Swan
"Opportunity" (1978) Island
"Guideline" (1978)
"Don't Be Afraid" (1978) Upsetter
"So Many Ways" (1978) Sunshot
"Don't Be Afraid" (ディスコ・ミックス) (1979) Warrior
"I Would Be Telling You A Lie" (1979) GG's
"Sam Stone" (1979) GG's
"Gipsy Woman"
"I'm So Glad" (1979) Black & White
"Follow Jah" (1979) Justice
"What To Do" (1980) Paradise...
"Give Me Music" (1981) Nura
"Stealing Love" GG's
"Say You Say Me" Top Rank
"Old Fashioned Love" (1984)
"Ordinary Girl" (1988) Pickout
"Loving Someone" (1988)
"Need to Belong to Someone" (1988) バニー・リー
"On My Own" Joe Frasier (with Marie Baines)
"The End of the World" Studio One
"Ask Her" Arrows
"Lavender Blue" (1996)
フィリップ・マハラゼ

|  ザカフカース社会主義連邦ソビエト共和国の政治家フィリップ・イェセーヴィチ・マハラゼФилипп Иесеевич Махарадзе ფილიპე ესეს ძე მახარაძე |
| --- | --- |
 
生年月日:   (1868-03-21) 1868年3月21日
出生地:   ロシア帝国クタイス県（ロシア語版）オズルゲチ郡（ロシア語版）シェモクメディ（英語版） （カリスクレ、パシャルシとも）
没年月日:   (1941-12-10) 1941年12月10日（73歳没）
死没地:   ソビエト連邦  グルジア・ソビエト社会主義共和国、トビリシ
出身校:  ワルシャワ獣医学院（ポーランド語版）（中退） チフリス神学校（ロシア語版）卒業 オズルゲチ神学校卒業
所属政党:  （ロシア社会民主労働党→） ボリシェヴィキ
称号:  レーニン勲章（1941年） ザカフカース社会主義連邦ソビエト共和国労働赤旗勲章
  ザカフカース社会主義連邦ソビエト共和国 中央執行委員会議長
在任期間:  1931年2月27日 - 1935年3月5日 1935年5月27日 - 1937年
  グルジア革命委員会議長
在任期間:  1921年2月16日 - 7月7日
  全グルジア中央執行委員会議長
在任期間:  1922年3月7日 - 10月 1931年2月20日 - 1938年7月8日
  グルジア・ソビエト社会主義共和国 最高会議幹部会議長
在任期間:  1938年7月10日 - 1941年12月10日
  グルジア社会主義ソビエト共和国 人民委員会議議長
在任期間:  1929年 - 1930年
中央執行委員会議長:  ミハ・ツハカヤ
テンプレートを表示
フィリップ・イェセーヴィチ・マハラゼ（Фили́пп Иесеевич Махара́дзе、1868年3月21日 - 1941年12月10日）、民族名ピリペ・エセス・ゼ・マハラゼ（グルジア語: ფილიპე ესეს ძე მახარაძე）は、グルジア人のボリシェヴィキ政治家・文筆家。
生涯 > 青年期

1868年3月21日（ユリウス暦9日）、ロシア帝国クタイス県（ロシア語版）シェモクメディ（英語版）（カリスクレ、パシャルシとも）で生まれた。父は元農奴の貧しい司祭で、グルジア語で自分の名前が書けるのみ、母は文盲の農婦であったという。
1877年からオズルゲチ神学校で学び、エグナテ・ニノシュヴィリ（英語版）やシリビストロ・ジブラゼ (en) と同窓となる。
1884年にオズルゲチ神学校を卒業してチフリス神学校（ロシア語版）に進んだ（この時の同級生にノエ・ジョルダニアがいた）。模範生であったが、入学翌年には地下学生組織に参加して無神論者となった。ヴィッサリオン・ベリンスキー、ニコライ・チェルヌィシェフスキー、ニコライ・ドブロリューボフ、ドミトリー・ピーサレフ、ニコライ・シェルグノフ（ロシア語版）などに親しみ人民の意志に共感したが、理論的にはマルクス主義はおろかナロードニキとも縁遠かった。在学中の1886年5月にはイオセブ・イアギアシュヴィリ（グルジア語版）がパーヴェル・チュデツキー学長を殺害する事件が発生している。
1890年には学生ストに参加するも、辛くもチフリス神学校を卒業し、翌1891年にジョルダニアとともにワルシャワ獣医学院（ポーランド語版）に入学した。同年秋にはマルクス主義の学生組織に加入し、労働者の間で宣伝を行うとともに、違法な文献を故郷グルジアへと送った。1893年にはグルジア語マルクス主義雑誌を創刊し、グルジアの空想的社会主義者を批判する最初の記事を書いたが、逮捕されワルシャワ要塞（ロシア語版）での2年の禁固刑を受けた。1895年初頭に釈放されてザカフカースに送還され、1899年まで当局の監視を受けた。マハラゼはこの状況下でも、ジョルダニア、ジブラゼ、ミハ・ツハカヤとともにチフリスの社会民主主義組織「メサメ・ダシ（英語版）」の創立に関わり、『クヴァリ』誌に歴史、経済に関する記事を寄稿した。
1896年から1900年にかけては、ヨシフ・スターリン、サーシャ・ツルキゼ（英語版）、ラド・ケツホヴェリ（英語版）らの革命家と親交を持った。
生涯 > 革命期

1900年から半年間は兵役に就き、その後はチフリスに定住してジョルダニアとともに『クヴァリ』編集局に勤務。翌1901年にはツルキゼとともにバトゥムで宣伝活動を行い、二度の逮捕を受けて同年末にクタイスに監視付きで追放された。同時期にジョルダニアが収監された際には、『クヴァリ』編集長を務めている。翌1902年には、西グルジアでの農民運動の高まりに伴い、同志らとともにグリア・ミングレリア（グルジア語版）委員会を組織し、翌1903年にはロシア社会民主労働党に入党。党カフカース連合委に所属し、第1回カフカース組織大会にも出席した。
1904年に『クヴァリ』を政府が廃刊したことに伴い、チフリスへ戻って翌1905年初頭にボリシェヴィキ系雑誌『モグサウリ』を創刊したが、発刊と同時に逮捕され、半月間拘留された。同時期にはアヴラバリ印刷 (ru) で非合法新聞『プロレタリアティス・ブルゾラ』の編集・執筆も行った。1905年末に再逮捕されメテヒ（グルジア語版）刑務所に収監されたが、翌1906年5月に釈放され、同年秋から翌1907年2月までドイツで過ごした。
1908年1月には三度逮捕され、懲役8か月の後アストラハン県へ追放された。1911年中旬に追放刑が終了してもグルジアへは戻れず、ロストフ・ナ・ドヌとアレクサンドロフスク・グルシェフスキーの炭鉱で働いた（ここでマハラゼは教師をしていた未来の妻と出会った）。現地で多数のボリシェヴィキ党細胞を組織した後、マハラゼは1913年初頭に、病のためにバクーへ移った。ボリシェヴィキ組織が壊滅的状況にあったバクーにおいても活発に活動し、『チュヴェニ・ツカロ』誌も編集したが、翌1914年初頭にバイロヴォ（ロシア語版）刑務所 (ru) に4-5か月間収監された。1915年2月にはバクー県へ追放され、その後チフリスとクタイスに潜伏。同月からは党カフカース局に所属し、ステパン・シャウミャンとともに組織を指導した。翌1916年5月には反戦パンフレットを配布してまたも逮捕されている。
二月革命後はチフリスで労働者代表ソビエトの組織を始め、最初のボリシェヴィキ新聞『カフカースキー・ラボーチー』(ka) も創刊した。同年4月には党第7回全ロシア会議 (ru) に出席するために、ツハカヤとともにペトログラードに送られている。11月からは党カフカース地方委メンバーを務め、1919年5月の全カフカース党会議では、農民とプチブルを懐柔するために「独立ソビエト・アゼルバイジャン」というスローガンを採用したアナスタス・ミコヤンらバクーの活動家に対し、プロレタリア国際主義からの後退であるとして激しく反対する立場をとった。
1918年5月には北カフカースに赴き、テレク・ソビエト共和国の財務人民委員に選出されている。白軍の侵攻によりテレク共和国が崩壊するとグルジア民主共和国に潜伏し、メンシェヴィキ政権に対する蜂起を指導した。蜂起は失敗しマハラゼらはムツヘタ要塞に投獄されたが、1920年2月に3人の同志とともにチフリス刑務所から脱獄した。同年からはロシア共産党中央委カフカース局 (en) の、5月から翌1921年まではグルジア共産党（英語版）中央委幹部会のメンバーを務めた。1920年末にはコミンテルン第2回大会（英語版）と東方諸民族大会にも出席している。
生涯 > グルジア問題

詳細は「グルジア問題」を参照
マハラゼは1921年2月16日から7月7日まではグルジア革命委議長、同年から翌1922年2月まではグルジア社会主義ソビエト共和国農業人民委員、翌3月7日から10月までは全グルジア中央執行委議長に就いた。こうしてグルジア共和国指導部に上り詰めたマハラゼであったが、同時期のザカフカースでは、カフカース局責任書記セルゴ・オルジョニキゼによる、モスクワすら危惧するほど急速・強権的な、ザカフカース3国の政治的・国家的統合が推進されていた。
マハラゼはロシア共産党中央委宛てに報告書を書き送り、グルジア共産党やグルジア革命委を無視したカフカース局の独断専行によるザカフカース連邦構想は「大衆に極めて不人気で、全く大衆から遊離した、もう一つ余計な官僚主義的機構を創るだけ」の、「民族主義的志向を弱めるのではなく、かえって強化」するものであると強く批判した。のみならず、「赤軍の進撃が開始されたとき、グルジアの党細胞はどれ一つとして、党員は誰一人として、進撃の意図と目的について通知されて」おらず、「グルジアへの赤軍の進撃とソビエト権力の樹立宣言は、外国の占領という明白な性格をとってしまった」と、かつてオルジョニキゼが指揮した赤軍のグルジア侵攻（英語版）そのものにも批判を加えている。
ザカフカース連邦構想に反対するマハラゼらグルジア共産党中央委員（ブドゥ・ムディヴァニ、セルゲイ・カフタラゼ（英語版）、ミハイル・オクジャヴァ、コテ・ツィンツァゼらの「グルジア反対派」）の訴えはやがてウラジーミル・レーニンも知るところとなり、オルジョニキゼを擁護したスターリンに対するレーニンの不信は後の「レーニンの遺書（ロシア語版）」問題へと波及してゆくこととなる。
しかし結局は、グルジア反対派が多数を占めていたグルジア共産党中央委の1922年10月22日の総辞職と、オルジョニキゼの配下ベソ・ロミナゼ（ロシア語版）第一書記による新体制発足により、グルジア反対派は影響力を失った。グルジア反対派が拒絶した「ザカフカース社会主義連邦ソビエト共和国」は同年12月13日に成立し、グルジア反対派は翌1923年4月のロシア共産党第12回大会（ロシア語版）でのスターリン演説で「反ロシア的排外主義」として片付けられた（マハラゼは、この大会にザカフカース地方委代表として選出された唯一のグルジア反対派であった）。
生涯 > 後半生

その後、ムディヴァニやオクジャヴァとは対照的に、マハラゼは「悔い改めた」反対派としてソビエト史学（英語版）から称揚された。1924年からはザカフカース連邦共和国労働防衛会議（ロシア語版）附属ゴスプラン議長、1927年12月19日から1930年6月26日まで全連邦共産党中央統制委（ロシア語版）メンバーを務め、1929年から翌1930年まではグルジア共和国人民委員会議議長でもあった。1931年2月20日から1938年7月8日まで再度全グルジア中央執行委議長、1931年2月27日から1935年3月5日までと1935年5月27日から1937年までの2度に渡ってザカフカース連邦共和国中央執行委議長、1938年7月10日からグルジア・ソビエト社会主義共和国最高会議（グルジア語版）幹部会議長を務めた。
連邦党大会には第12回の他第13回大会（ロシア語版）から第18回（ロシア語版）まで（第14回（ロシア語版）を除く）出席し、1938年からは 連邦最高会議幹部会副議長にも就いた。全連邦共産主義アカデミー（ロシア語版）会員や全グルジア中央執行委附属マルクス・レーニン主義研究所所長も務めたが、グルジア共和国最高会議幹部会議長に在職中の1941年12月10日にトビリシで死去した。遺体は同地のムタツミンダ・パンテオン（ロシア語版）へ葬られたが、1989年末にツハカヤ、シリヴェストル・トドリヤとともにフダドフの森 (ka) に改葬された。
グルジアの都市オズルゲティおよびオズルゲティ地区（ロシア語版）は、マハラゼを記念し、1934年から1989年まで「マハラゼ」および「マハラゼ地区」と呼ばれた。
文筆家として

1899年以来、グルジアにおけるマルクス主義的評論の草分けとなり、イリア・チャフチャヴァゼ、モセ・ジャナシュヴィリ（ロシア語版）、アレクサンドル・ハハノフ（ロシア語版）らの「ブルジョワ的」評論や、イヴァネ・ゴマルテリ（ロシア語版）の「メンシェヴィキ的」評論に対抗した。評論家としてはアレクサンドル・プーシキン、マクシム・ゴーリキー、ショタ・ルスタヴェリ、ダニエル・チョンカゼ（英語版）やニノシュヴィリの作品を分析し、歴史家としてもグルジア史、ザカフカース史、革命運動史の研究に大きな影響を与えた。
マハラゼ著作集全15巻の刊行は、1923年にグルジア共産党中央委により決定された。しかし、1935年に全連邦共産党ザカフカース地方委第一書記ラヴレンチー・ベリヤが『ザカフカースにおけるボリシェヴィキ組織の歴史の問題について』を発表すると、スターリン賛美と歴史の歪曲に満ちたこの本の中で、マハラゼの著作は「誤謬と歪曲」を名指しで指摘された。マハラゼはこの歴史の歪曲に対しても、死まで沈黙を貫いた。
アルシソ・アルテジアーニ

| アルシソ・アルテジアーニ> グランプリでの経歴 |
| --- | --- |
国籍:   イタリア
活動期間:  1949 - 1951
チーム:  ジレラ、MVアグスタ
レース数:  7
優勝回数:  0
表彰台回数:  6
通算獲得ポイント:  35
初グランプリ:  1949 500cc スイスGP
最終グランプリ:  1951 500cc スペインGP
テンプレートを表示
アルシソ・アルテジアーニ（Arciso Artesiani、1922年2月21日 ‐ 2005年3月16日）は、1940年代から1950年代にかけて活躍したイタリア出身のオートバイレーサー。
アルシソは、1949年のロードレース世界選手権第1回にジレラから出場を果たした。以後はMVアグスタに乗り換えて出場し、1951年に引退した。彼が得た最高位は、1949年の500ccクラス3位だった。
戦歴 > ロードレース世界選手権

1949年のポイントシステム
| 0 | 1 | 2 | 3 | 4 | 5 | 6 |
| --- | --- | --- | --- | --- | --- | --- |
| 順位 | 1 | 2 | 3 | 4 | 5 | ファステストラップ |
| ポイント | 10 | 8 | 7 | 6 | 5 | 1 |
1950年から1968年までのポイントシステム
| 0 | 1 | 2 | 3 | 4 | 5 | 6 |
| --- | --- | --- | --- | --- | --- | --- |
| 順位 | 1 | 2 | 3 | 4 | 5 | 6 |
| ポイント | 8 | 6 | 4 | 3 | 2 | 1 |
凡例
ボールド体のレースはポールポジション、イタリック体のレースはファステストラップを記録。
| 年 | クラス | チーム | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | ポイント | 順位 | 勝利数 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1949 | 500cc | ジレラ | IOM - | SUI 2 | NED 3 | BEL 2 | ULS - | ITA 2 |  |  | 25 | 3位 | 0 |
| 1950 | 500cc | MVアグスタ | IOM - | BEL 5 | NED - | SUI - | ULS - | ITA 3 |  |  | 6 | 8位 | 0 |
| 1951 | 500cc | MVアグスタ | SPA 3 | SUI - | IOM - | BEL - | NED - | FRA - | ULS - | ITA - | 4 | 13位 | 0 |
ジョン・スチュアート・ミル

| --- | --- |
 ジョン・スチュアート・ミル
生誕:  1806年5月20日  イギリス・ロンドン
死没:  1873年5月8日(1873-05-08)（66歳没）  フランス共和国・アヴィニョン
時代:  19世紀の哲学
地域:  西洋哲学
配偶者:  ハリエット・テイラー・ミル(1851年-1858年、死別)
学派:  経験論、功利主義、自由主義
研究分野:  政治哲学、倫理学、経済学、帰納・論理学、科学哲学
主な概念:  パブリック領域／プライベート領域、hierarchy of pleasures in Utilitarianism、自由主義、初期リベラル・フェミニズム、危害の原理（他者危害排除の原則、愚行権）、ミルの方法
  影響を受けた人物 プラトン、アリストテレス、デモステネス、トマス・アクィナス、トマス・ホッブズ、ジョン・ロック、デイヴィッド・ヒューム、チャールズ・バベッジ、ジョージ・バークリー、ジェレミ・ベンサム、フランシス・プレイス、ジェームズ・ミル、en:Harriet Taylor Mill、アダム・スミス、en:Nassau William Senior、デヴィッド・リカード、アレクシ・ド・トクヴィル、ヴィルヘルム・フォン・フンボルト、ヨハン・ヴォルフガング・フォン・ゲーテ、en:Alexander Bain (philosopher)、オーギュスト・コント、アンリ・ド・サン＝シモン（空想的社会主義）、en:Jean-François Marmontel、ウィリアム・ワーズワース、サミュエル・テイラー・コールリッジ、ヨハン・ゴットフリート・ヘルダーなど 
  影響を与えた人物 ウィリアム・ジェームズ、ロバート・ノージック、ジョン・ロールズ、バートランド・ラッセル、アイザイア・バーリン、カール・ポパー、ロナルド・ドウォーキン、ハーバート・ハート、ピーター・シンガー、ヴィルヘルム・ディルタイ、en:Roger Crisp、ジョン・メイナード・ケインズ、ミルトン・フリードマン、ポール・ファイヤアーベント、ジョン・グレイ、ナイジェル・ファラージ、ポール・クルーグマン、ノーマン・フィンケルスタイン、クリストファー・ヒッチェンズ、アヤーン・ヒルシ・アリ、ウィル・キムリッカなど 
署名:  
テンプレートを表示
ジョン・スチュアート・ミル（John Stuart Mill、1806年5月20日 - 1873年5月8日）は、イギリスの哲学者。政治哲学者、経済思想家でもあり、政治哲学においては自由主義・リバタリアニズムのみならず社会民主主義の思潮にも多大な影響を与えた。晩年は自ら社会主義者を名乗っている。
倫理学においてはベンサムの唱えた功利主義の擁護者として知られる他、論理学分野においてはバートランド・ラッセルら後続の分析哲学にも強い影響を与え、初期科学哲学の重要な哲学者として知られる。
生涯

ジョン・スチュアート・ミルの生涯は、彼の精神的、思想的発達の描写を中心とした『自伝』（『ミル自伝』とも。1873年）で詳細に語られている。
生涯 > 幼年時代

ジョン・スチュアート・ミルはロンドンにてハリエット・バロウと哲学者ジェームズ・ミルの長男として生まれた。ミルは学校へ行かず厳格な父親によって教育され、また父親と親交が深かったベンサムやフランシス・プレイスにも助言をもらったりした。 小さい頃から年中勉強させられ、同年代の子供たちと遊ぶことは禁じられていた。父親のジェームズ・ミルはベンサムの思想に共感し、またアソシエーショニズム（Associationism）の支持者でもあった。ジェームズはそれらの考えにもとづき、ミルを優れた知識人に育て上げたい、そしてベンサムと自分の死後は功利主義の思想をミルに担わせたいと考えていた。
ミルは早くから頭角を現し、自伝によると3歳にして古代ギリシア語を学んでいた。8歳になる頃にはイソップ寓話、クセノポンの『アナバシス』、ヘロドトスの著作全てを読み、またルキアノス、ディオゲネス・ラエルティオス、イソクラテス（Isocrates）、プラトンの初期の対話篇6篇を読みこなしていた。また英語で書かれた歴史の本を大量に読み、数学、物理学、天文学も学んでいた。
8歳から13歳にかけてのミルの学習の記録は、彼と同時代に生きたスコットランドの哲学者であるアレクサンダー・ベイン（Alexander Bain）によって出版されている。ベインによると、ミルの自伝は彼が実際にやってのけた学習量を控えめに述べているという。8歳の時分にミルはラテン語、ユークリッド幾何学、代数学を学び始め、父親によって家族内で彼の弟たちの教師役に選ばれた。彼の読書の大部分はいまだ歴史物が大半を占めていたが、ミルはまた当時の学校や大学で広く読まれていた全てのラテン語とギリシア語の著作を読んでもいた。ミルはラテン語やギリシア語で作詩することは教わらず、それらの言語での著作の内容を理解するためだけに向けられていて、10歳の頃には彼はプラトンやデモステネスを難なく読むようになった。彼が12歳の頃、1818年に父親のジェームズによる著作『インドの歴史』が刊行され、そのほぼ直後からミルはスコラ論理学を全般的に学び始め、またそれと同時に、アリストテレスの論理学に関する論文を原語で読みはじめた。翌年、彼は政治経済学を始め、アダム・スミスやデヴィッド・リカードを父親と共に学習・研究し、彼らの古典派経済学の生産要素の見方を完全に学び取った。
生涯 > 精神の危機とその後

ミルは21歳のときに本人の言う「精神の危機」に陥り、興味・意欲の著しい減退とうつ状態に陥った。ウィリアム・ワーズワースなどの当時のロマン主義への接近と、（時系列上は少し遅れるが）1830年に出会ったときすでに人妻であったハリエット・テイラー（1807年 - 1858年）との親密な交友関係によってミルはこの危機を乗り切っている。後者については、モラルにうるさいヴィクトリア朝期としてはかなりの問題であったが、ミル本人の証言によれば、この時期のミルとハリエットは清い交際を保っていた。ハリエットはテイラーとの間に二男一女があったが、1833年には末娘のヘレン（1831年 - 1907年）を連れて夫と別居し、週末にミルが彼女を訪問するライフスタイルをとった。ハリエットは社会活動家でもあり、その後のミルの著作全体に強い影響を与えている。ミルとハリエットはテイラーの死（1849年）の2年後、1851年に結婚したが、ハリエットのアヴィニョンでの急死（1858年）によって結婚生活は短命に終わった。ハリエットの没後は、先述した末娘ヘレンがミルの支えとなった。
ミルはオックスフォード大学やケンブリッジ大学から研究の場を提供されたがこれを断り、父と同様に1858年までイギリス東インド会社に奉職した。従って、ミルは専門職としての「学者」であったことは一度も無い。
東インド会社の解散後は、ロンドン・ウエストミンスター選挙区選出の無所属下院議員として1865年から68年まで短期間ながら選出されている。ミルは当時のリベラリストの代表格として、この時期にアイルランドの負担軽減を主張し、イギリス下院における最初の婦人参政権論者となっている。「代議制統治論」では比例代表制、普通選挙制など、はるかに時代の流れに先駆けた選挙制度改革を主張した。植民地におけるジャマイカ事件でチャールズ・ダーウィンなどとともに反乱側（黒人）を擁護し、エア総督を弾劾する論陣を張ったのもこの時期である。もっとも、政治家としてはあまりにも先進的・理想主義的であったために世の受け入れるところとならず、次の選挙では落選している。結局、英国で男女平等の普通選挙が実現したのは、第一次大戦後の1928年のことであった。なお、ミルはバートランド・ラッセルの名付け親でもある。1865年、セント・アンドルーズ大学の学長に任命された（1865年-1868年）。
ミルはフランスのアヴィニョンに滞在中、丹毒（連鎖球菌感染症の一つ）によって死去した。アヴィニョンに妻ハリエットと並んで墓がある。
学問におけるミルの業績

今日ミルの主著と考えられているものの多くは、1840年代以降（『自伝』における最終章にあたる）に書かれている。ミルは様々な学問で業績を残したが、彼の思想の基礎にあるものは、彼自身の功利主義という倫理的な姿勢であり、それらは『功利主義論』（1861年）などにおいて彼自身が述べている。
妻であったハリエット・テイラーは女性の人権について研究する哲学者であった。ハリエットはミルの著作や女性人権思想に少なからず影響を与えており、そのことは死別後初の著作となった自由論の冒頭においても語られている。
また1902年創刊でイギリスの知識階級に長く影響を与えたホイッグ党系の文化評論雑誌『エディンバラ・レヴュー（英語版）』にも、バートランド・ラッセルに先んじてたびたび寄稿した。
学問におけるミルの業績 > 政治哲学におけるミル

ミルの業績の中でもとりわけ彼の名が刻まれているのは政治哲学での貢献であろう。ミルの著わした『自由論』（1859年）は自由とは何かと問いかけるものに力強い議論を与える。ミルは、自由とは個人の発展に必要不可欠なものという前提から議論を進める。ミルによれば、私たちの精神的、道徳的な機能・能力は筋肉のようなもので、使わなければ衰えてしまう。しかし、もしも政府や世論によっていつも「これはできる。あれはできない。」と言われていたら、人々は自らの心や心の中に持っている判断する力を行使できない。よって、本当に人間らしくあるためには、個人は彼、彼女自身が自由に考え、話せる状態（=自由）が必要なのである。ここで、ミルの功利主義はその提唱者であるベンサムとはたもとを分かつ。簡単に述べると、ミルの功利主義は、快楽について、ベンサムが唱えた量的なものよりも質的な差異をみとめ精神的な快楽に重きを置いた。それは次のミルの有名な言葉で表されている。
ミルの『自由論』は個人にとって自由とは何か、また社会（国家）が個人に対して行使する権力の道徳的に正当な限界について述べている。『自由論』の中でも取り分け有名なものに、彼の提案した「危害の原理」がある。「危害の原理」とは、人々は彼らの望む行為が他者に危害を加えない限りにおいて、好きなだけ従事できるように自由であるべきだという原理である。この思想の支持者はしばしば リバタリアンと呼ばれる。リバタリアンという言葉が定義するものは広いが、通常は危害を加えない行為は合法化されるべきだという考え（=「危害の原理」）を含む。現代において、この「危害の原理」を基盤に幾人かのリバタリアンが合法化されることを支持するものとしては売春や現在非合法の薬物も含めた薬物濫用がある。
ヴィルヘルム・フォン・フンボルト「国家活動の限界を決定するための試論」(1851年、刊行)はミルの「自由論」にも大きな影響を与えた。ミルは『自由論』において、政府がどの程度まで国民の自由を制限できるか、国民はどの程度の客観的証拠による注意によって、自らの自由な注意によってどの程度まで政府に干渉されずに、自由な意思決定をなすべきなのか考察を行なった。例として毒薬の薬品の注意書きは政府によって命令されるべきか、自らの自由な意思によって注意すべきかを挙げて考察している。もし自らの意思によって注意すべきであるならば、政府は注意書きをつけるように強制すべきではないが、それが不可能ならば政府は注意書きを強制すべきであると論じ、国民の能力の問題をも取り上げることとなった。 酒や、タバコの注意書きや、それと類似に経済学的に意味がある酒税や、タバコ税の意味についても同じことがいえる。もし注意すべきではないということになれば夜警国家となるであろうし、一方リバタリアンのように経済的なことのみに注意すべきであるということも可能であろうし、またスウェーデンのような福祉国家を主張することも可能であるということになる。
ミルは自由論の中でオーギュスト・コントの実証主義哲学を次のように解釈している。
M. Comte, in particular, whose social system, as unfolded in his Système de Politique Positive, aims at establishing (though by moral more than by legal appliances) a despotism of society over the individual, surpassing anything contemplated in the political ideal of the most rigid disciplinarian among the ancient philosophers.
このヴィルヘルム・フォン・フンボルトとコントの考え方がミルの自由論の根底にあったのである。
アイザイア・バーリンは、これをさらに押し進めた。バーリンが用いた積極的自由、消極的自由という概念に従えば、ミルの『自由論』の議論の多くは消極的自由についてとなる。バーリンが提唱する消極的自由とは、障害、妨害、強制（抑圧）の欠如を意味する。また一方の積極的自由とは、行為できる（可能性的なものも含めた）能力、自由であるための必要条件 - 物質的資源、（ある人における）啓蒙の度合い、参政の機会など - の存在を指す。
この思想は明治時代においては「自由之理」として中村正直に翻訳され、大隈重信の立憲改進党の思想に大きく影響を与えた。
ミルは、他者に危害を加えない行為をするために、個人の自由な行ないを邪魔する法などの障害を取り除くのは政府の役目であると説いている。ミルは実際の自由の行使 - 例えば貧しい市民が生産的な仕事を得ること - を許す必要条件については議論を展開せず、それにはその後のチャーティスト運動に待たなくてはならなかった。
その後、『自由放任の終焉』を書いた経済政策のジョン・メイナード・ケインズなどに代表される20世紀の思想家の登場を待たなければならなかった。しかしニューディール政策を含め自由主義の運動には常にミルの自由論が大きく影響を与えたことは否めないといいうる。
また、ミルは『女性の隷属』（1861年）、『代議政治論』なども著わしている。実際の政治家（下院議員）としてのミルについては上段を参照のこと。
学問におけるミルの業績 > 論理学におけるミル

論理学の分野では、『論理学体系』（1843年）を著わした。同書においてミルは、因果性と真理の問題を解明する目的を持ちつつ、「ミルの方法」と呼ばれる帰納の方法を五つ提唱している。
ミルは、実証主義的な社会科学方法論の確立をめざし、帰納によって発見された経験法則を再度現象の予測に適用して法則の真理性を確認するという、オーギュスト・コントの歴史的方法を基にした逆演繹法を確立した。
学問におけるミルの業績 > 経済学におけるミル

デヴィッド・リカード後の古典派経済学の代表的な経済学者であり、『経済学原理』（1848年）を著わす。この長大な著作は古典派経済学の代表的な教科書として、アルフレッド・マーシャルの「経済学原理」の登場（1890年）まで君臨したと言える。ただし、厳密にはミルの著作のタイトルは政治経済学 political economy の教科書であり、マーシャルのそれは経済学 economics の教科書だった。その後、新古典派や、カール・マルクスとその後継者たちによって、「過渡期の経済学」としてさまざまな批判にさらされたが、近年では再評価が進んでいる。
ミルの経済学は、おおまかに言えばリカード以来の古典派経済学モデルのフレームワークに従っている。19世紀の英国は、産業革命や植民地獲得競争の勝利で、急激に物質的な豊かさを獲得した。しかし、そうした史上空前の繁栄にもかかわらず、貧富の格差や植民地の増加などの社会変化の中で、古典派元来の自由放任政策は行き詰まりを見せていた。経済学者ミルの課題は、そうした当時の「豊かな先進国」イギリスの社会問題に対して、具体的で実現可能な処方箋を書くことにあった。（例えば、同時代のチャールズ・ディケンズの描く貧困層のスケッチなどを見よ。）
基本的にミルは自由放任政策の支持者であったが、ロバート・オウエンなどのユートピア社会主義者の潮流の影響を受けて社会主義的な色合いを帯びており、マルクスとはしばしば対比される。『経済学原理』の版によってその社会主義への接近の度合いは変動し、最終版では社会主義に対してやや距離を置いている。これは、勃興する急進的な社会主義運動の実勢に、ミルが幻滅したためではないかと考えられている。社会主義体制の持つであろう恣意的な分配、表現の自由の圧殺などの考えられる弱点について、手厳しく、かつ先見性に富む予言をしている。
ミルは、生産が自然の法則によって与えられるのに対して分配は社会が人為的に変更可能であることに着目し、政府の再分配機能によって、漸進的な社会改革を行なうことに期待している。その意味では「大きな政府」によるセーフティ・ネットの構築に、激化する階級対立の処方箋を見出したと言える。長い時間はかかったが、おおよそ英国社会はマルクスの激越な革命の予言ではなく、ミルの書いた穏健な処方箋の方向へ徐々に進んだともいえる。
後にフェビアン協会へと連なっていく英国の社会民主主義に、具体的な、正統派経済学からの理論的裏づけを与えた最初の経済学者の１人としても評価できる。 なお、現代経済学の中では、アマルティア・センの平等主義的な経済学文献の中にも、しばしばミルの引用が見られる。
経済成長を自明のものとしなかったため、いわゆる「定常型社会」論の先駆と見なされることもある。また、当時の英国に深刻な不安を投げかけていたマルサス『人口論』以来の人口問題については、労働者階級の自発的な出生率の抑制による出生率の制御に期待する、という考え方（新マルサス主義）で臨んでいた。
著書

"Two Letters on the Measure of Value"	1822
"Questions of Population"	1823
"War Expenditure"	1824
"Quarterly Review – Political Economy"	1825
"Review of Miss Martineau's Tales"	1830
"The Spirit of the Age"	1831
"Use and Abuse of Political Terms"	1832
"What is Poetry"	1833, 1859
"Rationale of Representation"	1835
"De Tocqueville on Democracy in America"	1835
"State of Society in America"	1836
"Civilization"	1836
"Essay on Bentham"	1838
松本啓訳『ベンサムとコウルリッジ』みすず書房、1990年
川名雄一郎、山本圭一郎訳『功利主義論集』京都大学学術出版会、2010年、所収
"Essay on Coleridge"	1840
"Essays on Government"	1840
"De Tocqueville on Democracy in America"	1840
山下重一訳『アメリカの民主主義』未來社、1962年
A System of Logic 1843
大關將一訳『論理學體系：論證と歸納：證明の原理と科學研究の方法とに關する一貫せる見解を述ぶ』春秋社、1949年
竹田加壽雄訳『推理論』白水社、1950年
江口聡、佐々木憲介編訳『論理学体系』京都大学学術出版会、2020年
Essays on Some Unsettled Questions of Political Economy 1844
"Claims of Labour"	1845
The Principles of Political Economy 1848
戸田正雄訳『經濟學原理』春秋社、1950年
末永茂喜訳『経済学原理』岩波書店、1959年～1963年
"The Negro Question"	1850
"Reform of the Civil Service"	1854
Dissertations and Discussions	1859
A Few Words on Non-Intervention 1859
On Liberty 1859
塩尻公明、木村健康訳『自由論』岩波書店、1971年
山中誠仕訳『自由論：人間と自由』デジタルパブリッシングサービス、2007年
山岡洋一訳『自由論』日経BP、2011年
斉藤悦則訳『自由論』光文社、2012年
中村正直訳『自由之理』平凡社、2012年
高橋正次郎訳『自由之權利：全：一名自由之理』信山社出版、2013年
関口正司訳『自由論』岩波書店、2020年
Thoughts on Parliamentary Reform	1859
Considerations on Representative Government 1861
水田洋訳『代議制統治論』岩波書店、1997年
上田充訳『綱目代議政體』信山社出版、2013年
前橋孝義訳『代議政體：全』信山社出版、2013年
関口正司訳『代議制統治論』岩波書店、2019年
"Centralisation"	1862
"The Contest in America"	1862
Utilitarianism 1863
関口正司訳『功利主義』岩波書店、2021年
中山元訳『功利主義』日経BP、2023年
An Examination of Sir William Hamilton's Philosophy 1865
Auguste Comte and Positivism	1865
村井久二訳『コントと実証主義』木鐸社、1978年
Inaugural Address at St. Andrews Concerning the value of culture	1867
堀秀彦訳『自由主義教育論』思索社、1948年
竹内一誠訳『大学教育について』岩波書店、2011年
"Speech in Favour of Capital Punishment" 1868
England and Ireland 1868
"Thornton on Labour and its Claims"	1869
The Subjection of Women 1869
大久保純一郎、宮崎信彦訳『婦人論』春秋社、1950年
大内兵衛、大内節子訳『女性の解放』岩波書店、1957年
Chapters and Speeches on the Irish Land Question	1870
Autobiography	1873
富田義介訳『ミル自叙傳』培風館、1948年
朱牟田夏雄訳『ミル自伝』岩波書店、1960年
山下重一訳『ミル自伝初期草稿』御茶の水書房、1982年
村井章子訳『ミル自伝』みすず書房、2008年
Three Essays on Religion: Nature, the Utility of Religion, and Theism 1874
ヘレン・テイラー編、大久保正健訳『宗教をめぐる三つのエッセイ』勁草書房、2011年
Socialism	1879
石上良平訳『社會主義論：遺稿』社会思想研究会出版部、1950年
大前朔郎訳『社会主義論』関書院、1958年
"Notes on N. W. Senior's Political Economy"	1945
Essays on economics and society, 1967
阿寒観光ハイヤー

| --- | --- |
: 「阿寒ハイヤー」とは異なります。
| --- | --- |
種類:  有限会社
本社所在地:   日本 〒085-0218 北海道釧路市阿寒町新町2-4-7
業種:  陸運業
法人番号:  3460002000156 
事業内容:  観光タクシー、乗合タクシー
代表者:  松岡篤寛
資本金:  800万円
従業員数:  8人
外部リンク:  https://www.akanhire.com/
テンプレートを表示
有限会社阿寒観光ハイヤー（あかんかんこうはいやー）は北海道釧路市阿寒町にあるタクシー事業、および地方自治体からの委託による路線バス事業を行う企業である。
本社

北海道釧路市阿寒町新町2-4-7
タクシー事業

全国的にも珍しい観光タクシー専門の事業者である。特にサイクリストのサポートに強みを持ち、サイクリングガイドツアー・サイクリングサポートタクシー事業を主に行っているが、通常の観光タクシーも運行している。保有車両は9台。
乗合タクシー

阿寒町にて釧路市と阿寒バスから路線を委託されて運行している。
乗合タクシー布伏内線
阿寒診療所 - 阿寒町 - 上舌辛 - 知茶布 - 布伏内
仁々志別線
阿寒町（行政センター） - 阿寒高校前 - 山花温泉 - 仁々志別小学校 - 48線
オリビア・マクタガート

| 個人情報 |
| --- | --- |
生誕:  (2000-01-09) 2000年1月9日（24歳） オーストラリア、クイーンズランド、サウスポート
身長: 171 cm (5 ft 7 in)
 
スポーツ
国: ニュージーランド
種目: 棒高跳
クラブ: ノース・ハーバー・ベーズ・アスレチックス(North Harbour Bays Athletics)
担当コーチ: ジェレミー・マッコール(Jeremy McColl)
オリビア・マクタガート（Olivia McTaggart、2000年1月9日 - ）は、ニュージーランド出身の棒高跳選手である。
経歴

オーストラリアで生まれ、その後家族とともにニュージーランドのオークランドに引っ越した。
マクタガートは10年間競技体操を行っていたが、2014年、14歳のときに背骨3か所に疲労骨折を負ったため棒高跳に転向した。棒高跳を始めて6か月も経たないうちに、マクタガートは16歳未満のイベントでオーストラリアジュニアチャンピオンシップに出場し、銅メダルを獲得した。
2017年、エリザ・マッカートニーが以前に保持していたニュージーランドの17歳未満の記録を破った。マクタガートがクリアした高さは440cmで、18歳未満では世界3位、20歳未満では世界7位となった。同年、AMPによって奨学金を支給された。
2018年に、オーストラリアのゴールドコーストで開催された2018年コモンウェルスゲームズに出場した。兄のキャメロンは、同大会で重量挙げ男子77kgに選出された。
依存型

依存型 (いぞんがた、英: dependent type) とは、計算機科学と論理学において、値に依存する型のことである。数学の型理論の表現形式と計算機科学における型システムの特徴を併せ持つ。直観主義型理論においては、全称量化子や存在量化子のような論理学における量化子をエンコードするために依存型が用いられている。ATS（英語版）、Agda、Idris（英語版）、Epigram（英語版）などのいくつかの関数型プログラミング言語では、依存型を使った非常に表現力の強い型によって、バグを防止している。
依存型の中でも、依存関数と依存ペアは特によく使われている。依存関数の戻り値の型は、引数の型だけではなく引数の値に応じて変化する。例えば、整数"n"を引数に取る依存関数は長さ"n"の配列を返すことができる。 (これは、型そのものを引数として取ることができるというポリモーフィズムとは別の概念である。) 依存ペアでは、2番目の型が1番目の値に応じて変化する。依存ペアを使うと、2番目の値が1番目の値よりも大きいような整数の対をエンコードすることができる。
依存型を入れた型システムは、より複雑になる。プログラム中に出現する2つの依存型が等しいかどうかを判定するとき、プログラムの一部を実行する必要があるかもしれない。特に、依存型に任意の式を含めることが許される場合、型の同値性判定は任意に与えられた2個のプログラムが同じ結果をもたらすかどうかを判定する問題を含んでしまう。したがって、この場合は型検査は決定不能となってしまう。
歴史

依存型は、プログラミングと論理学のつながりを深めるために作られた。
1934年にハスケル・カリーは、当時考えられていた数学的なプログラミング言語で使われていた型が、命題論理の公理系と同じパターンに従っていることを発見した。さらに、命題論理の証明それぞれに対して、プログラミング言語における関数(項)が対応していることもわかった。カリーの挙げた例の一つは、単純型付きラムダ計算と直観主義論理の対応である。
述語論理は命題論理に量化子を加えたものである。ハワードとド・ブラウンは型付きラムダ計算に依存関数のための型("任意の"に対応する)と依存ペアのための型("存在する"に対応する)を加えることで、述語論理に対応するプログラミング言語を作り出した。
(これを含むいくつかの業績により、命題を型と見なす考え方はカリー＝ハワード同型対応という名前で知られている。)
形式的な定義

非常に大雑把に説明すると、依存型は添字づけられた集合の族によって与えられると考えることができる。より形式的には、 A:{\mathcal {U}}を {\mathcal {U}}(型のなす宇宙)に属する型としたときに、型のなす族 B:A\to {\mathcal {U}}を考えることができる。すなわち、 Aに属する値 a:Aそれぞれについて、型 B(a):{\mathcal {U}}が割り当てられているのである。終域が引数に応じて変化する関数は依存関数と呼ばれ、このような関数のための型は依存型、依存積型、あるいはΠ型と呼ばれる。この例では、依存積型は
あるいは
と表記される。
もしBが定数関数 B(x)=Cであるなら、依存積型は通常の関数型(矢印型) A\to Cとなる。つまり、 \Pi _{(x:A)}Bは型判定において関数型 A\to Cと等しい。
Π型という名前は、依存積型が型の直積と見なせるという考え方に由来している。依存積型は全称量化のモデルとして理解することもできる。
例えば、実数の n個の対を {\mbox{Vec}}({\mathbb {R} },n)と表記するとき、 \Pi _{(n:{\mathbb {N} })}{\mbox{Vec}}({\mathbb {R} },n)は、自然数nを受け取りn個の実数の対を返す関数の型である。通常の関数空間は、依存積型で戻り値の型が実際には引数に依存しない特別な場合としてあらわれる。例えば、 \Pi _{(n:{\mathbb {N} })}\;{\mathbb {R} }は自然数から実数への関数の型であり、単純型付きラムダ計算では {\mathbb {N} }\to {\mathbb {R} }と表記される。
型多相な関数は依存関数(すなわち、依存積型をもつ関数)の重要な例である。多相関数は、型を与えられると、その型を含む型を持つ値として振る舞う。例えば、恒等関数、すなわち任意の型Aに対し a:Aを受け取りaをそのまま返す関数、の型は、
と書くことができる。
依存ペア型

依存積型の双対は、依存ペア型、依存和型、あるいはΣ型と呼ばれる型である。これは余積や直和、非交和などのアナロジーである。依存和型は存在量化のモデルとして理解することもできる。依存和型は
と表記される。
依存和型は、2番目の型が1番目の値に応じて変化するペアの型を表している。したがって、もし
ならば、 a:Aであり、 b:B(a)である。Bが定数関数 B(x)=Cのときは、依存和型は直積型、すなわち通常の直積 A\times Cと一致する(型判定において一致する)。
依存ペア型 > 存在量化としての例

\Sigma AB_{a}:{\mathcal {U}}を、型 A:{\mathcal {U}}上で述語 B:A\rightarrow {\mathcal {U}}を量化した依存和型とする。このとき、 B_{a}が成立する a:Aが存在することと、 \Sigma AB_{a}が非空であることが同値である。例えば、aがb以下であることと、自然数nとa+n=bの証明の組が存在することが同値である。
ラムダ・キューブ

ヘンク・バレンドレクト (en:Henk Barendregt) はいくつかの型システムを3つの軸にそって分類するラムダ・キューブを発明した。立方体の形をした図の8個の頂点それぞれが型システムに対応している。単純型付きラムダ計算が最も表現力が低い頂点に配置され、Calculus of constructions (en:Calculus of constructions)が最も表現力が高い頂点に配置されている。立方体の3個の軸はそれぞれ単純型付きラムダ計算に対する3種類の異なる拡張を意味している。それぞれ、依存型の追加、型多相性の追加、高階のカインド (en:Kind (type theory)) を持つ型コンストラクタ (例えば型から型への関数) の追加、である。ラムダ・キューブは純粋型システム (en:Pure type system)によってさらに一般化される。
ラムダ・キューブにおける(狭義の)依存型と多相型は、どちらも(広義の)依存積型の特別な場合と見なせるが、値に関する量化をする場合は(狭義の)依存型、型や型コンストラクタに関する量化をする場合は多相型と呼び、区別される。ラムダ・キューブにおけるカインド(通常の型を集めた特別な型)を *, 超カインド(カインドを集めた特別な型)を \square と表記する。このとき、(狭義の)依存型とは、 A:*および B:A\to *を用いて構成される、 \Pi _{(x:A)}B(x)という型のことである。一方、多相型は、 A:\square および B:A\to *を用いて構成される、 \Pi _{(x:A)}B(x)という型のことである。例えば、 *:\square であることを用いて \Pi _{(x:*)}B(x)と書いたものは、型に関する量化をしている多相型となる。