stanford-oval/wikipedia huggingface dataset:
実証主義
各分野における立場 > 哲学 > 科学哲学

上記の論理実証主義の意味で用いられ、還元主義と共によく用いられる。特に現代の文脈で使われる実証主義は、自然科学その他で取り上げられる、科学探究に対する態度の一つとしてのそれである。この場合、実証主義は「一般法則は観察と論理によってのみ正当化される」と主張する。そこからは当然ながら独断や啓示は排除される。実証は観察と論理によるから、主に帰納法がとられる。ところが、ここで根本的な問題が生じる。「帰納法の使用に基づく実証そのものの正当性はいかにして正当化されるのか?」ということである（cf. 帰納）。「全ての正当化が帰納法によってのみ行われうる」という法則（Lとする）もまた一つの一般法則であろう。すると、この一般法則Lもまた実証によってのみ正当化されねばならない。ここで、実証は帰納法に基づくから、一般法則Lもまた帰納法で証明される必要がある。ところが、帰納法の広い正当性をより狭い帰納法で証明することは基本的に論理的でなく、帰納法は基礎において厳密な論理的根拠がない。この事情から、帰納によってのみ実証するという意味での実証主義は、科学分野の基礎としては弱点が見られる。
帰納法そのものは「自然の斉一性」すなわち「他の要因がない限り、事象は今まで通り動いていく」に基づいている。これもまた、実証されるべき一般法則であるが、当然ながらこれを実証することは不可能である。
各分野における立場 > 歴史学

歴史学では、19世紀の歴史家ヘンリー・バックル、イポリット・テーヌ、フュステル・ド・クーランジュ、ヤーコプ・ブルクハルトによって確立された。歴史学における実証主義者は厳密な史料批判を行い、科学的な規律を確定し、事実のみに基づいた歴史記述を行うものである。彼らは歴史を特定の立場に都合よく利用する思想を排し、科学的・客観的に歴史を把握しようという立場から主張する。
各分野における立場 > 法学

法学の分野においては、道徳や自然法などの他の価値基準に拠らないで実定法のみに法体系の根拠をもとめる立場を法実証主義と呼ぶ。
尾後あすか

| おご あすか 尾後 あすか |
| --- | --- |
本名:  尾後 あすか
生年月日:   (1982-04-07) 1982年4月7日（42歳）
出身地:   日本・大阪府
職業:  女優
ジャンル:  テレビドラマ
活動期間:  1989年-2003年
テンプレートを表示
尾後 あすか（おご あすか、1982年4月7日 - ）は、日本の女優。大阪府出身。かつては東京宝映テレビ株式会社に所属していた。
出演 > テレビドラマ

連続テレビ小説（NHK)
「純ちゃんの応援歌」第134話 - 第148話・最終話（1989年3月13日 - 3月29日・4月1日） - 速水陽子 役
「春よ、来い」第8話（1994年10月11日）
「長七郎江戸日記 第2シリーズ」第50話（1989年4月25日、日本テレビ）
月曜ドラマスペシャル「三つ首塔」（1993年7月15日、TBS)
「命燃えて」（1997年9月29日 - 11月28日、TBS） - 西岡亮子 役
「ピュア・ラブIII」（2003年9月29日 - 11月21日、TBS）
砂川闘争

| --- | --- |
: この項目では、在日米軍立川飛行場の拡張を巡る住民運動について説明しています。裁判闘争・判例については「砂川事件」をご覧ください。
砂川闘争、1955年頃(1)
砂川闘争、1955年頃(2)
座り込みを行う反対派と警官隊、1955年8月(3)
反対派に阻まれる警官隊、1955年9月(4)
自宅に有刺鉄線を張る反対派、1955年9月(5)
砂川闘争（すながわとうそう）は、在日米軍立川飛行場（立川基地）の拡張に反対して、東京都北多摩郡砂川町（現・立川市）において1955年から1960年代まで続いた住民運動である。
概説 > 砂川基地拡張反対同盟と支援協議会の発足

1955年3月、在日米軍は日本政府に対し、ジェット爆撃機の発着のためとして小牧・横田・立川・木更津・新潟の5飛行場の拡張を要求した。同年5月4日、調達庁東京調達局立川事務所長は砂川町長・「宮伝」こと宮崎傳左衛門に対し立川基地拡張を通告した。この話はたちまち町中に広まり、拡張予定地内関係者は6日に集まり協議して絶対反対を決定、砂川基地拡張反対同盟の結成を申し合わせ、8日に基地拡張反対総決起大会を開いた。これが町ぐるみの砂川闘争の始まりである。砂川町議会も5月12日に基地拡張反対を決議し、全議員が闘争委員になった。
8月2日に砂川町基地拡張反対共闘会議が発足し、9月5日には砂川町基地拡張反対労働組合支援協議会（砂川支援協）に改組、砂川勤労者組合・東京地評・三多摩労協など51の労働組合と社会党左派・社会党右派・労働者農民党が闘争を支援するまでになった。
しかしながら、9月には町議会内に条件闘争派が現れ滑走路部分の地下化や補償金支払いを要求、たたかいは亀裂を見せ始めた。
1955年9月13日、基地拡張のために強制測量が実施され、警官隊と地元反対派・支援労組・学生が衝突し、14日、ふたたび衝突し、11月5日、精密測量を強行し、重軽傷20人余がでた。
概説 > 流血の砂川

土地収用のための測量実施と測量阻止闘争とのせめぎあいが続く中、1956年10月13日には砂川町の芋畑で地元農民らと武装警官隊が衝突、1195人が負傷し13人が検挙される「流血の砂川」と呼ばれる事態に至った。10月14日夜、日本政府は測量中止を決定した。
概説 > 砂川事件

→詳細は「砂川事件」を参照
1957年6月27日に強制測量が行われ、7月8日、測量阻止のデモ隊の一部が立ち入り禁止の境界柵を壊し基地内に数メートル立ち入ったとして、9月22日に学生や労働組合員23人が検挙され、うち7人が日米安全保障条約に基づく刑事特別法違反の罪に問われ起訴された（砂川事件）。一審では、1959年3月30日に米軍駐留は憲法違反であり被告全員無罪との判断が示されたが（伊達判決）、同年12月16日、上告審で最高裁判所が統治行為論によって原判決を破棄したことから、逆転して1963年12月25日に7人の有罪が確定した。
2008年以降の研究により、伊達判決を早期に破棄させるため日米両国政府間で秘密協議がされていたことが明らかになっている。
→「伊達秋雄」および「田中耕太郎」も参照
概説 > 基地拡張中止から跡地返還へ

