「existential quantifier」を含む例文一覧(2)

  • a quantifier in logic, called existential quantifier
    存在記号という,論理学での記号 - EDR日英対訳辞書
  • What the blank referent really means is that we have an invisible "existential quantifier".
    指示物がブランクであることが実際に何を意味するかというと、目に見えない「存在作用素」があるということなのである。 - コンピューター用語辞典

例文データの著作権について

  • EDR日英対訳辞書
    Copyright © National Institute of Information and Communications Technology. All Rights Reserved.
  • コンピューター用語辞典
    Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.