数学のバナッハ空間に関する定理である閉値域の定理(へいちいきのていり、英: closed range theorem)とは、稠密に定義された閉作用素が閉の値域を持つための必要十分条件を与える定理である。ステファン・バナフの1932年の論文 Théorie des opérations linéaires
値
ね
(1)物の売り買いに際しての金額。 値段。 あたい。 価格。
「~が上がる」「~をつける」
(2)ものの価値。 ねうち。
「男の~を下げる」
<i>~がで・きる</i>
売り手と買い手の折り合いがついて, 取引が成立する。
<i>~が張・る</i>
値段が高い。 高額である。
「純毛だと~・る」
<i>~を戻・す</i>
安かった値段が, 従前の程度まで回復する。
値
あたい
〔動詞「能う」の連用形か〕
(1)売買の際のねだん。 商品のねだん。
「~が高い」「~をつける」
(2)価値。 ねうち。
「一文の~もない」「美しき者の~を愛(メ)づる心/麒麟(潤一郎)」
(3)数学で, 文字や関数がとる具体的な数。 数値。 《値》「x の~をもとめよ」
(4)物のねうちに匹敵するもの。
「~無き宝といふとも/万葉 345」
<i>~千金(センキン)</i>
非常に価値の高いこと。
「~の一打」「春宵(シユンシヨウ)一刻~」
<i>~を二つにせず</i>
〔後漢書(韓康伝)〕
買い手によって値段を変えるようなことをしない。
大域値番号付け
大域的値番号付け(英: Global value numbering, GVN) とは、静的単一代入中間表現に基づくコンパイラ最適化手法の一つである。 GVN は共通部分式除去 (CSE) によっても取り除くことができない冗長なコードを取り除くことができる。一方、CSE は GVN