本文へスキップ
ログインすると広告が減り、学習に集中できます。
広告

検索結果- 英語 - 多言語

検索内容:

Pauline conversion

名詞
広義

the conversion of Paul the Apostle to Christianity on the road to Damascus / (by extension) any life-changing event in which one's views are significantly altered

日本語の意味
ダマスカス途上でキリスト教に改宗した使徒パウロの転向、また同様に、個人の価値観や信条が大きく変わる転機としての現象。
英語の意味
the conversion of Paul the Apostle to Christianity on the road to Damascus / (by extension) any life-changing event in which one's views are significantly altered
このボタンはなに?

学者たちはしばしば、ダマスカスへ向かう途中での使徒パウロの改宗の歴史的背景について議論する。

関連語

plural

alpha conversion

名詞
可算名詞 不可算名詞

(computing theory) One of the three rewrite rules of lambda calculus, in which a bound variable of a lambda term is replaced by another variable across its entire scope. So if there is a lambda term of the form (𝜆x.t) and it is desired to have x replaced with y, then the rewritten lambda term would have the form (𝜆y.t[y/x]) where t[y/x], "t with y instead of x", has had all free instances of x in t replaced with y.

日本語の意味
ラムダ計算における書き換え規則の一つで、束縛変数を他の変数に一貫して変更する操作。
英語の意味
(computing theory) One of the three rewrite rules of lambda calculus, in which a bound variable of a lambda term is replaced by another variable across its entire scope. So if there is a lambda term of the form (𝜆x.t) and it is desired to have x replaced with y, then the rewritten lambda term would have the form (𝜆y.t[y/x]) where t[y/x], "t with y instead of x", has had all free instances of x in t replaced with y.
このボタンはなに?

項を代入する際に変数捕獲を避けるため、代入を適用する前にラムダ抽象の束縛変数の名前を変更します。

関連語

plural

eta conversion

名詞

(computing theory) One of the three rewrite rules of lambda calculus, which expresses a sort of tautology about function application. The rule says that a lambda abstraction of the form (𝜆x.(fx)) may be rewritten as simply f, provided that x does not occur freely in f (considered by itself).

日本語の意味
ラムダ計算における書き換えルールの一つ。具体的には、(𝜆x.(fx)) の形のラムダ抽象が、もし x が f に自由に現れなければ、単に f に変換できるという性質を持つ。
英語の意味
(computing theory) One of the three rewrite rules of lambda calculus, which expresses a sort of tautology about function application. The rule says that a lambda abstraction of the form (𝜆x.(fx)) may be rewritten as simply f, provided that x does not occur freely in f (considered by itself).
このボタンはなに?

ラムダ式を操作するコンパイラの最適化には、η変換の理解が不可欠だ。

関連語

plural

alpha conversions

名詞
活用形 複数形

plural of alpha conversion

原形: alpha conversion
日本語の意味
これは「alpha conversion」という単語の複数形(活用形:複数形)です。
英語の意味
plural of alpha conversion
このボタンはなに?

コンパイラは最適化中に変数の捕獲を避けるため、いくつかのα変換を行いました。

conversion van

名詞

A full-sized cargo van that is sent to third-party companies to be outfitted with various luxuries for road trips and camping.

日本語の意味
もともとはフルサイズの貨物バン(荷物運搬用の車両)で、外部の業者によって、長距離旅行やキャンプ用の様々な豪華設備を備えるよう改造された車両。
英語の意味
A full-sized cargo van that is sent to third-party companies to be outfitted with various luxuries for road trips and camping.
このボタンはなに?

彼らが改造したフルサイズの貨物バンは、居心地の良いベッド、小型の簡易キッチン、ソーラーパネルを備え、週末のキャンプ旅行を快適な小さな休暇に変えた。

関連語

plural

conversion course

名詞

An academic course by which a student studying a certain subject can change to another subject.

日本語の意味
ある学問分野から別の学問分野へ転向するための、科目変更を促す講座 / 専攻変更を可能にするための、学問の転換用コース / 別分野への進路転換をサポートする教育プログラム
英語の意味
An academic course by which a student studying a certain subject can change to another subject.
このボタンはなに?

彼女は工学から環境科学へ専攻を変更するための講座に登録した。

関連語

plural

conversion courses

名詞
活用形 複数形

plural of conversion course

原形: conversion course
日本語の意味
「conversion course」の複数形、すなわち、単数形の「conversion course」を複数表現した形です。
英語の意味
plural of conversion course
このボタンはなに?

多くの学生が分野転換プログラムを受講して、専攻分野を変え、就職の見通しを高めています。

deathbed conversion

名詞
可算名詞 不可算名詞 慣用表現 頻度副詞 皮肉 通常

(set phrase) Acceptance of religious belief immediately before one dies, typically in a state of anxiety or fear of the insecurity of what will happen to one in and after death.

日本語の意味
臨終において、死直前の不安や恐怖から宗教的信仰を受け入れる行為
英語の意味
(set phrase) Acceptance of religious belief immediately before one dies, typically in a state of anxiety or fear of the insecurity of what will happen to one in and after death.
このボタンはなに?

彼の突然の臨終の改宗は、これまで宗教的であることを知らなかった親族を驚かせた。

関連語

plural

deathbed conversions

名詞
活用形 複数形

plural of deathbed conversion

原形: deathbed conversion
日本語の意味
"deathbed conversions"は、「deathbed conversion(臨終改宗)」の複数形です。つまり、臨終の際に行われる宗教的(または思想的)改宗事例が複数あることを示す語です。
英語の意味
plural of deathbed conversion
このボタンはなに?

突然の臨終の回心に関する報道は、誠実さや信仰についての激しい議論をしばしば引き起こす。

eta conversions

名詞
活用形 複数形

plural of eta conversion

原形: eta conversion
日本語の意味
「エータ変換」の複数形。つまり、eta conversion の複数の形を指す。
英語の意味
plural of eta conversion
このボタンはなに?

異なるサービス間でスケジュール形式を一致させるために、いくつかの到着予定時刻の変換が必要でした。

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★