전체 글

KVM 주소 변환 프로세스 및 EPT 페이지 테이블 생성 프로세스

GVA ( 게스트 가상 주소, 게스트 프로세스의 선형 주소),GPA ( 게스트 물리적 주소, 게스트 프로세스의 물리적 주소),HVA ( 호스트 가상 주소, 호스트 프로세스의 선형 주소)HPA ( 호스트 물리적 주소 , 호스트 프로세스의 물리적 주소)

coalgebras

"데이터를 만드는것"과 "데이터가 어떻게 행동하는지"를 구분하는 수학적 틀 Algebra"작은것들을 조합해서 큰 값을 만든다." 를 수학적으로 표현한다. 예를 들어 List[]1 : []2 : (1 : [])3 : ( 2 : (1 : []))계속 생성한다. 수학적으로는cons : A × List → Listnil : List 즉, 입력 -> 새로운 값 생성 이다. 예를 들면 1 2 -> (1, 2) , 1 2 -> 1+2 모두 Algebra다.Leaf 3 Leaf 5 -> Node(Leaf3, Leaf5) 와 같이 Tree도 Leaf, Node를 이용해 큰 구조를 만든다. CoalgebraCoalgebra는 방향이 반대다. s → observe → s' (다음 상태)즉, 데이터를 만드는 것이 아니라 ..

Descartes's geometry

Descartes's geometry 보통 해석기하학(Analytic Geometry) 을 말함 핵심은 "기하학(도형)을 대수(방정식)로 바꾸었다." 데카르트 이전원과 직선을 연구하려면 그림을 그렸다. ● ○ ○ ○ ○ ○ ○ ○원의 성질은 무엇인가? 이런식으로 기하학적으로 증명했다. 데카르트 이후"도형을 숫자로 표현할 수 없을까" 그래서 좌표(x,y) 를 만들었다. y ^ | |------O--------> x | |원도 그림이 아니라 x²+y²=r² 로 표현이 된다.

Skolemization

∀X. ∃Y. P(X, Y)- 뜻: 모든 X에 대해, 조건 P(X,Y)를 만족하는 어떤 Y가 존재한다.- 예: 모든 사람 X에게는 어머니 Y가 존재한다. 여기서 Y는 X에 따라 달라진다.사람 집합 X 어머니 집합 Y철수 ● ───────────────────────▶ ● 철수의 어머니영희 ● ───────────────────────▶ ● 영희의 어머니민수 ● ───────────────────────▶ ● 민수의 어머니 Y = mother(X) 그러면 ∀X. P(X, mother(X))mother 같은 함수를 스콜렘 함수(Skolem function)라고 한다. ∀X. ∃Y. P(X,Y) 를 ∀X. ∃Y. P(X,Y) 로 바꾸는 과정을 스콜렘화라고 한다.