pure logicとは 意味・読み方・使い方

Pure combinatory logic is a simple language of combinators.発音を聞く 例文帳に追加

純組合せ子論理は組合せ子の単純な言語である. - コンピューター用語辞典

in pure or formal logic, the principal of reduction発音を聞く 例文帳に追加

形式論理学において,還元法という,格の操作 - EDR日英対訳辞書

Theoretical treatments of logic programming often use a very simple formulation of Prolog, namely pure definite horn clause programs:発音を聞く 例文帳に追加

論理プログラミングの理論的取り扱いでは、プロログの非常に単純な定式化、すなわち純確定ホーン節プログラムを使うことがよくある。 - コンピューター用語辞典

For example, "Ojoyoshu" (The Essentials of Salvation) describes a logic employing muck of Jingi belief to explain Buddhism's own pure and impure thought.発音を聞く 例文帳に追加

往生要集などには本来の仏教の浄穢思想理解のための手段として神祇信仰のケガレを利用した論理が見受けられる。 - Wikipedia日英京都関連文書対訳コーパス

The digital controller will continue to the technology of the future in the form of VHDL codes, and the logic is pure logic and is independently of technology.例文帳に追加

ディジタル・コントローラはＶＨＤＬコードの形式で将来のテクノロジへ引き継がれ、これは、純然たるロジックでありテクノロジから独立している。 - 特許庁