予定地の地権者のうち23人が最後まで土地収用を拒否していたが、米軍は1968年12月に滑走路延長を取りやめ、翌1969年10月には横田飛行場（横田基地、東京都福生市）への移転を発表した。日本政府も1969年4月に閣議で計画中止を決めた。
そして、1973年1月の第14回日米安全保障協議委員会（SCC）は3年後の立川基地全面返還を決定し、1977年11月30日、跡地は日本側に返還された。
概説 > その他

砂川闘争には、佐々木守、森田実、吉川勇一、唐牛健太郎、中本たか子、高田宏治、藤田湘子など、多くの社会運動家や作家が参加し、支援や指導をしている。
周辺の商店街などでは、反対運動のデモによって営業ができなくなったうえに、窓ガラスを割られたり投石の為に敷石をはがされるなどの被害が出ていたが、賠償請求の相手も定まらず、ほぼ泣き寝入りの状態となった。
砂川闘争を支援していた新左翼党派は基地拡張計画中止を勝ち取ると、同時期に千葉県で勃発した三里塚闘争へと転戦した。反対同盟副行動隊長の宮岡政雄が三里塚芝山連合空港反対同盟の戸村一作代表に全学連委員長の秋山勝行（中核派）を紹介したことによるもので、砂川闘争は三里塚闘争の「父なる闘争」と呼ばれている。
書籍、映画

中本たか子『滑走路』宝文館 1958
宮岡政雄『砂川闘争の記録』三一書房 1970、のち御茶の水書房 2005
星紀市 編『砂川闘争の記録 : 写真集』けやき出版 1996
星紀市 編『砂川闘争50年それぞれの思い』 けやき出版 2005
星紀市 編『米軍基地を返還させた砂川闘争 : 写真集』ヤマス文房 2010
武藤軍一郎『砂川闘争の記 : ある農学徒の青春』花伝社 2010
『砂川の人々』亀井文夫監督、1955年、16ミリ、日本ドキュメントフィルム社
『麦死なず』亀井文夫監督、1955年、16ミリ、日本ドキュメントフィルム社
『流血の記録・砂川』亀井文夫監督、1956年、16ミリ、日本ドキュメントフィルム社
『爆音と大地』関川秀雄監督、1957年、35ミリ、東映東京
『草の根の人々』浜田英夫監督・製作、1982年、16ミリ
『砂川の熱い日 砂川闘争47年目の証言』星紀市監督、2002年、ビデオテープ、砂川を記録する会
佐々淳行「私はブタペストの警察官にはなりたくない」1957年 「危機の政治学」文春文庫(2005)所収
高原太一「「砂川問題」の同時代史―歴史教育家、高橋磌一の経験を中心に―」『Quadrante : クァドランテ : 四分儀 : 地域・文化・位置のための総合雑誌』第21巻、東京外国語大学海外事情研究所、2019年3月、189-209頁、doi:10.15026/93328、hdl:10108/93328、ISSN 2434-9232。
フィリップ・マーダーターナー

フィリップ・マーダーターナー（ドイツ語：Philipp Maderthaner、1981年8月6日 - ）はオーストリアの起業家、各種キャンペーンとプレゼンテーションの専門家、 選挙プランナーでもある。
2012年、ウィーンとベルリンにキャンペーン・ビューローという名称を持つ企業を設立した。2019年、マーダーターナーはウィーンにビジネスグラディエータース有限会社を設立した。2017年の オーストリア国民議会選挙において、オーストリア国民党(ÖVP)を勝利に導いた選挙プランナーとして、マーダーターナーは若手政治家のセバスティアン・クルツをオーストリア首相にした功労者と見なされた。
人物

マーダーターナーはウィーン大学で国際経営学を専攻した。
2004年から2011年の間、オーストリア国民党(ÖVP)の地方と国政レベルの選挙担当者として責任を担った。2011年に彼は政党組織から外れ、2012年4月にオーストリアに初めてのキャンペーン専門エージェンシーであるキャンペーン・ビューロー社を設立した。その企業活動において、アメリカの草の根民主主義運動からインスピレーションを得た方法論があった。2013年、キャンペーン・ビューロー社はバラク・オバマ大統領を誕生させたアメリカ合衆国の選挙関連テクノロジー企業ブルー・ステイト・デジタル（英語版） 社と提携した。同年、マーダーターナーはアメリカ合衆国で発行されている選挙プランナー向け デジタル雑誌であるCampaigns & Electionsから「RISING STAR AWARD」を受賞した。キャンペーン・ビューロー社は2016年にReed Awardsも受賞している 。
2017年 オーストリア国民議会選挙で躍進したオーストリア国民党(ÖVP)の選挙キャンペーンの責任者であったマーダーターナーは、ドイツの高級紙ディー・ツァイト(Die Zeit)やオーストリアの高級紙プレッセからセバスティアン・クルツをオーストリア首相にした功労者であると見なされた。
2018年、国際的会計事務所のアーンスト・アンド・ヤングよりオーストリアの最優秀起業家としてEYアントレプレナー・オブ・ザ・イヤーに選ばれた。
2019年秋、起業家支援を目的として、マーダーターナーはビジネスグラディエータース有限会社を設立した。変化の激しい時代であっても、起業に成功するために支援するための事業である。そこでは知的トレーニング、エンパワーメント(能力開花)、起業に関するオンライン・プラットフォームを構築する形で事業が展開されている。
受賞歴

2014年: アメリカ合衆国のCampaigns & Elections誌より、Rising Star Award を受賞。
2018年: 国際的会計事務所 アーンスト・アンド・ヤング よりEYアントレプレナー・オブ・ザ・イヤーを受賞。
杉原志啓

杉原 志啓（すぎはら ゆきひろ、1951年 - ）は、日本の音楽評論家、日本近代思想史研究者。
おもに音楽評論家として活動し、多くの編著書があるが、徳富蘇峰を中心とした日本近代思想史の研究者としての著作もあり、学習院女子大学、フェリス女学院大学、東京藝術大学のほか、出身地にある東北公益文科大学などで非常勤講師を務めた。
来歴

