検索結果- 英語 - 英語

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 英語

検索内容:

completes

Knuth-Bendix completion algorithm

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

日本語の意味

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

このボタンはなに？

翻訳する

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

詳細

completest

動詞

古語活用形現在形二人称単数形

(archaic) second-person singular simple present form of complete

日本語の意味

(古語) 'complete' の二人称単数現在形。つまり、相手に対して『あなたは完成する/完了する』という意味を表す活用形です。

このボタンはなに？

Thou completest the tapestry with a single, masterful stitch.

翻訳する

あなたはたった一針の見事な縫いでそのタペストリーを完成させる。

詳細

completest

形容詞

活用形最上級

superlative form of complete: most complete

日本語の意味

この単語「completest」は、形容詞「complete」の最上級形であり、『最も完全な』という意味を表す活用形です。

このボタンはなに？

Among the research databases, the completest one contained archived records dating back to the nineteenth century.

翻訳する

研究データベースの中で、最も完全なものは19世紀にさかのぼるアーカイブ記録を含んでいた。

詳細

Webで検索する