本文へスキップ
ログインすると広告が減り、学習に集中できます。
広告

検索結果- 英語 - 英語

検索内容:

programmable logic controller

名詞
日本語の意味
産業オートメーションにおいて、機械やプロセスの論理およびシーケンス制御を行うためのプログラム可能な電子装置
このボタンはなに?

技術者はコンベアのタイミングを最適化し、製品の詰まりを減らすためにプログラマブルロジックコントローラを再プログラムした。

関連語

programmable logic controllers

名詞
活用形 複数形
日本語の意味
プログラマブルロジックコントローラの複数形
このボタンはなに?

ダウンタイムを減らすために、エンジニアチームは週末の保守作業で複数のプログラマブルロジックコントローラを再プログラムしました。

arithmetic logic unit

名詞
日本語の意味
算術論理演算ユニット:計算および論理演算を実行するCPUの一部
このボタンはなに?

プロセッサの算術論理演算装置は整数の計算と論理比較を高速で実行します。

関連語

plural

monadic predicate logic

名詞
日本語の意味
単項述語論理:全ての述語記号が単項(1つの引数のみを取る)で構成され、関数記号が存在しない述語論理の一部分
このボタンはなに?

すべての述語記号が単項(すなわち1つの引数しか取らず)、関数記号が存在しない述語論理の断片に関する研究は、多くの判定可能性の問題が完全な述語計算よりも簡単であることを示している。

関連語

first-order logic

名詞
可算名詞 不可算名詞
日本語の意味
形式的な推論体系で、命題論理を基礎に拡張し、対象となる個体に対して「すべての」や「存在する」といった量化(∀, ∃)を可能にする論理体系。 / 対象の領域の個体に関する性質や関係を記述するための、明確かつ厳密な論理体系。
このボタンはなに?

私の科学哲学のゼミでは、観察可能な対象についての仮説を形式化するために、個体に量化を許す述語論理を用いました。

関連語

plural

informal logics

名詞
活用形 複数形
日本語の意味
非形式論理(informal logicの複数形、形式にとらわれずに議論を評価・分析する学問領域)
このボタンはなに?

哲学のゼミで、日常的な議論をどのように扱うかを確かめるために、いくつかの非形式論理を比較しました。

intensional logics

名詞
活用形 複数形
日本語の意味
「intensional logic」の複数形。
このボタンはなに?

研究者たちは、命題的態度の意味を最もよくとらえるものを特定するために、いくつかのインテンショナル論理体系を比較した。

modal logics

名詞
活用形 複数形
日本語の意味
「modal logic」(様相論理)の複数形、すなわち複数の modal logic を指します。
このボタンはなに?

セミナーで、学生たちは時間的概念を最もよくモデル化できる様相論理の諸体系を比較した。

predicate logics

名詞
活用形 複数形
日本語の意味
述語論理の複数形
このボタンはなに?

研究者たちは、自然言語の量化の意味論を最もよく表現する述語論理体系を特定するために、いくつかの述語論理体系を比較した。

sentential logics

名詞
活用形 複数形
日本語の意味
「sentential logic」(命題論理)の複数形です。つまり、単数形の「sentential logic」の複数形として扱われます。
このボタンはなに?

研究者たちは、自然言語の推論を最もよく表すものを判断するために、いくつかの著名な命題論理体系を比較した。

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★