山形県酒田市出身。
学習院大学で坂本多加雄に師事し、2002年に坂本が没した後は、坂本の選集などの編集・監修に当たった。1993年に『蘇峰と「近世日本国民史」 -大記者の「修史事業」』で、学習院大学より博士（政治学） を取得。
著作 > 単著

『蘇峰と「近世日本国民史」――大記者の「修史事業」』都市出版、1995年
『おもしろい歴史物語を読もう』NTT出版〈ライブラリーレゾナント〉、2008年
『波瀾万丈の明治小説』論創社、2018年
著作 > 翻訳・編著

ビン・シン 『評伝 徳富蘇峰――近代日本の光と影』 岩波書店、1994年
編・解説『歴史を語る作法　坂本多加雄 対談・書評集』 都市出版、2004年
編・解題『坂本多加雄選集』 藤原書店（全2巻）、2005年
富岡幸一郎共編『稀代のジャーナリスト 徳富蘇峰』 藤原書店、2013年
徳富蘇峰『将来の日本・吉田松陰』 中央公論新社〈中公クラシックス〉、2015年。新版解説
著作 > 音楽関連

『R&R（ロックンロール）クラシックス』アーツアンドクラフツ、2000年
『音楽幸福論』学習研究社、2004年
『メガヒッツ!――ロック/ポップ名盤物語』まどか出版、2004年
『音楽の記憶――ポップ・ミュージックと本の青春』アーツアンドクラフツ、2007年
著作 > 翻訳・共著

ポール・M・サモン編『エルヴィスとは誰か――20の"キング"伝説』音楽之友社、1996年
宇田和弘と『200CDニュー・スタンダード―ロック&ポップスで聴くスタンダード』 学習研究社、2005年
西村幸祐と『イチローと村上春樹は、いつビートルズを聴いたのか――サブカルチャーから見た戦後日本』 PHP研究所、2009年
出典・脚注

↑  “人名事典 杉原志啓”.   PHP研究所. 2012年8月14日閲覧。
↑  “さくらじ 杉原志啓”.  チャンネル桜. 2012年8月14日閲覧。
1 2  “音楽幸福論 [単行本 杉原志啓]”.   amazon.co.jp. 2012年8月14日閲覧。
↑  “徳富蘇峰－あの大戦に何を思い、残したのか?”.  チャンネル桜 (2006年9月1日). 2012年8月14日閲覧。
↑  坂本多加雄 著、杉原志啓 監修 編『歴史を語る作法 : 坂本多加雄・対談・書評集』都市出版、2004年。 ：杉原志啓 編 編『近代日本精神史 坂本多加雄選集 1』藤原書店、2005年。 ：杉原志啓 編 編『市場と国家 坂本多加雄選集 2』藤原書店、2005年。
↑  “蘇峰と「近世日本国民史」 -大記者の「修史事業」 杉原志啓”.   国立国会図書館. 2012年8月14日閲覧。
↑  他に、坂本多加雄の映画論『スクリーンの中の戦争』 文藝春秋〈文春新書〉、2005年 も編んだ。
髙橋大樹

| エーアールライノス硬式野球部 監督 |
| --- | --- |
 2017年10月7日 日南市天福球場にて
基本情報
国籍:   日本
出身地:  大阪府藤井寺市
生年月日:   (1994-05-11) 1994年5月11日（30歳）
身長 体重:  181 cm 85 kg
選手情報
投球・打席:  右投右打
ポジション:  外野手
プロ入り:  2012年 ドラフト1位
初出場:  2014年6月18日
最終出場:  2020年11月10日
経歴（括弧内はプロチーム在籍年度）
 選手歴
  龍谷大学付属平安高等学校  広島東洋カープ (2013 - 2021)
 監督歴
  エーアールライノス
 この表について  この表はテンプレートを用いて表示しています。編集方法はTemplate:Infobox baseball playerを参照してください。 ■プロジェクト:野球選手  ■テンプレート  
髙橋 大樹（たかはし ひろき、1994年5月11日 - ）は、大阪府藤井寺市出身の元プロ野球選手（外野手）。右投右打。
お笑いタレントのほんこんに顔が似ていることから、愛称は「ほんこん」。
経歴 > プロ入り前

小学校3年生から捕手として野球を始める。中学3年時にはAA世界野球選手権大会に出場した。
中学卒業後、龍谷大平安高等学校へ進学し、1年生の秋から捕手としてベンチ入りした。
2年時の夏は、京都府予選で同校のOBである炭谷銀仁朗がもつ1大会4本塁打にあと1本と迫る3本塁打を放ち優勝に貢献する。本戦の第93回全国高等学校野球選手権大会では、外野手として出場し、初戦の新湊高戦では本塁打を記録したものの、チームは1-4で敗れた。年明けの1月に右肩、肘の手術により外野手へ転向した。
3年時の夏は、第94回全国高等学校野球選手権大会に右翼手として出場し、1回戦の旭川工業高戦では4安打を放つも、2回戦の渡邉諒擁する東海大甲府高戦では無安打2三振に終わり、チームも2-4で敗退した。同年9月に行われた第25回AAA世界野球選手権大会の日本代表にも選出され、22打数10安打、打率.455の好成績を収めた。高校通算43本塁打。
2012年10月25日に行われたプロ野球ドラフト会議で広島東洋カープに1巡目指名を受け、契約金7500万円、年俸700万円で入団した（金額は推定）。背番号は25。
経歴 > 広島時代

2013年はウエスタン・リーグで61試合に出場し、打率.219、2本塁打、12打点を記録。2014年6月18日に初めて一軍昇格し、同日の対東北楽天ゴールデンイーグルス戦（マツダスタジアム）に「8番・指名打者」で一軍初出場・初先発出場を果たした。
2015年12月16日、新井貴浩が背番号25を着けるため、自身の背番号は50に変更された
2018年、4月30日の対阪神タイガース戦（マツダスタジアム）で、高校の先輩である衣笠祥雄の死去を受けてチームが喪章をつけて挑んだ。「7番・中堅手」として先発出場し、岩貞祐太から公式戦初安打を記録した。
2019年、6月28日の対横浜DeNAベイスターズ戦（横浜スタジアム）で初めて1番に起用され、2打席目にはプロ初本塁打を放った。シーズンを通しての一軍定着はならなかったが、自己最多となる27試合に出場した。
2021年11月3日、戦力外通告を受け退団。その後トライアウトを受験するもオファーはなく現役を引退した。
経歴 > 引退後

