Search results- English - English

Keyword:

combinatory logic

Noun
uncountable
Japanese Meaning
コンビナトリ論理:結合子(コンビネーター)を基盤とした計算モデルおよびその理論。 / 組み合わせ論理:コンピュータサイエンスにおける、結合子を用いた計算理論の一種。
What is this buttons?

関数型プログラミングの基礎を学ぶ際、変数を使わない計算を理解するために結合子に基づく計算モデルを調べました。

propositional logic

Noun
Japanese Meaning
命題論理: 原子命題を論理結合子(例えば、かつ、または、ならばなど)を用いて組み合わせ、形式的な演繹体系内で命題を構成する論理体系。
What is this buttons?

ゼミでは、自然言語の文を形式的な式に翻訳する方法を教えるために、命題論理を用いました。

Related Words

plural

intensional logic

Noun
Japanese Meaning
形式的な推論体系で、用語の内包(意味)と外延(対象)の区別を明示的に扱う論理システム
What is this buttons?

学会で彼女は、項の内包と外延の区別を表現する形式的演繹体系である内包論理に関する新しい証明を発表し、その違いを明確にした。

Related Words

plural

logic analyzer

Noun
Japanese Meaning
デジタル電子システムのテストや診断に用いられる装置
What is this buttons?

マイクロコントローラにデジタル電子システムをテストおよび診断するための装置を接続して、SPI信号をキャプチャした。

Related Words

plural

logic fallacy

Noun
alt-of alternative
Japanese Meaning
論理的誤謬 (論理上の誤りとしても表現される) / logical fallacy の別表現として、誤った論理や誤謬な推論を意味する
What is this buttons?

単一の逸話を全体の現象の代表とみなすことは、研究者を誤導する可能性のある論理的誤謬です。

Related Words

plural

logic board

Noun
Japanese Meaning
マザーボード
What is this buttons?

技術者は壊れていたMacBookのロジックボードを交換し、ノートパソコンは正常に起動しました。

Related Words

plural

computability logic

Noun
uncountable
Japanese Meaning
計算可能性に関する形式理論(計算や数学の分野で、計算可能性を形式的に捉えた理論)
What is this buttons?

現代の研究者は、相互作用型計算問題を形式的に定式化し、それらの解決可能性について論じるために計算可能性の理論を用いる。

logic bomb

Noun
Japanese Meaning
特定の条件が満たされた場合に、悪意のある機能を発動する目的で、ソフトウェアシステム内に意図的に埋め込まれるコードの一部
What is this buttons?

セキュリティチームは、マネージャーのアカウントが無効化されたときに従業員記録を削除するよう仕掛けられた給与システム内の論理爆弾を発見した。

Related Words

plural

material logic

Noun
Japanese Meaning
推論の内容に焦点を当てる論理学の一分野
What is this buttons?

推論の内容に焦点を当てる論理学の分野を研究する哲学者は、しばしば個々の議論の具体的な内容を形式的な構造ではなく検討する。

logic fallacies

Noun
form-of plural
Japanese Meaning
「logic fallacies」は「logic fallacy」の複数形であり、論理的誤謬、すなわち議論や推論における論理の誤りや矛盾を指す表現です。
What is this buttons?

ワークショップの間、教授は議論の中にある論理的誤謬を特定するよう私たちに求めました。

loading!

Loading...

All Loaded

Error

Search by Web

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★