コンピューター用語辞典

日外アソシエーツ株式会社

constructive logic

構成的論理

調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

JST科学技術用語日英対訳辞書

独立行政法人科学技術振興機構

constructive logic

構成的論理

日英・英日専門用語辞書

日中韓辭典研究所

constructive logic

構成的論理

Wiktionary英語版

出典：Wiktionary

constructive logic

出典:『Wiktionary』 (2026/08/21 00:06 UTC 版)

名詞

constructive logic (countable and uncountable, plural constructive logics)

  1. (logic) Any kind of logic in which any proof of existence can be converted into an algorithm that constructs the mathematical object which it claims to exist.

下位語

参照

constructive logicのページの著作権