検索結果- 英語 - 英語 | ディクト

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 英語

検索内容:

Church).

Church encoding

可算名詞不可算名詞

日本語の意味

(数学) ラムダ計算内で数学的構造に組み込まれた方法により、データおよび演算子を表現する手法 / ラムダ計算におけるデータと演算子の表現方法として、数学的構造を利用する技法

このボタンはなに？

高度な関数型プログラマはしばしば、ラムダ計算におけるデータや演算子の表現法を基礎技術として教える。

関連語

Church encodings

（ plural ）

Church encodings

活用形複数形

plural of Church encoding

日本語の意味

「Church encodings」は「Church encoding」の複数形です。Church encodingとは、ラムダ計算などの形式体系において、データ（数値、ブール値、リストなど）を関数だけで表現する手法を指します。

このボタンはなに？

Church encodings allow functional programmers to represent natural numbers and lists purely within the lambda calculus.

チャーチによる符号化は、関数型プログラマーがラムダ計算だけで自然数やリストを表現することを可能にします。

patriarchal church

(Roman Catholicism) Each of the five great basilicae of Rome, viz. the Lateran, St Peter’s, St Paul’s outside the Walls, St Mary Major’s, and St Lawrence’s outside the Walls.

日本語の意味

ローマ・カトリック教会において、ローマの五大バシリカ（ラテラノ大聖堂、サン・ピエトロ大聖堂、町外のサン・ポール大聖堂、サン・メアリー・マジョール大聖堂、町外のサン・ロレンツォ大聖堂）の各大聖堂のことを指す。

このボタンはなに？

During my visit to Rome, I hoped to tour each patriarchal church to appreciate its unique history and art.

ローマを訪れた際、ローマの五大大聖堂を一つずつ巡って、それぞれの独自の歴史と美術を鑑賞したいと思いました。

関連語

patriarchal churches

（ plural ）

church tower

(architecture) A steeple or bell tower.

日本語の意味

教会の塔 / 鐘楼

このボタンはなに？

The church tower chimed the hour as villagers gathered in the square.

教会の鐘楼が時を告げ、村人たちが広場に集まった。

関連語

church towers

（ plural ）

church towers

活用形複数形

plural of church tower

日本語の意味

これは「church tower」の複数形であり、複数の教会の塔という意味になります。

このボタンはなに？

At sunset, the silhouettes of the church towers lined the horizon, reminding the villagers of their long history.

夕暮れ時、教会の鐘楼のシルエットが地平線に沿って並び、村人たちに長い歴史を思い出させた。

Confessing Church

歴史的

(Christianity, historical) A movement within German Protestantism during Nazi Germany that arose in opposition to government-sponsored efforts to unify all Protestant churches into a single pro-Nazi German Evangelical Church.

日本語の意味

ナチス・ドイツ時代のドイツプロテスタントにおいて、政府が主導するナチス支持の統一プロテスタント教会に反対し、信仰告白をもって独自の立場を主張した教会運動

このボタンはなに？

Members of the Confessing Church risked imprisonment to protect their congregations from Nazi interference.

ナチ政権下で親ナチ的な「ドイツ福音教会」への統一に反対したドイツのプロテスタント運動である告白教会の信徒たちは、ナチの干渉から会衆を守るために投獄される危険を冒した。

関連語

the Confessing Church

（ canonical ）

church windows

複数形複数形のみ

Synonym of tears of wine

日本語の意味

ワインの涙：ワイングラス内に現れる滴状の現象、つまりワインがグラスの内側に流れ落ちる様子を詩的に表現した言葉

このボタンはなに？

After swirling the glass, the church windows clung to the sides and traced slow ribbons down the bowl.

グラスを回すと、ワインの涙がグラスの内側に張り付き、ゆっくりと筋を描いて流れ落ちた。

Greek Orthodox Church

A group of Eastern Orthodox churches comprising the churches of Constantinople, Alexandria, Jerusalem, Cyprus and Greece.

日本語の意味

コンスタンティノープル、アレクサンドリア、エルサレム、キプロス、ギリシャの各教会から構成される東方正教会の一派

このボタンはなに？

After visiting the monastery, she decided to study the history of the Greek Orthodox Church.

修道院を訪れた後、彼女はギリシャ正教会の歴史を研究することに決めた。

関連語

the Greek Orthodox Church

（ canonical ）

Old Church Slavonic

The first literary and liturgical Slavic language.

日本語の意味

最初の文学および典礼用として用いられたスラヴ語

このボタンはなに？

Scholars studied the ancient manuscripts written in Old Church Slavonic to better understand early Slavic liturgy.

学者たちは、初期のスラヴ教会の典礼をより深く理解するため、最初の文学的・典礼用のスラヴ語で書かれた古い写本を研究した。

Roman Catholic Church

Synonym of Catholic Church. / Latin Church, the largest of the autonomous particular churches of the Catholic Church.

日本語の意味

カトリック教会、特にラテン教会。カトリック教会の中で最大の独立した自治教会を指す名称。

このボタンはなに？

The Roman Catholic Church announced new guidelines for charitable outreach across the country.

カトリック教会は国内での慈善活動に関する新しい指針を発表しました。

Webで検索する

ログイン / 新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★