検索結果- 英語 - 英語

検索内容:

Kleisli categories

名詞
活用形 複数形
日本語の意味
「Kleisli category」の複数形。Kleisli圏とは、圏論において、特定のモナドから構成される圏のことである。
このボタンはなに?

研究者たちは、異なるモナドがプログラムの意味論にどのように影響するかを理解するために、複数のクライスリ圏を比較した。

comma categories

名詞
活用形 複数形
日本語の意味
これは「comma category」の複数形です。
このボタンはなに?

研究者たちはコーパスの注釈付けを導くために、カンマ区切りのカテゴリの一覧を作成しました。

coslice categories

名詞
活用形 複数形
日本語の意味
「coslice category」の複数形。つまり、『coslice category』という単語が複数形になった形です。
このボタンはなに?

複数のコスライス圏はしばしばホモトピー理論における関手の微妙な性質を明らかにする。

balanced categories

名詞
活用形 複数形
日本語の意味
「balanced category」の複数形。つまり、単数形「balanced category」に対して複数の対象を示す表現です。
このボタンはなに?

公正な報告を確保するために、委員会はフィードバックをバランスの取れた分類にまとめました。

lexical categories

名詞
活用形 複数形
日本語の意味
「lexical category」の複数形、すなわち語彙分類の複数形
このボタンはなに?

言語学の授業で、文の構造をよりよく理解するためにいくつかの品詞を調べました。

categorial grammar

名詞
日本語の意味
(言語学)自然言語の構文を形式的に記述するための文法体系の一種。
このボタンはなに?

大学院のゼミはカテゴリー文法とその意味解析への応用に焦点を当てていた。

関連語

plural

categorial grammars

名詞
活用形 複数形
日本語の意味
『カテゴリカル文法』(文法体系の一種)の複数形、すなわち複数のカテゴリカル文法を指す
このボタンはなに?

研究者たちは表現力を評価するために、いくつかの範疇文法を比較した。

hors categorie

名詞
日本語の意味
(自転車競技における)6段階の登坂区分の中で最も難易度が高い区分。カテゴリー1よりも困難な、いわゆる「HC(ホル・カテゴリ)」に該当する登坂を指す。
このボタンはなに?

レースの最後の登りはまさに超級で、最も強い選手たちでさえ息を切らしていた。

関連語

plural

equivalence of categories

名詞
日本語の意味
圏論における概念。随伴関係において、単位および余単位が共に自然同型となる場合、二つの圏は互いに同等であるとみなされる。この概念は『圏同値』として知られている。
このボタンはなに?

圏Cと圏Dが圏の同値であることは、単位と余単位がともに自然同型である随伴を構成することで示された。

関連語

Goguen categories

名詞
活用形 複数形
日本語の意味
ゴギュエン・カテゴリーの複数形(活用形としての複数形)
このボタンはなに?

システム間の相互運用性を形式化するため、チームはゴーゲンが提唱した圏を検討して、異なるシグネチャと代数がどのように関係するかをモデル化した。

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

 

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

DiQt(ディクト)

無料

★★★★★★★★★★