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

最終更新日：2025/11/26

例文

Horn clauses are used extensively in logic programming and automated theorem proving because of their computational efficiency.

ホーン節は計算効率の高さから論理プログラミングや自動定理証明で広く用いられている。

正解を見る

Horn clauses are used extensively in logic programming and automated theorem proving because of their computational efficiency.

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

名詞

活用形複数形

plural of Horn clause

日本語の意味

『Horn clauses』は『Horn clause』の複数形です。つまり、『Horn clause』の複数形として使用される活用形を示しています。

Horn clauses are used extensively in logic programming and automated theorem proving because of their computational efficiency.

ホーン節は計算効率の高さから論理プログラミングや自動定理証明で広く用いられている。

項目の編集設定

例文の編集設定

問題の編集設定