「axioms」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

geometry based on axioms different from Euclid's 例文帳に追加

ユークリッドとは違った公理に基づく幾何学 - 日本語WordNet

You must know euclid's axioms and common notions.例文帳に追加

ユークリッドの共通概念を 知っているかい - 映画・海外ドラマ英語字幕翻訳辞書

a space in which Euclid's axioms and definitions apply 例文帳に追加

ユークリッドの公理や定理が当てはまる空間 - 日本語WordNet

of or relating to or derived from axioms 例文帳に追加

公理の、公理に関する、または、公理に由来する - 日本語WordNet

any of five axioms that are generally recognized as the basis for Euclidean geometry 例文帳に追加

一般的にユークリッド幾何学において基軸とされる5つの公理の総称 - 日本語WordNet

While the above two teachings advocate only Kuri, it advocates the three axioms of Ku, Ke (or difference, a though that things exits temporally) and Chu (or totality) but as the three axioms are not united and separated, it is called 'Kakureki-no-sandai' (three separate axioms) and it advocates only discrimination, rather than harmonization, concerning all things. 例文帳に追加

前の二教が空理のみを説くのに対し、空・仮・中の三諦を説くが、三諦は互いに融合せず、各々が隔たるので「隔歴の三諦」といい、一切の事物について差別のみが説かれて、融和を説いていない。 - Wikipedia日英京都関連文書対訳コーパス

Use Armstrong's axioms to prove the soundness of the decomposition rule. 例文帳に追加

この分解律の頑健性を証明するのにアームストロングの公理を使いなさい。 - コンピューター用語辞典

A set of the determined postulates and axioms make possible certain constructions, and a change in the postulates and axioms inevitably leads to a change in the constructions. 例文帳に追加

一つの公準・公理が定まると、その公準・公理に基づく作図はいくつか可能となり、この公準・公理が変更されると当然に作図も変更される。 - 特許庁

non-Euclidean geometries discard or replace one or more of the Euclidean axioms 例文帳に追加

非ユークリッド幾何学はユークリッドの原理の1つかそれ以上を捨て去るまたは取りかえる - 日本語WordNet

It is the supreme teachings that advocate the harmonization of three axioms of Ku, Ke and Chu as well as Jikkaigogu). 例文帳に追加

空仮中の三諦の融和、十界互具を説く、最も優れた完全なる教え） - Wikipedia日英京都関連文書対訳コーパス

Keho-no-shikyo is the categorization of Shaka's teachings based on their contents and such teachings (such as the Four Axioms, and so on) are called ho (teaching). 例文帳に追加

化法の四教とは、教えそのもの(四諦など)を法と呼び、釈迦の教えを内容から分類したもの。 - Wikipedia日英京都関連文書対訳コーパス

Although it also advocates the axiom of Chudo (moderation), it is called 'Tanchu-no-ri' (the theory of only Chudo) because what it advocates is mere Chudo that is separated from two axioms of Ku and Ke. 例文帳に追加

また中道諦も説くが、空・仮二諦を離れた単なる中道なので「但中の理」という。 - Wikipedia日英京都関連文書対訳コーパス

Horin (法輪) (Sanskrit: dharma-chakra, pinyin: falun) is another name for the creed of Buddhism, especially the Four Axioms Noble and the Eightfold Path taught by Buddha. 例文帳に追加

法輪（ほうりん、サンスクリット：dharma-cakra、ピン音：falun）は、仏教の教義、特に釈迦が説いた四諦・八正道の別称。 - Wikipedia日英京都関連文書対訳コーパス

Most algebraic specification languages require that all axioms be in a form known as the universal closure. 例文帳に追加

ほとんどの代数的仕様言語は,すべての公理が全称閉包(universal closure)として知られる形式であることを要求する． - コンピューター用語辞典

an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another 例文帳に追加

原理から推論できる命題は1つとして互いに矛盾し合うものはないということによって構成された論理体系の特質 - 日本語WordNet

Many systems of propositional calculus have been devised which attempt to achieve consistency, completeness, and independence of axioms. 例文帳に追加

多くの命題計算系が考案されてきた。それらは一貫性、完全性および公理の独立性を達成しようと試みるものである。 - コンピューター用語辞典

Therefore, pure geometric construction is nothing but an operation based on assumed postulates and axioms, and utilizes laws other than laws of nature. 例文帳に追加

したがって、純幾何学的作図は、仮定された公準・公理に基づく単なる操作であって、自然法則を利用しているとはいえない。 - 特許庁

an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system 例文帳に追加

もしその体系の原理から演繹されることのない命題が提出されると矛盾が生ずるということに構成された論理体系の特質 - 日本語WordNet

Both Hinayana and Mahayana Buddhism seek enlightenment, but in Hinayana, where an individual seeks his enlightenment, an individual can be liberated from earthly desires through the practice of listening to the teaching of the Four Axioms according to Shomon and by realizing the twelve nidanas according to Engaku. 例文帳に追加

悟りを求める点では部派仏教も大乗仏教も共通であるが、自分のさとりを追求する部派仏教の場合、声聞（しょうもん）は四諦（したい）の教えを聞いて修行し、縁覚（えんがく）は十二因縁を覚ってそれぞれ解脱するとする。 - Wikipedia日英京都関連文書対訳コーパス

Generally, the term "drawing" is used with the meaning of depicting a figure which satisfies given conditions in geometry. In order to depict a figure satisfying such given conditions, it is a prerequisite to assume that several basic constructions (known as postulates) and several axioms are true. 例文帳に追加

一般に作図するという語は、幾何学において与えられた条件を満足する図を画くという意味で使われ、与えられた条件を満足する図を画くには、いくつかの基本的作図(これを公準と呼ぶ)と、いくつかの公理が真であると承認する必要がある。 - 特許庁

As in the Shitaihon (the Four Axioms) of "Nehan-gyo Sutra" (The Sutra of The Great Nirvana) there are descriptions that 'To break the truth and wisdom of the True Dharma and fall into more akudo (literally, 'bad way') lead to many affliction through several transmigrations of souls.' or 'The appearance of bad things (悪彰) are caused in order to relieve living things,' Butsubachi is generally regarded as a payment by their own sin which makes them notice it, and is not given by Buddha to a person who does not obey its teaching. 例文帳に追加

これは『涅槃経』四諦品にも、「正法たる真智を断滅して、益々悪道に陥り、生死に輪廻しては多くの苦悩を招く」、あるいは「悪彰（あくしょう）の示現は衆生を救わんがための故なり」など説かれているように、あくまでも衆生自らが犯した業による報いであり、自らがそれによって気付くもので、仏がその教えに従わない者に罰を与えるという類のものではない、とするのが一般的である。 - Wikipedia日英京都関連文書対訳コーパス