Search results- English - English

Keyword:

monoidal

Adjective
not-comparable
Japanese Meaning
モノイドに関する / モノイドとしての / モノイド性の
What is this buttons?

研究者たちは、テンソル的な振る舞いに共通するパターンを特定するために、いくつかのモノイドに関する圏を調査した。

monoidally

Adverb
not-comparable
Japanese Meaning
モノイドに関して / モノイド論的に / モノイドについて
What is this buttons?

これらの対象をモノイドに関して結合するために、単位元を保つ二項演算を使います。

monoids

Noun
form-of plural
Japanese Meaning
「monoid」の複数形(monoid の複数形)
What is this buttons?

多くの関数型プログラマは、結果を効率的に結合するために複数のモノイドを活用する。

monoid

Noun
Japanese Meaning
結合法則が成立する二項演算により閉じ、単位元を有する集合(数学における概念)
What is this buttons?

セミナーで彼女は、結合的な二項演算で閉じかつ単位元を持つ集合が、アルファベット上の有限な文字列全体と連結演算、そして単位元としての空文字を考えることで構成できることを示した。

Related Words

plural

monoid

Adjective
not-comparable
Japanese Meaning
(韻律の意味)一種類の韻律単位のみを含む状態
What is this buttons?

彼女の詩は、それぞれが一種類の韻律脚だけで構成されていて、ほとんど催眠的な抑揚を生み出していた。

monoideism

Noun
uncountable
Japanese Meaning
ある精神障害において、一つの考えが著しく支配的になる状態 / 特定の精神障害で見られる、一つの概念への極端な偏執状態
What is this buttons?

彼女は一つの観念に執着していたため、それに反するどんな説明も考慮することができなかった。

monoideic

Adjective
not-comparable
Japanese Meaning
単一の考えやイデアに関係する / 単一の考えやイデアによって支配される
What is this buttons?

彼は本を整理することに対して単一の観念に支配されたように執着し、他の責任を見落としてしまった。

monoidal category

Noun
Japanese Meaning
圏論におけるモノイダル圏とは、圏𝒞に二項補関手(テンソル積)⊗:𝒞×𝒞→𝒞が定義され、対象同士のテンソル積を考えることができる。また、結合性同型 𝛼_(A,B,C):(A⊗B)⊗C ≃ A⊗(B⊗C) が存在し、対象 I を単位元として、左単位自然同型 𝜆_A:I⊗A ≃ A と右単位自然同型 𝜌_A:A⊗I ≃ A が定義される。さらにこれらの同型が五角形や三角形の整合性条件を満たす。
What is this buttons?

並列結合をモデル化するために、対象が系を表しテンソル積がその結合を表す、双関手 ⊗:C×C→C(テンソル積)、結合同型 α_{A,B,C}:(A⊗B)⊗C≃A⊗(B⊗C)、単位対象 I と左単位自然同型 λ_A:I⊗A≃A および右単位自然同型 ρ_A:A⊗I≃A、そしてこれら同型に関する整合性条件(五角形図と三角形図の可換性)を備えた圏の中で扱う。

Related Words

plural

free monoid

Noun
Japanese Meaning
自由モノイド:ある生成元の集合のケレネ閉包(すなわち全ての有限長の列)を基底集合とし、その演算が文字列の連結である単位元を含む代数的構造。
What is this buttons?

講義で彼女は、生成元集合の Kleene 閉包(すなわち生成元の有限連接から成る集合)を基礎とし演算が連接であるモノイド、つまり自由モノイドの各元がそれらの生成元の有限回の連接として一意に表されることを説明した。

Related Words

plural

free monoids

Noun
form-of plural
Japanese Meaning
自由生成モノイド(free monoid の複数形)
What is this buttons?

代数的組合せ論では、自由モノイド構造が連結操作を研究するための基本的な例としてよく用いられます。

loading!

Loading...

All Loaded

Error

Search by Web

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★