WhiteWing - Recent changes [en]

C++

2012-05-13T10:08:20Z

Book:Justice with Michael Sandel

2012-05-13T03:51:29Z

Created page with "* "그래도 그의 동의는 꼭 필요하다. 즉 그들 자신 혹은 그들이 뽑은 대리인들이 승낙한 다수의 합의가 필요한 것이다." 로크의 이 말..."

New page

* "그래도 그의 동의는 꼭 필요하다. 즉 그들 자신 혹은 그들이 뽑은 대리인들이 승낙한 다수의 합의가 필요한 것이다." 로크의 이 말은 실질적으로 무엇을 뜻하는 걸까요? 재산은 자연적인 것이면서, 동시에 어떤 의미에서는 제도적이라는 것입니다. '자연적'이라는 것은 우리가 재산에 대한 양도할 수 없는 기본권을 가지고 있고 그 속에는 재산권도 포함되어 있다는 것을 정부가 존중하기 때문입니다. 그래서 자의적으로 재산을 빼앗는 것은 자연법의 침해이고 또 위법인 것입니다. 그러나 문제는 아직 더 남아 있습니다. 재산에는 제도적인 측면도 있습니다. 그래서 남은 문제는 '무엇을 재산으로 보고 어떻게 재산을 정의할 것인가? 재산을 존중한다는 것은 무슨 뜻인가?'를 정부가 정의해야 한다는 점입니다. - 142
* '사람들이 노동을 사고팔 때 사회 배후에 존재하는 어떤 불평등이 선택의 자유를 어떻게 제한하는가?' - 169
* '인간을 목적으로 대하라'는 공식이죠. 칸트는 정언명령의 두 번째 공식을 다음과 같이 설명합니다. "정언명령은 특정한 이익이나 목적에 기초를 둘 수 없다. 그러면 그 이익과 목적을 추구하는 사람만 관련이 되기 때문이다. 그러나 존재 자체가 절대적 가치와 목적을 가지는 어떤 것이 있다고 상상해 보라. 그러면 그 자체에, 그리고 그 내부에서만 정언명령의 토대가 존재할 수 있을 것이다." 자기 안에 목적을 가지고 있는 것은 무엇일까요? 칸트는 말합니다. "인간, 그리고 일반적으로 모든 이성적 존재는 자신의 목적으로서 존재하며 이런저런 의지에 의해 임의로 사용되는 존재가 아니다." 여기서 칸트가 구분하는 것은 인간과 물건의 차이입니다. 이성적 존재가 바로 인간입니다. 인간의 가치는 상대적이지 않습니다. 인간이 가치를 갖는다면 그것은 절대적이고 본질적인 가치입니다. 즉 이성적 존재는 존엄성을 가집니다. 존경과 존중받을 가치가 있지요. 이런 추론을 거쳐 칸트는 정언명령의 두 번째 공식을 도출합니다. "나 자신이든 다른 사람이든 인간을 단순한 수단으로 다루지 마라. 인간을 언제나 목적으로 다루는 방식으로 행동하라." 이것이 목적으로서의 인간이라는 정식화입니다. 이성적 존재로서의 인간은 그 자체가 목적이므로, 단순한 수단으로 이용해서는 안 되는 것입니다. - 207
* 칸트에 따르면 인간이 존엄한 이유는 도덕법에 지배되기 때문이 아니라, 그 법을 만든 주체가 바로 자신이기 때문입니다. 그 법에 복종하는 것도 똑같은 이유에서고요. 매트 학생의 말처럼 그 법을 내 의지에 따라 부과한 거니까요. 따라서 칸트에게 의무에 따른 행동은 곧 자유로운 또는 자율적인 행동을 뜻합니다. ... 도덕법은 마음이 끌리는 조건에 따라 달라지는 우연적인 것이 아니기 때문입니다. 개인적인 차이를 모두 초월하는 보편적인 법이기 때문에, 세상에는 최상의 도덕법 하나만 존재합니다. ...순수이성이란, 아까도 말했지만 어떠한 외부조건에도 좌우되지 않는 것입니다. - 214~215
* 롤스에 따르면, 공리주의의 오류는 사람들 사이의 개인적인 차이를 망각하거나 혹은 심각하게 생각하지 않는다는 것입니다. 우리는 무지의 장막에 가려진 원초적 입장에서는 그러한 차이를 의식해서 공리주의를 거부할 것입니다. 우리는 어떤 대가를 치르더라도 우리의 기본적인 권리와 자유를 팔아넘기지 않을 것입니다. 이것이 첫 번째 '평등의 원칙'입니다. 두 번째 원칙은 '사회적, 경제적 불평등과 관련해서 우리는 어떤 원칙에 합의할 것인가?'와 관계됩니다. 지금은 우리가 부자일지 가난할지, 건강할지 건강하지 않을지 모르는 상태입니다. 엄청난 부를 상속받을 집안일지 가난한 집안일지, 혹은 어떤 집에서 태어날지 그것은 아무도 모릅니다. 그래서 처음에는 이렇게 말합니다. '상황이 이러하니 우리의 수입과 재산을 공평하게 분배하는 것을 요구합시다. 어떤 겨웅에도 안전하게 말이오.' 그러다가 더 좋은 방법이 떠오릅니다. 불행히도 자기 자신이 최하위계층으로 밝혀진다 잘지라도 검증을 거친 평등의 원칙에 합의하면 됩니다. 그것은 롤스가 말한 '차등의 원칙'입니다. 다시 말해서 소외계층에게 혜택을 준다는 조건 하에 사회적, 경제적인 불평등을 허용하자는 것입니다. - 244~245
* 시장경제에서 내 재능으로 얻는 포상은 사회가 그것을 원하느냐에 달려 있죠. 수요와 공급에 의해 좌우되는데, 그것이 내가 노력한 결과는 아니죠. 그것으로 도덕적 자격을 말할 수는 없습니다. 공헌을 말할 때도 중요한 것은 '사회가 어떤 자질을 높게 평가하는가'입니다. - 266
* 우리 공동체의 삶을 규정하는 목적이나 선이 무엇인지를 놓고도 의견이 갈린다면, 그 목적이나 선을 규정하는 개념들로 어떻게 정의와 권리를 논하느냐는 것이죠. 아주 중요한 지적입니다. 바로 그 점 때문에, 많은 현대 정치철학이 이런 선에 대한 의견 불일치를 출발점으로 삼고 있는 것입니다. 그래서 도달한 결론이 바로 정의와 권리, 헌법은 특정한 선 개념이나 정치적 이해관계를 전제로 해서는 안 된다는 거였습니다. 그 대신 사람들이 자유롭게 선택하도록 권리의 기본 틀만을 제공하자는 것입니다. 자기의 선과 목적을 직접 선택할 수 있도록 말이죠. - 334
* 문제는 어떤 선택에 대한 도덕적 가치판단이 아니라 개개인이 선택할 권리라는 것이죠. 이것이 당시 법정이 표방한 자유주의적 중립, 자율과 선택, 합의를 강조하는 주의주의적 시각이었습니다. 하지만 법정도 동성혼 인정에 대한 이러한 자유주의적, 중립적 태도가 자신들을 궁지에 몬다는 것을 깨닫게 됩니다. 그것이 단지 개인의 자율을 존중하느냐 마느냐의 문제라면, 그래서 자발적이고 친밀한 관계의 도덕적 가치판단에서 국가가 정말 중립적이라면 국가는 다른 정책을 채택해야만 하기 때문입니다. 그 정책이란 국가나 주의 역할을 없애야 하는 것입니다. 어떤 연합이나 결합을 인정하는 것은 국가의 역할이 아니라고 말하는 셈이죠. ... 제3의 입장은 워싱턴포스트의 칼럼니스트 마이클 킨슬리가 지지하는 것으로, 그가 칼럼에서 말했듯이 적어도 국가기능으로서의 결혼제도 폐지를 말합니다. 더 정확히 이해하기 쉽게 말하면, 종교의 해체를 말해야 합니다. - 399
* 마셜 대법관은 이렇게 판시합니다. "실제로 시민 결혼에는 세 명의 공조자가 있다. 배우자가 되려는 두 사람과 그것을 승인하는 국가다. 결혼은 상대를 향한 지극히 개인적인 약속인 동시에 상호관계, 동반자 관계, 친밀함, 충실, 가족이라는 이상에 대한 매우 공적인 축하이다." 이 판결은 자유주의적 중립성을 훌쩍 뛰어넘는 것입니다. 결혼을 명예로운 사회적 공인의 형태로 본 것입니다. 그러니까 법정이 결혼의 목적에 대한 논쟁을 피할 수 없다는 것을 깨달았다는 뜻입니다. 마셜 대법관은 판결문에서 결혼의 일차 목표가 출산이라는 개념을 검토하고 이를 의식적으로 거부한 것입니다. ... "출산이 아니라 서로에 대한 독점적이고 영원한 약속이 바로 결혼의 본질이자 목적이다." - 401

