検索結果- 英語 - 英語

検索内容:

completed

Knuth-Bendix completion algorithm

固有名詞

(computing theory) A semidecision algorithm for transforming a set of equations (over terms) into a confluent term rewriting system.

日本語の意味

（計算理論）項の集合に対する一群の方程式を、縮約性（コンフルエント性）を持つ項書き換え系へと変換するための、半決定的アルゴリズム

このボタンはなに？

Google翻訳 / DeepL翻訳

大学院生たちは、項に関する方程式の集合を合流性のある項書換系に変換するための準決定アルゴリズムを実装し、それによって定理証明器を最適化した。

詳細

completedly

副詞

completely

日本語の意味

完全に / 全く / 徹底的に

このボタンはなに？

He completedly forgot to submit the assignment before the deadline.

Google翻訳 / DeepL翻訳

彼は締め切り前に課題を提出するのを完全に忘れた。

詳細

completedness

名詞

不可算名詞

The quality of being completed.

日本語の意味

完成状態 / 完成していること

このボタンはなに？

The completedness of the project gave the team a profound sense of closure.

Google翻訳 / DeepL翻訳

プロジェクトが完了しているという性質がチームに深い達成感を与えた。

詳細

Webで検索する