1) Xen이란?xen은 하드웨어 바로 위에서 실행되는 Type-1 하이퍼바이저다.일반 Linux에서는 커널이 CPU, 메모리, 인터럽트 같은 하드웨어를 직접 관리한다.반면 Xen 환경에서는 그 아래에 Xen 하이퍼바이저가 하나 더 있다.일반 Linux: 응용 프로그램 → Linux 커널 → 하드웨어Xen: 응용 프로그램 → 게스트 OS → Xen → 하드웨어Xen의 주요 역할은 다음과 같다.여러 VM 사이에 물리 CPU시간을 분배각 VM 에 메모리를 할당하고 격리인터럽트를 적절한 VM으로 전달각 VM이 다른 VM의 메모리에 접근하지 못하게 보호VM 생성, 종료, 일시 정지, 마이그레이션 지원Xen에서는 각각의 VM을 domain이라 부른다.2) Domain이란?Xen의 domain은 K..

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

∀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) 로 바꾸는 과정을 스콜렘화라고 한다.