hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
論理学の歴史 伝統的論理学
ヘーゲルの『論理学』は主流派の論理学研究にほとんど影響を及ぼさなかったが、そこからの影響をみることができる作品としてカール・フォン・プラントルの『西洋論理学史』(独: Geschichte der Logik in Abendland、1855年-1867年)やイギリス観念論者の作品-例えばフランシス・ハーバート・ブラッドリーの『論理学の諸原理』(英:Principles of Logic、1883年)-、そしてカール・マルクスおよびマルクス主義諸学派の経済学、政治学、哲学等の研究といったものがある。
ミルとフレーゲの著作の間で、論理学が広く記述科学として、あるいは推論の構造の経験的研究、また根本的には心理学の一分野として扱われた期間は半世紀に及んだ。例えばドイツの心理学者ヴィルヘルム・ヴントは「心理学的な思考法則から論理形式を」導き出すことを主張し、「心理学的思考は常によりわかりやすい形の思考である」と強弁した。この思想は当時のドイツの哲学者の間に広まった: テオドール・リップスは論理学を「心理学の内のある特定の規則」と評した; クリストフ・フォン・ジグヴァルトは論理的必然性を人間がある方法で考えようとする衝動に基礎づけられたものとして理解した; そしてベンノ・エルドマンは「論理的法則は我々の思考の範囲内にのみ存続する」と主張した。こういったものがミルの著作が発表されて以降の時期の支配的な見方であった。こういった論理学に対する心理的アプローチはゴットロープ・フレーゲによって否定された。同アプローチはエトムント・フッサールにも、その著書『論理学研究』(1900年)第一巻において包括的かつ破壊的な批判を成されてもいるが、この批判は「圧倒的」と評されている。論理学を心理学的考察によって基礎づけることは全ての論理学的真理を証明されていない状態にしてしまうことや懐疑主義・相対主義が不可避な結果であることを示唆しているとフッサールは強烈に主張した。
このような批判によっていわゆる「心理学主義」が即座に根絶されたわけではない。例えば、アメリカの哲学者ジョシア・ロイスはフッサールの批判の力は認めつつも、心理学の発展が論理学の発展を伴うものであり、逆もまた真であることを「疑いえない」と考え続けている。
論理学の歴史 現代論理学の興隆
14世紀から19世紀初めの間の期間は概して衰退と否定の時期であり、論理学史家によって一般に不毛期とみなされている。論理学の復活は、19世紀半ば、論理学が数学で用いられる正確な証明法を範とする厳密で形式的な学科へと発展する革命期に起こった。この時期の現代のいわゆる「記号」または「数理」論理学の発展は論理学2000年の歴史の中で最も顕著なものであり、人類の知性の歴史の中で最も重要で注目すべき出来事だと言える。
論理学の歴史 現代論理学の興隆
数多くの特徴によって現代論理学が旧来のアリストテレス論理学や伝統的論理学から区別されるが、中でもとくに重要なものは以下:  現代論理学は根本的には「計算」であって、この計算を遂行する規則は、用いられる記号の「意味」によってではなく、数学と同様に記号の「形式」によって決まる。現代論理学者は、真に数学的な結果に関して論争が長引くことがないという数学の「成功」に強く影響されている。ラプラスが定積分の計算を間違えたために月の軌道に関する誤りが起き、それが50年近く存続したとしても、誤りがひとたび見つけられると大きな論争を起こすことなく正されるとC・S・パースは述べている。パースはこれを伝統論理学にまつわる不確かさと、そして特に形而上学における推論と対比させているのである。真に「正確な」論理学は数学的な、つまり「図式的」・「記号的」な思考に基づくと彼は主張した。「こういった方法に則る者たちは[...]ひとたび疑われるとすぐに正されるものを除いてあらゆる誤りから免れるだろう。」 また、現代論理学は「抽象的」であるよりもむしろ「構成的」である; つまり、自然言語(あるいは妥当性に関する心理学的直観)から導き出した一般原理を抽象化・定式化するよりもむしろ、形式的な方法によって一般原理を構成し、その後に自然言語における解釈を模索するのである。これは完全に記号的である、つまり(中世論理学者が共義語と呼んだ)論理的に不変なものと自義語の両方が記号で表される。最終的に、現代論理学は心理的・認識論的・形而上学的な問いを堅く退ける。
論理学の歴史 現代論理学の時代
現代論理学の発展は大きく五つの時期に分けられる:
フレーゲの『概念記法』からラッセルとホワイトヘッドの『プリンキピア・マテマティカ』までの 論理主義者の時代。この時期は、全ての数学的・科学的談話の論理を一つの統一された体系にまとめ上げることを狙いとし、全ての数学的真理が論理的であるということ根本的原理として非論理的な語法を認めない論理主義者によって支配されていた。主な論理主義者にはフレーゲ、ラッセル、初期のヴィトゲンシュタインがいる。この時代の頂点となるのは、初期の発展の障害となっていた二律背反の徹底的な考察が行われ、解決が試みられた『プリンキピア・マテマティカ』である。
1910年代から1930年代までのメタ数学の時代、ヒルベルトの有限主義体系やレーヴェンハイムおよびスコーレムの非有限主義的体系においてメタ論理学の発展がみられ、さらにゲーデルおよびタルスキの著作の中で論理学とメタ論理学が組み合わされた。1931年に発表されたゲーデルの不完全性定理は論理学の歴史における最大の業績の一つである。1930年代後半にはゲーデルは集合論的構成可能性の理論を発展させた。
論理学の歴史 現代論理学の時代
推論が純粋に機械的な過程によって表せるという発想は、同心環の体系によって結論を導くという(幾分風変わりな)方法を提案したライムンドゥス・ルルスに早くも見出される。オックスフォード計算家と呼ばれる論理学者たちの作品によって、言葉で論理的計算(羅:calculationes)を書き下ろす代わりに省略して文字を使う方法が作られ、例えばヴェネツィアのパウルスの『大論理学』(羅:Logica magna)で使われた。ライムンドゥス・ルルスから300年の後に、あらゆる論理学・推論は加法と減法という数学的作業に還元できるとイギリスの哲学者・論理学者のトマス・ホッブズが主張した。同じ発想はライプニッツの著書にも見出されるが、彼はライムンドゥス・ルルスとホッブズの著作を読んでいて、論理は組み合わせ処理あるいは計算によって表せると主張した。しかし、ライムンドゥス・ルルスおよびホッブズと同様に、彼も詳細で包括的な体系を構築するのには失敗しており、この話題に関する彼の著作は死後長い間公刊されなかった。通常言語は「無数の曖昧なもの」に従わなければならず計算には適さない、というのも計算の役目は推論において語の形式・構造から生まれる誤りを暴き出すことだからである、とライプニッツは言う; それゆえ、彼は複雑な概念を表現するために構成され得る基本的な概念をすべて含む人間の思考のいろはを見極めることと、「私たちが一目で誤りを発見できるように、そして人々が論争を行っているときにただ『計算してみよう』とだけ言うために、数学者がやるのと同じだけ確実に」推論を行う「推論計算機」を作ることとを提唱した。
論理学の歴史 現代論理学の時代
ジェルゴンヌ(1816年)は、推論はそれに対して完全に明確な観念を持っているところの対象に関するものである必要はない、というのは代数的な操作はそこで使われた記号の意味の観念を有さずとも実行できるからだと述べた。ボルツァーノは変数の用語において論理的帰結つまり「演繹可能性」の定義を行う際に現代の証明論の基本的な観念を予想した: i, j, ...という変数があるとき、命題の集合a, b, c ...が真になるような任意の値をi, j, ...に代入したとき同時に命題n, o, p ...も真になるならn, o, p ...は a, b, c ... から演繹できる。これは今日では意味論的妥当性として知られている。
論理学の歴史 現代論理学の時代
現代論理学は、ブールを起源としパース、ジェヴォンズ、シュレーダー、ジョン・ヴェンを含むいわゆる「代数学派」に始まる。彼らの目的はクラス、命題、確率の領域で推論を形式的に表せるように計算を発達させることであった。この学派は、1847年に発表されとても強い影響力を及ぼしたブールの作品『論理学の数学的分析』(英:Mathematical Analysis of Logic)とともに始まったが、ごく近い先駆者としてド・モルガン(1847年)がある。ブールの体系の基本的な発想は、代数学数式は論理的関係を表すのに使えるというものであった。ブールはこれを10台の頃に思いつき、リンカンの私学校時代に露払いとして用いた。例えば、xとyにクラスを表させ、=にクラスが同じ成員を持つことを表させ、xyにxとyの全ての成員を、そしてxとyの成員だけを表させ、等々。ブールはこれらを「選択記号」すなわち考察するためにある対象を選択する記号、と呼んだ。選択的記号が用いられた表現は「選択函数」と呼ばれ、選択的函数を含む方程式は「選択方程式」である。選択函数の理論と選択函数の「発展」は、真理函数とその加法標準形による表現という本質的に現代的な観念である。
論理学の歴史 現代論理学の時代
ブールの体系はクラス論理学および命題論理学という二種類の解釈を許す。ブールは三段論法の理論で取り扱うような「一次命題」と命題論理学で取り扱う「二次命題」を区別し、異なる「解釈」の下で代数系が両者をどう表せるのかを示した。一次命題とは例えば「全住民がヨーロッパ系かアジア系である」である。二次命題とは例えば「全住民がヨーロッパ系であるか全住民がアジア系であるかのどちらかである」である。この二つは現代的な論理演算においては容易に区別でき、さらに後者は前者に包含されることも示せるが、ブールの体系ではこれを表すことができないのがブールの体系の大きな欠点である。
『記号論理学』(英:Symbolic Logic、1881年)において、ジョン・ヴェンは命題のクラスと真理値のBoolean relationを記述する上で領域の重なる図式を用いた。1869年にジェヴォンズはブールの方法が機械的に進められることを示し、「論理機械」を組み立てて翌年に王立協会に提出した。1885年にアラン・マーカンドが論理機械の電動版を作成しており、今も現存する(picture at the Firestone Library)。
論理学の歴史 現代論理学の時代
(存在命題を表すのにvという文字を使うなどの)ブールの体系の欠点は全て彼の追随者たちによって改善された。ジェヴォンズは1864年に『純粋論理学、または量とは別の質の論理学』(英:Pure Logic; or, the Logic of Quality apart from Quantity)を出版し、その中で非常に簡素化されたブールの体系に則って排他的論理和を表す記号を提案した。これは、シュレーダーの『講義集』(独:Vorlesungen、1890年–1905年)のなかでparallel columnに定理を適用する際に便利に利用された。パース(1880年)は、全てのブール選択関数を一つの原始的な二項演算「否定論理和」と、同頻度で「否定論理積」を利用して表す方法を示したが、他の多くのパースの業績と同様に、1913年にシェファーが再発見するまでは知られないままでいた。ブールの初期の著作も、パース(1867年)、シュレーダー(1877年)、ジェヴォンズ(1890年)に源を発する論理和の知識や、ジェルゴンヌ(1816年)が最初に提案しパース(1870年)が明確に表現した内含 (Inclusion (logic)) という概念を欠いていた。
論理学の歴史 現代論理学の時代
ブール代数系の成功により、あらゆる論理は代数的に表せると主張されるようになり、そういった形式で関係の論理を表そうという試みが生まれたが、その中でも最も野心的なものはシュレーダーの記念碑的作品『論理代数講義』(独:Vorlesungen über die Algebra der Logik、vol iii 1895)である。しかし基本的な考えはやはりパースによって予期されていた。
ブール以降、次の大きな発展はドイツの数学者ゴットロープ・フレーゲによってなされた。フレーゲの目的は論理主義の計画、つまり算術は論理と全く等しいと示すこと、にあった。論理学に対する厳密で形式的なアプローチにおいてフレーゲは先達の遥か先を行っており、また彼の計算法、いわゆる概念記法は重要である。フレーゲは数の概念が純粋に論理学的な手法で表されることを示そうと試み、その結果(彼が正しければ)計算や計算に還元できる全ての数学の分野は論理学に包含されるようになった。かれはこのことを提案した最初の著述家ではない。彼の先駆的作品『算術の基礎』(15章-17章)において、彼はライプニッツ、ミル、ジェヴォンズの業績を認めており、ジェヴォンズの「代数学は高度に発達した論理学、つまり論理的区別を欠いた数である」という主張を引いている。
論理学の歴史 現代論理学の時代
フレーゲの処女作『概念記法』は命題論理を厳密に公理化した体系であり、たった二つの論理和(否定と論理包含)、二つの推論規則(モーダスポネンスと代入)、六つの公理のみで構築されている。フレーゲはこの体系の「完全性」に言及しているが、それを証明することはできなかった。しかし、最も顕著な革新は彼による、数学の関数の概念を使った量化子の説明であった。伝統的論理学では「カエサルは人間である」という文を「全ての人間は死すべきものである」と根本的には同じ形式のものだとして扱う。固有名詞を主語とする文はその固有名詞が普遍を表すものとして扱われ、「全てのカエサルは人間である」と解釈される。量化子による表現「全ての人間」は「全ての人間」と論理的・意味論的形式において異なり、普遍命題「全てのAはBである」は二つの「関数」、つまり「-はAである」と「-はBである」の、前者を満足する-は全て後者も満足するような合成命題であるとフレーゲは主張した。現代の記法では、これは以下のように表現される
(x) Ax -> Bx
論理学の歴史 現代論理学の時代
日本語で書き下せば「全ての(任意の)xについて、AxならばBxである」となる。単称命題だけは主語-述語の形式をとり、還元できずに単称である、つまり一般命題に還元できない。対照的に普遍命題と特殊命題は単純な主語-述語の形式を決してとらない。「全ての哺乳類」が「全ての哺乳類は陸生である」という文の論理的主語であれば、文全体を否定するために述部を否定して「全ての哺乳類が陸生『というわけではない』」という文を与えるであろう。しかしこの場合はそうではない。このような通常言語文の関数的な分析は後に哲学と言語学に甚大な影響を与えた。
これはフレーゲの計算においては、ブールの「一次」命題が「二次」命題から異なった形で表せることを意味する。「全ての住民はヨーロッパ系かアジア系のどちらかである」は
(x) [ I(x) -> (E(x) v A(x)) ]
と表せるのに対して「全ての住民がヨーロッパ系であるか全ての住民がアジア系であるかのどちらかである」は
(x) (I(x) -> E(x)) v (x) (I(x) -> A(x))
フレーゲはブールの計算を否定して次のように述べている:
論理学の歴史 現代論理学の時代
「真の違いは私が[ブールが行ったような]二つの部分への分割[...]と大量の同質な表現の提示を避けたことである。ブールにおいては二つの部分が並んでお互いに働き、結果一方が他方の鏡像ということになるが、まさにそのためにそれに対する何らの有機的な関係の代理を務めない。」
統一的・包括的な論理体系を提供しただけでなく、フレーゲの計算は古典的な多重普遍性問題をも解決した。「全ての女の子が男の子にキスをした」の曖昧さは伝統的論理学では表現困難だが、フレーゲの論理学ならばこれを量化子の射程の違いによって捉えることができる。そのため
(x) [ girl(x) -> E(y) (boy(y) & kissed(x,y)) ]
は、そこにいる全ての女の子に対応してキスをした相手である男の子(皆がそうする)が存在することを意味する。対して
E(x) [ boy(x) & (y) (girl(y) ->  kissed(y,x)) ]
は、何らかの特定の少年がいて彼に全ての女の子がキスをしたことを意味する。このような道具立てがなければ論理主義の計画はあやふやであったり不可能であっただろう。これを使うことでフレーゲは祖先関係、多対一関係、数学的帰納法の定義を与えた。
論理学の歴史 現代論理学の時代
この時期はデーデキント、パシュ、ペアノ、ヒルベルト、ツェルメロ、ハンティントン、ヴェブレン、ハイティングらいわゆる数学派の著作刊行と重なっている。彼らの目的は幾何学、算術、解析、集合論のような数学の分野を公理化することであった。
論理主義計画は1901年のバートランド・ラッセルが示したパラドックスにより半致命的な頓挫を経験した。これによりフレーゲの素朴集合論から矛盾が導かれることが証明された。フレーゲの理論は、どんな形式的基準に対しても基準に適するもの全てを含む集合が存在するというものであった。それに対して、自身が自身の要素ではない集合を、それらだけを含む集合は自身の定義と矛盾する(それが自身の要素ではないならば自身の要素でないといけなくなるし、自身の要素であるならば自身の要素であってはいけないことになる)ということをラッセルが証明したのである。今日ではこの矛盾はラッセルのパラドックスとして知られている。このパラドックスを解決する重要な方法の一つはエルンスト・ツェルメロにより提案された。ツェルメロ集合論は最初の公理的集合論である。これが発展して今日標準的なものとなっているツェルメロ＝フレンケル集合論(ZF)となった。
論理学の歴史 現代論理学の時代
1910年-1913年に発表された数学基礎論において記念碑的なラッセルとアルフレッド・ノース・ホワイトヘッドによる三巻からなる作品『プリンキピア・マテマティカ』では階型理論を構築することでパラドックスを構築しようと試みられている: 要素の集合は互いが互いの要素であるよりもむしろ異なる型に属しており(集合は要素ではない; 要素は集合ではない)、「全ての集合の集合」なる概念について述べることはできない。『プリンキピア』は記号論理学においてよく定義された一連の公理と推論規則からすべての数学的真理を引き出そうという試みであった。
論理学の歴史 現代論理学の時代
ゲーデルとタルスキの名前が1930年代、メタ数学-数学的手法を用いてメタ理論、つまり他の数学的理論に関する数学的理論、を作り出す数学-の発展において決定的な時代を支配した。メタ数学に対する初期の研究はヒルベルト・プログラムによって駆り立てられた。ヒルベルト・プログラムは、有限個の公理で全ての数学を基礎づけることで数学の基礎付けにおいて進行中の危機を解決しようとするもので、「有限主義」的な手法によって数学に無矛盾性を与え、全ての数学的言明の真偽を判断する手続きを提供する。メタ数学の研究が頂点に達したのは、一階述語論理による任意の文は論理的に妥当であるときに、そしてそのときのみ-すなわち、その文がその言語におけるいかなる構造においても真であるとき-導出可能である。これはゲーデルの完全性定理として知られる。その後、彼は二つの重要な定理を証明しており、ヒルベルト・プログラムはその元々の形では達成不可能であることがそれによって示された。二つのうちの一つ目は、アルゴリズムやコンピュータ・プログラムのような効果的方法によってその定理を並べ挙げることができるような無矛盾な公理系で自然数に関する全ての事実を与えられるようなものはないという定理である。そのような全ての系に対して、真であるがその系から証明できない自然数に関する命題が常に存在する。二つ目は、そうした系が自然数に関する基本的な事実を証明できるならば、その系は自身の無矛盾性を証明できないというものである。この二つの結果はゲーデルの不完全性定理、あるいは単に「ゲーデルの定理」と呼ばれる。後に、ゲーデルは選択公理および連続体仮説がツェルメロ＝フレンケル集合論と無矛盾であることの証明の一環として集合論的構成可能性の概念を発達させた。
論理学の歴史 現代論理学の時代
証明論においては、ゲルハルト・ゲンツェンが自然演繹とシークエント計算という概念を発達させた。自然演繹とは論理的推論を、それが実践の中で「自然に」起き、直観論理に最も容易に適用できるものであるように造形しようとする試みであり、シークエント計算は任意の形式的体系において論理的証明の導出を定式化するために構築される。ゲンツェンの著作以降、自然演繹とシークエント計算は証明論、数学的論理学、計算機科学といった分野に広く適用されてきた。また、ゲンツェンは正規化定理とカット除去定理を証明したが、これは論理的証明を正規の形式に還元するのに使われるもので直観論理及び古典論理に呈してなされた。
論理学の歴史 現代論理学の時代
ウカシェヴィチの弟子アルフレト・タルスキは真理と論理的帰結の定義、論理的充足という意味論的概念によって最もよく知られている。1933年に、彼は(ポーランド語で)『形式言語における真理の概念』を発表し、その中で自身の真理の意味論を提案した: 「雪は白い」のような文は雪が白いときに、そしてそのときにのみ真である。タルスキの理論はメタ言語、つまり言明を真にするもの、と対象言語、つまり真であると主張される文を包含するもの、とを区別して、対象言語の語句と解釈の要素との間に一致(Tスキーマ)を与えた。真理を説明するという困難な課題に対するタルスキのアプローチは論理学と哲学に、特にモデル理論の発展に永続的に影響を与えている。タルスキは演繹系の方法論や完全性、決定可能性、無矛盾性、構造といった重要な諸原理に関する重要な研究も行っている。Anita Fefermanによれば、タルスキは「20世紀の論理学の相貌を一変させた。」
論理学の歴史 現代論理学の時代
アロンゾ・チャーチとアラン・チューリングは計算可能性の形式的なモデルを提議し、1936年および1937年にそれぞれ独自にヒルベルトの「決定問題」を否定的に解決した。「決定問題」とは、任意の形式的・数学的言明が与えられたときにその言明の真偽をアルゴリズム的に決定できる手順を探求するものである。チャーチとチューリングはそのような手順が存在しないことを証明した; チューリングの論文ではアルゴリズム的な解決が存在しない数学的問題の重要な例として停止性問題が挙げられている。
チャーチの計算のシステムは発展してラムダ計算となり、一方チューリングマシンは多目的計算装置の標準的なモデルとなった。他にも数多くの計算モデルが提起されたが、それらは皆チャーチやチューリングが提案したものと同等の能力を持っていた。この結果から、人間が実行できる任意の確定的アルゴリズムはチューリングマシンも実行できるというチャーチ＝チューリングのテーゼが導かれた。チャーチは補足的な決定不可能の結果を証明し、ペアノ計算も一階述語論理も決定不可能であることを示した。その後、1940年代にエミール・ポストとスティーヴン・コール・クリーネが計算可能性理論の射程を拡張し、チューリング次数の概念を導入した。
20世紀最初の十年の成果は分析哲学や哲学的論理学に、特に1950年以降の様相論理、時相論理、義務論理、適切さの論理といった分野に影響を及ぼした。
第二次世界大戦後、数理論理学は4つの互いに関連するが離れあった領域、つまりモデル理論、証明論、計算可能性理論、そして集合論に分かれた。
集合論においては、強制法がモデルを構築して独立した結果を得るための方法を提供して革命が起きた。1962年にポール・コーエンがこの方法を導入して連続体仮説と選択公理がツェルメロ＝フレンケル集合論から独立であることを証明した。彼の技巧は導入してすぐに簡素化および拡張されたものであり、これ以降数理論理学のあらゆる分野で他の様々な問題に導入されてきた。
計算可能性理論の起源は1930年代-1940年代のチューリング、チャーチ、クリーネ、そしてポストにある。計算可能性理論は抽象的計算可能性の研究へと発展し、再帰理論として知られているものになった。優先度法は1950年代にAlbert MuchnikとRichard Friedbergにそれぞれ独立に発見され、チューリング次数と関連する構造の理解に大きな進展をもたらした。高次計算可能性理論の研究により計算可能性理論と集合論との結びつきが証明された。構成的解析学および計算可能性解析学といった分野は古典数学の定理の有効な内容を研究するために発展した; これらは代わる代わる逆数学の計画を引き起こした。計算可能性理論から別れた分野である計算複雑性理論もまた記述計算量の研究の結果として論理学的な術語を使用するという特徴を持つ。
モデル理論は数理論理学の手法を利用して特定の数学理論のモデルを研究する分野である。アルフレト・タルスキはこの分野の先駆的な著作を多く発表しており、この分野の名前も彼が発表した一連の著作の題名『モデル理論への貢献』に因んでいる。1960年代に、アブラハム・ロビンソンはモデル理論の技法を用いて無限小、つまり最初にライプニッツが提議した問題に基づいた計算・解析を発展させた。
証明論では、古典数学と直観的数学との関係がゲオルク・クライゼルの発明した実現可能性の手法やゲーデルの弁証法解釈といった道具を用いて解明される。この研究によってproof miningという同時代の領域が励起された。カリー＝ハワード同型対応が、自然演繹と計算機科学で用いられる型付きラムダ計算論理との一致を含む、論理と計算との深い類似として起こった。結果として、この形式的体系のクラスが論理学的な面と計算機的な面との両方を説明するようになった; この研究領域は現代型理論として知られるようになった。順序解析や、パリス・ハリントンの定理のような算術における独立した結果の研究によっても進展が起きた。
この時期は、特に1950年代とそれ以降は、数理論理学の概念が哲学的思考に影響を与え始めた時期でもある。例えば、時制論理は時間で修飾された文を表現し、推理するために形式化された体系である。哲学者アーサー・プライアーは1960年代においてこの分野の発展に大きな役割を果たした。様相論理は形式論理学の射程を拡張してモダリティの要素(例えば、論理的可能性や必要性)を包含するようにした。ソール・クリプキの思想、特に可能世界に関する思想と今日クリプキ意味論と呼ばれている形式的体系は分析哲学に重大な影響を及ぼした。彼の最もよく知られ最も影響力を持った著作は『名指しと必然性』(1980年)である。義務論理は様相論理と緊密に関係している: 義務論理は義務、許可、その他関連する概念の論理的特徴を把握しようとする。アレクシウス・マイノングの弟子エルンスト・マリーはホワイトヘッドとラッセルの命題計算の統語論に基づいて『義務の基本法則』(独:Grundgesetze des Sollens)で初めて形式的な義務体系を提議した。第二次世界大戦後に創始された他の論理体系としてイランの数学者ロトフィ・ザデーが1965年に始めたファジィ論理がある。
北嶋南五
北嶋 南五（きたじま なんご、1879年3月12日  - 1951年4月2日）は、俳人である。五城目町長などの公職も歴任した。
秋田県五十目村（後の五城目町）の役人であった父孫吉の長男として生まれる。本名は夘一郎（ういちろう）。父の孫吉はのちに村の戸長になり、1891年からは2代目の村長、町制施行で町になった1896年からは初代の町長になった。秋田県会議員も勤めている。
1886年に五十目小学校（のちに五十目尋常小学校）に入学した南五は、卒業後、秋田市の八橋農学校に進学、さらに東京の東京法学校（後の法政大学）に進んだ。
東京時代の南五は、同郷の石井露月の知己を得て俳句の世界に親しみ、正岡子規の主宰する日本派の句会に出入りしているうちに河東碧梧桐とも昵懇の仲になった。
学業を3年で終え、1899年に郷里に戻り、家業の鋳物工場を手伝う。同じ年に石井露月も郷里の秋田県河辺郡戸米川村（後の秋田市雄和）に戻っており、南五は露月を師と仰ぎながら、東京から俳誌『ホトトギス』を取り寄せて句作を続けた。俳号の南五は居住地の南秋田郡五城目町からとっている。露月が代表になって1900年に発行された俳誌『俳星』にも参加している。
北嶋南五
地元での俳句活動の拠点として、1904年から北嶋家の別荘で「焼芋会」と称する句会を毎月開いていた。東北一周の旅に出た河東碧梧桐が1907年7月15日に五城目町に着くと、滞在中の世話は南五が取り仕切り、句会を開いたり景勝地に案内をしたりした。
1915年、36歳のときに父が亡くなり、家業を継いだ。1930年から9年間は第11代の五城目町町長にもなっている。
没後編まれた『南五句集』の装丁と挿絵は、同郷で親交のあった日本画家館岡栗山の手による。
南五主宰の句会が開かれていた北嶋家別荘「春及庵」跡地には、南五の句碑、露月と碧梧桐の句碑が並んで建っている。
渡辺銀雨
渡辺 銀雨（わたなべ ぎんう、1909年9月27日 - 1985年9月25日）は、川柳作家である。
渡辺銀雨 経歴
秋田県五城目町の生まれ。本名は彦次郎。本家にあたる書店に勤務していた20歳のころに、母親に勧められて川柳を始める。当時五城目町には女性の川柳の会があって、母は熱心な会員だった。
みずからも川柳にのめり込んでいった銀雨は、1936年に10数名の二十代の仲間を集めて川柳の会「すずむし吟社」をつくり、川柳句誌『すずむし』を発刊した。以来、没するまですずむし吟社の代表者を務めた。
戦中の軍隊生活をはさんで1945年には湖東印刷所を創業。翌年には湖東新聞を創刊している。事業のかたわら戦後も川柳作家としての活動を続け、川柳誌『宮城野』、『さいたま』、『時の川柳』などの年度賞を受賞する。川柳作家として全国的に知られた存在になった銀雨は、各地の川柳大会の審査員や選者を依頼されるようになり、秋田魁新報社読者文芸の川柳選者も長年つとめた。
1976年には川柳誌『すずむし』を月刊化している。
晩年は後進の育成や同好者を増やすことにも力を注ぎ、婦人会や中学校に川柳クラブをつくることを奨励し、指導にあたった。1979年五城目町功労者表彰。
五城目町内の城主屋敷跡である四渡園には銀雨の川柳句碑がある。刻まれている「太陽に問えば　明日があるという」の句は、兵隊時代に疲れ果てて草むらに仰向けに倒れ込んだときに詠んだもの。この句碑が建った10日後に銀雨は76歳で没した。
渡辺銀雨 すずむし吟社
すずむし吟社（すずむしぎんしゃ）は、秋田県五城目町の川柳団体である。会誌として雑誌『川柳すずむし』を発行している。
すずむし吟社は、1936年に渡辺銀雨を中心とする10名以上の20代の川柳作家が集まって創設された。初代会長・責任者は渡辺が務めたが、初期の川柳の指導には貝田乱声が当たった。太平洋戦争の影響で、一次は会員が3名まで減少したが、戦後に再興した。会誌の『川柳すずむし』は戦前の1941年に創刊し、1976年から月刊になった。秋田県五城目町は、地方の川柳団体が月刊誌を発行するのは当時異例のことであり、大きな話題になったとしている。
句会は毎月20日頃に開催され、30名ほどの参加者が集まるという。
内モンゴル人民革命党
内モンゴル人民革命党（うちモンゴルじんみんかくめいとう、モンゴル語: Dotoγadu Mongγol-un Arad-un Qubisqal-un Nam / Дотоод Монгол Ардын Хувьсгалт Нам、英語: Inner Mongolian People's Revolutionary Party、中国語: 内蒙古人民革命党、中国語の略称は内人党）は、かつて存在した内モンゴルの政党。
内モンゴル人民革命党 年譜
1925年10月、内モンゴルの青年政治活動家によってカルガン（張家口）で結成された。結成メンバーの中には、メルセ（Merse、郭道甫）、チェレンドンドブ（Serengdongrub、白雲梯）らもいた。メルセはモンゴル人民革命党とコミンテルンと連絡を取り、後に党書記長となる。党設立総会の出席者や執行委員には、アラタンワチル（金永昌）、包悦卿、バヤンダイ、ドゴイラン運動指導者のシネラマ、フミタイ（Fumintai）セインバヤル（Sainbayar）、中国国民党からは李烈鈞や張之江ら、中国共産党からは王仲一、吉雅泰や李裕智などが名を連ねた。
内モンゴル人民革命党は、モンゴル人の民族自決、社会主義、封建制度の廃止、宗教勢力の特権廃止などを提唱した。
内モンゴル人民革命党は親国民党派と親共産党派に分裂して崩壊した。1945年（昭和20年）満洲国崩壊後は興安総省において東モンゴル自治政府が成立すると再組織され、内外モンゴルの統一を目指し活動を行った。同年8月18日の会議ではソ連対日参戦に伴うモンゴル軍の進駐に呼応して、内モンゴル人民革命党は内モンゴル人民解放宣言を採択した。しかしその後、中国共産党のウランフ（烏蘭夫）の画策により東モンゴル自治政府は内モンゴル人民共和国などと統合されて内外モンゴル統一の代わりに東西モンゴルの統一が目標として掲げられ、1946年中国共産党に吸収合併される形で解党した。
宇治市立広野中学校
宇治市立広野中学校（うじしりつ ひろのちゅうがっこう）は、京都府宇治市広野町にある公立中学校。略称「広中」。
宇治市立広野中学校 概要
1984年に宇治市立宇治中学校、宇治市立南宇治中学校、宇治市立西宇治中学校の3校から分離して開校した。宇治市教育委員会によって、小中一貫教育の取り組み（宇治ひろの学園）が行われている。他の市立中学校同様に、学校給食は実施されていない。
トッド・ハワード
トッド・ハワード（英: Todd Howard）はアメリカ合衆国の ビデオゲームデザイナー、ディレクター、プロデューサー。ベセスダ・ゲーム・スタジオのゲームディレクター兼製作総指揮者として『Fallout』シリーズと『The Elder Scrolls』シリーズの開発を主導した。
トッド・ハワード 経歴
ペンシルバニア州ローワー・マカンギー・タウンシップ で生まれ、若くしてコンピュータ、特にビデオゲームに興味を持っていた。自らのゲームにインスピレーションを与えたものとしては、ウィザードリィとUltima 3を挙げている。1989年にペンシルバニア州エメーアスにあるエメーアス高等学校 を卒業し、バージニア州にあるウィリアムズバーグのウィリアム・アンド・メアリー大学に進学。在学中、ベセスダ・ソフトワークスの『Wayne Gretzky Hockey 3』をプレイしたことをきっかけに同社に職を求めたが、大学を卒業していないことを理由に拒否される。1993年、大学を卒業。専攻は工学と経営学だった。ゲーム開発志望にもかかわらずこの二分野を選んだのは「大学卒業のために一番簡単な手段」だったためだという。その後、再びベセスダに就職を試みるも、今度は未経験を理由に断られ、一旦別のゲーム会社に就職した。
トッド・ハワード 経歴
1994年、ベセスダに入社。同社におけるゲーム開発の最初の功績は 『The Terminator: Future Shock』と『SkyNET』のプロデューサー兼デザイナーであった。
『The Elder Scrolls』シリーズには1996年にリリースされた『The Elder Scrolls II: Daggerfall』から参加した。
1998年にリリースされた 『The Elder Scrolls Adventures: Redguard』で初めてプロジェクトリーダーを務め、その後『The Elder Scrolls III: Morrowind』、『The Elder Scrolls IV: Oblivion』、『Fallout 3』、『The Elder Scrolls V: Skyrim』、『Fallout 4』、『Fallout 76』の開発を指揮している。
トッド・ハワード 発言
ハワードは産業界イベントの常連講師であり、その作品は ニューズウィーク、CNN、USAトゥデイ、The Today Showから世界中の雑誌ですべて取り上げられた。ハワードは、ベセスダの『Elder Scrolls』ゲームの哲学は人々に「もう一つの世界で、もう一つの人生を送る」ことができるようにすることと述べた。
ハワードは2009年と2012年の D.I.C.E. Summit で開発者の前で、ゲーム開発で分かち合う3つのルールについて口を開いた。
ハワードは開発者は商品の購買層と設置基盤 (プラットフォーム)を無視して情熱に従うべきだとも言っている。「もし設置基盤が重要だったならば、我々はすべてボードゲームを作っていただろう。なぜならば数多くのテーブルがあるからだ。」
トッド・ハワード 評価
GamePro マガジンはハワードを過去20年に渡ってゲームでもっとも影響力のある人物トップ20に指名した。IGNでも史上最高のトップゲームクリエイターの一人として指名されている。
福田香史
福田 香史（ふくだ こうし、1932年（昭和7年）12月14日 - 1980年（昭和55年）3月18日）は、三重交通四日市営業所所属の職員。日本社会党所属の四日市市議会議員と兼務していた。市議会議員を3期務める。埼玉県川越市出身。住所は四日市市大字塩浜。四日市市磯津地区在住。
福田香史 経歴
1971年（昭和46年）4月に三重交通の労働組合を中心とする日本私鉄労働組合総連合会や国鉄労働組合などの四日市市内の運輸業の労組を支持母体として四日市ぜんそく解決のため四日市市議会議員選挙に日本社会党から立候補して初当選した。1975年（昭和50年）に再選。1979年（昭和54年）4月に2500票を獲得して3期目の当選をする。塩浜地域の問題や四日市ぜんそくなど公害問題に取り組み、交通事故の死者急増問題にも取り組んだ。
福田香史 四日市公害問題に取り組む
四日市公害裁判公害裁判中に病死した原告主婦の長女が、経済的困窮により高校を中退して家事手伝をしていることを知った福田は、四日市市の社会党を中心に学費援助の支援活動を行い、寄付が集まった結果復学が可能となった。学資は三菱油化が、家政婦の給与は三菱化成が援助した。
1972年（昭和47年）10月18日に子供を患者に持つ磯津の母親3人とともに三重県庁に出向いた。「昭和石油の増設プラントの操業を開始しても、公害発生の恐れはないと言うが、三重県知事としてその事に責任をもてるかどうか」と田中覚三重県知事に詰め寄った。福田は(1)三重県側(2)四日市コンビナートの石油化学企業側(3)塩浜地区の住民側の3つの団体で三者協定を結んでほしいと申し入れた。
福田香史 飲酒運転による交通事故死
1980年（昭和55年）3月18日に交通事故のため47歳で急死した。伊勢新聞の報道によると、当日の市議会の後、他の市議との宴会で大量に飲酒したとされていて、そのまま飲酒運転を行い磯津地区内にある小さい川に転落、車内から水死体で発見された。葬儀・通夜では、前川辰男四日市市議会議員など社会党の関係者や磯津地区民が多数参列した。水沢地区出身者が後継候補になった。
大阪府立大手前高等学校
大阪府立大手前高等学校（おおさかふりつ おおてまえこうとうがっこう、英語: Osaka Prefectural Otemae Senior High School）は、大阪府大阪市中央区大手前に所在する公立高等学校。
大阪府立大手前高等学校 概要
1882年に設置された大阪府師範学校附属裁縫場を源流とし、1886年に大阪府女学校として創立した。
2016年度の入学生までは出席番号は女子から始まり、校歌の調もやや高めである。
旧制の高等女学校を経て、1948年の学制改革により全日制課程の普通科高等学校として出発した。また1950年には定時制課程が設置され、全日制と定時制の併設校となっている。通信制課程も一時期併設されたが、通信制課程は1966年に分離され、大阪府立桃谷高等学校として独立開校している。
全日制課程では、2011年度から大阪府教育委員会のグローバルリーダーズハイスクール(GLHS)の指定校となり、従来の理数科に代わり、文理学科4クラスを設置した。2018年度より普通科の募集を停止し、同年度入学生以降は文理学科に一本化されている。また、スーパーサイエンスハイスクール(SSH)に指定されている。
海外研修が盛んであり、過去にはアメリカ研修(2,3年対象)、オーストラリアサイエンス研修(2年対象)、オーストラリア語学研修(1,2年対象)、シンガポール語学研修(1,2年対象)等が行われた。
大阪府立大手前高等学校 概要
2学期制を採用しているため、秋期休業日（秋休み）が数日間ある。授業は65分×5コマで、コマ数の都合により2週間サイクルの時間割を組んでいる。
また、行事がある日や終業式などの日でも可能な限り授業を行っている。定時制があるため全日制の生徒は17時50分完全下校となっている。2022年4月、下校時間が変更され、部活動などで付添のない生徒は16時55分下校となった。このため、部活動が行える時間が限られているが、運動部では、1992、1993、2005と2010年には水泳部が、全国高等学校総合体育大会に出場している。制服の着用が義務付けられているが、校外教授（遠足）および修学旅行には私服での参加が可能となる。
校舎は本館・理科棟・別館・新館・金蘭会館などに分かれている。本館は7階建てでエレベーターが2機あり、生徒が自由に使用できる。ただし、2020年以降、新型コロナウイルス感染対策の観点から、原則的に生徒の使用が禁止されている。施設上の理由（駐輪場が確保できない）から、校内への自転車乗入れは禁止されている（定時制生徒は除く）。
大阪府立大手前高等学校 概要
他の高校に存在する生徒会の代わりに、「自治会」が設置されており、生徒の自治が推進されている。学校行事の運営は自治会が主体となっている。また、年1回自治会誌「Spring」が発行されている。
金蘭会という同窓会を持ち、金蘭会中学校・高等学校・千里金蘭大学を設立した学校法人金蘭会学園の母体となっている。なお、金蘭会本部は同高校内にあり、LAN教室（パソコンルーム）及び全校生徒が利用できるトレーニングルームは、全て卒業生の寄附金により創設されたものである。また、1986年には開校100周年を記念し大阪府立国際児童文学館と共同で児童文学に関する優れた研究を表彰する国際グリム賞を創設した。
1955年の映画『ゴジラの逆襲』に登場し、ゴジラとアンギラスの戦いで校舎の一部が破損している。
大阪府立大手前高等学校 沿革
1882年に府立大阪師範学校に設置された附属裁縫場が、学校の源流となっている。小学校の裁縫担当の教員を養成する目的で設置された課程である。なおこの時期は師範学校と女学校の役割が未分化で、女子教育は小学校教員養成を中心におこなわれていた。
附属裁縫場は1886年1月に女学科に改編され、その後1886年9月21日に大阪府女学校として独立した。大阪府女学校の設置・独立をもって学校創立と位置づけている。
創立当初の校地は師範学校と同じ北区常安町（現在の大阪市北区中之島4丁目、大阪大学中之島センター付近）、元の大阪府立模範幼稚園跡だった。
1887年1月には高等女学校に改編され、大阪府高等女学校となった。
1889年10月1日付で大阪市に移管され、大阪市立大阪高等女学校へと改称されている。大阪市への移管についての経緯は明らかではないが、学校沿革誌『大手前百年史』（1987年）によると内務省からの指示があったとみられると推定している。
1890年-91年になると、不況を背景に大阪市は財政難となり、廃校も検討された。しかし在校生や関係者が存続運動をおこし、存続が決定した。1900年4月には大阪市立第二高等女学校が新設されたことに伴い、大阪市立第一高等女学校へ改称した。
大阪府立大手前高等学校 沿革
一方で1900年2月、当時の大阪府知事菊池侃二が『大阪府教育十カ年計画』を策定した。高等女学校の生徒や入学希望者の急増をふまえ、府費で高等女学校を大阪市内に増設することを決定した。
これにより大阪府が高等女学校を増設する計画を立て、また普通教育については大阪府が一元的におこなう方針が決まった。大阪市立第一高等女学校は大阪府へ再び移管される形で、1901年4月に大阪府立となり、大阪府中之島高等女学校へと改称した。
移管2ヶ月後の1901年6月には、文部省令により大阪府立中之島高等女学校へと改称している。
創立以来中之島の校舎を使用していたが、校地が狭いことがかねてから問題となっていた。当時堂島にあった堂島中学校（現在の北野高等学校）が北野に移転することになったため、跡地を転用して仮校舎とする形で堂島に移転することになった。
1902年には大阪市北区堂島浜通3丁目2番地へ移転し、大阪府立堂島高等女学校へと改称した。
堂島の校舎は老朽化していたため梅田に移転することが決まり、1909年度より移転予定地で校舎新築工事がおこなわれた。その矢先の1909年7月29日には大阪市街地を襲った大火災（北の大火）で一部校舎を焼失した。授業は焼け残った校舎と江戸堀小学校の2ヶ所を使用して実施された。
大阪府立大手前高等学校 沿革
また校舎火災被害のため、校舎新築工事は急ピッチでおこなわれ、火災翌年の1910年4月には大阪駅北側・大阪市北区北梅田町（現在の大阪市北区大深町）に移転した。梅田への移転と同時に、大阪府立梅田高等女学校へと改称している。
なお移転先の隣には、堂島（梅田）高等女学校同窓会「金蘭会」が運営する金蘭会高等女学校（現在の金蘭会中学校・高等学校）があり、遠足や運動会などを合同で実施するなど協力関係にあった。
しかし梅田の敷地は大阪駅（梅田貨物駅）拡張予定地となり、立ち退きを迫られることになった。学校側は1920年以降、北野の北野中学校敷地、十三などを移転候補地として検討し、関係者の検討の結果十三への移転を希望した。
一方で大阪府は大阪市東区大手前之町（現在の大阪市中央区大手前）の輜重兵第4大隊兵舎跡地を買収し、一画を梅田高等女学校の移転用地として充てることを決定した。1922年に大阪府会で建築案が可決され、校舎建設工事がおこなわれた。なお、このとき見送られた十三の地へは後年北野中学校が移転している。
1923年4月に大手前に校舎が完成し移転した。移転と同時に、大阪府立大手前高等女学校へと改称している。校名についてはいくつか候補があったものの、大阪府の学校では地名を校名につけることが慣例となっていたこともあり、所在地の地名からとった「大手前」が学校名として選定されることになった。
大阪府立大手前高等学校 沿革
昭和時代に入ると太平洋戦争の戦局悪化により、1944年以降勤労動員が実施されることになった。3年生以上の生徒は大阪造兵廠（現在の大阪城公園など）および枚方造兵支廠（北河内郡枚方町大字中宮）へと動員された。
また校舎の戦時転用により、1945年4月には豊中市の大阪府立豊中高等女学校（現在の大阪府立桜塚高等学校）内に一時移転することになった。敗戦後の1945年12月には元の場所に復帰している。
学制改革より、1947年には新制中学校を一時的に併設した。旧制高等女学校としての同年度以降の新入生募集を停止し、旧制高等女学校の生徒として入学した同年度2・3年の生徒を新制中学校生徒として移行させた。
翌1948年には新制高等学校へ改編され、大阪府立大手前高等学校となった。大阪府立北野高等学校（旧制大阪府立北野中学校）と生徒・教職員を交流して男女共学となった。
全日制課程は1948年の発足以降普通科のみだった。1993年には理数科が併設され、普通科との2学科体制となった。
1995年には65分授業の導入、2000年には2学期制・半期ごとに単位認定を、それぞれ開始した。
大阪府立大手前高等学校 沿革
2003年には大阪府教育委員会より「エル・ハイスクール」に指定される。また2008年には文部科学省からスーパーサイエンスハイスクールに指定された。
2011年には従来の理数科を改編する形で文理学科を設置し、同年度入学生以降は普通科と文理学科の2学科体制となった。さらに2018年には、普通科の募集を停止して、文理学科に一本化する形になっている。また、2年次以降、探究活動の内容の違いによってSSコースとLSコースに分かれている。
1948年には通信教育部（のち通信制課程と改称）を併設した。通信制課程は1966年に大手前高校の課程としては廃止され、独立校の大阪府立桃谷高等学校として開校している。
通信教育部での夜間授業を母体とする形で、1950年には定時制課程が正式に設置された。1992年には定時制・通信制の併修制度を導入した。2005年には単位制・2学期制のシステムを導入している。
大阪市立旭陽中学校
大阪市立旭陽中学校（おおさかしりつ きょくようちゅうがっこう）は、大阪市旭区にある公立中学校。
近隣には大阪府立旭高等学校があり、高校創立当時旭陽中の校舎を間借りしていた時期があった。また大阪市では珍しく、入学式などに歌で生徒を送るなどのことをしている。
大阪市立旭陽中学校 沿革
1947年の学制改革に伴い、大阪市立旭第一中学校として開校した。開校当初は大阪市立高殿小学校分校に併設していた。1950年に現在地に校地を選定し、1952年に移転している。
当時の校舎は、大阪市立文の里中学校（阿倍野区）とともに文部省のモデルスクールに指定され、鉄筋コンクリートで建設された。当時の鉄筋コンクリート校舎は、文の里中学校に次いで大阪市立中学校としては2番目に設置された鉄筋コンクリート校舎だった。
2002 CONCACAF女子ゴールドカップ
2002 CONCACAF女子ゴールドカップは、2002年10月27日から11月9日にかけて、アメリカ合衆国とカナダで開催された第6回目のCONCACAF女子ゴールドカップである（CONCACAF女子選手権も含める）。今大会は2003 FIFA女子ワールドカップの北中米カリブ海予選を兼ねており、開催国で5回目の優勝を果たしたアメリカ合衆国と準優勝のカナダが出場権を獲得した。また、3位のメキシコはAFC所属の日本との大陸間プレーオフ出場権を獲得した。
2002 CONCACAF女子ゴールドカップ 予選
ニカラグアとベリーズは出場を辞退した。予選1位のコスタリカと2位のパナマが本大会出場権を獲得した。
パナマ  v  グアテマラ
コスタリカ  v  ホンジュラス
パナマ  v  エルサルバドル
グアテマラ  v  ホンジュラス
コスタリカ  v  グアテマラ
エルサルバドル  v  ホンジュラス
コスタリカ  v  パナマ
グアテマラ  v  エルサルバドル
コスタリカ  v  エルサルバドル
パナマ  v  ホンジュラス
カリブ海予選からは3チームが本戦に出場する。
ドミニカ国  v  トリニダード・トバゴ
トリニダード・トバゴ  v  ドミニカ国
合計スコア22-0でトリニダード・トバゴが勝利
ジャマイカ  v  プエルトリコ
プエルトリコ  v  ジャマイカ
合計スコア11-0でジャマイカが勝利
バハマ  v  ハイチ
2002 CONCACAF女子ゴールドカップ 予選
ドミニカ共和国  v  セントルシア
セントルシア  v  ハイチ
ドミニカ共和国  v  バハマ
セントルシア  v  バハマ
ハイチ  v  ドミニカ共和国
ガイアナとモントセラトは出場を辞退したため、スリナムとアメリカ領ヴァージン諸島は2国間での対戦でのみ2回戦進出が決まることになった。
スリナム  v  アメリカ領ヴァージン諸島
アメリカ領ヴァージン諸島  v  スリナム
合計スコア8-1でスリナムが勝利
ジャマイカ  v  ハイチ
ハイチ  v  ジャマイカ
合計スコア2-0でジャマイカが勝利
スリナム  v  トリニダード・トバゴ
トリニダード・トバゴ  v  スリナム
合計スコア5-2でトリニダード・トバゴが勝利
ハイチ  v  スリナム
スリナム  v  ハイチ
合計スコア5-1でハイチが勝利
2002 CONCACAF女子ゴールドカップ 本大会
予選を勝ち抜いた5カ国に、本戦シードされているアメリカ合衆国、カナダ、メキシコを加えた8チームが本戦に出場する。8カ国は4チームずつ2組に別れてラウンドロビン方式で3試合を戦う。上位2チームが決勝トーナメントに進出する。
トリニダード・トバゴ  v  パナマ
アメリカ合衆国  v  メキシコ
アメリカ合衆国  v  トリニダード・トバゴ
メキシコ  v  パナマ
メキシコ  v  トリニダード・トバゴ
アメリカ合衆国  v  パナマ
ジャマイカ  v  コスタリカ
カナダ  v  ハイチ
ハイチ  v  コスタリカ
カナダ  v  ジャマイカ
ジャマイカ  v  ハイチ
カナダ  v  コスタリカ
アメリカ合衆国  v  コスタリカ
カナダ  v  メキシコ
コスタリカ  v  メキシコ
アメリカ合衆国  v  カナダ
2002 CONCACAF女子ゴールドカップ 他大会出場権獲得国
2003 FIFA女子ワールドカップ
本大会出場
大陸間プレーオフ出場
王蕣華
王 蕣華（おう しゅんか）は、南朝斉の和帝蕭宝融の皇后。本貫は琅邪郡臨沂県。
王蕣華 経歴
太尉王倹（王僧綽の子）の孫娘にあたる。蕭宝融の妻として迎えられ、隨王妃となった。永元元年（499年）、南康王妃に改められた。中興元年（501年）3月、和帝が即位すると、皇后に立てられた。中興2年（502年）4月、和帝が蕭衍に帝位を譲ると、皇后は巴陵王妃に降格され、姑孰にうつされた。
コンノトヒロ
コンノトヒロは、日本の漫画家。読み方はコンノ・トヒロ。本人曰く「1年に一回は読み方を聞かれるが コンノ・トヒロが正解だけど好きに呼んでチョ」とのこと。
コンノトヒロ 概要
講談社『マガジンZ』主催の第3回永井豪新人大賞にて選外佳作を受賞後、同誌2001年6月号にて「ぷぎゅる」（読み切り作品）でデビューした。
作品のスタイルは基本的に4コマ漫画で、ギャグマンガを専門とする。
カブトムシゆかり
カブトムシゆかり（1989年1月26日 - ）は、日本のアイドルタレント。本名：富澤 友加里（とみざわ ゆかり）。
カブトムシゆかり 略歴
東京都出身。堀越高等学校卒業、東京国際大学に入学するも1年で中退。姉が居る。子供のころから虫が好きで小学6年から中学1年頃まで、虫捕りに夢中になって学校に行くふりをしてあまり学校に行ってないということがあり、これを悩んだ母親に自己啓発と引っ込み思案を直すという目的で児童劇団に入れられ、この時期にジュニアアイドルとして活動していたことがあった。
大学中退後は、父が経営する不動産会社に勤務していた、その後、フリーのタレントとして活動。映画『ミミック』の登場人物のレミー（昆虫学者で女教師）に勇気をもらう形で始めたという自身のブログ『虫とYシャツと私』がオスカープロモーション関係者の目に留まって、まず女性イベンターの人から声がかかり、「虫のお姉さん」としての出演オファーなどを経て、2011年秋にオスカープロモーション所属となり、2012年5月に本格的デビューする。2011年頃までは本名で活動していたが、それ以後はブログのハンドルネームをそのまま芸名として、カブトムシゆかりとする。芸名は、女性は結婚すると名字が変わるように、カブトムシと結婚したらこうなるという意味を込めたという。なお、芸名の候補は他にも「虫コロコロゆかり」というものがあった。
カブトムシゆかり 略歴
2013年3月の「2013ジャパンペットフェア」（インテックス大阪）の特命PR部長を務める。2015年3月21日は福井県立恐竜博物館の企画展『スプリングダイナソースタジオ』の1日応援隊長を務める。
NHK総合『ダーウィンが来た! 〜生きもの新伝説〜SP「ミラクル・スピーシーズ　いざ出発!新種発見の大冒険へ」のロケにおいて、コスタリカ・モンテベルデの熱帯雨林の中で新種の羽虫を発見、触角がウサギの耳に似ているのが特徴だったことから仮に『バニーちゃんハムシ』と名付けた。
2017年8月31日、オスカープロモーションを円満退社。ただ、辞めるにあたり話し合いをした時に、実は所属契約書を取り交わしていなかった（オスカーも本人も認識していなかった）ことが判明した。
2020年2月、結婚したことを報告。
2021年夏に第1子男児を出産。
2025年10月6日、離婚したことを報告した。