転義 - Wikipedia
George Lakoff & Mark Johnson著・渡部 昇一,楠瀬 淳三,下谷 和幸（訳）（1986）『レトリックと人生』大修館書店. 山梨 正明 （1988）『比喩と理解』(認知科学選書)東京大学出版会. Janet Martin Soskice著・小松 加代子（訳）（1992）『メタファーと宗教言語』玉川大学出版部. Wolfgang Harnisch著・広石 望（訳）（1993）『イエスのたとえ物語―隠喩的たとえ解釈の試み』日本基督教団出版局.ISBN 4818401293. 小原 克博 （1994）「神理解への隠喩的アプローチ」、『基督教研究』第56巻第1号[1]. 中村 明 （1995）『比喩表現辞典』角川書店. 瀬戸 賢一 （1995）『メタファー思考』講談社現代新書. 辻 幸夫 （2001）『ことばの認知科学事典』大修館書店. 石川 淑子 （2001）『ことばと意味
類推 - Wikipedia
類推（るいすい）または類比（るいひ）、アナロジー（analogy）とは、特定の事物に基づく情報を、他の特定の事物へ、それらの間の何らかの類似に基づいて適用する認知過程である。古代ギリシャ語で「比例」を意味する ἀναλογία アナロギアーといった概念に由来し、広義においてこれはロゴスに含有する。 類推は、問題解決、意思決定、記憶、説明（メタファーなどの修辞技法）、科学理論の形成、芸術家の創意創造作業などにおいて重要な過程であるが、論理的誤謬の排除が難しい場合も多く、脆弱な論証方法である。科学的な新概念の形成過程は、チャールズ・パースによるアブダクション理論として区別されることもある。 異なる事象に対し類推することで、共通性を見出す言語的作業が比喩である。 言語学では、言語自体に対する類推が言語の変化の大きな要因とされる。 自然を客体化し、その属性や力を人体などの別の客体に照応させて類推す
フェムト秒化学 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "フェムト秒化学" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2023年3月） フェムト秒化学(フェムトびょうかがく、Femtochemistry)は、フェムト秒(1フェムト秒は10-15秒)程度の非常に短い時間における、化学反応過程を対象とした研究分野である。1999年に、アハメッド・ズウェイルはこの分野における先駆的な研究でノーベル化学賞を受賞した。ズウェイルの用いた技術では、数フェムト秒程度の超短パルスレーザーを用いる。これにより特定の化学反応がなぜ起こりやすいかを調べたり、反応前後の化合物のみからは推測できない、反応中間体の詳細
非線形光学 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "非線形光学" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2011年11月） 非線形光学（ひせんけいこうがく、英語：nonlinear optics）とは、非常に強い光と物質が相互作用する場合に起きる、非線形の（つまり、光の電磁場に比例しない）物質の多彩な応答（現象）を扱う分野。レーザーの出現によって発展した分野であるが、レーザー自体の中でも非線形光学効果は本質的な役割を果たし、その特性をも支配する。 量子光学と深く関連している。 屈折率や吸収率など光学材料の光学定数は、光が弱いときは定数とみなせる。しかし、光が強くなる（非線形性を考え
示量性と示強性 - Wikipedia
示量性 (しりょうせい、extensive property) と示強性（しきょうせい、intensive property）は状態量の性質の一つである。 示量性を持つか示強性を持つかにより、状態量すなわち状態変数は示量変数 (extensive variable) と示強変数 (intensive variable) の2種類に分けられる。 示量性の定義は文献により、以下2種類の定義がある。 系全体の量が部分系の量の和に等しくなること[1][2][3] 系の大きさ、体積、質量に比例すること[4][5][6] 厳密には前者の性質は相加性、後者の性質は示量性として区別する[7][8]。 均一系の状態量は相加性ならば示量性となるが、部分系ごとにその量の密度が異なる不均一系の場合には相加性であっても示量性とはならない。しかし熱力学では部分系として均一なものを取ることが普通であり、部分系においては
内包と外延 - Wikipedia
内包（intension）はある概念がもつ共通な性質のことを指し、外延（extension）は具体的にどんなものがあるかを指すものである。これらは互いに対義語の関係をもつ。 数学の集合の記法における、内包による記法と外延による記法については、詳細は集合#記法を参照。論理においても内包と外延という語は使われることがあるが、（現代においては）数学と同様の用法がなされる。基本的に表現法の違いであり、（外延による記法では、厳密さが必要な場合に「任意の偶数の集合」のような集合は書けない、といった違いはあるが）外延性の公理により、実質が同じであれば両者は同じものとする。よって以下のような哲学の場合のような議論は通常は必要としない。 なお、量#外延量と内包量にある「外延量」「内包量」という語は、物理学における物理量に関する熱力学的概念（示量性と示強性）及び、数学では測度論的に区別を考えることができるよう
様相論理 - Wikipedia
様相論理（ようそうろんり、英: modal logic）は、いわゆる古典論理の対象でない、様相（modal）と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱う論理である（様相論理は、部分の真理値からは全体の真理値が決定されない内包論理の一種と見ることができる）。 その歴史は古くアリストテレスまで遡ることができる[1]:138が、形式的な扱いは数理論理学以降、非古典論理としてである。 様相論理では一般に、標準的な論理体系に「～は必然的である」ことを意味する必然性演算子と、「～は可能である」ことを意味する可能性演算子のふたつの演算子が追加される。 様相論理は真理論的（形而上学的、論理的）様相の文脈で語られることが最も多い。この様相においては「～は必然的である」、「～は可能である」といった言明が扱われるが、これは認識論的様相と混同されやすい。 例えば「雪男は存在して
非古典論理 - Wikipedia
非古典論理（ひこてんろんり、non-classical logic(s)）は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて認めた上で新たな仮定を付け加えることによって構築された論理の総称である。 古典論理の拡張としての非古典論理[編集] 古典論理の拡張としての非古典論理では、基本的に、古典論理のすべての定理がその論理体系でも定理となる。 様相論理 時相論理（時制論理） 線形時相論理 義務論理（規範論理） 古典論理の代替としての非古典論理[編集] 古典論理の代替としての非古典論理は、基本的に、古典論理の定理のいくつかがその論理体系では定理でない。 直観論理 排中律を認めない。 多値論理 「真」、「偽」以外にも様々な真理値を取る論理。 適切さの論理 別名 : 相関論理、関連性の論理、関連性論理 「1+1=3なら宇宙人
古典論理 - Wikipedia
古典論理（こてんろんり、英: classical logic）は形式論理の部類で、最も研究され最も広く使われている論理である。標準論理（英: standard logic）とも呼ばれる[1][2]。 以下に示す性質が特徴である:[3] 排中律の採用及び、二重否定の除去; 無矛盾律と、矛盾からはいかなることも導ける（en:Principle of explosion）とすること（矛盾許容論理も参照）; 帰結関係（論理的帰結を参照）の単調性（en:Monotonicity of entailment、単調写像を参照）と帰結関係の冪等性（en:Idempotency of entailment）; 論理積の交換法則（en:Commutativity of conjunction）; ド・モルガンの双対性: 全ての論理演算子はどれか他の演算子の双対である; 以上の諸条件からは、古典論理は命題論理と
矛盾許容論理 - Wikipedia
矛盾許容論理（むじゅんきょようろんり、Paraconsistent Logic）とは、矛盾を特別な方法で扱う論理体系。また、矛盾に対して耐性のある論理を研究・構築する論理学の一分野を指す。矛盾許容型論理とも。 矛盾許容論理は1910年ごろにはすでに存在していた（原始的な形ではアリストテレスまで遡る）。しかし、矛盾許容（Paraconsistent）という用語が使われるようになったのは 1976年であり、ペルー人哲学者 Francisco Miró Quesada が最初である[1]。 定義[編集] 古典論理や直観主義論理では、矛盾からはあらゆることが導かれる。この特徴を爆発律（英語版）[2]などと呼び、形式的には次のように表される: ここで は論理的帰結関係を意味する。言葉で表すならば、「AかつAでないならば、Bである」という意味である。このBは任意である、つまり全てが自明となる。 上記の
直観主義論理 - Wikipedia
直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: constructive logic）とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。例えば古典論理では、全ての論理式に真か偽の真理値 ( ) が割り当てられる。このときその真理値に対する直接的なエビデンスを持つか否かは問題にしない。これはどのような曖昧な命題においても「真か偽かが決定可能である」ということを意味する。対照的に、直観主義論理では確定的に論理式に真理値を割り当てるのではなく、それが真であるとは「直接的なエビデンス」つまり「証明」があることと見做す。 証明論的な視点から見ると、直観主義論理は古典論理の制限であって排中律や二重否定除去が公理として許容され
アンリ・カルタン - Wikipedia
アンリ・ポール・カルタン（仏: Henri Paul Cartan、1904年7月8日 - 2008年8月13日）は、フランスの数学者。数学者エリ・カルタンの長男。ニコラ・ブルバキの創始者のひとり。 1904年ナンシー生まれ。1929年高等師範学校卒業。リール大学準教授を経て、1938年からストラスブール大学教授、1940年からソルボンヌ大学教授を務めた。アメリカ、ドイツなどでも教え、1975年までパリ第11大学で教鞭を執った。2008年にパリで104歳という長寿を全うした。 多変数複素関数論、ホモロジー代数に業績を残し、このうち多変数複素関数論では岡潔の業績を層 (数学)の概念を用いて整理し、多くの数学者に受け入れられるようにした。1980年のウルフ賞数学部門をはじめ数々の賞を受賞した。
)
極限 (圏論) - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2013年3月） 数学の一分野圏論において、極限とは積や引き戻しや逆極限といった普遍的な構成たちの根底にある性質を捉えた抽象概念である。双対的に余極限とは非交和、直和、余積、押し出し（英語版）、直極限のような構成を一般化したものである。 極限と余極限は、強く関連した概念である普遍性や随伴関手と同様に、高度に抽象化された存在である。これらを理解するために、一般化される前の特定の概念を先に学ぶのがよい。 定義[編集] 圏Cにおける極限と余極限はC上の図式に関して定義される。形式的には、形がJであるCにおける図式はJからCへの関手 F : J → C のことである。圏Jは添字圏であるとみなし、図式FはCの対象と射をJの
構造化プログラミング - Wikipedia
構造化プログラミング（こうぞうかプログラミング、（英: structured programming）は、コンピュータプログラムの処理手順の明瞭化、平易化、判読性向上を目的にしたプログラミング手法である。一般的には順接、分岐、反復の三種の制御構造（control structures）によって処理の流れを記述することと認識されている[1][2]。制御構造は制御構文、構造化文（structured statement）、制御フロー文（control flow statement）とも呼ばれる。また、プログラムを任意に分割した部分プログラム（サブルーチンとコードブロック）の階層的な組み合わせによるプログラムの構造化も指している。 このプログラミング手法の普及に貢献したのは、1968年の計算機科学者エドガー・ダイクストラによるACM機関紙への投書「Go To Statement Consider
差延 - Wikipedia
差延 (さえん、différance) とは、哲学者ジャック・デリダによって考案された「語でも概念でもない」とされる造語。 およそ何者かとして同定されうるものや、自己同一性が成り立つためには、必ずそれ自身との完全な一致からのズレや違い・逸脱などの、常に既にそれに先立っている他者との関係が必要である。このことを示すために、差延という方法が導入された。 論理を簡略に述べれば、同定や自己同一性は、主語になるものと述語になるものの二つの項を前提とする（「AはAである」）。そのため主体や対象は反復され得なければならない。「同じである」ということは二つの項の間の関係であり、自己同一性においてもその事情は変わらない。自己自身が差異化することによって初めてそれが複数の「同じ」であるが「別の」項として二重化しうる。そして初めて、同定や自己同一性が可能となる。 このことはそれ自身に完全に一致し、他を成立のため
脱構築 - Wikipedia
英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Deconstruction|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明が
アブラハム - Wikipedia
アブラム (ヘブライ語 אַבְרָהָם (古: ʾAḇrām, 現: ʾAvram））、または アブラハム（英語 Abraham）、アブラハーム（ギリシア語 Αβραάμ Avraám アブラハム）は、ヘブライ語で多数の父という意味。ユダヤ教・キリスト教・イスラム教を信仰する「啓典の民」の始祖。ノアの洪水後、神による人類救済の出発点として選ばれ祝福された最初の預言者。「信仰の父」とも呼ばれる。 ユダヤ教の教義では全てのユダヤ人の、またイスラム教の教義では、ユダヤ人に加えて全てのアラブ人の系譜上の祖とされ、יהוה（ヤハウェ、ヤーウェなどと発音。日本語聖書では主に「主」と表記。ここでは最大公約数的に神と表記）の祝福も救いもアブラハム契約が前提になっている[1]。イスラム教ではイブラーヒーム（アラビア語: ابراهِيم, Ibrāhīm）と呼ばれ、ノア（ヌーフ）、モーセ（ムーサー）、
不条理 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "不条理" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2020年2月) 不条理（ふじょうり）は、不合理であること、あるいは常識に反していることを指す。英語の absurd、フランス語の absurde、ドイツ語の Absurdität の訳。これらはいずれもラテン語の absurdus を語源とする。このラテン語の意味は「不協和な」(cf. Cicero, De Oratore, III, 41)。 不条理によってナンセンスの効果がもたらされるため、ある種の文学作品ではしばしば不条理的展開が用いられる。代表的な不条理文学としては、カ
ハウスドルフ空間 - Wikipedia
数学におけるハウスドルフ空間（ハウスドルフくうかん、英: Hausdorff space）とは、異なる点がそれらの近傍によって分離できるような位相空間のことである。これは分離空間(separated space)またはT2 空間とも呼ばれる。位相空間についてのさまざまな分離公理の中で、このハウスドルフ空間に関する条件はもっともよく仮定されるものの一つである。ハウスドルフ空間においては点列（あるいはより一般に、フィルターやネット）の極限の一意性が成り立つ。位相空間の理論の創始者の一人であるフェリックス・ハウスドルフにちなんでこの名前がついている。ハウスドルフによって与えられた位相空間の公理系にはこのハウスドルフ空間の公理も含まれていた。 相異なる2点を分離するそれぞれの開近傍 X を位相空間とする。X 上の任意の相違なる2点 x, y に対して、U ∩ V = ∅ であるような x の開近傍
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
対合 - Wikipedia