最終更新日：2025/11/26

Dictionary quizzes to help you remember vocabulary

Dictionary quizzes to help you remember vocabulary

plural of setoid

音声機能が動作しない場合はこちらをご確認ください

正解を見る

setoids

編集履歴（0）

元となった辞書の項目

setoids

名詞

活用形複数形

plural of setoid

日本語の意味

「setoid」の複数形

このボタンはなに？

In type theory, setoids are often used to model quotients when native quotient types are unavailable.

Google翻訳 / DeepL翻訳

型理論では、ネイティブな商型が利用できない場合に、同値関係を持つ集合が商を表現するためによく用いられます。

意味（1）

plural of setoid

ログイン / 新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★