閉包の英語

ほとんどの代数的仕様言語は,すべての公理が全称閉包(universal closure)として知られる形式であることを要求する．例文帳に追加

Most algebraic specification languages require that all axioms be in a form known as the universal closure.発音を聞く  - コンピューター用語辞典

内部にゲル材を密閉包装した外装袋１に、保温と保冷の両方の使用適温が確認できる確認手段３を具備した構造とする。例文帳に追加

An exterior bag 1 internally sealing and enclosing the gel material has a structure including a confirming means 3 for confirming the both use temperatures for warming and cooling. - 特許庁

不要な関数閉包を生成せず、評価順序を変えることのないコンパイラ最適化システムを実現する。例文帳に追加

To provide a compiler optimizing system in which an evaluation order is not to be changed without generating any unnecessary function closure. - 特許庁

潤滑剤２０において、鉄基粒子１０の凸閉包の外部に存在する潤滑剤２０の割合の平均値が２０％以下である。例文帳に追加

In the lubricant 20, the average value of the ratio of the lubricant 20 present at the outside of the convex hull in the iron based particle 10 is ≤20%. - 特許庁

一般にデータオブジェクトを結合する操作は、その操作によって何かを結合した結果が同じ操作を使って自分自身を結合できる場合に、閉包特性を満足する。例文帳に追加

In general, an operation for combining data objects satisfies the closure property if the results of combining things with that operation can themselves be combined using the same operation.発音を聞く  - コンピューター用語辞典

この値を使うと、コールバック関数がオプションの値を記憶するために、他のoptparse と同じ機構を使えるようにするため、グローバル変数や閉包(closure) を台無しにしないので便利です。例文帳に追加

This lets callbacks use the same mechanism as the rest of optparse for storing option values;you don't need to mess around with globals or closures. - Python

他の実施形態では、信号コンステレーションは、このような群の部分集合であり、その乗算閉包は、正のダイバーシチ積を有する有限の非アーベル群を形成する。例文帳に追加

In another performance from, a signal constellation is a subset of such a group, and its multiplication closure forms a finite non abelian group having a positive diversity product. - 特許庁

種々の容器に対してこぼすことなく注ぐことができる注ぎ易い形態であり、外観的に見栄えがする注出部付き密閉包装体を提供することにある。例文帳に追加

To provide a closed packaging body with a pouring section of the shape for easily pouring into various containers without spill and provided with the good outer appearance. - 特許庁