Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
〔動詞「かえる(替)」の連用形から〕
項書き換えは非決定的になることがありうる。ある規則で書き換え可能な項が他の規則でも書き換え可能な場合がありえて、その場合は複数の規則が適用可能と言うことになる。項書き換え系では、項書き換えのためのアルゴリズムは提供されず、書き換え規則の集合のみが提供される。しかし、適当なアルゴリズムと組み合わせれば、項書き換え
証書・届け書・願書など各種の文書の, 決まった書き方。
自己書き換えコード(じこかきかえコード、英: self-modifying code)とは、目的を問わず実行時に自分自身の命令を書き換えるコードを指す。 自己書き換えコードはアセンブリ言語を使用すると簡単に記述できる(CPUのキャッシュを考慮する必要がある)。
株式交換(かぶしきこうかん、英語: stock swap)とは、2つの既存の会社を一度に完全親子会社の関係にする組織再編に係る手続。米国法を母法とする法制度である。 株式交換では、親会社と子会社となるべき2つの会社が、子会社となる会社の株主に対し、その保有する子会社株式と親会社株式等を一定の割合で交換することを提案する。
図式追跡(diagram chasing, diagram chase)とは、特にホモロジー代数において用いられる数学的証明の手法である。可換図式が与えられると、図式追跡による証明は、単射や全射あるいは完全列といった図式の性質の形式的な使用を伴う。三段論法が構成され、図式
乗り換え(のりかえ) 乗り物(交通機関、鉄道、バス、航空機など)の乗り換え。乗り継ぎともいう。特に航空便の乗り換え・乗り継ぎには、「途中降機」、「トランジット」、「トランスファー」、「レイオーバー」、「ストップオーバー」などの用語がある。 交通結節点、交通、物流におけるハブ。乗換駅、ターミナル駅、バ
ングの際のベクターの選択は、宿主生物の選択、クローニングするDNAのサイズ、外来DNAの発現を行うかどうか、どのように行うかに依存する。DNA断片の結合は、制限酵素とリガーゼによるクローニングやギブソン・アセンブリなど、さまざまな手法で行われる。 標準的なクローニング