「axioms」を含む例文一覧(25)

  • on the basis of axioms
    原理に基づいて - 日本語WordNet
  • geometry based on Euclid's axioms
    ユークリッドの原理に基づく幾何学 - 日本語WordNet
  • The axioms that we shall adopt fall under three heads: axioms of alternative denial, axioms of quantification, and axioms of membership.
    適用しようとする公理は次の三つの題目に分かれる。二者択一否定公理、定量化公理、および所属公理。 - コンピューター用語辞典
  • geometry based upon the axioms of Euclid
    ユークリッドが体系づけた幾何学 - EDR日英対訳辞書
  • of or relating to or derived from axioms
    公理の、公理に関する、または、公理に由来する - 日本語WordNet
  • geometry based on axioms different from Euclid's
    ユークリッドとは違った公理に基づく幾何学 - 日本語WordNet
  • a space in which Euclid's axioms and definitions apply
    ユークリッドの公理や定理が当てはまる空間 - 日本語WordNet
  • a group of basic principles called a system of axioms
    公理群という,根本命題の全体 - EDR日英対訳辞書
  • 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日英京都関連文書対訳コーパス
  • any of five axioms that are generally recognized as the basis for Euclidean geometry
    一般的にユークリッド幾何学において基軸とされる5つの公理の総称 - 日本語WordNet
  • non-Euclidean geometries discard or replace one or more of the Euclidean axioms
    非ユークリッド幾何学はユークリッドの原理の1つかそれ以上を捨て去るまたは取りかえる - 日本語WordNet
  • Use Armstrong's axioms to prove the soundness of the decomposition rule.
    この分解律の頑健性を証明するのにアームストロングの公理を使いなさい。 - コンピューター用語辞典
  • It is the supreme teachings that advocate the harmonization of three axioms of Ku, Ke and Chu as well as Jikkaigogu).
    空仮中の三諦の融和、十界互具を説く、最も優れた完全なる教え） - Wikipedia日英京都関連文書対訳コーパス
  • 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.
    一つの公準・公理が定まると、その公準・公理に基づく作図はいくつか可能となり、この公準・公理が変更されると当然に作図も変更される。 - 特許庁
  • an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another
    原理から推論できる命題は1つとして互いに矛盾し合うものはないということによって構成された論理体系の特質 - 日本語WordNet
  • 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
  • Many systems of propositional calculus have been devised which attempt to achieve consistency, completeness, and independence of axioms.
    多くの命題計算系が考案されてきた。それらは一貫性、完全性および公理の独立性を達成しようと試みるものである。 - コンピューター用語辞典
  • Most algebraic specification languages require that all axioms be in a form known as the universal closure.
    ほとんどの代数的仕様言語は,すべての公理が全称閉包(universal closure)として知られる形式であることを要求する． - コンピューター用語辞典
  • 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日英京都関連文書対訳コーパス
  • Therefore, pure geometric construction is nothing but an operation based on assumed postulates and axioms, and utilizes laws other than laws of nature.
    したがって、純幾何学的作図は、仮定された公準・公理に基づく単なる操作であって、自然法則を利用しているとはいえない。 - 特許庁
  • 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日英京都関連文書対訳コーパス

例文データの著作権について