mathematical machineとは 意味・読み方・使い方

a small machine that is used for mathematical calculations発音を聞く 例文帳に追加

数学の計算に利用される小型機械 - 日本語WordNet

We provide a mathematical specification of an extension of Warren's Abstract Machine for executing Prolog to type-constraint logic programming and prove its correctness.発音を聞く 例文帳に追加

我々は,型制約論理プログラミングに対するプロログを実行するために,ウォレンの抽象機械の拡張に関する数学的仕様を提供し,その正確性を証明する． - コンピューター用語辞典

When a set value display displayed on a screen is touched, an HMI (Human-Machine Interactions) processing part 56 of the programmable display 5 pop-up displays a keyboard for inputting a mathematical expression in the circumference of the set value display.例文帳に追加

プログラマブル表示器５のＨＭＩ処理部５６は、画面上に表示した設定値表示器がタッチされると、設定値表示器の周囲に数式入力用のキーボードをポップアップ表示する。 - 特許庁

Analysis and control of the machine-cycle is facilitated by defining a computer model of mathematical expression of a network constraint chart for an unwrapped bottle forming process which requires a completion time longer than two machine- cycle.例文帳に追加

完了するのに２マシーン・サイクルよりも長い時間を要するアンラップ・ボトル形成プロセスのネットワーク拘束図の数学的表現のコンピュータ化モデルを定義し、これにより、マシーン・サイクルの分析及び制御を容易にする。 - 特許庁

To provide a cage-type induction machine simulating apparatus for analog simulator, capable of exact simulations taking the skin effect into account by a secondary current, by expressing a mathematical expression that indicates the physical characteristics of a cage-type induction machine equivalent circuit taking the skin effect into account.例文帳に追加

２次電流による表皮効果を考慮したかご形誘導機等価回路の物理的特性を表す数式を、単純項から成るブロックにて表現することにより、上記表皮効果を考慮して正確な模擬を可能にしたアナログシミュレータ用かご形誘導機模擬装置を提供する。 - 特許庁