引退後は大阪市内の一般企業に就職する。
2025年2月からは、福岡県豊前市を拠点に活動する社会人野球チームのエーアールライノスの監督に就任。
選手としての特徴・人物

50m走は5秒9の俊足、遠投も100mを超す。小学校6年時に遊びで熱中したテニスの壁当てで右手の押し込みの大事さに気付き、これが打撃の原点になったと語っている。
藤浪晋太郎とは中学時代から親交がある。
詳細情報 > 年度別打撃成績

| 年  度 | 球団 | 試合 | 打席 | 打数 | 得点 | 安打 | 二塁打 | 三塁打 | 本塁打 | 塁打 | 打点 | 盗塁 | 盗塁死 | 犠打 | 犠飛 | 四球 | 敬遠 | 死球 | 三振 | 併殺打 | 打率 | 出塁率 | 長打率 | OPS |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 2014 | 広島 | 2 | 6 | 6 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 3 | 0 | .000 | .000 | .000 | .000 |
| 2018 | 広島 | 6 | 16 | 15 | 1 | 5 | 1 | 0 | 0 | 6 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 4 | 1 | .333 | .375 | .400 | .775 |
| 2019 | 広島 | 27 | 48 | 43 | 5 | 12 | 1 | 1 | 1 | 18 | 3 | 0 | 1 | 1 | 0 | 4 | 0 | 0 | 11 | 0 | .279 | .340 | .419 | .759 |
| 2020 | 広島 | 14 | 16 | 15 | 1 | 3 | 0 | 0 | 0 | 3 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 5 | 0 | .200 | .250 | .200 | .450 |
| 通算：4年 | 通算：4年 | 49 | 86 | 79 | 7 | 20 | 2 | 1 | 1 | 27 | 3 | 0 | 1 | 1 | 0 | 6 | 0 | 0 | 23 | 1 | .253 | .306 | .342 | .648 |
2021年度シーズン終了時
詳細情報 > 年度別守備成績

| 年 度 | 球 団 | 外野> 試  合 | 外野> 刺殺 | 外野> 補殺 | 外野> 失策 | 外野> 併殺 | 外野> 守備率 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 2018 | 広島 | 4 | 7 | 0 | 0 | 0 | 1.000 |
| 2019 | 広島 | 14 | 15 | 0 | 0 | 0 | 1.000 |
| 2020 | 広島 | 6 | 2 | 0 | 1 | 0 | .667 |
| 通算 | 通算 | 24 | 24 | 0 | 1 | 0 | .960 |
2021年度シーズン終了時
詳細情報 > 記録

初出場・初先発出場：2014年6月18日、対東北楽天ゴールデンイーグルス3回戦（MAZDA Zoom-Zoom スタジアム広島）、「8番・指名打者」で先発出場
初打席：同上、2回裏に川井貴志から左飛
初安打：2018年4月30日、対阪神タイガース6回戦（MAZDA Zoom-Zoom スタジアム広島）、2回裏に岩貞祐太から左前安打
初打点：2019年6月19日、対千葉ロッテマリーンズ2回戦（MAZDA Zoom-Zoom スタジアム広島）、5回裏に岩下大輝から中前適時打
初本塁打：2019年6月28日、対横浜DeNAベイスターズ10回戦（横浜スタジアム）、3回表に今永昇太から左越ソロ
詳細情報 > 背番号

25（2013年 - 2015年）
50（2016年 - 2021年）
打席での高橋（2017年7月28日 ウエスタン・リーグにて）
アフリカのサッカーリーグに所属する日本人選手一覧

アフリカのサッカーリーグに所属する日本人選手一覧（アフリカのサッカーリーグにしょぞくするにほんじんせんしゅいちらん、List of Japanese players in African soccer leagues）ではCAF/アフリカ加盟国内のサッカーリーグに所属歴のある日本人サッカー選手について紹介する。
ウガンダ

相原豊
藤本安之
櫛田一斗
ガーナ

森下仁道
カメルーン

戸塚亮
直川公俊
ギニア

野村和正
ケニア

草場勇斗（ナイロビ・シティ・スターズ）
西崎圭介
ザンビア

中町公祐
松尾洋
森下仁道
ジンバブエ

藤本安之
マラウイ

中村元樹
南アフリカ共和国

村上範和
モロッコ

森下仁道（スタッド・マロキャン）
杉本良

杉本良
杉本 良（すぎもと りょう、1887年（明治20年）9月10日 - 1988年(昭和63年)）は、朝鮮総督府官僚。台湾総督府官僚。静岡県金谷町長。
経歴

静岡県小笠郡日坂村（現在の掛川市）出身。1912年（大正元年）、高等文官試験に合格し、翌年に東京帝国大学法科大学英法科を卒業。朝鮮総督府試補、同事務官、台湾総督府専売局事務官、同参事、煙草課長、酒課長などを歴任し、1929年（昭和4年）に文教局長に就任した。
1931年（昭和6年）に退官した後は、金谷町長、静岡市助役、拓殖協会事業部長、大政翼賛会静岡県支部事務局長などを務めた。
掛川信用金庫の理事長などを勤めた杉本周造(1921年(大正10年)-2015年(平成27年))は長男。
自然法

| --- | --- |
: 自然法についての個別具体的な内容・思想や歴史的経緯については「自然法論」をご覧ください。
自然法（しぜんほう、英: natural law、独: Naturrecht、羅: lex naturalis）とは、人間の理性・知性を通して、事物の自然本性（英: nature、独: Natur、羅: natura、希: φύσις）から導き出され、（個別の時代性・地域性・社会性・集団性といった制限・条件を超えて）人類にとって共通・普遍・汎通的であると、理解・受容され得る法・倫理の総称である。古い訳語では、（儒教用語「性」を用いて）性法（せいほう）とも呼ばれた。
概要

