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

In the medieval period, Buddhism permeated all levels of society and sought abstract but rational logic, although occultism remained.発音を聞く 例文帳に追加

中世社会は社会の隅々まで仏教が浸透し、呪術的な信仰が残存する反面、合理的抽象的論理が求められていた。 - Wikipedia日英京都関連文書対訳コーパス

To convert a model of a logic circuit block described detailedly on an RT level into a model having a high abstract degree with no time concept included.例文帳に追加

ＲＴレベルで詳細に記述された論理回路ブロックのモデルを時間概念を含まない抽象度の高いモデルに変換する。 - 特許庁

To reduce the setting load on a network equipment setter and to improve the abstract degree of expanding the scale of a network or configuring a closed logic area network.例文帳に追加

ネットワーク機器設定者に対する設定の負担を軽減し、ネットワークの大規模化や論理閉域網の構成条件の抽象度を高める。 - 特許庁

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.発音を聞く 例文帳に追加

我々は,型制約論理プログラミングに対するプロログを実行するために,ウォレンの抽象機械の拡張に関する数学的仕様を提供し,その正確性を証明する． - コンピューター用語辞典