絶対に忘れないAI辞書＆単語帳アプリ「DiQt（ディクト）」

最終更新日：2025/11/20

正解を見る

Graduate students often struggle to translate natural-language assertions into predicate calculus when the domain contains infinitely many objects.

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

元となった例文

Graduate students often struggle to translate natural-language assertions into predicate calculus when the domain contains infinitely many objects.

大学院生は、自然言語の主張を「あるxが存在する」や「任意のxについて成り立つ」といった量化子を扱う論理学の分野（述語論理）に翻訳するのに苦労することが多い。対象領域に無限の要素が含まれる場合は特にそうだ。