自然法は、古代ギリシアから形成・醸成されてきた観念・概念・思想であり、ピュシス（自然）についての観念・思想が、プラトン等のギリシア哲学によってロゴス・ヌースの概念を混じえた倫理・政治思想へと洗練されたものである。
トマス・アクィナスに代表される中世キリスト教神学においては、自然法は人間の理性・知性で対応・把握・分有できる範囲での、人類にとっての普遍的な法・規範とされ、神の法としての永久法（や神定法）と、個々の人間社会の個別的・特殊的な人定法（実定法）の狭間に位置付けられた。
17世紀〜18世紀の近代(近世)政治思想においては、キリスト教の内部分裂・退潮に伴って再浮上・再注目されることになり、自然状態・自然権 (人権)・社会契約といった概念・思想と共に説かれ、（「自然状態・自然権 (人権)」と「自然法」が調和的か対立的か、また「自然法」の具体的な中身・優先事項が何であるか等は、論者によって見解に相違があるものの）総じて「自然法」を実現・強化することを目的として、近代国家・近代社会的な「社会契約」が主張された。このように、自然法の思想・概念は、人間社会が宗教的権威に依存した中世的な国家から、合理的な近代国家へと脱皮する際の「橋渡し」「踏み台」として機能した。
他方で、19世紀以降の近代法学の実定法主義（法実証主義）においては、考察の対象外とされた。また英米を中心に、古典的自由主義、保守主義、功利主義、プラグマティズムといった対抗的思潮が提示・醸成された。
(近代)自然法思想は、その性格上、理性主義や規範論・義務論、そして平等主義・社会自由主義（リベラル）（更には社会主義・共産主義）等と相性が良く、自然権（人権）思想を調整・補完する役割として主張されることが多い。したがって、これらに対立する思想・思潮とは、直接的・間接的に対立することになる。
なお、プラトンやアリストテレス等による、古代ギリシアにおける自然法・倫理・政治思想は、『国家』『ティマイオス』や『ニコマコス倫理学』等に述べられているように、また哲学（philo-sophia/愛-知）という営みの原義からも分かるように、「知の徳性（知性）」を特別に重視しており、それを高めて「善のイデア・最高善」（デミウルゴス・不動の動者）を頂点とする「イデア的・神的な自然秩序」を把握しつつ、人間として可能な限りの幸福を享受すること（全国民に享受させること）、という明確な究極目的（目的論）の下に構築されており、その他の実践的な徳性としての中庸や、市民間の平等（高貴な嘘）等は、その善という究極目的へと共に向かうポリス共同体を成立・維持させるための手段・方便に過ぎない。
それに対して、（古代ローマの万民法や、知性よりも信仰を重視する中世のキリスト教神学を経由した後の）近世・近代における自然法思想・倫理・政治思想では、「（元来、自然権・自由を等しく保有する）個人間の同等性・公平性・平等性の尊重（黄金律）」（としての自然権（人権）思想・自由主義・平等主義・個人主義）それ自体が、絶対的な原則かつ目的と化しており、プラトン・アリストテレス的な究極目的（「善なる世界の根源・究極」への知的・実践的な到達）が抜け落ち、古代ギリシア・ローマの民主思想や万民法思想的な（古代ギリシアで言えば「ノモス」的な）政治的要求が、自然法として扱われるようになっているという「内容的変質」が生じている点に注意が必要である。
歴史 > 古代

古代ギリシアにおいては、社会的な実定法・慣習としての「ノモス」（希: νόμος）と対比される形で、自然本性としての「ピュシス」（希: φύσις）として、自然法が主張された。神話的な時代においては、それはテミスやディケーといった女神に象徴される「自然の秩序・掟」として表現されたが、オルペウス教・ピタゴラス派・エレア派等に影響を受けたプラトン（アカデメイア派）は、それを善のイデア（創造主デミウルゴス）を頂点とする理知的・善的・神的な「イデア的秩序」と、魂に内在する理知的・神的な性質に基づいてそれに可能な限り近接しようと努力する人間側の「倫理的・政治思想的な性質・法則・原則」として表現した。アリストテレス（ペリパトス派・逍遥学派）も、それに多少の修正を加え、最高善（不動の動者）を頂点とする「形而上学（第一哲学）的秩序」と、その下で人間を含む形相・質料結合体としての個物が、各々の性質を展開・実現しようとする動的な「目的論的自然」や「倫理学・政治学的な性質・法則・原則」として表現した。ストア派もまた、人間が理性の力を発揮して、「理性的自然」と一致して生きることを説いている。
古代ローマにおいては、領土の拡大に伴って、ローマ市民のみに適用される市民法（羅: ius civile）と対比される、万人に等しく適用される万民法（羅: ius gentium）が整備されるようになり、2世紀の法学者ガイウスが『法学提要』の冒頭で指摘しているように、この万民法は当時から既に自然法の一種の反映・現れと見做されていた。（他に自然法を万民法・市民法との関連で論じた古代ローマの法学者としては、ウルピアヌスやパウルス等が知られている。）
歴史 > 中世

中世においては、上記したギリシア哲学によって醸成された「神の理法」と「人の理法」、そしてローマ法によって醸成された「万民法」と「市民法」の概念・分類が継承されたが、アウグスティヌスやトマス・アクィナスに代表されるキリスト教神学者達によって、ここに更に、残余の「非理知的な宗教的・信仰的領域」（古代ギリシアにおいては神託・秘儀・供物の領域）を補充する法として、キリスト教特有の聖書的啓示・教会法といった宗教的要素が「神定法」（羅: lex divina）といった概念として付け加えられた。
こうしてトマスの『神学大全』第2-1部の90番台で言及されているように、
「永久法」（羅: lex aeterna） - 世界を支配・包摂する神意・神慮・摂理の法。
「神定法」（羅: lex divina） - 人間の理知の限界を補充する法。聖書的啓示、教会法など。
「自然法」（羅: lex naturalis ） - 人間の理知に対応する、人間にとっての普遍的な法。
「万民法」（羅: ius gentium） - 自然法と人定法の性質を併せ持った法。
「人定法」（羅: lex humana） - 個々の人間社会の個別的・特殊的な法。市民法など。
といった古典的な法の分類がまとめられた。
他方で、普遍論争においては、トマス等の「実念論」（普遍優位）が、「唯名論」（個物優位）に押されて影響力を失ったことにより、個物（自然権）の側から自然法を組み立てて行く近代(近世)的な自然法論の土壌が用意されることになった。
歴史 > 近世・近代

