検索内容:
(computing theory) A semidecision algorithm for transforming a set of equations (over terms) into a confluent term rewriting system.
(計算理論)項の集合に対する一群の方程式を、縮約性(コンフルエント性)を持つ項書き換え系へと変換するための、半決定的アルゴリズム
大学院生たちは、項に関する方程式の集合を合流性のある項書換系に変換するための準決定アルゴリズムを実装し、それによって定理証明器を最適化した。
The quality of being completed.
完成状態 / 完成していること
プロジェクトが完了しているという性質がチームに深い達成感を与えた。
superlative form of complete: most complete
この単語「completest」は、形容詞「complete」の最上級形であり、『最も完全な』という意味を表す活用形です。
研究データベースの中で、最も完全なものは19世紀にさかのぼるアーカイブ記録を含んでいた。
(archaic) second-person singular simple present form of complete
(古語) 'complete' の二人称単数現在形。つまり、相手に対して『あなたは完成する/完了する』という意味を表す活用形です。
あなたはたった一針の見事な縫いでそのタペストリーを完成させる。
completely
完全に / 全く / 徹底的に
彼は締め切り前に課題を提出するのを完全に忘れた。
(archaic) third-person singular simple present indicative form of complete
(古語)「complete」の三人称単数現在形、つまり『~を完成する』という意味の動詞の活用形です。
式が終わると、司祭は厳かな言葉で儀式を完了します。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★