検索結果- 英語 - 英語

検索内容:

Induction

mathematical induction

名詞

可算名詞不可算名詞

(mathematics) A method of proof which, in terms of a predicate P, could be stated as: if P(0) is true and if for any natural number n>0, P(n) implies P(n+1), then P(n) is true for any natural number n.

日本語の意味

数学的帰納法：数学における証明法の一種で、まず基礎となる場合（通常は0または1）で命題が成り立つことを示し、次に任意の自然数nについて、命題がnで成り立つならばn+1でも成り立つことを証明することで、全ての自然数に対して命題が成立することを証明する方法

このボタンはなに？

She used mathematical induction to prove that the sum of the first n odd numbers is n^2.

Google翻訳 / DeepL翻訳

彼女は数学的帰納法を用いて、最初の n 個の奇数の和が n^2 に等しいことを示した。

詳細

関連語

mathematical inductions

（ plural ）

詳細

induction loops

名詞

活用形複数形

plural of induction loop

日本語の意味

これは「induction loop」の複数形であり、活用形としての情報です

このボタンはなに？

The museum installed induction loops to assist visitors with hearing aids during the tour.

Google翻訳 / DeepL翻訳

博物館はツアー中に補聴器を使用する来館者のために誘導ループを設置した。

詳細

induction loop

名詞

日本語の意味

移動する磁石が近くの導体に電流を誘起する原理を利用した、電磁的な通信および検出を行うシステム

このボタンはなに？

Google翻訳 / DeepL翻訳

道路の下に設置された誘導ループ検出器が、通過する車両によって生じる磁場の変化を感知して信号機を作動させる。

詳細

関連語

induction loops

（ plural ）

詳細

backward induction

名詞

不可算名詞通常

日本語の意味

（ゲーム理論において）問題や状況の末尾からさかのぼって合理的な行動の系列を決定するための推論手法。

このボタンはなに？

Using backward induction, the players anticipated each other's moves and arrived at the subgame-perfect equilibrium.

Google翻訳 / DeepL翻訳

ゲームの終わりから逆算して考える後方帰納法を用いて、プレイヤーたちは互いの手を予測し、部分ゲーム完全均衡に達した。

詳細

関連語

backward inductions

（ plural ）

詳細

co-induction

名詞

別表記異形可算名詞不可算名詞

Alternative spelling of coinduction

日本語の意味

「co-induction」は「coinduction」の別表記であり、数学や理論計算機科学などの分野で用いられる「共帰納法」を指します。

このボタンはなに？

In our seminar on formal methods, we contrasted induction with co-induction to explain bisimulation.

Google翻訳 / DeepL翻訳

形式手法のゼミで、帰納法と共帰納法を対比してバイシミュレーションを説明しました。

詳細

関連語

co-inductions

（ plural ）

詳細

induction programme

名詞

日本語の意味

企業内で新入社員を歓迎し、役割に備えるための導入研修・オリエンテーションのプログラム。 / 新入社員歓迎及び職務準備を目的とした研修や説明会の実施プロセス。

このボタンはなに？

The induction programme includes a welcome session, role-specific training, and mentorship to help new hires settle in quickly.

Google翻訳 / DeepL翻訳

入社オリエンテーションには、歓迎セッション、役割別研修、そして新人が早く職場に馴染むためのメンター制度が含まれます。

詳細

関連語

induction programmes

（ plural ）

詳細

co-inductions

名詞

活用形複数形

plural of co-induction

日本語の意味

「co-induction」の複数形。つまり、co-inductionという概念の複数形として用いられる活用形

このボタンはなに？

The paper compares several co-inductions used to define infinite data structures in functional programming.

Google翻訳 / DeepL翻訳

その論文は、関数型プログラミングにおける無限データ構造を定義するために用いられるいくつかの共帰納法を比較している。

詳細

induction ovens

名詞

活用形複数形

plural of induction oven

日本語の意味

「induction ovens」は、「induction oven」の複数形です。

このボタンはなに？

Many restaurants have replaced gas stoves with induction ovens to speed up cooking.

Google翻訳 / DeepL翻訳

多くのレストランでは、調理を早めるためにガスコンロをIHオーブンに取り替えました。

詳細

induction oven

名詞

An oven that uses electromagnetic induction to generate heat.

日本語の意味

電磁誘導を利用して熱を発生させるオーブン

このボタンはなに？

I switched my old stove for an induction oven to speed up cooking and save energy.

Google翻訳 / DeepL翻訳

古いコンロを電磁誘導式のオーブンに買い替えて、調理が速くなり、エネルギーも節約できました。

詳細

関連語

induction ovens

（ plural ）

詳細

meta-induction

名詞

不可算名詞

日本語の意味

複数の予測手法の中から最も適した方法を選ぶために、帰納的推論（具体的な事例から一般的な法則を導く思考法）を用いること

このボタンはなに？

Researchers used meta-induction to determine which forecasting algorithm performed best across varying market conditions.

Google翻訳 / DeepL翻訳

研究者たちは、予測手法の中から帰納的に最良のものを選ぶことによって、どの予測アルゴリズムが変動する市場条件下で最も良く機能するかを判断した。

詳細

Webで検索する