ブラウザよりも高速アクセス！
17 関係: 墓石記号、バールーフ・デ・スピノザ、ポール・ハルモス、ラテン語、ルネ・デカルト、アルキメデス、エチカ (スピノザ)、エウクレイデス、ギリシア語、哲学、省察、頭字語、証明、論証、LaTeX、Unicode、数学。
墓石記号
墓石記号（はかいしきごう、tombstone mark）とは、数学において証明の終わりを示すために用いられる四角形の記号である。証明終了記号(end of proof mark)、Q.E.D.記号(Q.E.D. mark)、ハルモス記号(Halmos mark)、ハルモスの箱(Halmos box)とも呼ばれる。従来Q.E.D.と書かれていた箇所に、その代わりに表示される。雑誌では、記事の終わりを示すためにこの記号が用いられることがある。 Unicodeでは、に割り当てられている。表示のされ方は環境により異なる。中身が塗りつぶされている（■）または中空（□）、外形が正方形または長方形のいずれであっても良い。 AMS-LaTeXでは、証明環境 \begin...
新しい！!: Q.E.D.と墓石記号 · 続きを見る »
バールーフ・デ・スピノザ
バールーフ・デ・スピノザ（Baruch De Spinoza、1632年11月24日 - 1677年2月21日）は、オランダの哲学者である。ラテン語名ベネディクトゥス・デ・スピノザ（Benedictus De Spinoza）でも知られる。デカルト、ライプニッツと並ぶ17世紀近世合理主義哲学者として知られ、その哲学体系は代表的な汎神論と考えられてきた。また、カント、フィヒテ、シェリング、ヘーゲルらドイツ観念論やマルクス、そしてその後の大陸哲学系現代思想へ強大な影響を与えた。 スピノザの汎神論は新プラトン主義的な一元論でもあり、後世の無神論（汎神論論争なども参照）や唯物論に強い影響を与え、または思想的準備の役割を果たした。生前のスピノザ自身も、無神論者のレッテルを貼られ異端視され、批判を浴びている。 スピノザの肖像は1970年代に流通していたオランダの最高額面の1000ギルダー紙幣に描かれていた。.
新しい！!: Q.E.D.とバールーフ・デ・スピノザ · 続きを見る »
ポール・ハルモス
ポール・リチャード・ハルモス (Paul Richard Halmos, Halmos Pál, 1916年3月3日 – 2006年10月2日) はユダヤ系ハンガリー人として生れたアメリカの数学者である。数理論理学、確率論、統計学、作用素論、エルゴード理論、関数解析学（特にヒルベルト空間論）に基礎的な貢献をした。 また数学を見事に伝えることのできる数学者(great mathematical expositor)として広く認められている。.
新しい！!: Q.E.D.とポール・ハルモス · 続きを見る »
ラテン語
ラテン語（ラテンご、lingua latina リングア・ラティーナ）は、インド・ヨーロッパ語族のイタリック語派の言語の一つ。ラテン・ファリスク語群。漢字表記は拉丁語・羅甸語で、拉語・羅語と略される。.
新しい！!: Q.E.D.とラテン語 · 続きを見る »
ルネ・デカルト
ルネ・デカルト（René Descartes、1596年3月31日 - 1650年2月11日）は、フランス生まれの哲学者、数学者。合理主義哲学の祖であり、近世哲学の祖として知られる。.
新しい！!: Q.E.D.とルネ・デカルト · 続きを見る »
アルキメデス
アルキメデス（Archimedes、Ἀρχιμήδης、紀元前287年? - 紀元前212年）は、古代ギリシアの数学者、物理学者、技術者、発明家、天文学者。古典古代における第一級の科学者という評価を得ている。.
新しい！!: Q.E.D.とアルキメデス · 続きを見る »
エチカ (スピノザ)
『エチカ』（Ethica）とは、1677年にオランダの哲学者スピノザにより発表された倫理学の哲学的研究である。副題も含めた正式名称は、『エチカ - 幾何学的秩序に従って論証された』（Ethica, ordine geometrico demonstrata）である。.
新しい！!: Q.E.D.とエチカ (スピノザ) · 続きを見る »
エウクレイデス
ラファエロの壁画「アテナイの学堂」に画かれたエウクレイデス アレクサンドリアのエウクレイデス（、、（ユークリッド）、紀元前3世紀? - ）は、古代ギリシアの数学者、天文学者とされる。数学史上最も重要な著作の1つ『原論』（ユークリッド原論）の著者であり、「幾何学の父」と称される。 プトレマイオス1世治世下（紀元前323年-283年）のアレクサンドリアで活動した。『原論』は19世紀末から20世紀初頭まで数学（特に幾何学）の教科書として使われ続けた。線の定義について、「線は幅のない長さである」、「線の端は点である」など述べられている。基本的にその中で今日ユークリッド幾何学と呼ばれている体系が少数の公理系から構築されている。エウクレイデスは他に光学、透視図法、円錐曲線論、球面天文学、誤謬推理論、図形分割論、天秤などについても著述を残したとされている。 なお、エウクレイデスという名はギリシア語で「よき栄光」を意味する。その実在を疑う説もあり、その説によると『原論』は複数人の共著であり、エウクレイデスは共同筆名とされる。 確実に言えることは、彼が古代の卓越した数学者で、アレクサンドリアで数学を教えていたこと、またそこで数学の一派をなしたことである。ユークリッド幾何学の祖で、原論では平面・立体幾何学、整数論、無理数論などの当時の数学が公理的方法によって組み立てられているが、これは古代ギリシア数学の一つの成果として受け止められている。.
新しい！!: Q.E.D.とエウクレイデス · 続きを見る »
ギリシア語
リシア語（ギリシアご、現代ギリシア語: Ελληνικά, または Ελληνική γλώσσα ）はインド・ヨーロッパ語族ヘレニック語派（ギリシア語派）に属する言語。単独でヘレニック語派（ギリシア語派）を形成する。ギリシア共和国やキプロス共和国、イスタンブールのギリシア人居住区などで使用されており、話者は約1200万人。また、ラテン語とともに学名や専門用語にも使用されている。省略形は希語。.
新しい！!: Q.E.D.とギリシア語 · 続きを見る »
哲学
哲学（てつがく、Φιλοσοφία、philosophia、philosophy、philosophie、Philosophie）は、語義的には「愛智」を意味する学問的活動である。日本語辞典の広辞苑では、次のように説明している。 観念論的な形而上学に対して、唯物論的な形而上学もある。諸科学が分化独立した現在では、哲学は学問とされることが多いが、科学とされる場合哲学は「自然および社会，人間の思考，その知識獲得の過程にかんする一般的法則を研究する科学」である。出典は、青木書店『哲学事典』。もある。.
省察
『省察』（せいさつ、Meditationes de prima philosophia）は、1641年に公刊されたフランスの哲学者ルネ・デカルトの著書である。原題は『第一哲学についての省察』。第1版は1641年、パリで、ラテン語にて出版され、第2版は1642年にアムステルダムで出版された。.
頭字語
頭字語（とうじご）とは、主にヨーロッパ言語のアルファベットにおける略語の一種で、複数の単語から構成された合成語の頭文字を繋げて作られた語のこと。.
新しい！!: Q.E.D.と頭字語 · 続きを見る »
証明
証明（しょうめい）とは、ある事柄が真理もしくは事実であることを明らかにすること。また、その内容。.
論証
論証（ろんしょう、Logical argument）とは、論理学の用語で、前提（premises）と呼ばれる宣言的文の集まりと結論（conclusion）と呼ばれる宣言的文から構成され、前提群から結論が真であることが導き出せることを主張したものである。そのような論証には、妥当なものと妥当でないものがある。なお、個々の宣言的文は真（true）か偽（false）かで判断されるが、論証は妥当（valid）か妥当でないかで判断される。英語では、宣言的文を Statement とか命題（Proposition）と呼んでいたが、最近では哲学的な含意を避けるため Sentence と呼ぶことが多い。.
LaTeX
（ラテック、ラテフ）とは、レスリー・ランポートによって開発されたテキストベースの組版処理システムである。電子組版ソフトウェア TeX にマクロパッケージを組み込むことによって構築されており、単体の に比べて、より手軽に組版を行うことができるようになっている。\LaTeX と表記できない場合は“LaTeX”と表記する。 なお、 を基にアスキーが日本語処理に対応させたものとして日本語 が、さらに縦組み処理にも対応させたものとして pLaTeX がある。 専門分野にもよるが、学術機関においては標準的な論文執筆ツールとして扱われている。.
新しい！!: Q.E.D.とLaTeX · 続きを見る »
Unicode
200px Unicode（ユニコード）は、符号化文字集合や文字符号化方式などを定めた、文字コードの業界規格である。文字集合（文字セット）が単一の大規模文字セットであること（「Uni」という名はそれに由来する）などが特徴である。 1980年代に、Starワークステーションの日本語化 (J-Star) などを行ったゼロックス社が提唱し、マイクロソフト、アップル、IBM、サン・マイクロシステムズ、ヒューレット・パッカード、ジャストシステムなどが参加するユニコードコンソーシアムにより作られた。1993年に、国際標準との一致が図られ、DIS 10646の当初案から大幅に変更されて、Unicodeと概ね相違点のいくつかはDIS 10646に由来する互換のISO/IEC 10646が制定された。.
新しい！!: Q.E.D.とUnicode · 続きを見る »
数学
数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
