Mathematical setとは 意味・読み方・使い方

A model chekker provides the design verifying system by which the chekker receives both of the set of the mathematical expression of functionality in design and characteristics to be collated in the inspection of a mathematical model.例文帳に追加

モデルチェッカーが、デザインの機能性の数学的表現と、数学的モデルの検査で照合する特性のセットの両方を受け取るデザイン検証システムを提供する。 - 特許庁

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.例文帳に追加

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

A user sets a display coordinate range for graphical display in a setting window 23, and the mathematical expression desired to be displayed is selected from the mathematical expressions set preliminarily in a built-in menu 24 (Y=aX^2+bX+c).例文帳に追加

利用者は、グラフ表示させる表示座標範囲を設定ウィンドウ２３で設定し、グラフ表示させたい数式をビルトインメニュー２４で予め設定した数式の中から選択する（Ｙ＝ａＸ^2＋ｂＸ＋ｃ）。 - 特許庁

a diagram that uses circles to represent mathematical or logical sets pictorially inside a rectangle (the universal set)発音を聞く 例文帳に追加

数学的、あるいは理論的な集合を現すために長方形（全体集合）の中に描かれた円を使用する図 - 日本語WordNet

a symbol in a logical or mathematical expression that can be replaced by the name of any member of specified set発音を聞く 例文帳に追加

指定された集合のいかなる要素の名前にも取り替えることができる論理式あるいは数式の記号 - 日本語WordNet

is limited as a macro language, and has difficulty when presented with a string containing a member of the mathematical, logical or quotation set: -literal -offset indent-two発音を聞く 例文帳に追加

はマクロ言語としての限界から、数学、論理学、もしくは以下の引用符の集合のメンバを含んだ文字列を表現するのは困難です。 - JM

"Sangaku" means mathematical puzzles or solutions described on wooden tablets or set in frames, which were dedicated to Shinto shrines or temples during the Edo Period in Japan.発音を聞く 例文帳に追加

算額（さんがく）とは、江戸時代の日本で、額や絵馬に数学の問題や解法を記して、神社や寺院に奉納したものである。 - Wikipedia日英京都関連文書対訳コーパス

A problem solving means 170 determines a set of links constituting the multicast tree by solving the mathematical planning problem.例文帳に追加

問題解決手段１７０は、この数理計画問題を解くことで、マルチキャストツリーを構成するリンクの集合を決定する。 - 特許庁