15世紀から17世紀にかけての、大航海時代による欧州域外での植民地・通商の拡大、宗教改革、それらに絡んだ紛争・戦争・革命の発生、更にはルネサンス・科学革命と理性主義の台頭といった、目まぐるしい環境変化により、中世のようにキリスト教（カトリック）やその神の概念・権威が共通基盤として機能しなくなったことで、（古代ギリシアや領土拡大期の古代ローマのように）再び自然法（や万民法、あるいは自然状態・自然権、及び理性）が、思想的共通基盤として注目・言及・称揚されるようになった。
トマスの自然法・万民法思想を、スペインの法学者であるビトリアやスアレス等を経由して継承したオランダの法学者グローティウスは、『自由海論』『戦争と平和の法』などで、航行・通商・戦争といった国際関係に関して、自然法や万民法（的慣行・慣習法）を絡めつつ、あるべき国際的な法秩序を主張したことで、「国際法の父」と評されるようになった。
他方で、国内で清教徒革命・名誉革命といった市民革命が生じたイギリスでは、ホッブズやジョン・ロックによって、国内秩序・統治のあり方について、自然法（や自然状態・自然権・社会契約）を絡めた主張が為され、近代国家・近代社会のあり方を巡る近代政治思想の嚆矢となった。
彼らの自然法思想は、ルソーやカント等へと引き継がれて補強されつつ、人類が近代国家・近代社会へと移行していく上での礎となった。
その後の自然法思想やそれに類する倫理学・道徳哲学・政治哲学は、ヘーゲル、マルクス等を経由しつつ、20世紀の大陸哲学や分析哲学、いわゆる現代哲学へと継承され、東西冷戦を背景に多様な議論が行われた。
しかし元来、「公平さ」を主張するだけの抽象的規範としての性格が強い近代の自然法思想は、特に20世紀以降、価値観とシステムの多様化・複雑化が進む近代社会において、具体的な必要性（政治的・経済的・社会的な要請・需要）の受け皿として肥大化し続ける自然権（人権）思想、実定法、各種の事業・産業と統計データ解析等とは対照的に、具体性・実用性に乏しく、用途も主張する場も限られるため、社会的影響力が失われてきている。
歴史 > 近世・近代 > ホッブズの自然法

ホッブズは、『リヴァイアサン』第13章〜第15章の叙述において、「理性によって要請・把握される人倫・普遍的規範」としての「自然法」（羅: lex naturalis）と、「各人の自己裁量権（自由）」としての「自然権」（羅: ius naturale）を、対立的に扱う。
そして、各人の「自然権（自由）」行使の相互干渉・衝突によって生じる「万人の万人に対する闘争」としての「自然状態」から脱却すべく、理性によって要請・把握される「自然法」として、
1. あらゆる手段を用いた平和への努力（あるいは自己防衛）
2. そのための自然権（自由）の自主的放棄（譲渡）
3. その契約（社会契約）の履行
4. それに対する報恩
5. 協調への努力
6. 他者の悔い改めに対する赦(ゆる)し
7. 善（矯正・教導）を目的とした刑罰
8. 傲慢（他者への嫌悪・侮蔑）の抑制、慎み
9. 思い上がり（優越意識）の抑制、平等性・他者感情への意識
10. 尊大（他者以上の権利の要求）の抑制
11. 公平な裁定、平等な配分
12. 公共物の平等利用
13. 分割・共有できないものについてのくじ引き決定
14. 「自然のくじ引き」としての長子相続
15. 「平和的仲裁者」に対する身辺安全保障
16. 調停者の判決への服従
17. 自身の利害に関する調停者になることの禁止
18. 自身の利害関係者に関する調停者になることの禁止
19. 当事者たちの証言の排除、第3者の証言の採用
総じて言えば「己の欲せざる所は人に施すなかれ（黄金律）」
といった内容を挙げつつ、自然権を譲渡し合う社会契約による国家（コモンウェルス）と秩序・平和の形成を説いている。
歴史 > 近世・近代 > ロックの自然法

ロックは、『統治二論』第二論において、自然法の内容を具体的には述べないものの、それを（公平さとしての）理性(的思考)と同一視し、自然状態においてもそれは機能しており、各人はその自然法（理性）の範囲内で、思うままに自己の身体や所有物を処する自由（としての自然権）を、平等に保有・行使していると主張する（第2章）。
また、そのような自然状態では、各人が自然法を執行する権利（自然法の侵犯者を処罰する権利）も有する（第2章）。
しかし、自然状態では、大部分の者は公正の厳格な遵守者ではなく、特に、
恒常的・公知な「制定法」
衆知の公正な「裁判官」
判決の「執行権力」
が欠如しているがゆえに、生命・自由・財産といったプロパティ（固有権・所有権・財産権）の享受といった自然権の保証（自然法の執行）が不安定・不確実なので、その「プロパティ（固有権・所有権・財産権）の保全」を目的として、人は自然状態を放棄し、共同して統治権力・政治的共同体を形成したり、そこへと参画するのだと主張する（第9章）。
また、その統治権力に関しては、立法権力と執行権力の分離が主張される（第12章）。
そして、その「プロパティ（固有権・所有権・財産権）の保全」という目的、自然法を侵す支配者に対しては、抵抗することが許される（抵抗権）とも主張される（第18章-第19章）。
このように、自然法の達成・強化のための社会契約の議論では、ホッブズは「生命・平和」をその主たる目的とする素朴なものだったのが、ロックでは生命・自由・財産などをひっくるめた「プロパティ（固有権・所有権・財産権）」が目的となり、権力分立や、抵抗権も明記されるなど、近代政治思想・近代社会思想としてだいぶ洗練されてきている。
歴史 > 近世・近代 > ルソーの自然法

→詳細は「一般意志」を参照
ルソーにおいては、「社会的な公平さ」としての自然法は、「一般意志（普遍意志）」という概念に置き換えられている。
ルソーの社会契約において説かれる「一般意志（普遍意志）」は、個別的な私利私欲の志向としての「特殊意志」や、その合成・総和としての「全体意志」とは異なり、常に「公平・公益」を法・社会へと強制することが期待される。
歴史 > 近世・近代 > カントの自然法

→詳細は「道徳法則」を参照
カントにおいては、「社会的な公平さ」としての自然法は、「道徳法則」という概念に置き換えられている。
カントの実践理性を巡る議論においては、「常に普遍的法則に妥当する形で意志・行為せよ」という定言命法で成り立つ道徳法則によって、理性的存在者が互いの人格を目的として尊重し合って結合する、目的の国が主張される。
定義

「自然法」とは、事物の自然本性から導き出される法の総称である。 したがって、この概念を主として人類・人間社会を念頭に置いて使用する場合、「倫理」と多分に意味内容が重複する概念となる。自然法は実在するという前提から出発し、それを何らかの形で実定法秩序と関連づける法理論は、自然法論と呼ばれる。
自然法には、原則的に以下の特徴が見られる。但しいずれにも例外的な理論が存在する。
普遍性：自然法は時代と場所に関係なく妥当する。
不変性：自然法は人為によって変更されえない。
合理性：自然法は理性的存在者が自己の理性を用いることによって認識されえる。
自然法の法源とその認識原理 > 法源

