I'm a builder, a problemsolver. 私はむしろ建築家だ - 映画・海外ドラマ英語字幕翻訳辞書
PROBLEMSOLVER AND STORAGE MEDIUM 問題解決器、及び記憶媒体 - 特許庁
As a renowned problemsolver 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. 一態様では、ブール充足可能性(SAT)解答装置におけるイベントをスケジューリングする方法は、SAT問題に対する有効な解を探索する際に、1以上の1次統計値を収集し、探索の際に前記1以上の1次統計値から1以上の2次統計値を導出し、前記1以上の2次統計値に従って、探索中のイベントをスケジューリングする。 - 特許庁