problem solverとは 意味・読み方・使い方

PROBLEM SOLVER AND STORAGE MEDIUM例文帳に追加

問題解決器、及び記憶媒体 - 特許庁

As a renowned problem solver during the Warring States period in Japan, Shakugo's great-grandfather was Hisahide MATSUNAGA, a well known master of the tea ceremony.発音を聞く 例文帳に追加

戦国時代随一のフィクサーで、茶人としても有名な松永久秀は尺五の曽祖父である。 - Wikipedia日英京都関連文書対訳コーパス

Under a constraint condition derived from a configuration of the network, a mathematical planning problem of minimizing the object function is set, and a solution is obtained using a solver for solving the mathematical planning problem.例文帳に追加

ネットワークの構成から導出される制約条件の下に、目的関数を最小化するという数理計画問題を設定し、数理計画問題を解くソルバを用いて解を求める。 - 特許庁

Further, read-in relation (x) is generated in the form of table 0-1, and an integer programming problem is formulated so as to minimize the sum of downloading times of the page and file, and solved by a solver.例文帳に追加

また、読み込み関係(x)を0-1の表として作成し、ページとファイルのダウンロード時間の和を最小化するように整数計画問題を定式化し、ソルバに解かせる。 - 特許庁

In one embodiment, a method for scheduling events in a Boolean satisfiability (SAT) solver includes collecting one or more first-order statistics on a search for a valid solution to an SAT problem, deriving one or more second-order statistics on the search from the one or more first-order statistics, and scheduling events in the search according to one or more of the second-order statistics.例文帳に追加

一態様では、ブール充足可能性（ＳＡＴ）解答装置におけるイベントをスケジューリングする方法は、ＳＡＴ問題に対する有効な解を探索する際に、１以上の１次統計値を収集し、探索の際に前記１以上の１次統計値から１以上の２次統計値を導出し、前記１以上の２次統計値に従って、探索中のイベントをスケジューリングする。 - 特許庁