自然法の法源は、ケルゼンの分類に従うならば、神、自然ないし理性である。ギリシャ哲学からストア派までの古代の自然法論においては、これらの法源が渾然一体となっている。
自然法の法源とその認識原理 > 法源 > 法源としての神

神が人間の自然本性の作り手として想定されるとき、自然法の究極の法源は神となる。このことは理性にもあてはまり、神が人間に理性を与えたことが強調されるときは、合理的な法としての自然法の究極な法源もまた神となる。この傾向は特にキリスト教の自然法論において顕著である。例えば、アウグスティヌスにとって、自然法の法源は神の理性ないし意思であった。また、トマス・アキナスにとって、自然法とは宇宙を支配する神の理念たる永久法の一部である。
自然法の法源とその認識原理 > 法源 > 法源としての自然

ここで自然とは、自然本性一般のことではなく、外的な自然環境のことである。外的な自然が自然法の法源となるのは、専ら外的な自然環境と人間の自然本性との連続性が強調されるときである。これはとりわけヘラクレイトスおよびストア派の自然法論において見られ、そこでは自然学と倫理学とが連続性を保っている。このような場合には、自然法則と自然法がほとんど同義で語られることが多く、何らかの傾向性（例えば結婚は普通雌雄で行われることなど）が自然法とされることもある。
自然法とは、自然が全ての動物に教えた法である。なぜなら、この法は、人類のみに固有のものではなく、陸海に生きる全ての動物および空中の鳥類にも共通しているからである。雌雄の結合、すなわち人類におけるいわゆる婚姻は、実際にこの法にもとづく。子供の出生や養育もそうである。なぜなら、私が認めるところによれば、動物一般が、たとえ野獣であっても、自然法の知識を与えられているからである。 — 『学説彙纂』第1巻第1章第1法文第3項
人間の自然本性を理性的であると解する立場から見れば、理性もまた自然法の法源となる。特に理性を自然法の法源として独立させたのは、近世自然法論者たちである。彼らは自然法を正しい理性の命令と定義して、神的な要素をそこから取り除いている。純粋に理性が自然法の法源となるときには、自然法は実定法以外の合理的な法を意味する。この特徴はとりわけホッブズに見られ、彼は自然法を、単に人間が合理的に思考し、その自然本性としての死への恐怖にもとづいて意思が受け入れるであろう法と解している。
自然法の法源とその認識原理 > 自然法の認識原理

自然法の法源が制定法や判例法でない以上、その認識手段が常に問題となる。基本的に、自然法の認識原理は、その法源の種類にかかわらず理性であると言われる。すなわち、自然法が超自然的な存在によって作られたものであろうとなかろうと、それを発見するのは人間の理性である。理性が人間の自然本性である以上、合理的思考は自然法の認識にとって不可欠となる。ストア派にとって倫理学は論理学と自然学の上に成り立つものであり、密接不可分である。
義務は次のように定義される。「生における整合的なことで、それが実行されたときに合理的に説明されることである」。これとは反対のことは義務に反することである。これは、非ロゴス的な動物にも及ぶ。なぜなら、それらも、それ自身の自然本性と整合的な何らかの働きをしているからである。理性的な動物の場合は、次のように説明される。「生における整合的なこと」。 — ストバイオス『抜粋集』第2巻7-8
これに対して、自然法が人間には直接的には認識不可能であるという立場からは、何らかの補助手段を用いることが要求される。その場合、キリスト教の自然法論は、神からの啓示を重視する。それは、専ら新約聖書および旧約聖書から得られる指図である。典型的な啓示は、モーセの十戒である。
自然法とその他の法との関係 > 慣習法との関係

既に初期ストア派のクリュシッポスが、ノモス（慣習）とピュシス（自然本性）を対置し、後者を前者に優位させる。ローマ・ストア派の思想に影響されたキケロは、自然法の法源を理性に求めながら次のように述べている。
次はもっとも愚かな見解である。すなわち、国民の習慣や法によって定められていることはすべて正しいと考えることである。僭主の法でも正しいのか。…（中略）…人間の共同体を一つに結びつけている正しさは一つであり、それを定めたのは一つの法であり、この法は命じたり禁じたりする正しい理性だからである。この法を知らないひとは、この法の書かれているところがどこかにあろうとなかろうと、不正な人である。 — キケロ『法律について』第1巻42
トマス・アクィナスは神の意思を自然法の法源としながら、次のように述べる。
自然法ならびに神法は神的意志から発出するものであるから、人間の意志から発出するところの慣習によっては改変されえないものであり、ただ神的権威によってのみ改変されることが可能である。したがって、いかなる慣習といえども神法や自然法に反して法たるの力を獲得することはできない。 — 『神学大全』第2部の1第97問題第3項
グロチウスは自然法と万民法とを区別しながら、万民法とは「時代と慣習の創造である」という。
これに対して、歴史法学派のカール・フォン・サヴィニーは、自然法を各民族について相対化しながら、自然法と慣習法とをかなり接近させる。
自然法とその他の法との関係 > 実定法との関係

自然法と実定法との関係には主に2種類あり、ひとつは授権関係、ひとつは補完関係である。前者の場合、自然法は実定法に対する授権者となり、自然法に反する実定法は原則的に失効する。但し、正当な理由があるときには、この限りでない。正当な理由としては、堕落した人類は自然法上の義務を完遂できないことなどが挙げられる。他方で、後者の場合、自然法は実定法が欠缺している領域を補うことになり、その最も重要な適用領域は、国際関係とされていた。これは、特に近代において、国際関係を規律するルールが非常に多くの点で整備されていなかったからである。今日においては、非常に多数の国際条約が締結されており、必ずしもその限りではないが、学説上、自然法の復権を訴えるものも中には見られる。
Planner

