problem solverの部分一致の例文一覧と使い方
該当件数 : 5件
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.例文帳に追加
一態様では、ブール充足可能性(SAT)解答装置におけるイベントをスケジューリングする方法は、SAT問題に対する有効な解を探索する際に、1以上の1次統計値を収集し、探索の際に前記1以上の1次統計値から1以上の2次統計値を導出し、前記1以上の2次統計値に従って、探索中のイベントをスケジューリングする。 - 特許庁
Copyright © Japan Patent office. All Rights Reserved. |
本サービスで使用している「Wikipedia日英京都関連文書対訳コーパス」はWikipediaの日本語文を独立行政法人情報通信研究機構が英訳したものを、Creative Comons Attribution-Share-Alike License 3.0による利用許諾のもと使用しております。詳細はhttp://creativecommons.org/licenses/by-sa/3.0/ および http://alaginrc.nict.go.jp/WikiCorpus/ をご覧下さい。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |