오래 못 할 짓 하지 않기

부활논증 부활에 대해서 주로 두 가지 입장이 나뉜다. 1) 역사적 사실이다. 2) 허구다. +3) 부활에 대해서는 은유적 해석이 필요하다. 그리고 이 둘을 증명하려는 시도들이 많았다. 그렇다면 이를 거부하는 이유는 무엇일까? 1) 부활은 인간의 상식과 과학에 위배 2) 그저 종교적 상징 3) 이방 종교에서 빌려온 개념 이러한 이유들로 예수님은 애초에 죽지 않았다, 무덤을 헷갈렸다느니 여러 가설을 세우고 그에 맞는 해석을 하고있지만, 그에 따라 부활에 대한 사실들을 찾을 수 있었다. 1. 예수님은 십자가에 못박혀 죽었다. --> 예수님이 죽은 게 아니라 기절했다는 가설을 부정. 2. 예수님은 아리마대 사람 요셉의 개인무덤에 장례지냄 --> 무덤 착각설도 부정된다. 3. 예수님의 무덤은 빈 채로 발견됨 --..

챕터 5 DISK의 용량 / CPU의 속도를 가져오려고 Cache를 만들었다. (코드 주고) > 어떨 때 뭐가 유리함? - Temporal Locality: 변수 하나 만들어서 그거 계속 돌려먹을 때 ex) a= b+1; d = 4*a +c; - Spatial Locality : 배열 사용할 때 ex) for( int i=0; i parallel하게 동시에 [ 찾으려는 데이터의 tag ]와 [ 주소를 나타내는 tag ] 여러 개 비교할 수 있도록 만들어야 한다! 3) Set associative : 위 2개가 섞인 느낌이다. Set는 태그로 들어가고, 그 안에서는 맘대로 들어감 set는 정해줄게 그 안에는 너가 알아서 들어가 ● 장점 : Associative set의 개수가 늘어나면 miss날 확률이 줄..

해밀턴 경로 (Path) = 그래프에서 모든 정점을 한 번만 지나는 경로 해밀턴 순환 (Circuit) = 시작과 끝점이 같은 해밀턴 경로 = 모든 vertex를 한 번만 지나서 순회가 가능한 경 아래 3개가 해밀턴 경로인지 봐라 - G1 = ㅇㅇ 해밀턴 Circuit - G2 = a가 막다른 길이라 Circuit은 안 됨. 대신 막다른 길에서 끝내서 Path로 만드는 건 가능. ( * 막다른 길이면 순회가 안 됨 b에서 a갔다가 순회하려면 다시 b를 밟아야 한다 ) - G3 = Circuit / Path 둘 다 안 됨 예제2) Shortest Path Problems 이해해야 하는 거 : Dijkstra Algorithm 시작점에서부터 이어져 있는 가장 짧은 다리들로 이동하면 최단 경로가 된다. 모든 ..

실체 일원론 / 이원론 → 몸과 마음이 하나다 / 몸과 마음은 분리되어 있다. Other : 상관관계가 있다. 서로 영향을 주고 받는다. 정신적 속성과 물리적 속성을 구분해야한다. --> 각자 역할이 다르다. 물리주의 실재하는 것은 물리적인 것이다. 이원론 증명 - 일반적 세계관으로서의 물리주의의 문제점 • 만일 하나님이 존재한다면, 올리주의는 거짓이다. • 수(numbers)는 추상적, 비물리적 것으로 존재한다. • 선의 속성 혹은 도덕법의 본질은 클리적인 것이 아니지만, 객관적 법칙으로 존재한다. • 만약 블리주의가 옳다면, 의미, 개념, 전제, 논리, 이른의 존재와 본질 등과 같은 것을 만드는 것이 의미가 없다.

사용자와 컴퓨터는 Input / Output으로 교류한다. 따라서, I/O가 없으면 아무리 좋은 기술이 있어도, 얻을 수 있는 게 없다. ex) 바퀴없는 차. ● Processor 와 IO Device들과 Mem 사이를 연결해주는 것 = BUS ● Bus의 Performance를 제한하는 것 : wire의 길이 , connections의 수 더보기 (추가적인 설명) ● BUS 의 장점 1) Versaility : 새로 Device를 추가하기 쉽고 Peripherals = Standard bus를 이용하는 IO device는 빼거나 이동시킬 수 있음 (조립하기 쉽다는 의미) 2) Low Cost : 하나의 wire를 여러 길로 빠지게 만들어서 공유하기 때문에 비용 절감 가능 ● BUS 의 단점 1) Com..

