検索結果- 英語 - 英語

検索内容:

Many-sorted

名詞

(logic) A logic that directly supports classification of entities into disjunct sorts.

日本語の意味

複数の不連続な種類（ソート）に対象を直接分類することをサポートする論理体系（多ソート論理）

Researchers often use many-sorted logic to simplify formal specifications by assigning each variable to a specific sort.

研究者はしばしば、対象を互いに排反する複数のソートに直接分類できる論理を用いて、各変数を特定のソートに割り当てることで形式仕様を簡素化する。

名詞

活用形複数形

plural of many-sorted logic

日本語の意味

「多ソート論理」の複数形（すなわち、複数の種類の対象を区別する論理体系であることを示す表現）

Many-sorted logics provide a robust framework for representing and reasoning about systems containing several different types of entities.

複数のソートを持つ論理体系は、いくつかの異なる種類の要素を含むシステムを表現し推論するための堅牢な枠組みを提供する。

Webで検索する