语言
没有数据
通知
无通知
無限のレジスタがあるかのように機械語列を生成する。従って、全ての変数に論理番号の付与されたレジスタが対応付けられる。この工程を register variable recognition（レジスタ変数認識）と呼ぶ。 その仮想的なレジスタ群をターゲットマシンの物理レジスタに置換していく。その際、spill
(1)はたらきかけの目標や目的とするもの。 めあて。
〔(ラテン) subjectum, substratum; (ギリシヤ) hypokeimenon〕
〔動詞「付ける」の連用形から〕
的に一意である。具体的には、I1 と I2 が2つの異なる始対象であれば、それらの間に唯一の同型が存在する。さらに、I が始対象であれば、I に同型な任意の対象はまた始対象である。同様のことは終対象に対しても正しい。 完備圏に対しては始対象の存在定理が存在する。具体的には、（局所的に小さい完備圏
数学、特に圏論における指数対象（しすうたいしょう、英: exponential object）は、集合論における配置集合に相当する、圏論的な対象である。指数対象は配置対象（map object; 写像対象）や冪対象（べきたいしょう、英: power object）とも呼ばれるが、「冪対象
な保証人なしに人間の経験を基礎に穏当な道を進もうとするものである。 デカルト、ロックらの古典的基礎付け主義においては、基礎的信念は絶対確実であることが要求される。もしもある信念が絶対確実な基礎的信念から演繹できるのなら、その信念も絶対確実
搜索 
