検索結果- 英語 - 多言語
検索内容:
Church Slavonicism
a word recorded in the corpus of Old Church Slavonic or some of the later Church Slavonic recensions.
古典教会スラヴ語または後期の教会スラヴ写本に記録された単語
Church Slavonicisms
church services
plural of church service
教会で行われる複数の礼拝や宗教儀式
Church Latin
Church encoding
(mathematics) A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus.
(数学) ラムダ計算内で数学的構造に組み込まれた方法により、データおよび演算子を表現する手法 / ラムダ計算におけるデータと演算子の表現方法として、数学的構造を利用する技法
Church encodings
plural of Church encoding
「Church encodings」は「Church encoding」の複数形です。Church encodingとは、ラムダ計算などの形式体系において、データ(数値、ブール値、リストなど)を関数だけで表現する手法を指します。
church tower
church towers
plural of church tower
これは「church tower」の複数形であり、複数の教会の塔という意味になります。
Church Stretton
mother churches
plural of mother church
「mother church」の複数形。基本的には、ある教派や宗派の始祖となる、最初に設立された教会、または主要な教会を指す。