DomainTools.com |
 |
||
|
|
||
Japense Wikipedia references for Stanford.edu 1-50 of 554
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | >>
| Language: | ||||||||||||
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
|
| Articles: | 8,415 |
1,822 |
704 |
560 |
451 |
554 |
238 |
201 |
285 |
277 |
203 |
346 |
| 自然言語処理 自然言語処理（しぜんげんごしょり、英:Natural language processing、NLP）は、人間が日常的に使っている自然言語をコンピュータに処理させる一連の技術であり、人工知能と言語学の一分野である。「計算言語学 Computational Linguistics」も同じ意味であるが、前者は工学的な視点からの言語処理をさすのに対して、後者は言語学的視点を重視する手法をさす事が多い。データベース内の情報を自然言語に変換したり、自然言語の文章をより形式的な（コンピュータが理解しやすい）表現に変換するといった処理が含まれる。自然言語の理解をコンピュータにさせることは、自然言語理解とされている。自然言語理解と、自然言語処理の差は、意味を扱うか、扱わないかという説もあったが、最近は数理的な言語解析手法（統計や確率など）が広められた為、パーサ（統語解析器）などが一段と精度や速度が上がり、その意味合いは違ってきている。もともと自然言語の意味論的側面を全く無視して達成できることは非常に限られている。このため、自然言語処理には形態素解析と構文解析、文脈解析、意味解析などをSyntaxなど表層的な観点から解析をする学問であるが、自然言語理解は、意味をどのように理解するかという個々人の理解と推論部分が主な研究の課題になってきており、両者の境界は意思や意図が含まれるかどうかになってきている。 自然言語処理 | |
| バールーフ・デ・スピノザ thumb バールーフ・デ・スピノザ（Baruch De Spinoza, 1632年11月24日 - 1677年2月21日）はオランダの哲学者、神学者。一般には、そのラテン語名ベネディクトゥス・デ・スピノザ (Benedictus De Spinoza) で知られる。デカルト、ライプニッツと並ぶ合理主義哲学者として知られ、その哲学体系は代表的な汎神論と考えられてきた。また、ドイツ観念論やフランス現代思想へ強大な影響を与えた。彼の肖像は1970年代に流通していたオランダの最高額面の1000ギルダー紙幣に描かれていた。 バールーフ・デ・スピノザ | |
| 哲学 哲学（てつがく、＝愛知）は、前提や問題点の明確化、概念の厳密化、命題間の関係の整理などの理性的な思考を通じて、様々な主題について論じて研究を進める学問の一種。その理性的な思考自体も研究対象になる。また、そのような思考を通じて形成される立場も哲学と呼ばれる（ソクラテスの哲学、など）。 哲学 | |
| カーペンターズ カーペンターズ (Carpenters) は、アメリカの兄妹デュオ。1969年4月22日に命名された。楽器を兄のリチャード・カーペンターが受け持ち、ヴォーカルを妹カレン・カーペンターが行った。The Carpentersと表記されることが多いが、公式なレコード作品や出版物においては定冠詞なしのCarpentersを名称として用いている。ロック全盛の1970年代に、リチャードとカレンは独自の音楽スタイルを貫き、大きな成功を収めた。1983年2月4日のカレンの死によりその活動を終えた。カーペンターズのポップ・ソングはアメリカのトップ40やアダルト・コンテンポラリー・チャートの記録を塗り替え、ソフト・ロックやイージー・リスニング、アダルト・コンテンポラリー・ミュージックといったジャンルにおける主要なヒットメーカーになる。ビルボード・ホット100チャートで1位となったシングルが3曲、アダルト・コンテンポラリー・シングル・チャートで1位が15曲ある。さらに、トップ10入りは12曲に及ぶ。カーペンターズのアルバムおよびシングルの総売上枚数は1億枚を上回ると推定されている カーペンターズ | |
| 検索エンジン 検索エンジン（けんさくエンジン、search engine）とは、狭義にはインターネットに存在する情報（ウェブページ、ウェブサイト、画像ファイル、ネットニュースなど）を検索する機能およびそのプログラム。検索サイトを検索エンジンと呼ぶことはあるが、検索サイトは検索エンジンでない。インターネットの普及初期には、検索としての機能のみを提供していたウェブサイトそのものを検索エンジンと呼んだが、現在では様々なサービスが加わったポータルサイト化が進んだため、検索をサービスの一つとして提供するウェブサイトを単に検索サイトと呼ぶことはなくなっている。広義には、インターネットに限定せず情報を検索するシステム全般を含む。狭義の検索エンジンは、ロボット型検索エンジン、ディレクトリ型検索エンジン、メタ検索エンジンなどに分類される。 テキスト情報の全文検索機能を備えたソフトウェア（全文検索システム）等がある。 検索エンジン | |
| ヘラクレイトス ヘラクレイトス（ Hērakleitos、 紀元前540年頃 - 紀元前480年頃?）は、ギリシア人の哲学者、自然哲学者。 ヘラクレイトス | |
| 認識論 認識論（にんしきろん、Epistemology）は哲学の一部門である。知識論とも呼ばれる。語源はギリシャ語の épistémê + logos 。真理や知識の性質・起源・範囲（人が理解できる限界など）について考察する。日本では認識の訳語からか、人・人間を考慮した場合を主に扱うが、なお、フランスではエピステモロジー（Épistémologie）という分野があるが、これは認識論を表すわけではなく、むしろ20世紀にフランスで生まれた科学哲学の一つの方法論ないし理論であり、日本語では科学認識論とも訳される。 認識論 | |
| ドナルド・クヌース ドナルド・エルビン・クヌース (Donald Ervin Knuth, 1938年1月10日 - ) は数学者、情報工学者。スタンフォード大学名誉教授。クヌースによるアルゴリズムに関する著作 The Art of Computer Programming のシリーズはプログラミングに携わるものの間ではあまりにも有名。アルゴリズム解析と呼ばれる分野を開拓し、計算理論の発展に多大な貢献をしている。コンピュータによる組版システムTeXとフォント設計システムMETAFONTの開発者でもあり、文芸的プログラミングのコンセプトを生み出した。 ドナルド・クヌース | |
| TeX TeX（読み方は後述）は数学者・コンピュータ科学者であるドナルド・クヌースにより作られた組版処理ソフトウェアである。 TeX | |
| チューリングマシン チューリングマシン ( b b cdots実行時間とよぶ。その過程における状況中の q の最右位置を、M が x に対して使用する記憶領域量という。M が言語を認識するとは、M が L の元のみをみな受理することをいう。そのようなチューリング機械 M が存在するとき、L は帰納可枚挙（recursively enumerable）あるいは計算可枚挙（computably enumerable）であるという。L とがともに帰納可枚挙であるとき、Lは帰納的（recursive）あるいは決定可能（decidable）であるという。より精細に、自然数から自然数への写像 t に対し、M が L を時間計算量［ないし空間計算量］t で認識するとは、M が L を認識し、かつ各に対するの実行時間［ないし記憶領域量］が以下であることをいう。ここでは文字列 x の長さを表す。 チューリングマシン | |
| 宇宙論 宇宙論（うちゅうろん、cosmology）は宇宙の構造や性質、歴史などについて研究する学問である。日本語ではコスモロジーとも呼ばれ、以下のような異なる学問分野で研究対象となっている。 哲学・形而上学 宗教学 倫理学 天文学・宇宙物理学 本稿では特に天文学・宇宙物理学の一分野としての宇宙論 (physical cosmology) を扱う。 宇宙論 | |
| 老子 老子（ろうし、紀元前5世紀頃）は、中国の春秋時代の思想家。姓は李。名は耳とされ、唐の皇帝から宗室の祖と仰がれた。『老子』(またの名を『老子道徳経』)を書いたとされるがその履歴については不明な部分が多く、実在が疑問視されることもある。 老子 | |
| 戦争 戦争（せんそう、英：War）とは、主に国家が、軍事力・武力・国力を利用し、作戦・戦闘を組織的に遂行する行為および状態である。 戦争 | |
| 代数学 代数学（だいすうがく、algebra）は数学の一分野で、「代数」 の名の通り数の代わりに文字を用いて方程式の解法を研究する学問として始まった。その意味では代数学という命名は正鵠を射ている。しかし19世紀以降の現代数学においては、ヒルベルトの公理主義やブルバキスタイルに見られるように、代数学はその範囲を大きく広げているため、「数の代わりに文字を用いる数学」とか「方程式の解法の学問」 とかいう理解の仕方は適当ではない。現代数学においては、方程式の研究は方程式論（代数方程式論）という代数学の古典的一分野として捉えられている。現代代数学は、一般的に代数系を研究する学問分野であると捉えられている。以下に示す代数学の諸分野の名に現れる半群・群・環・多元環（代数）・体・束は代数系がもつ代表的な代数的構造である。ガロアによる代数方程式の解法の研究などに起源があり、束論はブールによる論理学の数学的研究などに起源がある。 代数学 | |
| 連結リスト 連結リスト（れんけつリスト、英:Linked list）は、最も基本的なデータ構造の一つであり、他のデータ構造の実装に使われる。リンクリスト、リンクトリストとも表記される。一連のノードが、任意のデータフィールド群を持ち、1つか2つの参照（リンク）により次（および前）のノードを指している。連結リストの主な利点は、リスト上のノードを様々な順番で検索可能な点である。連結リストは自己参照型のデータ型であり、同じデータ型の別のノードへのリンク（またはポインタ）を含んでいる。連結リストは場所が分かっていれば、ノードの挿入や削除を定数時間で行うことができる（場所を探すのにかかる時間はリスト上の順番の条件などにも依存するし、後述する片方向リストなのか双方向リストなのかにも依存する）。連結リストにはいくつかの種類があり、片方向リスト、双方向リスト、線形リスト、循環リストなどがある。 連結リスト | |
| ジョン・マッカーシー thumbニューヨーク州立大学バッファロー校にて） ジョン・マッカーシー（John McCarthy, 1927年9月4日 - ）は、マービン・ミンスキーとならぶ初期の人工知能研究の第一人者。「人工知能; Artificial Intelligence」という用語は彼が1956年のダートマス会議のために1955年に出した提案書で初めて使用された。1927年にボストンに生まれる。両親は都市を中心に活動する共産主義者だった。 ジョン・マッカーシー | |
| グラフィカルユーザインタフェース グラフィカルユーザインタフェース（'GUI,',グイ）はコンピュータグラフィックスとポインティングデバイスを用いて、直感的な操作を提供するユーザインタフェース。 キャラクタユーザインタフェース (CUI) やテキストユーザインタフェース (TUI) と対比して語られることが多い。 グラフィカルユーザインタフェース | |
| マウス (コンピュータ) thumbマウス（Mouse）とはポインティングデバイスの一つ。ポインティングデバイスとしてのマウスは、ダグラス・エンゲルバートが1961年に発明した。 マウス_(コンピュータ) | |
| 存在 存在（そんざい、existence）とは、この世界の多様な現象を把握するために、一定の条件を満たした現象群を統合した呼称。一般的にはその現象群が物理的因果関係を持つ時、その現象群は存在する、と認識される。例えば何らかの塊に力を加えて動いた時、我々はその塊が物理的に存在すると認識する。そして、その表面の色、模様、感触から材質が木であることが分かり、また、形状から機能を推定することでその塊を「椅子」として認識する。また、そのような物理的存在を過去や未来、或いは別世界に移動して想像する時にも、その物は存在すると考えられる場合もある。例えば、椅子を動かしたという記憶がある時、我々はその椅子がかつて存在していたと考える。また、多世界論理では様々な世界にそれぞれ椅子が存在し、（椅子に腰掛ける時）我々の意思がそのうちの一つを選択するという形而上学を展開する。これらの存在感覚の底辺を成していると思われるのは「実存感」（reality）であると思われる。 存在 | |
| 時間 時間（じかん、time）とは物事の変化を認識するための概念である。芸術、哲学、自然科学、心理学などの重要なテーマとなっている。それぞれの分野で異なった理解のしかたがある。 時間 | |
| 神 神（かみ）は、万物を擬人化して表現するアニミズム的な発想に基づく元型から作り出された象徴の一種であったり、人間の及ばぬ知恵・知識・力を持つとされる存在であったり、宗教によっては、人間を含む生命やこの世界そのものなど万物を創り出した造物主的存在であるとされることもある。しばしば英知や真理の担い手として扱われ、人知を超えた力や運命と関連づけられ、信仰や畏怖の対象となる。 神 | |
| 真理 真理（しんり）とは、歪曲や隠蔽や錯誤をすべて排したときに明らかになる事のありようをいう。本当のこと、また本当であること。由来するラテン語のvereは、ありのままのものの意。ギリシア語：αλήθεια (aletheia)、ラテン語：veritas、英語：truth、ドイツ語：Wahrheit、サンスクリット：satya 真理 | |
| 記憶 記憶（きおく）とは、脳に蓄積される情報。 スクワイアの記憶分類という分類法が最も一般的である。ここではスクワイアの記憶分類を基にしたモデルについて述べる。（他の分類も提唱されている。）記憶は感覚記憶、短期記憶、長期記憶の3つに大きく分類される。 記憶 | |
| 生命 生命（せいめい）とは、生物が生物として自己を維持、増殖、外界と隔離する活動の総称であるが、はっきりとした定義を与える事は難しい。またある意味では、自己複製を繰り返し、かつ変化しうる存在で有るとも考えられる。この場合細胞も、代謝でさえも必要では無く、既存の生物にとらわれる事無く生命の基本的性質を議論する事が可能になる。こういった文脈では生物は現生の地球上の生物に限定して使用されることもある。逆に、命、あるいは魂と同じ意味に使われる場合もある。それらについては各個項目を参照。生命活動が不可逆に停止する事を死とするが、普通は子をなしてその血統を存続させる。これを細胞レベルで見れば、細胞の分裂と融合に基づく連続性は常に維持されているため、その意味で生命は停止せずに連続していると表現する事も出来る。これを生命の連続性という。遺伝子型のレベルでは、ヒトのように有性生殖のみを行い、無性生殖を行わない生物では自己と全く同じDNA（遺伝情報）を持つ個体を残せないため、個体の存続を否定する死は絶対的なものである。しかし生殖で子孫を残していた場合、オリジナルと同一でなくてもDNAの一部は脈々受け継がれているともいえる。 生命 | |
| ダグラス・エンゲルバート ダグラス・エンゲルバート（Douglas Carl Engelbart, 1925年1月30日 - ）は、アメリカ合衆国の発明家。マウス、ハイパーテキスト、ワードプロセッサ、マルチウィンドウ・システムなどの発明者。 ダグラス・エンゲルバート | |
| 宗教と科学 宗教と科学(しゅうきょうとかがく）は、対比される事が多い。歴史的に、宗教はこの世界の真理や仕組みに関した扱いが多く、科学は宗教的な枠組のなかにあった。また、宗教は政治的な力との繋がりも強く、科学は宗教の枠組の一部から逃れることができなかった。「信じること」を強く基本にしている宗教では「神を信じる」、「予言者を信じる」ことで、疑うことを許さないものもある。それは、探求に必要な方法論のひとつであることもある。この場合開祖は人間以上の存在であり、われわれ人間は同じ領域に達することができないとされる場合がある。しかし、歴史をみるとそのことが政治的に民衆をコントロールするために悪用されて来たことが多い。 宗教と科学 | |
| クローン クローンは、同一の起源を持ち、尚かつ均一な遺伝情報を持つ核酸、細胞、個体の集団。もとはギリシア語で植物の小枝の集まりを意味する から。1903年、ウェッバー (H. J. Webber) が、栄養生殖によって増殖した個体集団を指す生物学用語として定義した。また、本来の意味は挿し木である。 クローン | |
| マーティン・ルーサー・キング・ジュニア マーティン・ルーサー・キング・ジュニア Martin Luther King, Jr., 1929年1月15日–1968年4月4日）はアメリカ合衆国のプロテスタントバプテスト派の牧師である。キング牧師の名で知られる、アフリカ系アメリカ人公民権運動の指導者的役割を果たした活動家。「I Have a Dream」（私には夢がある）で知られる有名なスピーチを行った人物。1964年のノーベル平和賞受賞者。2004年の議会名誉黄金勲章受章者。アメリカの人種差別（特にアフリカ系アメリカ人に対する差別）の歴史を語る上で重要な人物の一人である。 マーティン・ルーサー・キング・ジュニア | |
| 無神論 thumbポール＝アンリ・ティリ・ドルバック男爵無神論（むしんろん、atheism ラテン語：atheismus）とは、世界観の説明に神の存在、意思の介在などが存在しないと言う考え方である。神に関心がない、いわゆる「無宗教」と無神論は混同されがちだが、無宗教でありながらも「神は信じる」と言う人もおり、両者は厳密には区別して考えられるべきである。また、無神論の典型とされる唯物論と関連性が深い機械論は、どちらかと言えば神がいるのかいないのかの議論を避けているので必ずしも無神論とは限らない。 無神論 | |
| 疑似科学 疑似科学（ぎじかがく）とは、学問、学説、理論、知識、研究等のうち、その主唱者や研究者が科学であると主張したり科学であるように見せかけたりしていながら、現時点(As of Today)での知見において科学の要件として広く認められている条件（科学的方法）を十分に満たしていないものを言う。例えば、当該分野で認められた科学的方法をとっていることが疑問であるため、科学専門誌への掲載が受理されないだけでなく査読にすら回らない「論文もどき」など。英pseudoscience（発音：/sudoˈsaɪəns/シュドサイエンス）の訳語であり、「虚偽の」を表すギリシア語の（pseudēs プセウデース）と、「知識・学問・学術」を表し、英語のscienceの語源でもあるラテン語のscientia（スキエンティア）の複合語である。 疑似科学 | |
| 思考実験 思考実験 （しこうじっけん、英 thought experiment、独 Gedankenexperiment）とは、実際に実験器具を用いて測定を行うことなく、ある状況で理論から導かれるはずの現象を思考のみによって演繹すること。いわゆるシミュレーションも実際の対象を使わない点で共通するが、元来はモデルを使って行うものであり、少なくとも具体的な数値や数式を用いて詳細な結果を得る。これに対して、思考実験はよりあいまいで概念的な結果を求めるものを指す。とりわけ科学史上、特殊な状況に理論を当てはめることによる帰結と、実験を必要としない日常的経験とを比較することによって、理論のより深い洞察に達してきた考察や、元の理論を端的に反駁し、新たな理論の必要性を示すとともに、それを発展させるのに利用されてきた考察を指すことが多い。 この言葉自体は、エルンスト・マッハによって初めて用いられた。 有名な例としては、アインシュタインが光の速度と慣性系の関係についての洞察から特殊相対性理論に達した考察が挙げられる。 思考実験 | |
| 不確定性原理 不確定性原理（ふかくていせいげんり、 英語：Uncertainty principle）とは、ある2つの物理量の組み合わせにおいては、測定値にばらつきを持たせずに2つの物理量を測定することはできない、という理論のことである。具体的には、以下のようなバリエーションがある。 ある物理量A、Bに対しては、Aの測定値の標準偏差とBの測定値の標準偏差との両方を0にするような量子状態は存在しない、という主張。 ある物理量A、Bに対して、Aの値の測定誤差と、物理量Aの測定プロセスが生ずるBの測定値への擾乱との両方を0にすることはできない、という主張。 ある物理量と、量子状態を指定するパラメータとの間の不確定性関係。(時間-エネルギーや位相-個数の不確定性関係など) 不確定性原理 | |
| フェルマーの最終定理 フェルマーの最終定理（フェルマーのさいしゅうていり）とは、3 以上の自然数 n について、xn + yn = zn となる 0 でない自然数 (x, y, z) の組み合わせがない、という定理のことである。フェルマーの大定理とも呼ばれる。フェルマーが驚くべき証明を得たと書き残したと伝えられ、長らくその証明も反例も知られなかったことからフェルマー予想とも称されたが、360年後にワイルズによって完全に証明され、フェルマー・ワイルズの定理と呼ばれるに至る。 フェルマーの最終定理 | |
| 自然哲学の数学的諸原理 180px『自然哲学の数学的諸原理』 (しぜんてつがくのすうがくてきしょげんり) は、アイザック・ニュートンの非常に有名な著書で、ラテン語の原題は "Philosophiae naturalis principia mathematica"。1687年刊行、全3巻。「プリンキピア」という略称でもよく知られている。1977年に講談社から刊行された中野猿人訳では「プリンシピア」とされた。古典力学（ニュートン力学）の基礎をなす画期的な著作で、近代科学における最も重要な著作の一つ。運動の法則を数学的に論じ、天体の運動や万有引力の法則を扱っている。 自然哲学の数学的諸原理 | |
| 人権 人権（じんけん）とは、人の権利。通常は基本権や基本的人権 (fundamental human rights) と同義のものとしてとらえられる。ただし、基本権という場合とは違い、他人から与えられたのではなく生来的に有するものであるというニュアンスで語られることが日本では多い。 人権 | |
| クオリア thumb光が網膜に入射すると現れる、赤のクオリアクオリア（英：複数形 Qualia、単数形 Quale クワーレ）とは、心的生活のうち、内観によって知られうる意識の現象的側面（現象的意識）のこと、またはそれを構成する個々の質感のこと。感覚質（かんかくしつ）とも訳される。 クオリア | |
| 境界 境界(boundary、border、frontier) とは、物と物、領域と領域などとの境目のこと。別の言い方をすれば、ものや領域などを分ける境目が境界である。 境界 | |
| 定義 定義 定義（ていぎ） - 本項で解説。 定義（じょうげ、じょうぎ） - 日本の宮城県仙台市青葉区大倉にある西方寺の通称。または、その周辺の門前町を含めた地区の名称。 定義 | |
| ゴットフリート・ライプニッツ ゴットフリート・ヴィルヘルム・ライプニッツ（Gottfried Wilhelm Leibniz, 1646年7月1日 - 1716年11月14日）はドイツ・ライプツィヒ生まれの哲学者・数学者。 ゴットフリート・ライプニッツ | |
| 芸術 芸術（げいじゅつ、、 techné、、）とは、表現者あるいは表現物と、鑑賞者とが相互に作用し合うことなどで、精神的・感覚的な変動を得ようとする活動。美術、文芸、音楽、演劇など。 思想、感覚、感情、など様々である。 芸術 | |
| ルネ・デカルト ルネ・デカルト（, 1596年3月31日 - 1650年2月11日）は、フランス生まれの哲学者・自然哲学者（自然学者）・数学者。 ルネ・デカルト | |
| アリストテレス アリストテレスまたはアリストテレース（、前384年 - 前322年3月7日）は、古代ギリシアの哲学者。英語風に発音したアリストートル (Aristotle) も日本で時折使用される。 アリストテレス | |
| スタンフォード大学 正式名称は、リーランド・スタンフォード・ジュニア大学。校訓は"Die Luft der Freiheit weht"（自由の風が吹く）。サンフランシスコからは約37マイル（60 km）南東の所にあり、地理上、歴史的にもシリコンバレーの中心に位置している。 スタンフォード大学 | |
| 病気 病気（びょうき、disease）、病（やまい）は、人間や動物の心や体に不調または不都合が生じ、医療による改善が望ましい状態であることを言う（本記事で後述）。 病気（やまいけ）は、病気が起こるような気配をいう。 症候群（しょうこうぐん、syndrome）、疾病（しっぺい）、疾患（しっかん）は類似概念として、本記事でまとめて解説する。 病気 | |
| 選択公理 選択公理（せんたくこうり、axiom of choice、選出公理ともいう）とは公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合（すなわち、集合の集合）があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。1904年にツェルメロによって初めて正確な形で述べられた。一見非常に当たり前のことを言っているように見えるが、対象が無限集合である場合は実は自明ではない。この公理を認めると、一つの球を有限個に分割してそれぞれを集めて元の球と同じ体積の球を二つ作ることができるという、常識では考えられないことが起こる（バナッハ＝タルスキーのパラドックス）。従って、この公理の妥当性に疑問を持つ数学者もいる。しかし、この公理を用いないと、証明できない事柄が多くでてきてしまう。 選択公理 | |
| ヒルベルト・プログラム ヒルベルト・プログラムとは、数学を形式化すること、すなわちその証明を形式化することで、数学全体の完全性と無矛盾性を示そうという試みのことをいう。詳しく言い換えれば、数学において真である命題は必ず証明できること、また公理から形式化された推論をどれだけ行っても、矛盾が示されることは絶対にないということを、有限の立場と呼ばれる確かな方法を用いて証明しようとする計画である。ダフィット・ヒルベルトによって唱えられた。ヒルベルトは、有名なヒルベルトの23の問題の2番目で、実数論の無矛盾性の証明を挙げている（よく自然数論の無矛盾性をさすものと誤解されている）。1900年をはさんだ数年間に、数学の一部である集合論においていくつもの矛盾（パラドックスと呼ばれる。集合論の項を参照）が発見された。ヒルベルト・プログラムは、単にその矛盾を取り除くだけではなく、今後二度とこのような矛盾が現われないように、数学全体に確固とした基盤を与える目的があった。 ヒルベルト・プログラム | |
| 数学的直観主義 数学的直観主義(すうがくてきちょっかんしゅぎ）とは、数学の基礎を数学者の直観におく立場のことを指す。 数学的直観主義 | |
| 命題 論理学あるいは哲学において、命題（めいだい、）は、有意な平叙文の「内容」あるいは「意味」、若しくは有意な平叙文を構成する「記号、模様、音などの並び」のいずれかを指す。いずれの意味の命題も、それが真か偽のどちらであるかという真理の担い手となることを目的とするものである。 厳密な意味での命題の存在は、「意味」の存在と同様に、疑問を投げかける哲学者もいる。また、「意味」の概念が許容される場合にあっても、その本質は何であるかということにはなお議論のあるところである。古い文献では、語の集まりあるいはその語の集まりの表す「意味」という意味で命題という術語を用いているかどうかということが、つねに十分に明らかにされているわけではなかった。現在では、論争や存在論的な含みを持つこと避けるため、ある解釈の下で（真か偽のいずれであるかという）真理の担い手となる記号列そのものについて述べるときは、命題という代わりに文 という術語を用いる。ストローソンは「言明」 という術語を用いることを提唱した。 命題 | |
| ブール代数 ブール代数（ブールだいすう）あるいはブール環（ブールかん）とは、ジョージ・ブールが19世紀中頃に考案した論理数学の代表的な概念。ブール束ともいう。ブール代数の研究は代数的構造としての束の理論が築かれるひとつの契機ともなった。数学的に厳密な定義は後述する。デジタル回路の設計には必須の知識である。デジタル回路は、電圧の H (High), L (Low) のみで情報を演算するため、基本的に組み合わせ回路はブール代数における論理式で書き表わすことができる（ただし、フリップフロップ等を用いた順序回路は、単純に一つの論理式で表わすことはできない）。ブール代数の基本演算（論理演算）は 論理否定 論理和 論理積 排他的論理和 (xor) がある。 ブール代数 | |
| 愛 愛（あい）とは、崇高なものから、恋愛、そして欲望に至るまで様々な意味で用いられる概念である。 愛 |
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | >>