Path Path ( 경로 ) : 인접한 vertex간 연결되어있는 길 * n개의 vertex로 연결된 path는 n-1개의 edge가 있다. = 경로의 길 1) a - d - c - f - e 각 vertex 순서대로 이동하는 경로가 있고, vertex는 5개, 그 경로의 길이는 4 2) 이건 e > c edge가 없음 3) 이거도 1)이랑 같게 생각하면 됨 4) 길이는 5가 맞는데 한 번 갔던 edge 또 밟으면 simple path가 아니다. Connectedness : 특정 vertex 두 개를 기준으로 Path가 존재할 때 connected라고 한다. connected component 이지, connected graph가 아님 ● Cut Vertices : 1개의 vertex를 없앴을 때 di..

Adjacency List Adjacency(인접) : 해당 vertex와 Edge하나로 이어져있는 관계를 뜻한다. ● Simple graph : [ Vertex - Adjacent vertices ] 관계로 이루어져있다. ● Directed graph : [ Initial vertex - Terminal vertices ] 관계로 이루어져있다. 행렬을 통한 그래프 표현 • Adjacency matrix : 행과 열이 Vertex로 이루어져있다 + 두 vertex가 인접하면 1, 아니면 0 1) n*n matrix이다. 아래 그래프가 어떤 성향을 띄고있는지 분석해보자 0,1이 아닌, edge의 개수로 나타내는 matrix도 가능하다 *참고 ● Directed 는 ( a, b )= 순서 중요 ● Undir..

우주론적 논증 1. 존재하기 시작한 모든 것은 그것을 발생시킨 원인이 있어야 한다. 만물을 발생하게한 존재는 하나님 이라는 논증방식. 2. 세가지 유형 (a) 아퀴나스의 5가지 방식 (The Thomist argument) (b) 라이프니츠 논증 (The Leibnizian argument) (c) 칼람 논증 (The Kalam argument) a) 아퀴나스 5가지 논증 1. 운동에 의한 증명: 최초의 원동자로서의 신 2. 원인에 의한 증명: 최초의 작용인으로서의 신 3. 우연적 존재(인간과 자연)와 필연적 존재(신) 4. 사물의 완전성의 단계: 최고선, 최고진리(모든 완전성의 원인인 하나의 최고존재로서의 신) 5. 만물의 질서와 조화: 만물의 합목적성을 갖게 하는 하나의 지적인 존재로서의 신 b) 라..

Virtual memory ● 가상 메모리 사용 이유 1) 효과적이고 안전하게 Main Mem을 사용, 공유하기 위해 2) 제한된 크기의 Main Mem에서 프로그램이 돌아가는 걸 방지하기 위해서 따라서 Virtual 메모리는 Main mem에 직접 접근하는 방식이 아닌 Virtual mem에 Virtual address로 저장하여, Main mem안에 있는 physical address에 접근한다. 이렇게 주소를 Virtual address를 통해서 접근하는 방법을 Protection 이라고 한다. Virtual Memory 를 사용하면, 여러 process들이 작동하면서 memory를 공유할 수 있다. 특징 ● Virtual Mem은 위 사진에서 Disk와 Mem 사이에서 작동한다. ● 2개의 Lev..

Cache 의 performance를 올리기 위해서는 어떤 locality의 장점을 가져오는 게 좋을까? 1) Temporal - 가져온 데이터 블럭, 그걸 또 이용할 거. : 1word 2) Spatial - 가져온 거 근처에 있는 것들도 가져와서 걔네도 쓸 거 그럼 한 블럭에 여러 word를 가져와야함 왼쪽은 1 word를 가져왔을 때, 즉 data에 하나의 word만 담겨서 들어올 때의 모습이고 오른쪽은 4 words를 가져왔을 때의 모습이다. 64KB 캐쉬 메모리가 4words blocks을 가져옴 = 2 ^16 bytes = 2 ^14 words ( 1 word = 4 bytes ) = 2 ^12 blocks ( 1 block = 4 words ) → 하나의 block에 4개의 word를 담아오..