Last Updated：2025/11/23
Sentence
その研究論文は、従来の決定手続きでは決定できないいくつかの補再帰的に列挙可能な言語を挙げている。
Quizzes for review
The research paper lists several corecursively enumerable languages that resist conventional decision procedures.
See correct answer
The research paper lists several corecursively enumerable languages that resist conventional decision procedures.
音声機能が動作しない場合はこちらをご確認ください
Related words
corecursively enumerable
Adjective
alt-of
alternative
not-comparable
Japanese Meaning
「co‐recursively enumerable」（すなわち、その補集合が再帰的に列挙可能である集合）の別表記、同じ意味を示す用語
English - English
Word Edit Setting
- Users who have edit permission for words - All Users
- Screen new word creation
- Screen word edits
- Screen word deletion
- Screen the creation of new headword that may be duplicates
- Screen changing entry name
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Sentence Edit Setting
- Users who have edit permission for sentences - All Users
- Screen sentence deletion
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Quiz Edit Setting
- Users who have edit permission for quizzes - All Users
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
