演繹 英語 意味 - 英語訳 - 日本語の例文

• deductive
• deduction
• deductions
• to deduce

日本語 での 演繹 の使用例とその 英語 への翻訳

それは演繹的作業である。
It is a process of deduction.

演繹法(一般(理論)から特殊(具体例))を使うということですね。
Deductive method: from general(rule) to specific(examples).

トッパー賢い少しジャケット、ストリートスタイルの演繹ミックスを取る。
Topper clever take little jacket, deductive mix of street style.

トッパー賢い少しジャケットを取る、演繹ストリートスタイルのミックス。
Topper clever take little jacket, deductive mix of street style.

ここでいわゆる「演繹の方法」について一言しておく必要があるだろう。
And here I must say a word on the so-called'method of deduction'.

ジンの世界と食前の演繹議論の紹介を刺激します。
Stimulating introduction to the world of Gin and pre dinner deductive debate.

しかし、それは既存の2本の柱から演繹できると私は思います。
I only think that it could be deduced from two of the existing pillars.

どの定理を演繹できるかの数学的なシステムについての基本的な仮定。
A basic assumption about a mathematical system from which theorems can be deduced.

研究は非正規関係データベースと演繹言語から始まった。
The research started from nested relational databases and deductive languages.

このゲームは、演繹、少し当て推量や絶壁の魅力的なゲームです。
Curio Show is an intriguing game of deductive reasoning, a little guesswork and bluff.

証明論においては、ゲルハルト・ゲンツェンが自然演繹とシークエント計算という概念を発達させた。
In proof theory, Gerhard Gentzen developed natural deduction and the sequent calculus.

ぼくたちは、推論や演繹、数学を哲学に適用することなどから学ぶのではない。
We do not learn by inference and deduction and the application of mathematics to philosophy,….

デザインとは生物学的データからの推論であって、宗教的権威からの演繹ではない。
Intelligent design is an inference from biological data, not a deduction from religious authority.

高階論理の健全な演繹系を生成することは可能だが、そのような系は完全ではない。
It is possible to produce sound deductive systems for higher-order logics, but no such system can be complete.

社会科学の法則を心理学の原理から演繹できるようになる日が、いつかきっと来るだろう。
A day may come when we shall be able to deduce the laws of social science from the principles of psychology.

大抵の人が学校で教わった―教科書どおりの手法は仮説に基づく演繹法です。
The method that most of us were taught in school, we can call it the textbook method, is the hypothetical deductive method.

ほら、ワトソン、僕らのささやかな演繹も、たちまち重要度が増し、そう無害でもなくなってきた。
You see, Watson, our little deductions have suddenly assumed a much more important and less innocent aspect.

例えば、彼らは演繹という単純な形式の能力があり、これは人間が約7歳で発達する能力である。
For example, they are capable of simple forms of deductive reasoning, a capability that humans develop at about the age of 7.

社会ゲノミクスには実験がなく、受容あるいは棄却すべき帰無仮説もなく、データから一般原理への演繹もない。
Sociogenomics has no experiments, no null hypotheses to accept or reject, no deductions from the data to general principles.

トニックは、リラックスして社交的な環境の中で、あなたの演繹能力をテストし、エンターテイメントの夜を提供しています。
Team Tonic offers an evening of entertainment that will test your deductive abilities in a relaxed and sociable environment.

彼らは社会順位の中での自分の位置を理解し、人間が7歳までに発達させる能力である演繹による推論を行うことができる。
They know their place in the pecking order, and can reason by deduction, which is an ability that humans develop by the age of seven.

社会科学の法則を心理学の原理から演繹できるようになる日が、いつかきっと来るだろう」ヴィルフレド・パレート（1906年）。
A day may come when we shall be able to deduce the laws of social science from the principles of psychology.- Vilfredo Pareto, 1906.

従来の学習用ソフトウェアプログラムは、一般にコンピュータ上でシミュレーションのデジタル演繹と演算しか行えなかった。
Conventional learning software programs generally could only be able to perform digital deduction and manipulation of simulation on computer.

このWhiskyWisdom（ウィスキーの知恵）は、リラックスして社交的な環境の中で、あなたの演繹能力をテストするエンターテイメントの夜を提供しています。
Whisky Wisdom offers an evening of entertainment that will test your deductive abilities in a relaxed and sociable environment.

ゲンツェンの著作以降、自然演繹とシークエント計算は証明論、数学的論理学、計算機科学といった分野に広く適用されてきた。
Since Gentzen's work, natural deduction and sequent calculi have been widely applied in the fields of proof theory, mathematical logic and computer science.

演繹データベースとオブジェクト指向データベースの統合ここで、演繹データベースとオブジェクト指向データベースの相性をみてみましょう。
Integrating deductive databases and object-oriented databases Let's now compare the deductive database with the object-oriented database and see how they would get along together.

科学における観察とは、もっと豊かで複雑な一連の精神活動であり、それらは推論、実験、仮定、演繹、そして時に難解な数学記号の緻密な組み合わせによって支えられている。
Observation in science is something richer and more complex, a series of mental acts supported by inferences, experiments, suppositions, deductions and sometimes dense filigrees of arcane mathematical symbols.

論理型言語・演繹データベースの拡張として、オブジェクト指向概念、制約、モジュール階層を導入した、演繹オブジェクト指向データベース言語であり、以下の特徴を持つ。
QUIXOTE is a language for deductive object-oriented databases, and can be seen as an extended logic-based language having object-orientation features, subsumption constraints, and hierarchical modules.

H8itaku-kenkyucatalogue-08Quixoteは演繹オブジェクト指向データベース言語であるとともに、法的推論や自然言語処理のような高度応用のための知識表現言語でもある。
H8 itaku-kenkyu Software-08 Quixote is a deductive object-oriented database(DOOD) language and also a knowledge representation language for various advanced applications, such as legal reasoning and natural language processing.