Book

2012-05-13T03:28:45Z

← Older revision		Revision as of 10:08, 13 May 2012
(9 intermediate revisions by one user not shown)
Line 1:		Line 1:
		+	* 실제로 C의 문법 중 C++이 지원하지 못하는 부분도 있는데 이런 문법은 대부분 안정성, 이식성에 문제가 있거나 더 좋은 해결 방법이 있어 제외된 것들이다. 두 언어의 개발 방법이 다르다는 주장은 실제로 사실이며 문제 해결을 위한 접근 방법 자체가 다르다. 그러나 C++은 객체 지향만 지원하는 것이 아니라 C의 구조적 개발 방법도 여전히 지원하며 필요할 경우 C++로도 C 스타일의 프로그램을 작성할 수 있다. 구조적 프로그래밍 방법이 객체 지향보다 열등하다고 생각하는 것도 일종의 고정 관념일 뿐이며 필요하다면 쓸 수도 있다. - 30
		+	* MFC까지 기본 과정을 마친 후에는 보통 COM을 공부한다. COM은 마이크로소프트사의 최신 기술들의 기반 이론이기 때문에 ActiveX, DirectX, OLE DB, ATL, OLE 등의 고급 기술을 익히기 위해서 필요하다. 기반 이론으로서 COM의 위치는 상당히 중요하지만 다소 어렵고 난해한데다 최신 개발툴들은 COM의 기능을 추상화해주기 때문에 몰라도 일단 사용은 할 수 있다. - 35
		+	* 배열명이 단독으로 사용되면 배열의 시작번지값을 가지는 포인터 상수이다. (하지만 배열의 길이는 기억하고 있다.) - 374
		+	* 포인터 연산
		+	** 포인터끼리 더할 수 없다.
		+	** 포인터끼리 뺄 수는 있다.
		+	** 포인터에 정수를 더하거나 뺄 수 있다.
		+	** 포인터끼리 비교는 가능하다.
		+	* 프로그램이 사용하는 문자열 상수는 실행 파일에 같이 기록되는데 정확하게 정적 데이터 영역에 기록된다. 정적 데이터 영역이란 전역변수, 정적변수 등이 저장되는 곳인데 이 영역에 문자열 상수도 같이 저장되어 있는 것이다. 설사 함수 내에서 지역적으로 사용하고 있는 문자열 상수더라도 말이다. 코드에서 문자열 상수는 이 문자열 시작 번지를 가리키는 문자열 상수로 평가된다. 그래서 문자형 포인터를 인수로 요구하는 모든 함수에서 문자열 상수를 바로 사용할 수 있는 것이다. 컴파일러는 다른 상수와는 달리 문자열 상수를 특별나게 취급하는데 다음 두 가지 사항도 참고삼아 알아 두도록 하자. 첫 번째로 같은 문자열 상수를 두 번 이상 사용하면 이 문자열은 한 번만 기록된다. 두 번째로 컴파일러는 공백이나 탭, 개행 코드 등으로만 구분된, 즉 중간에 콤마나 영문자 등이 없는 연속된 문자열 상수들을 하나로 합쳐서 기록한다. - 498 ~ 499
		+	혼자 연구하는 C/C++, 김상형, 와우북스
		+
		+
	* 구조체와 클라스 : The ''only'' difference between a class and a structure is that structure members have public access by default and class members have private access by default.		* 구조체와 클라스 : The ''only'' difference between a class and a structure is that structure members have public access by default and class members have private access by default.
		+
		+	== Float ==
		+	<source lang="cpp">
		+	#include <limits>
		+
		+	void testFloat(float a);
		+	void testFloat(unsigned a);
		+	void testFloat(unsigned v, float f);
		+
		+	int main()
		+	{
		+	testFloat(0.5f);
		+	testFloat(1.0f);
		+	testFloat(2.0f);
		+	testFloat(3.0f);
		+	testFloat(10.0f);
		+	testFloat(1.0e-7f);
		+	testFloat(std::numeric_limits<float>::infinity());
		+	testFloat(std::numeric_limits<float>::signaling_NaN());
		+	testFloat(std::numeric_limits<float>::quiet_NaN());
		+	testFloat(std::numeric_limits<float>::epsilon());
		+	testFloat(std::numeric_limits<float>::lowest());
		+	testFloat(std::numeric_limits<float>::max());
		+	testFloat(std::numeric_limits<float>::min());
		+	testFloat(std::numeric_limits<float>::round_error());
		+	testFloat((unsigned)0x7FFFFFFF);
		+	testFloat((unsigned)0x7F800000);
		+	testFloat((unsigned)0x7F800001);
		+	testFloat((unsigned)0x7F800002);
		+	testFloat(FLT_MAX + FLT_MAX);
		+	testFloat(FLT_MAX + FLT_EPSILON);
		+	testFloat(FLT_MAX + 1.0f);
		+
		+	return 0;
		+	}
		+
		+	void testFloat(unsigned v)
		+	{
		+	float f = ((float )&v);
		+	testFloat(v, f);
		+	}
		+
		+	void testFloat(float f)
		+	{
		+	unsigned v = ((unsigned int )&f);
		+	testFloat(v, f);
		+	}
		+
		+	void testFloat(unsigned v, float f)
		+	{
		+	printf("%E : ", f);
		+	printf("%08X : ", f, v);
		+	for (unsigned i = 0; i < 32; ++i) {
		+	printf("%d", ((v & (1 << (31 - i))) >> (31 - i)));
		+	if (i == 0 \|\| i == 8)
		+	printf("\|");
		+	}
		+	printf("\n");
		+	}
		+	</source>
		+	<source lang="text">
		+	// output
		+	5.000000E-001 : 00000000 : 0\|01111110\|00000000000000000000000
		+	1.000000E+000 : 00000000 : 0\|01111111\|00000000000000000000000
		+	2.000000E+000 : 00000000 : 0\|10000000\|00000000000000000000000
		+	3.000000E+000 : 00000000 : 0\|10000000\|10000000000000000000000
		+	1.000000E+001 : 00000000 : 0\|10000010\|01000000000000000000000
		+	1.000000E-007 : A0000000 : 0\|01100111\|10101101011111110010101
		+	1.192093E-007 : 00000000 : 0\|01101000\|00000000000000000000000
		+	3.402823E+038 : E0000000 : 0\|11111110\|11111111111111111111111
		+	1.175494E-038 : 00000000 : 0\|00000001\|00000000000000000000000
		+	1.#INF00E+000 : 00000000 : 0\|11111111\|00000000000000000000000
		+	1.#QNAN0E+000 : 20000000 : 0\|11111111\|10000000000000000000001
		+	1.#QNAN0E+000 : 00000000 : 0\|11111111\|10000000000000000000000
		+	1.192093E-007 : 00000000 : 0\|01101000\|00000000000000000000000
		+	-3.402823E+038 : E0000000 : 1\|11111110\|11111111111111111111111
		+	3.402823E+038 : E0000000 : 0\|11111110\|11111111111111111111111
		+	1.175494E-038 : 00000000 : 0\|00000001\|00000000000000000000000
		+	5.000000E-001 : 00000000 : 0\|01111110\|00000000000000000000000
		+	1.#QNAN0E+000 : E0000000 : 0\|11111111\|11111111111111111111111
		+	1.#INF00E+000 : 00000000 : 0\|11111111\|00000000000000000000000
		+	1.#QNAN0E+000 : 20000000 : 0\|11111111\|00000000000000000000001
		+	1.#QNAN0E+000 : 40000000 : 0\|11111111\|00000000000000000000010
		+	1.#INF00E+000 : 00000000 : 0\|11111111\|00000000000000000000000
		+	3.402823E+038 : E0000000 : 0\|11111110\|11111111111111111111111
		+	3.402823E+038 : E0000000 : 0\|11111110\|11111111111111111111111
		+	</source>
		+
		+	<source lang="cpp">
		+	// in float.h
		+	_Check_return_ _CRTIMP int __cdecl _finite(_In_ double _X);
		+	_Check_return_ _CRTIMP int __cdecl _isnan(_In_ double _X);
		+	</source>

	== Vector3 Class ==		== Vector3 Class ==

@@ Line 1: / Line 1: @@
 == 2012년 ==
-* 마이클 샌델의 하버드 명강의, Michael J. Sandel, 이목 역, 김영사
+* [[Book:Justice with Michael Sandel|마이클 샌델의 하버드 명강의]], Michael J. Sandel, 이목 역, 김영사
 * [[Book:Cities|도시, 인류 최후의 고향(Cities)]], John Reader, 김명남 역, 지호출판사 ★★
 * [[Book:Sex, Bombs and Burgers|섹스, 폭탄, 그리고 햄버거(Sex, Bombs and Burgers)]], Peter Nowak, 이은진 역, 문학동네 ★★