| --- | --- |
: この項目では、プログラミング言語について説明しています。その他の用法については「プランナー」をご覧ください。
Planner（"PLANNER"とも表記される）は、1969年にMITのカール・ヒューイットが設計したプログラミング言語。当初、サブセットの Micro-Planner や Pico-Planner が実装され、後に完全実装として Popler が登場。その後、派生言語として QA-4、Conniver、QLISP、Ether などが実装され、1970年代の人工知能研究の道具として重要な役割を果たし、商用の KEE や ART の開発にも影響を与えた。
当時マービン・ミンスキー、シーモア・パパート、Mike Peterson の学生だったヒューイットは、「知識の手続き的埋め込み」論者であり、高レベルの手続き的計画によるアプローチを信奉していた。当時、ジョン・マッカーシーらは人工知能(AI)のための知識表現として数理論理学を用いた宣言的かつ論理的アプローチを信奉しており、両者は対立関係にあった。このことは次のような基本的な疑問を生み出した。「手続き的アプローチと論理的アプローチの違いは何か?」である。これに答えが出せるようになるまで数年を要した。
Plannerの初期の歴史

ヒューイット[2006]によれば、Planner は「手続き的計画; procedural plan」機能を持つ世界初の言語であり、これを「ゴール」と「表明; assertion」を使った「パターン管理呼び出し; pattern-directed invocation」と呼ぶ。Planner のサブセット Micro-Planner は Gerry Sussman、Eugene Charniak、テリー・ウィノグラードらが実装し、ウィノグラードの自然言語理解プログラム SHRDLU、Eugene Charniak のストーリー理解のプロジェクトなどに使われた。これらの成果は人工知能分野を活気付かせた。また、当時主流であった論理的アプローチとは異なる手法を提案していたため、論争を呼ぶこととなった。
エジンバラ大学の Bruce Anderson は Planner のサブセット Pico-Planner を実装し、同じエジンバラ大学の Julian Davies は完全な Planner 言語処理系である Popler を実装した。SRIでは、ジェフ・ルリフソン、Jan Derksen、Richard Waldinger らは、Planner の文法をベースにしてデータベースのモジュール性を提供する機構としてコンテキスト機構を導入した QA4 を開発した。同じ SRI の Earl Sacerdoti と Rene Reboh は QA4 を InterLisp 上に実装した QLISP を開発し、これをいくつかのアプリケーション開発に使用した。論理的アプローチ派の Robert Kowalski は Alain Colmerauer と共同で Micro-Planner によく似た Prolog の開発に関わった。実際、ヒューイットは Prolog を Micro-Planner のサブセットの再発明とみなした。というのは、Prolog が単にパターンの一致によってゴールを得るだけなのに対して、Micro-Planner は手続き的計画を呼び出すこともできたからである。しかし、Kowalski 自身は Prolog を人工知能開発へのアプローチのひとつとして論理的パラダイムを保持するものと考えていた。
制御構造に関する議論

ヒューイット[2006]にもあるように、Planner 開発当時のコンピュータメモリは高価であり容量が小さかった。そこでメモリの使用を節約するため、制御構造として当時一般的だったバックトラッキングを採用した。この手法では、コンピュータはいくつもの可能性のうちひとつだけをメモリに保持しておけばよかったのである。
この実装上の決断により、Micro-Planner は不運な結果を招くこととなった。LISPでは NIL を空のリストを表すと同時に false（メモリ番地 0）を表すようにしている。というのも 0 かどうかのチェックが高速に行えるからである。このため、LISPプログラムでは NILかどうかのチェックは非常に頻繁に行われる。Micro-Planner はこれを拡張して NIL をバックトラッキング開始のシグナルとしても扱った。Micro-Planner では、リストの各要素に何らかの処理をループで行うのが一般的だが、このとき先頭の要素をリストから除去した残りのリストを持ってループの先頭に分岐し、リストが空かどうかをチェックする。リストが空だった場合、プログラムは次の別の処理に分岐する。このようなプログラムで最後の要素が処理され、それをリストから取り除いた残りのリストが NIL になったとき、それをチェックする部分にはプログラムは到達しない。というのも、Micro-Planner は NIL に到達したときにそれをバックトラッキングのシグナルとして扱い、それまでリストの各要素に対して行った処理を取り消してしまうのである。このことに人々は驚かされた。
このことはバックトラッキングの扱いにくさを証明し、制御構造に関する議論が活性化されることとなった。ヒューイットは他の可能な実装方法を調査した。
制御構造に関する議論 > 制御構造のクラス分け

ヒューイットは Mike Paterson と共に、再帰呼び出し(recursion)が繰り返し(iteration)よりも強力であること、並列処理が逐次的再帰よりも強力であることを証明した。ヒューイットは同時にコルーチンが再帰よりも強力であると推測したが、最近の強力な形式手法を使うまでそれを証明できなかった。
制御構造に関する議論 > Hairy Control Structure

ヒューイット[2006]によれば、Peter Landin は J (Jump) 演算子を使って非常に強力な制御構造を導入した。これはプロシージャ呼び出しの途中に飛び込むことが可能なローカルでない goto である。実際、J 演算子は既にリターン済みのプロシージャ呼び出しの途中に分岐して戻ることができる。Drew McDermott と Gerald Sussman は、Landin のコンセプトを 「Hairy Control Structure; 複雑な制御構造（Hairy はハッカー用語。本来の意味は"毛深い"）」と呼び、Conniver 言語に実装した。スコット・ファールマンはこれをロボット開発に活用した。このコンセプトは現在再呼び出し可能な継続と呼ばれているものと関連している。
制御構造に関する議論 > 制御構造はメッセージパッシングのパターンである

ヒューイットは次のように述べている。「…"Hairy control structure"（例えば CONNIVER のような可能性リスト、ローカルでない goto、他のプロシージャの内部変数への値の代入など）を使わない手法を発見した…通常のメッセージパッシングが問題解決モジュール間の協調動作に関して、より構造化され直観的な通信システムを構築する基礎となる。」すなわち、アクターモデルが人工知能の制御構造問題を解決する基礎となるとした。アクターモデルのためのプログラム方法論を開発するにはかなりの時間を要した。しかし、Scientific Community Metaphorの実装には洗練されたメッセージパッシングを必要とし、今も研究課題のひとつとなっている。
数理論理学の限界

制御構造の議論はプログラミング言語としての数理論理学の使用の可能性に関して議論を呼んだ。手続き的アプローチは、数理論理学とは異なる数学的意味論（表示的意味論参照）を持つ。数理論理学だけでは、非決定性を持つ並列システムや分散システムを記述できない。
AWARD

『AWARD』は、WEST.の10周年を記念した初のベスト・アルバム。2024年3月13日にリリースされた。