Search results- English - English

Keyword:

application logic

Noun
uncountable
Japanese Meaning
アプリケーションロジック:コンピュータプログラムが実現しようとする目的に沿ったロジック、特にドメイン固有の業務処理やルールを実装する部分を指す。 / また、ドメインロジックとも呼ばれ、システムのビジネス的な処理の流れや条件を実現するための論理部分として理解される。
What is this buttons?

更新を展開する前に、チームはエッジケースに正しく対応するかを確認するためにアプリケーションの業務ロジックを確認した。

logical positivisms

Noun
form-of plural
Japanese Meaning
論理実証主義の複数形
What is this buttons?

哲学者たちの議論はしばしば、分析哲学に対する論理実証主義の諸派の歴史的影響を巡って行われる。

fridge logic

Noun
slang uncountable
Japanese Meaning
(ファンダムスラング)物語の中で初めは見落とされていたディテールが、後になって再考すると明らかに不合理または非現実的で、しばしば筋の穴を生む現象を指す
What is this buttons?

最初はそのどんでん返しが好きだったが、後から気づくプロットの矛盾が浮かび上がり、結末全体が空虚に感じられた。

monadic second-order logics

Noun
form-of plural
Japanese Meaning
モナディック・セカンド・オーダー・ロジックの複数形
What is this buttons?

研究者たちは、どの断片が決定可能な充足可能性を許すかを判断するために、いくつかの単項二階論理の変種を比較した。

arithmetic logic unit

Noun
Japanese Meaning
算術論理演算ユニット:計算および論理演算を実行するCPUの一部
What is this buttons?

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

Related Words

plural

logical mechanical element

Noun
Japanese Meaning
機械装置の中で、論理的な制御を行う部品。たとえば、ラチェット(棘車)、トリップ(作動機構)、デテン(位置保持装置)、インターロック(相互保護機構)などの機能を備えた要素を指す。
What is this buttons?

安全機構は、すべてのセンサーが正常を示さない限りハッチの開放を防ぐ機械的論理要素に依存していた。

Related Words

programmable logic controller

Noun
Japanese Meaning
産業オートメーションにおいて、機械やプロセスの論理およびシーケンス制御を行うためのプログラム可能な電子装置
What is this buttons?

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

Related Words

programmable logic controllers

Noun
form-of plural
Japanese Meaning
プログラマブルロジックコントローラの複数形
What is this buttons?

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

first-order logic

Noun
countable uncountable
Japanese Meaning
形式的な推論体系で、命題論理を基礎に拡張し、対象となる個体に対して「すべての」や「存在する」といった量化(∀, ∃)を可能にする論理体系。 / 対象の領域の個体に関する性質や関係を記述するための、明確かつ厳密な論理体系。
What is this buttons?

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

Related Words

plural

monadic predicate logic

Noun
Japanese Meaning
単項述語論理:全ての述語記号が単項(1つの引数のみを取る)で構成され、関数記号が存在しない述語論理の一部分
What is this buttons?

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

Related Words

loading!

Loading...

All Loaded

Error

Search by Web

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★