Weblio 辞書 > 英和辞典・和英辞典 > コンピューター用語 > many‐sorted logicの意味・解説

意味

例文 (1件)

many‐sorted logicの英語

ピン留め

追加できません

(登録数上限)

単語を追加

コンピューター用語辞典での「many‐sorted logic」の英訳

many-sorted logic

多種論理

用例

In this paper, we show how this reuse approach is extended to many-sorted logic:
本論文では, この再利用アプローチがどのように多種論理に拡張されるかを示す.

出典元索引用語索引ランキング

「many‐sorted logic」の部分一致の例文検索結果

該当件数 : 1件

例文

In this paper, we show how this reuse approach is extended to many-sorted logic:発音を聞く 例文帳に追加

本論文では, この再利用アプローチがどのように多種論理に拡張されるかを示す. - コンピューター用語辞典

>>例文の一覧を見る

調べた例文を記録して、効率よく覚えましょう

Weblio会員登録無料で登録できます！

履歴機能

過去に調べた
単語を確認!
語彙力診断

診断回数が
増える!
マイ単語帳

便利な
学習機能付き!
マイ例文帳

文章で
単語を理解!

Weblio会員登録(無料)はこちらから

JST科学技術用語日英対訳辞書での「many‐sorted logic」の英訳

many‐sorted logic

多類論理

出典元索引用語索引ランキング

日英・英日専門用語辞書での「many‐sorted logic」の英訳

many-sorted logic

多ソート論理，多類論理

出典元索引用語索引ランキング

Wiktionary英語版での「many‐sorted logic」の英訳

many-sorted logic

出典:『Wiktionary』 (2017/02/08 20:58 UTC 版)

名詞

many-sorted logic (複数形 many-sorted logics)

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

出典元索引用語索引ランキング

ウィキペディア英語版での「many‐sorted logic」の英訳

Many-sorted logic

出典:『Wikipedia』 (2010/10/16 17:47 UTC 版)

英語による解説

ウィキペディア英語版からの引用

引用

Many-sorted logic can reflect formally our intention, not to handle the universe as a homogeneous collection of objects, but to partition it in a way that is similar to types in typeful programming. Both functional and assertive "parts of speech" in the language of the logic reflect this typeful partitioning of the universe, even on the syntax level: substitution and argument passing can be done only accordingly, respecting the “sorts”.

出典元索引用語索引ランキング

「many‐sorted logic」の意味に関連した用語

意味

例文 (1件)

英和辞書の「many‐sorted logic」の用語索引

many‐sorted logicのページの著作権
英和・和英辞典情報提供元は参加元一覧にて確認できます。


	Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
	All Rights Reserved, Copyright © Japan Science and Technology Agency
	Copyright © 2025 CJKI. All Rights Reserved
Wiktionary	Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのmany-sorted logic (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。
Wikipedia	Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのMany-sorted logic (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。

many‐sorted logicの英語

コンピューター用語辞典での「many‐sorted logic」の英訳

many-sorted logic

「many‐sorted logic」の部分一致の例文検索結果

JST科学技術用語日英対訳辞書での「many‐sorted logic」の英訳

many‐sorted logic

日英・英日専門用語辞書での「many‐sorted logic」の英訳

many-sorted logic

Wiktionary英語版での「many‐sorted logic」の英訳

many-sorted logic

名詞

ウィキペディア英語版での「many‐sorted logic」の英訳

Many-sorted logic

「many‐sorted logic」のお隣キーワード