小窓モード


プレミアム

ログイン
設定

設定

Weblio 辞書 > 英和辞典・和英辞典 > JMdict > 数学的論理学の英語・英訳 

数学的論理学の英語

ピン留め

追加できません

(登録数上限)

単語を追加

英訳・英語 mathematical logic


JMdictでの「数学的論理学」の英訳

数学的論理学


「数学的論理学」の部分一致の例文検索結果

該当件数 : 10



例文

発見、科論理及び数学方法例文帳に追加

discoveries, scientific theories and mathematical methods;発音を聞く  - 特許庁

数学な推論の論理な分析例文帳に追加

the logical analysis of mathematical reasoning発音を聞く  - 日本語WordNet

数学な方法を使って演繹論理を体系化しようとする例文帳に追加

a study of trying to systematically deduce logic, using mathematical methods - EDR日英対訳辞書

ここで、数学規則は、写像であり論理規則に恒等に同義である(アイデンティカルである)。例文帳に追加

The mathematical rules are mapping and equally identical to a logical rule. - 特許庁

形式論理数学)な所説は意味を持たないが、その象徴(物理な存在と考えられる)は、有益な教訓を示しているという哲理論例文帳に追加

the philosophical theory that formal (logical or mathematical) statements have no meaning but that its symbols (regarded as physical entities) exhibit a form that has useful applications発音を聞く  - 日本語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.発音を聞く  - コンピューター用語辞典

例文

歩留成分分離部は隣接するn個のチップ同士をまとめた元のn倍のチップ面積とカテゴリマップの歩留りから数学論理に基きウェハ上でランダムに発生する異物による不良と連続して発生するプロセスによる不良の2種類の歩留り成分を求める。例文帳に追加

Two kinds of yield ratio component which are failures of being randomly generated on the wafer caused by contamination and of being continuously generated caused by a process are calculated at a yield ratio component separating part, by a mathematical logic base by (n) times of an original chip area which integrates each adjacent (n) chips and by a yield ratio of the category map. - 特許庁

>>例文の一覧を見る


調べた例文を記録して、 効率よく覚えましょう
Weblio会員登録無料で登録できます!
  • 履歴機能
    履歴機能
    過去に調べた
    単語を確認!
  • 語彙力診断
    語彙力診断
    診断回数が
    増える!
  • マイ単語帳
    マイ単語帳
    便利な
    学習機能付き!
  • マイ例文帳
    マイ例文帳
    文章で
    単語を理解!
  • その他にも便利な機能が満載!
Weblio会員登録(無料)はこちらから

JST科学技術用語日英対訳辞書での「数学的論理学」の英訳

数学的論理学


日本語WordNet(英和)での「数学的論理学」の英訳

数学的論理学


EDR日英対訳辞書での「数学的論理学」の英訳

数学的論理学

クロスランゲージ 37分野専門語辞書での「数学的論理学」の英訳

数学的論理学

Weblio例文辞書での「数学的論理学」に類似した例文

数学的論理学

例文

the exact sciences

27

数学で,べき

例文

a theorem of mathmatics, called {the theorem of ratio increase}

Weblio例文辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

「数学的論理学」の部分一致の例文検索結果

該当件数 : 10



例文

既知の論理数学表現を用いてイメージから得られる量から成る、イメージの意味内容を記述するN個の低レベル特徴の集合を定義し(ステップ10)、そのN個の低レベル特徴がとる値で形成される特徴ベクトル抽出のため、分類対象のイメージにインデックスを付ける(20)。例文帳に追加

The set of N pieces of low level features for describing the semantic contents of the image composed of a quantity provided from the image is defined while using a known logical and mathematical expression (step 10), and the image of a sorting target is indexed (20) for extracting a feature vector formed from the values of these N low level features. - 特許庁

構築可能なセルユニットとしてプログラム可能な計算ユニットには、数学および/または論理基本演算を実行するための計算機構と、アドレシング可能な機能および/または網目化設定手段(F−Plureg,M−Plureg)が、構築すべき機能および/または網目化が処理データバスに依存しないようにするために設けられている。例文帳に追加

A computation unit programmable, as a configuratable cell unit, is provided with the computation mechanism for executing mathematical and/or logical basic operations and addressing-enabled functions and/or networking setup means (F-Plureg, M-Plureg), in order to make the functions and/or networking to be configured independent of a processing-data-bus. - 特許庁

例文

電気外科発生装置は、出力電圧および出力電流の検知した値に応答して、閉ループで出力電気外科信号の出力電力、出力電圧または出力電流の少なくとも1つのパラメータを規制するために数学アルゴリズムを実行するようにプログラムされた論理ゲートのアレイで形成された制御システムを有する。例文帳に追加

The electrosurgery generating device has a control system formed with the array of logic gates programmed so as to execute mathematical algorithm for controlling at least one parameter of output power, output voltage, and output current of output electrosurgery signals by a closed loop responding to detected values of output voltage and output current. - 特許庁

>>例文の一覧を見る

「数学的論理学」の英訳に関連した単語・英語表現

数学的論理学のページの著作権
英和・和英辞典 情報提供元は 参加元一覧 にて確認できます。

   
EDRDGEDRDG
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.
独立行政法人科学技術振興機構独立行政法人科学技術振興機構
All Rights Reserved, Copyright © Japan Science and Technology Agency
日本語WordNet日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
独立行政法人情報通信研究機構独立行政法人情報通信研究機構
Copyright(C)2002-2024 National Institute of Information and Communications Technology. All Rights Reserved.
株式会社クロスランゲージ株式会社クロスランゲージ
Copyright © 2024 Cross Language Inc. All Right Reserved.

ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。

こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

このモジュールを今後表示しない
みんなの検索ランキング
閲覧履歴
無料会員登録をすると、
単語の閲覧履歴を
確認できます。
無料会員に登録する
英→日 日→英
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

©2024 GRAS Group, Inc.RSS