検索結果- 英語 - 英語

検索内容:

algorithms.

固有名詞

日本語の意味

計算理論におけるアルゴリズムで、折れ線（ポリライン）を構成する直線セグメントの集合から、近似的に同じ形状を持つ曲線を、より少ない点で表現するための手法

ポリライン簡略化アルゴリズムは、経路の全体的な形状を保持しつつ点の数を減らしてGPSトラックを簡略化するためによく使われます。

固有名詞

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

日本語の意味

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

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

Webで検索する