작성중, 임시.
(비슷한느낌의단어들....관계는없을수도있을수도)
나눔, 나누기 -
나눗셈,division
에서도 쓰는
분할 - ex.
분할정복,divide_and_conquer
쪼갬
절단,cut
Sub:
변수분리,variable_separation
(변수분리법)
separability .... 분리가능성? 분리성? (2023-12 에 not in kms. later try
separability
)
separability
separability
separability
linear_separability
- w
분리공리,separation_axiom
{
axiom of separation
Up:
분리,separation
공리,axiom
}
분리벡터,separation_vector
- curr at
벡터,vector
separation_logic
(CS)
{
separation logic
분리논리?
Separation_logic
=
https://en.wikipedia.org/wiki/Separation_logic
Hoare_logic
의
확장,extension
via
Maplet
} // separation logic
separation logic
separation logic
...
Retrieved from http://tomoyo.ivyro.net/123/wiki.php/분리,separation
last modified 2024-03-10 23:23:02