语言
没有数据
通知
无通知
無限のレジスタがあるかのように機械語列を生成する。従って、全ての変数に論理番号の付与されたレジスタが対応付けられる。この工程を register variable recognition(レジスタ変数認識)と呼ぶ。 その仮想的なレジスタ群をターゲットマシンの物理レジスタに置換していく。その際、spill
(1)はたらきかけの目標や目的とするもの。 めあて。
〔動詞「付ける」の連用形から〕
〖class〗
的に一意である。具体的には、I1 と I2 が2つの異なる始対象であれば、それらの間に唯一の同型が存在する。さらに、I が始対象であれば、I に同型な任意の対象はまた始対象である。同様のことは終対象に対しても正しい。 完備圏に対しては始対象の存在定理が存在する。具体的には、(局所的に小さい完備圏
数学、特に圏論における指数対象(しすうたいしょう、英: exponential object)は、集合論における配置集合に相当する、圏論的な対象である。指数対象は配置対象(map object; 写像対象)や冪対象(べきたいしょう、英: power object)とも呼ばれるが、「冪対象
抽象的対象(ちゅうしょうてきたいしょう、英: Abstract object) 哲学において、すべての「対象(物、存在)」は抽象的であるか具体的(concrete)であるかのどちらかと考えられている。ある対象が抽象的か具体的であるかの区別は、例えば次のような組み合わせで示される。