语言
没有数据
通知
无通知
(1)物の売り買いに際しての金額。 値段。 あたい。 価格。
〔動詞「能う」の連用形か〕
数学のバナッハ空間に関する定理である閉値域の定理(へいちいきのていり、英: closed range theorem)とは、稠密に定義された閉作用素が閉の値域を持つための必要十分条件を与える定理である。ステファン・バナフの1932年の論文 Théorie des opérations linéaires
大域的値番号付け(英: Global value numbering, GVN) とは、静的単一代入中間表現に基づくコンパイラ最適化手法の一つである。 GVN は共通部分式除去 (CSE) によっても取り除くことができない冗長なコードを取り除くことができる。一方、CSE は GVN
ある特定の範囲・境地・程度。
実際より高くつけた値段。 いつわりの値段。 かけね。 [日葡]
(1)出会うこと。 めぐり会うこと。
〔論〕 二つの命題 p, q で, p が真である時 q も真, p が偽である時 q も偽であるような場合, p と q は同値であるという。 また, 「 p ならば q 」という命題が真でその逆「 q ならば p 」という命題も真の場合, 命題 p, q は同値であるという。 等価。 等値。 同等。