恒等 英語 意味 - 英語訳 - 日本語の例文

• identity
• identities

日本語 での 恒等 の使用例とその 英語 への翻訳

特に恒等射は単位元uである。
In particular, the identity arrow is the unit element u.

FunctionがNoneの場合、恒等関数であると仮定されます;
If function is None, the identity function is assumed;

Mが恒等アプリカティブ・ファンクターであるとき、。
When m is specialised to the identity applicative functor.

ほとんどの場合は、僕たちはテストには恒等モナドを使う。
For most cases, we will use the identity monad for testing.

例えば、恒等変換はxsl:copyを用いて次のように記述できる：。
The identity transformation can be written using xsl: copy as follows:.

色やアルファ値を変えない恒等行列を返します。
Returns an identity matrix, one that does not change color or alpha.

例えば、恒等変換はxsl:copyを用いて次のように記述できる：。
For example, the identity transformation can be written using xsl: copy as follows:.

三角関数の計算を行い，三角関数および恒等式の特性を調べる．。
Perform trigonometric calculations and explore properties of trigonometric functions and identities.

一方、xが整数のとき、恒等式はすべての0でない複素数に対して成り立つ。
On the other hand, when x is an integer, the identities are valid for all nonzero complex numbers.

恒等式log(bx)=x ·logbはbが正の実数でxが実数のときにはいつでも成り立つ。
The identity log(bx)= x⋅ logb holds whenever b is a positive real number and x is a real number.

X座標とy座標とのユークリッド2-D空間の,それは恒等行列である(対角線に沿った2つの1の)。
For Euclidean 2-D space with x and y coordinates, it is the identity matrix(two 1's along the diagonal).

ルークお互い楽しい質問をしたいんだ三角恒等式を見せびらかしたくない。
Luke, we're trying to think of fun questions for each other, we're not trying to prove how many trigonometric identities we know.

証明：∇がライプニッツの恒等式を満たし、第一の変数についてC∞(S2)線型であることを証明するは容易である。
It is straightforward to prove that∇ satisfies the Leibniz identity and is C∞(S2) linear in the first variable.

恒等式(bc)x=bxcx および(b/c)x=bx/cxはbとcが正の実数でxが実数のときには正しい。
The identities(bc)x= bxcx and(b/c)x= bx/cx are valid when b and c are positive real numbers and x is a real number.

圏2は以下のようにみえる:これは、2つの対象、それらの恒等射、そして対象の間にただ1つの射を持つ。
The category 2 looks like this: It has two objects, their required identity arrows, and exactly one arrow between the objects.

Hilbertの仕事において鍵となったのは、Hilbert恒等式という代数的恒等式の存在証明でした。
A key step in Hilbert's proof was to show the existence of a certain algebraic identity, called a Hilbert identity.

型booleanを含む唯一許される変換は，booleanからbooleanへの恒等変換とする。
The only permitted conversion that involves the type boolean is the identity conversion from boolean to boolean.

恒等式とは異なり、方程式は変数の取り得るすべての値に対して等式が成り立つ必要はない[1],[2]。
An equation differs from an identity in that an equation is not necessarily true for all possible values of the variable.[1][2].

分解の片方は、単純な写像(map)、つまり恒等アプリカティブ・ファンクターによって解釈されるtraversalから得ることができる。
The other half of the decomposition is obtained simply by a map, which is to say, a traversal interpreted in the identity idiom.

Mが恒等アプリカティブ・ファンクターであるとき、traversalはリストのファンクター的なmapと一致する(ラッパーを無視すると)。
When m is specialised to the identity applicative functor, traversal reduces precisely(modulo the wrapper) to the functorial map over lists.

いくつかの実施形態で、エンコーダおよびデコーダが、下記の事前定義行列タイプを使用する：恒等、アダマール、ＤＣＴタイプＩＩ、または任意のユニタリ。
In some implementations, the encoder and decoder use the following pre-defined matrix types: identity, Hadamard, DCT type II, or arbitrary unitary.

この表現の有利な点のひとつは、どの場合でも成り立つ恒等式d2=0が、残る2つをまとめ、curl(grad(f)) =0とdiv(curl(F))=0と得る。
One advantage of this expression is that the identity d2= 0, which is true in all cases, sums up two others, namely that curl grad f= 0 and div curl F= 0.

DashO最適化は、代数恒等式、強度減少、およびピープホール最適化などを実行することにより、結果としてバイナリサイズを減らし、コードを高速化します。
DashO Optimization speeds up your code and reduces resulting binary size, by performing algebraic identity, strength reduction, and other peephole optimizations.

Arr関数は普通の関数から射を作り、idは恒等射を返し、firstは既存の射の出入力をペアに拡張した新しい射を返す。
Arr function creates an arrow from a normal function, id returns an identity arrow, and first creates a new arrow from an existing arrow by expanding the input and output as pairs.

研究テーマ1.Hilbert恒等式任意の自然数を幾つかの自然数の冪乗和で表すことができるか、という問題をWaring問題といいます。
Research Subject 1. Hilbert Identity Given natural numbers n and r, Waring's problem asks whether the number n can be represented as a sum of the r-th powers of integers.

実体領域"MathematicalFunction"は,数学関数についての何十万もの恒等式を含んでいる。
ExtendedEntityClass allows attaching such a property to entities. The entity domain"MathematicalFunction" contains hundreds of thousands of identities for mathematical functions.

この恒等式は，被除数をその型に対する可能な最大の大きさの負の整数であり，及び除数が-1(その剰余は0)である特別な場合においても成立する。
This identity holds even in the special case in which the dividend is the negative int of largest possible magnitude for its type and the divisor is -1(the remainder is 0).

DashOの最適化（Optimization）は、代数恒等式、演算子強度低減、およびピープホール最適化などを実行することにより、結果としてバイナリサイズを減らし、コードを高速化します。
DashO's Optimization speeds up your code and reduces resulting binary size, by performing algebraic identity, strength reduction, and other peephole optimizations.

これはこの曲線が常にE+(3)内にあることを意味する（実は恒等変換Iから始めるとき、このような連続曲線は向きを保つ変換以外に到達することはあり得ないのである）。
This means that the curve will always lie inside E+(3), in fact: starting at the identity transformation I, such a continuous curve can certainly never reach anything other than a direct isometry.