定式化された Meaning in English - translations and usage examples

• formulated

Examples of using 定式化された in Japanese and their translations into English

Biogeticaは自然医学の分野の専門家のチームによって定式化された100%の金庫、非中毒性、自然なハーブの救済です。
Hypercet is a 100% safe, non-addictive, natural herbal remedy formulated by a team of experts in the field of natural medicine.

彼はまた1770年にウェアリングによって定式化された重要な数論の問題を解決した。
He also resolved a significant number-theory problem formulated by Waring in 1770.

世界中の高名な物理学者が定式化されたばかりの量子力学について議論を交わした。
Prominent physicists from all the world met to discuss the newly formulated quantum theory.

ひどい英語で定式化された良いアイデアは、消えるかリパッケージされます。
Good ideas formulated in bad English either die or get repackaged.

セマンティック記事、テキストの一部、ラジオ番組で定式化されたテーマ。
Themes formulated in semantic articles, parts of texts, radio programs;

最も初期の全国的に定式化された競技規則は1884年にアイルランドでGAAによって考案された。
The earliest nationally formalised rules of play were devised by the GAA in Ireland in 1884.

ルネッサンス建築の原則が15世紀初頭にフィレンツェで定式化された後100年間、イングランドでゴシック建築が繁栄し続けた。
Gothic architecture continued to flourish in England for 100 years after the precepts of Renaissance architecture were formalized in Florence in the early 15th century.

このようなゼロ知識対話証明は、1985年のGoldwasser,Micali,Rackoffたちの論文によって最初に定式化された。
The concept of zero-knowledge proof was first introduced by Goldwasser, Micali, and Rackoff in 1985.

ATTACが1998年に創設された時、東南アジアの金融クラッシュの背景となったものに反対して、このスローガンが定式化された。
When Attac was founded in 1998, this slogan was formulated against the backdrop of the financial crash in East Asia.

接続形式の様々な一般化や再解釈がカルタンの一連の初期の仕事で定式化された。
Various generalizations and reinterpretations of the connection form were formulated subsequent to Cartan's initial work.

このプロジェクトの真の関心は、100年以上前に定式化されたアインシュタインの理論を、知られている最も極端な条件で検証することです。
The real interest of the project is to test the Einstein's theory formulated more than 100 years ago in the most extreme conditions known.

計算複雑性理論において、指数時間仮説(Exponentialtimehypothesis)はまだ証明されていない計算量に関する予想であり、Impagliazzo&Paturi(1999)によって定式化された。
In computational complexity theory, the exponential time hypothesis is an unproven computational hardness assumption that was formulated by Impagliazzo& Paturi(1999).

気候モデルは物理法則に基づいて定式化された方程式系をコンピュータ上で解き、気温や風など気象要素の時間変化を計算する手法で、日々の天気予報にも用いられています。
Climate models utilize computers to solve a system of equations formulated based on physical laws. They are a method of calculating temporal changes in climatic elements such as temperature and wind, and they are commonly utilized in weather forecasting.

年ダーウィンの著書『種の起源』で初めて定式化された自然淘汰による進化の理論は、生物が遺伝的な身体的形質または行動形質の変化により、時間と共に変化していくプロセスである。
Theories on Evolution“The theory of evolution by natural selection, first formulated in Darwin 's book"On the Origin of Species" in 1859, is the process by which organisms change over time as a result of changes in heritable physical or behavioral traits.

デザインに対して最初の連邦裁判所裁定を下したとき、彼の判決文の中心には、チャールズ・ダーウィンによって定式化された進化論は聖書の神と何ら衝突をするものではない、というまぎれもない神学的裁定があった。
Jones III released the first federal ruling on intelligent design, there was at the core of his written decision an unambiguously theological ruling: that evolution as formulated by Charles Darwin presents no conflict with the God of the Bible.

子供の「安楽死」プログラムで開発された方法を使って、T4立案者は1939年秋から、すべての公衆衛生担当官、公立および私立病院、精神科病院、および慢性患者や高齢者向けの養護施設に注意深く定式化された質問票を配布し始めました。
Utilizing a practice developed for the child"euthanasia" program, T4 planners began in the autumn of 1939 to distribute carefully formulated questionnaires to all public health officials, public and private hospitals, mental institutions, and nursing homes for the chronically ill and aged.

子供の「安楽死」プログラムで開発された方法を使って、T4立案者は1939年秋から、すべての公衆衛生担当官、公立および私立病院、精神科病院、および慢性患者や高齢者向けの養護施設に注意深く定式化された質問票を配布し始めました。
Using a practice developed for the child“euthanasia” program, in the autumn of 1939 T4 planners began to distribute carefully formulated questionnaires to all public health officials, public and private hospitals, mental institutions, and nursing homes for the chronically ill and aged.

注1:物理法則に基づいて定式化された方程式系をコンピュータ上で解き、気温や風など気象要素の時間変化を計算するためのソフトウェアを気候モデルや気象モデルと呼びます。
Note 1: Software which computationally solves equation systems, which are formulated based on physical laws, in order to calculate time variables of air temperature, wind, and other weather factors is called a climate model or a weather model.

一方、オープン・コール・プロジェクトは、明確に定式化された質問に対する斬新で予期せぬ答えを求めている問題に理想的です。
Open call projects, on the other hand, are ideally suited for problems where you are looking for novel and unexpected answers to clearly formulated questions.

Elliott(2004)によれば、情報システム構築のための最古の定式化された方法論フレームワークはシステム開発ライフサイクル(SDLC)だという。
According to Elliott(2004) the systems development life cycle(SDLC) can be considered to be the oldest formalized methodology framework for building information systems.