PL10

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "PL10"

Transcription

1 assert(p!=null); *p = 10; assert(0<=i && i<buffersize); buffer[i]=10;

2 int bar(int n) { local int k, int j; k := 0; j := 1; while (k!= n) { k := k + 1; j := 2 + j; } return(j); } 1+2n } { n>0

3 precondition Hoare Triple {P }S{Q} program statement postcondition C. A. R. Hoare

4 {P }S{Q} precondition statement postcondition {x 0 y 0} z := x + y {z 0} {x 0 y 0} z := x + y {z 0 x 0 y 0} {x =5 y =2} z := x + y {x =5 z =7} {n 0 n 2 > 28} m := n + 1; m := m m { (m = 36)} { i.a[i] = 10 k 0} a[k] =0 { i.a[i] = 10 k 0} F M invalid

5 {Q[E/x]} x := E {Q} } { {y +7> 42} x := y +7{x >42} {y = y +7 7 y + 7 = 18} x := y +7{y = x 7 x = 18} } { {P } x := E {P [x /x] (x = E[x /x])} {y = x + 10 x =1} x := y {y = x + 10 x =1 x := x + 10}

6 {P } S 1 {R} {R} S 2 {Q} {P } S 1 ; S 2 {Q} } { {y + z > 4} y := y + z 1 {y > 3} {y > 3} x := y + 2 {x > 5} {y + z > 4} y := y + z 1; x := y + 2 {x > 5}

7 P P {P } S {Q } Q Q {P } S {Q} { } { } ((y > 4) (z > 1)) (y + z > 5) {y + z > 5} y := y + z {y > 5} (y > 5) (y > 3) {(y > 4) (z > 1)} y := y + z {y > 3}

8 {P B} S 1 {Q} {P B} S 2 {Q} {P } if B then S 1 else S 2 {Q} {(y > 4) (z > 1)} y := y + z {y > 3} {(y > 4) (z > 1)} y := y 1 {y > 3} {y > 4} if (z > 1) then y := y+z else y := y-1 {y > 3}

9 {I B} S {I} {I} while BS{I B}

10 {I B} S {I} {I} while BS{I B} {(y = x + z) (z = 0)} x := x + 1; z := z 1 {y = x + z} {y = x + z} while (z!= 0){x := x+1; z := z-1} {(y = x + z) (z = 0)} { } { } { {(y = x + z) true} x := x + 1; z := z 1 {y = x + z} {y = x + z} while (true){x := x+1; z := z-1} {(y = x + z) false}

11 i := 0; while i < 10 b := random_bool(); if b then i := i + 1; end 0 i 0 i 10 (0 i<10) (i = 10 b) The strongest invariant

12 {Q[E/x]} x := E {Q} {P } S 1 {R} {R} S 2 {Q} {P } S 1 ; S 2 {Q} } { P P {P } S {Q } Q Q {P } S {Q} { } { } {P B} S 1 {Q} {P B} S 2 {Q} {P } if B then S 1 else S 2 {Q} {I B} S {I} {I} while BS{I B}

13 int bar(int n) { local int k, int j; k := 0; j := 1; while (k!= n) { k := k + 1; j := 2 + j; } return(j); } {n 0} x = bar(n) {x =1+2n} { } { }

14 {n > 0} Precondition k := 0 {ϕ 1 } Midcondition j := 1 {ϕ 2 } Midcondition while (k!= n) { k := k+1; j := 2+j} {j =1+2.n} Postcondition {ϕ 2 } while (k!= n) { k := k+1; j := 2+j} {j =1+2.n}?

15 {ϕ 2 } while (k!= n) { k := k+1; j := 2+j} {j =1+2.n}? k =0 j =1 k =1 j =2+1 k =2 j = { } { (j =1+2.k)

16 A Hoare logic proof To prove: {ϕ 2 } while (k!= n) k := k+1; j := 2+j {j =1+2.n} using loop invariant (j = k) If we can show: ϕ 2 (j =1+2.k) {(j = k) (k = n)} k := k+1; j:= 2+j {j = k} ((j =1+2.k) (k = n)) (j =1+2.n) then By inference rule for loops {(j = k) (k = n)} k := k+1; j:= 2+j {j = k} {j = k} while (k!= n) k := k+1; j:= 2+j {(j = k) (k = n)} By inference rule for strengthening precedents and weakening consequents ϕ 2 (j =1+2.k) {j = k} while (k!= n) k := k+1; j:= 2+j {(j = k) (k = n)} ((j =1+2.k) (k = n)) (j =1+2.n) {ϕ 2 } while (k!= n) k := k+1; j:= 2+j {(j =1+2.n)}

17 How do we show: Note: ϕ 2 (j =1+2.k) {(j = k) (k = n)} k := k+1; j:= 2+j {j = k} ((j =1+2.k) (k = n)) (j =1+2.n) ϕ 2 (j =1+2.k) holds trivially if ϕ 2 is (j =1+2.k) ((j =1+2.k) (k = n)) (j =1+2.n) holds trivially in integer arithmetic Only remaining proof subgoal: {(j = k) (k = n)} k := k+1; j:= 2+j {j = k}

18 To show: {(j = k) (k = n)} k := k+1; j:= 2+j {j = k} Applying assignment rule twice {2+j =1+2.k} j := 2+j {j =1+2k} {2+j =1+2.(k + 1)} k := k+1 {2+j =1+2.k} Simplifying and applying sequential composition rule {1+j =2.k} j := 2+j {j =1+2k} {j =1+2.k)} k := k+1 {1+j =2.k} {j =1+2.k} k := k+1; j := 2+j {j =1+2.k} Applying rule for strengthening precedent (j =1+2.k) (k = n)} (j =1+2.k) {j =1+2.k} k := k+1; j := 2+j {j =1+2.k} {(j = k) (k = n)} k := k+1; j := 2+j {j = k}

19 We have thus shown that with ϕ 2 as (j =1+2.k) {ϕ 2 } while (k!= n) k := k+1; j := 2+j {j =1+2.n} is valid Recall our template: {n > 0} Precondition k := 0 {ϕ 1 } Midcondition j := 1 {ϕ 2 : j =1+2.k} Midcondition while (k!= n) k := k+1; j := 2+j {j =1+2.n} Postcondition The only missing link now is to show {n > 0} k := 0 {ϕ 1 } and {ϕ 1 } j := 1 {j =1+2.k}

20 To show {n > 0} k := 0 {ϕ 1 } and {ϕ 1 } j := 1 {j =1+2.k} Applying assignment rule twice and simplifying: {0 =k} j := 1 {j =1+2.k} {true} k := 0 {0 =k} Choose ϕ 1 as (k = 0), so {ϕ 1 } j := 1 {j =1+2.k} holds. Applying rule for strengthening precedent: (n > 0) true {true} k := 0 {ϕ 1 : k =0} {n > 0} k := 0 {ϕ 1 : k =0}

21

22

4 5 4. Hi-MO 애프터케어 시스템 편 5. 오비맥주 카스 카스 후레쉬 테이블 맥주는 천연식품이다 편 처음 스타일 그대로, 부탁 케어~ Hi-MO 애프터케어 시스템 지속적인 모발 관리로 끝까지 스타일이 유지되도록 독보적이다! 근데 그거 아세요? 맥주도 인공첨가물이

4 5 4. Hi-MO 애프터케어 시스템 편 5. 오비맥주 카스 카스 후레쉬 테이블 맥주는 천연식품이다 편 처음 스타일 그대로, 부탁 케어~ Hi-MO 애프터케어 시스템 지속적인 모발 관리로 끝까지 스타일이 유지되도록 독보적이다! 근데 그거 아세요? 맥주도 인공첨가물이 1 2 On-air 3 1. 이베이코리아 G마켓 용평리조트 슈퍼브랜드딜 편 2. 아모레퍼시픽 헤라 루즈 홀릭 리퀴드 편 인쇄 광고 올해도 겨울이 왔어요. 당신에게 꼭 해주고 싶은 말이 있어요. G마켓에선 용평리조트 스페셜 패키지가 2만 6900원! 역시 G마켓이죠? G마켓과 함께하는 용평리조트 스페셜 패키지. G마켓의 슈퍼브랜드딜은 계속된다. 모바일 쇼핑 히어로

More information

기본자료형만으로이루어진인자를받아서함수를결과값으로반환하는고차함수 기본자료형과함수를인자와결과값에모두이용하는고차함수 다음절에서는여러가지예를통해서고차함수가어떤경우에유용한지를설명한다. 2 고차함수의 예??장에서대상체만바뀌고중간과정은동일한계산이반복될때함수를이용하면전체연산식을간 단

기본자료형만으로이루어진인자를받아서함수를결과값으로반환하는고차함수 기본자료형과함수를인자와결과값에모두이용하는고차함수 다음절에서는여러가지예를통해서고차함수가어떤경우에유용한지를설명한다. 2 고차함수의 예??장에서대상체만바뀌고중간과정은동일한계산이반복될때함수를이용하면전체연산식을간 단 EECS-101 전자계산입문 고차함수 박성우 2008년5월 29일 지금까지정수나부동소수와같은기본적인자료형의조합을인자로받고결과값으로반환하는 함수에대해서배웠다. 이번강의에서는함수자체를다른함수의인자로이용하거나결과값으로 이용하는 방법을 배운다. 1 고차함수의 의미 계산은무엇을어떻게처리하여결과값을얻는지설명하는것으로이루어진다. 여기서 무엇 과 결 과값 은계산의대상체로서정수나부동소수와같은기본자료형의조합으로표현하며,

More information

........pdf 16..

........pdf 16.. Abstract Prospects of and Tasks Involving the Policy of Revitalization of Traditional Korean Performing Arts Yong-Shik, Lee National Center for Korean Traditional Performing Arts In the 21st century, the

More information

야쿠르트2010 9월재출

야쿠르트2010 9월재출 2010. 09www.yakult.co.kr 08 04 07 Theme Special_ Great Work Place 08 10 12 13 13 14 16 18 20 22 20 24 26 28 30 31 24 06+07 08+09 Theme Advice Great Work Place 10+11 Theme Story Great Work Place 4 1 5 2

More information

Microsoft PowerPoint - PL_03-04.pptx

Microsoft PowerPoint - PL_03-04.pptx Copyright, 2011 H. Y. Kwak, Jeju National University. Kwak, Ho-Young http://cybertec.cheju.ac.kr Contents 1 프로그래밍 언어 소개 2 언어의 변천 3 프로그래밍 언어 설계 4 프로그래밍 언어의 구문과 구현 기법 5 6 7 컴파일러 개요 변수, 바인딩, 식 및 제어문 자료형 8

More information

단위: 환경정책 형산강살리기 수중정화활동 지원 10,000,000원*90%<절감> 형산강살리기 환경정화 및 감시활동 5,000,000원*90%<절감> 9,000 4,500 04 민간행사보조 9,000 10,000 1,000 자연보호기념식 및 백일장(사생,서예)대회 10

단위: 환경정책 형산강살리기 수중정화활동 지원 10,000,000원*90%<절감> 형산강살리기 환경정화 및 감시활동 5,000,000원*90%<절감> 9,000 4,500 04 민간행사보조 9,000 10,000 1,000 자연보호기념식 및 백일장(사생,서예)대회 10 2013년도 본예산 일반회계 환경위생과 ~ 환경위생과 세 출 예 산 사 업 명 세 서 부서: 환경위생과 단위: 환경정책 환경위생과 8,231,353 3,622,660 4,608,693 국 2,472,543 기 144,000 도 976,102 시 4,638,708 자연환경보호(환경보호/환경보호일반) 5,910,247 1,462,545 4,447,702 국 1,817,800

More information

1) 음운 체계상의 특징 음운이란 언어를 구조적으로 분석할 때, 가장 작은 언어 단위이다. 즉 의미분화 를 가져오는 최소의 단위인데, 일반적으로 자음, 모음, 반모음 등의 분절음과 음장 (소리의 길이), 성조(소리의 높낮이) 등의 비분절음들이 있다. 금산방언에서는 중앙

1) 음운 체계상의 특징 음운이란 언어를 구조적으로 분석할 때, 가장 작은 언어 단위이다. 즉 의미분화 를 가져오는 최소의 단위인데, 일반적으로 자음, 모음, 반모음 등의 분절음과 음장 (소리의 길이), 성조(소리의 높낮이) 등의 비분절음들이 있다. 금산방언에서는 중앙 금산 은 상위의 중부방언에 속한다. 충청남도의 핵방언권 중 (A)지역, 즉 충청 남도의 남부이며 전라북도와 주로 접경을 이루는 방언권이다. 그중 충청남도의 최 남단에서 전라북도와 경계를 이루고 있는 지역이 금산 이라는 점은 주목할 만하 다. 금산 지역이 전라북도와 지리적으로 인접해 있어 문화 등 제반 교류의 가능성 을 엿볼 수 있고, 이는 곧 금산과 전북방언과의

More information

Week5

Week5 Week 05 Iterators, More Methods and Classes Hash, Regex, File I/O Joonhwan Lee human-computer interaction + design lab. Iterators Writing Methods Classes & Objects Hash File I/O Quiz 4 1. Iterators Array

More information

<BFEFBBEA20BDBAC5E4B8AE20C5DAB8B52DBEC6B9F6C1F6BFCD20B1CDBDC5B0EDB7A12E687770>

<BFEFBBEA20BDBAC5E4B8AE20C5DAB8B52DBEC6B9F6C1F6BFCD20B1CDBDC5B0EDB7A12E687770> 본 작품들의 열람기록은 로그파일로 남게 됩니다. 단순 열람 목적 외에 작가와 울산광역시의 허락 없이 이용하거나 무단 전재, 복제, 배포 시 저작권법의 규정에 의하여 처벌받게 됩니다. 울산 문화자원 스토리텔링 공모전 구 분 내 용 제목 아버지와 귀신고래 수상내역 우수상(울산광역시장상) 작가 정경환 공모분야 시나리오 주요내용 미국의 탐험가, 로이 채프먼 앤드류스의

More information

歯25차.PPT

歯25차.PPT 25 1. 1 25 GDP 6.3% GDP : 2/4 8.0% (99 1/4 4.6%) : 5 21.8% (1/4 12.5%) : 5 89.6 % (1/4-45.3%) 2/4 75% (BSI) 120 2 25 98 99 (, %) 1/4 4 5 1/4 4 5-6.2-11.4-11.1-7.3 12.5 17.1 21.8-4.5-10.3-11.8-7.1 14.1

More information

Page 2 of 5 아니다 means to not be, and is therefore the opposite of 이다. While English simply turns words like to be or to exist negative by adding not,

Page 2 of 5 아니다 means to not be, and is therefore the opposite of 이다. While English simply turns words like to be or to exist negative by adding not, Page 1 of 5 Learn Korean Ep. 4: To be and To exist Of course to be and to exist are different verbs, but they re often confused by beginning students when learning Korean. In English we sometimes use the

More information

2012 JANFEB Vol.91 0102 World Best Safety, Global INHA 2012. 01+02 C O N T E N T S Jan.Feb Vol.91 02 04 06 09 12 14 16 18 20 22 24 27 28 30 31 32 33 38 04 2012 Jan + Feb 05 06 2012 Jan + Feb 07 08 2012

More information

108 KOREA INSTITUTE OF LOCAL FINANCE

108 KOREA INSTITUTE OF LOCAL FINANCE 107 108 KOREA INSTITUTE OF LOCAL FINANCE 109 110 KOREA INSTITUTE OF LOCAL FINANCE 111 112 KOREA INSTITUTE OF LOCAL FINANCE 113 114 KOREA INSTITUTE OF LOCAL FINANCE 115 116 KOREA INSTITUTE OF LOCAL FINANCE

More information

88 KOREA INSTITUTE OF LOCAL FINANCE

88 KOREA INSTITUTE OF LOCAL FINANCE 88 KOREA INSTITUTE OF LOCAL FINANCE 89 90 KOREA INSTITUTE OF LOCAL FINANCE 91 92 KOREA INSTITUTE OF LOCAL FINANCE 93 94 KOREA INSTITUTE OF LOCAL FINANCE 95 96 KOREA INSTITUTE OF LOCAL FINANCE 97 98 KOREA

More information

y 0.5 9, 644 e = 10, y = ln = 3.6(%) , May. 20, 2005

y 0.5 9, 644 e = 10, y = ln = 3.6(%) , May. 20, 2005 8 116, May. 20, 2005 y 0.5 9, 644 e = 10, 000 1 9644 y = ln = 3.6(%) 0.5 10000 9 116, May. 20, 2005 y 0.5 9, 644 e = 10, 000 1 9644 y = ln = 3.6(%) 0.5 10000 1 FV r T = ln T PV 10 116, May. 20, 2005 Public

More information

<B1E2C8B9BEC828BFCFBCBAC1F7C0FC29322E687770>

<B1E2C8B9BEC828BFCFBCBAC1F7C0FC29322E687770> 맛있는 한국으로의 초대 - 중화권 음식에서 한국 음식의 관광 상품화 모색하기 - 소속학교 : 한국외국어대학교 지도교수 : 오승렬 교수님 ( 중국어과) 팀 이 름 : 飮 食 男 女 ( 음식남녀) 팀 원 : 이승덕 ( 중국어과 4) 정진우 ( 중국어과 4) 조정훈 ( 중국어과 4) 이민정 ( 중국어과 3) 탐방목적 1. 한국 음식이 가지고 있는 장점과 경제적 가치에도

More information

<B9CCB5F0BEEEB0E6C1A6BFCDB9AEC8AD5F31322D32C8A35FBABBB9AE5FC3CAC6C731BCE25F6F6B5F32303134303531362E687770>

<B9CCB5F0BEEEB0E6C1A6BFCDB9AEC8AD5F31322D32C8A35FBABBB9AE5FC3CAC6C731BCE25F6F6B5F32303134303531362E687770> 미디어 경제와 문화 2014년 제12권 2호, 7 43 www.jomec.com TV광고 시청률 예측방법 비교연구 프로그램의 장르 구분에 따른 차이를 중심으로 1)2) 이인성* 단국대학교 커뮤니케이션학과 박사과정 박현수** 단국대학교 커뮤니케이션학부 교수 본 연구는 TV프로그램의 장르에 따라 광고시청률 예측모형들의 정확도를 비교하고 자 하였다. 본 연구에서

More information

<5B313132385D32303039B3E220C1A634B1C720C1A632C8A320B3EDB9AEC1F628C3D6C1BE292E687770>

<5B313132385D32303039B3E220C1A634B1C720C1A632C8A320B3EDB9AEC1F628C3D6C1BE292E687770> 디지털 영상에서의 자막추출을 이용한 자막 특성 분석에 관한 연구 이세열 * 요약 본 연구는 방송 프로그램 제작에 있어서 중요한 역할을 담당하고 있는 영상 자막의 특성과 영상 커 뮤니케이션 기능적인 관점에서 나타나고 있는 현상을 살펴본다. 다양한 방송 프로그램에서 활용되고 있는 디지털 영상 자막의 기능은 단순하게 간략한 정보를 전달하는 기능적인 역할을 수행하였다.

More information

Microsoft PowerPoint - AC3.pptx

Microsoft PowerPoint - AC3.pptx Chapter 3 Block Diagrams and Signal Flow Graphs Automatic Control Systems, 9th Edition Farid Golnaraghi, Simon Fraser University Benjamin C. Kuo, University of Illinois 1 Introduction In this chapter,

More information

DBPIA-NURIMEDIA

DBPIA-NURIMEDIA 무선 센서 네트워크 환경에서 링크 품질에 기반한 라우팅에 대한 효과적인 싱크홀 공격 탐지 기법 901 무선 센서 네트워크 환경에서 링크 품질에 기반한 라우팅에 대한 효과적인 싱크홀 공격 탐지 기법 (A Effective Sinkhole Attack Detection Mechanism for LQI based Routing in WSN) 최병구 조응준 (Byung

More information

삼성955_965_09

삼성955_965_09 판매원-삼성전자주식회사 본 사 : 경기도 수원시 영통구 매탄 3동 416번지 제조원 : (주)아이젠 삼성 디지털 비데 순간온수 세정기 사용설명서 본 제품은 국내(대한민국)용 입니다. 전원, 전압이 다른 해외에서는 품질을 보증하지 않습니다. (FOR KOREA UNIT STANDARD ONLY) 이 사용설명서에는 제품보증서가 포함되어 있습니다. 분실되지 않도록

More information

Page 2 of 6 Here are the rules for conjugating Whether (or not) and If when using a Descriptive Verb. The only difference here from Action Verbs is wh

Page 2 of 6 Here are the rules for conjugating Whether (or not) and If when using a Descriptive Verb. The only difference here from Action Verbs is wh Page 1 of 6 Learn Korean Ep. 13: Whether (or not) and If Let s go over how to say Whether and If. An example in English would be I don t know whether he ll be there, or I don t know if he ll be there.

More information

목차 설교자를 위한 전문 잡지 설교와 소통 2015 September Vol.10 - 주일설교 정인교 교수 (서울신대 설교학) 03 12 19 29 주일설교 1 오순절 후 열다섯 번째 주일설교 주일설교 2 오순절 후 열여섯 번째 주일설교 주일설교 3 오순절 후 열일곱

목차 설교자를 위한 전문 잡지 설교와 소통 2015 September Vol.10 - 주일설교 정인교 교수 (서울신대 설교학) 03 12 19 29 주일설교 1 오순절 후 열다섯 번째 주일설교 주일설교 2 오순절 후 열여섯 번째 주일설교 주일설교 3 오순절 후 열일곱 Web Journal for Preacher ISSN 2383-8485 www.stu.ac.kr 설교자를 위한 전문 저널 설교와 소통 2015 September Vol.10 목차 설교자를 위한 전문 잡지 설교와 소통 2015 September Vol.10 - 주일설교 정인교 교수 (서울신대 설교학) 03 12 19 29 주일설교 1 오순절 후 열다섯 번째 주일설교

More information

권두 칼럼 쁜 활동과 끊임없이 따라다니는 질투와 감시의 눈길을 피해 스도의 부활을 목격했기 때문이었다. 다시 사신 그리스도를 예수께서 이 집에 오시면 언제나 정성이 가득 담긴 음식을 그들이 눈으로 보고 손으로 만져 보았는데 도무지 아니라고 대접받고 휴식을 취했던 것으로

권두 칼럼 쁜 활동과 끊임없이 따라다니는 질투와 감시의 눈길을 피해 스도의 부활을 목격했기 때문이었다. 다시 사신 그리스도를 예수께서 이 집에 오시면 언제나 정성이 가득 담긴 음식을 그들이 눈으로 보고 손으로 만져 보았는데 도무지 아니라고 대접받고 휴식을 취했던 것으로 100년을 이어 온 복된 소식 SINCE 1910 커버특집 Cover Feature 부활의 진실 성경과 연구가의 부활 증언 그리스도의 부활과 빈 무덤 죽은 자의 부활과 소망 죽음과 부활 사이 빛나는 소망 4 2011 April 권두칼럼 나는 부활이요 생명이니 세상을 보는 눈 일본 지진 쓰나미 대재앙 희망을 만드는 삶의 이야기 고통의 학교에서 수련받고 부르는

More information

<C6F7C6AEB6F5B1B3C0E72E687770>

<C6F7C6AEB6F5B1B3C0E72E687770> 1-1. 포트란 언어의 역사 1 1-2. 포트란 언어의 실행 단계 1 1-3. 문제해결의 순서 2 1-4. Overview of Fortran 2 1-5. Use of Columns in Fortran 3 1-6. INTEGER, REAL, and CHARACTER Data Types 4 1-7. Arithmetic Expressions 4 1-8. 포트란에서의

More information

Breathing problems Pa t i e n t: I have been having some breathing problems lately. I always seem to be out of breath no matter what I am d o i n g. ( Nurse : How long have you been experiencing this problem?

More information

?????

????? 2013 May CONTENTS 04 06 20 23 24 28 40 44 48 49 50 52 54 56 Ideas that Move 6 SPECIAL CHEIL MAY 2013 7 Special 1 8 CHEIL MAY 2013 9 Special 2 10 CHEIL MAY 2013 11 12 CHEIL MAY 2013 13 Special 3 14 CHEIL

More information

<28C3D6C1BE3129C0DAC1D6C7D020C1F6B5B5BCAD28C3CAB5EEC7D0BBFDBFEB292E687770>

<28C3D6C1BE3129C0DAC1D6C7D020C1F6B5B5BCAD28C3CAB5EEC7D0BBFDBFEB292E687770> 자기주도학습 프로그램 목 차 Ⅰ. 자기주도학습 프로그램 개요 ---------------------- 2 1. 자 기 주 도 학 습 프 로 그 램 의 필 요 성 ----------------------- 2 2. 자 기 주 도 학 습 프 로 그 램 특 징 ---------------------------- 2 3. 매 회 기 별 기 본 진 행 구 조 --------------------------------

More information

K&R2 Reference Manual 번역본

K&R2 Reference Manual 번역본 typewriter structunion struct union if-else if if else if if else if if if if else else ; auto register static extern typedef void char short int long float double signed unsigned const volatile { } struct

More information

May 2014 BROWN Education Webzine vol.3 감사합니다. 그리고 고맙습니다. 목차 From Editor 당신에게 소중한 사람은 누구인가요? Guidance 우리 아이 좋은 점 칭찬하기 고맙다고 말해주세요 Homeschool [TIP] Famil

May 2014 BROWN Education Webzine vol.3 감사합니다. 그리고 고맙습니다. 목차 From Editor 당신에게 소중한 사람은 누구인가요? Guidance 우리 아이 좋은 점 칭찬하기 고맙다고 말해주세요 Homeschool [TIP] Famil May 2014 BROWN Education Webzine vol.3 BROWN MAGAZINE Webzine vol.3 May 2014 BROWN Education Webzine vol.3 감사합니다. 그리고 고맙습니다. 목차 From Editor 당신에게 소중한 사람은 누구인가요? Guidance 우리 아이 좋은 점 칭찬하기 고맙다고 말해주세요 Homeschool

More information

경제위기와 기업의 인력활용 59 경제위기와 기업의 인력활용 송 창 용* * 한국직업능력개발원 인적자원패널ㆍ통계센터 소장 경제위기와 기업의 인력활용 요 약 2008년 미국발 금융위기에서 시작된 경제위기는 2009년 9월 현재 각종 경제지표의 회복, 증시와 환율의 안정 등 긍정적인 신호를 보이고 있음. - 주요 금융지표와 경제지표는 금융위기 이전으로 회복되었고,

More information

#Ȳ¿ë¼®

#Ȳ¿ë¼® http://www.kbc.go.kr/ A B yk u δ = 2u k 1 = yk u = 0. 659 2nu k = 1 k k 1 n yk k Abstract Web Repertoire and Concentration Rate : Analysing Web Traffic Data Yong - Suk Hwang (Research

More information

October 2014 BROWN Education Webzine vol.8 울긋불긋 가을이야기 목차 From Editor 앉아서 떠나는 여행 Guidance 그림책 읽어주는 기술 Homeschool 다양한 세계문화 알아보기 Study Trip 올 가을!풍요로운 낭만축

October 2014 BROWN Education Webzine vol.8 울긋불긋 가을이야기 목차 From Editor 앉아서 떠나는 여행 Guidance 그림책 읽어주는 기술 Homeschool 다양한 세계문화 알아보기 Study Trip 올 가을!풍요로운 낭만축 October 2014 BROWN Education Webzine vol.8 BROWN MAGAZINE Webzine vol.8 October 2014 BROWN Education Webzine vol.8 울긋불긋 가을이야기 목차 From Editor 앉아서 떠나는 여행 Guidance 그림책 읽어주는 기술 Homeschool 다양한 세계문화 알아보기 Study

More information

해양모델링 2장5~18 2012.7.27 12:26 AM 페이지6 6 오픈소스 소프트웨어를 이용한 해양 모델링 2.1.2 물리적 해석 식 (2.1)의 좌변은 어떤 물질의 단위 시간당 변화율을 나타내며, 우변은 그 양을 나타낸 다. k 5 0이면 C는 처음 값 그대로 농

해양모델링 2장5~18 2012.7.27 12:26 AM 페이지6 6 오픈소스 소프트웨어를 이용한 해양 모델링 2.1.2 물리적 해석 식 (2.1)의 좌변은 어떤 물질의 단위 시간당 변화율을 나타내며, 우변은 그 양을 나타낸 다. k 5 0이면 C는 처음 값 그대로 농 해양모델링 2장5~18 2012.7.27 12:26 AM 페이지5 02 모델의 시작 요약 이 장에서는 감쇠 문제를 이용하여 여러분을 수치 모델링 세계로 인도한다. 유한 차분법 의 양해법과 음해법 그리고 일관성, 정확도, 안정도, 효율성 등을 설명한다. 첫 번째 수치 모델의 작성과 결과를 그림으로 보기 위해 FORTRAN 프로그램과 SciLab 스크립트가 사용된다.

More information

9월1일자(최종).hwp

9월1일자(최종).hwp 제 22 권 16호 통권 492호 AT&T-Apple iphone 독점계약 변화 전망 12) 김 욱 준 * 1. 개 요 지난 2010년 6월 29일 미국의 비즈니스 정보기관 Bloomberg에서 Verizon Wireless 가 2011년 1월부터 Apple의 iphone을 미국 시장에 공급할 것이라고 발표했다. 1) 이는 AT&T와 Apple 간의 iphone

More information

4. 수업의 흐름 차시 창의 인성 수업모형에 따른 단계 수업단계 활동내용 창의 요소 인성 요소 관찰 사전학습: 날짜와 힌트를 보고 기념일 맞춰보기 호기심 논리/ 분석적 사고 유추 5 차시 분석 핵심학습 그림속의 인물이나 사물의 감정을 생각해보고 써보기 타인의 입장 감정

4. 수업의 흐름 차시 창의 인성 수업모형에 따른 단계 수업단계 활동내용 창의 요소 인성 요소 관찰 사전학습: 날짜와 힌트를 보고 기념일 맞춰보기 호기심 논리/ 분석적 사고 유추 5 차시 분석 핵심학습 그림속의 인물이나 사물의 감정을 생각해보고 써보기 타인의 입장 감정 World Special Days 1. 수업 목표 과목 영어 학년 6 학년 내용 목표 인성 목표 언어 목표 여러 기념일에 대해 알아보고 새로운 기념일을 만들고 소개할 수 있다. 소외된 사람이나 사물에 대해 생각해보고 이들에 대한 배려와 관심의 필요성을 깨달음으로써 타인의 입장에 감정 이입, 배려 등의 요소를 기를 수 있다. 기념일이나 특별한 날짜를 묻고 대답할

More information

EBS직탐컴퓨터일반-06-OK

EBS직탐컴퓨터일반-06-OK ES 컴퓨터 일반 6회 시간 분 배점 점 문항에 따라 배점이 다르니, 각 물음의 끝에 표시된 배점을 참고하시오. 점 문항에만 점수가 표시되어 있습니다. 점수 표시가 없는 문항은 모두 점씩입니다. 은,, 에서 입력받아 를 출력하는 스위치 회로이다. 스위치 회로를 논리 기호로 표시한 것으로 옳은 것은? 다음은 정보 통신망을 사용한 사례이다. 법적으로 처벌받을

More information

<313220BCD5BFB5B9CCC1B6BFF8C0CF2E687770>

<313220BCD5BFB5B9CCC1B6BFF8C0CF2E687770> 한국민족문화 34, 2009. 7, 369~406쪽 쉼터 생활을 중심으로 본 일본군 위안부 의 삶에 관한 사례연구 1)손 영 미* 조 원 일** 1. 서론 1) 문제의 소재 2) 연구의 필요성 및 목적 2. 문헌고찰 3. 연구방법 1) 연구참여자 2) 연구방법 및 절차 4. 일본군 위안부 피해자의 쉼터 생활을 전후로 한 삶 1) 위안부 신고 후부터 쉼터 생활

More information

DBPIA-NURIMEDIA

DBPIA-NURIMEDIA 방송통신연구 2011년 봄호 연구논문 64 98 PD수첩 관련 판례에서 보이는 사법부의 사실성에 대한 인식의 차이 연구* 1)2) 이승선 충남대학교 언론정보학과 부교수** Contents 1. 문제제기와 연구문제 2. 공적인물에 대한 명예훼손 보도의 면책 법리 3. 분석결과의 논의 4. 마무리 본 이른바 PD수첩 광우병 편 에 대해 다양한 법적 대응이 이뤄졌다.

More information

02 중앙회 및 시 도회 소식 병원행정인신문 제 124호 2015 병원행정 장기연수과정 CEO아카데미 과정 연수생 모집 2015년도 병원행정장기연수과정과 병원경영CEO 아카데미 경영진단사과정(CEO과정)의 연수생을 모 집한다. 협회는 지난 3월 16일 2015년 장기연

02 중앙회 및 시 도회 소식 병원행정인신문 제 124호 2015 병원행정 장기연수과정 CEO아카데미 과정 연수생 모집 2015년도 병원행정장기연수과정과 병원경영CEO 아카데미 경영진단사과정(CEO과정)의 연수생을 모 집한다. 협회는 지난 3월 16일 2015년 장기연 병원행정인신문 Korean College of Hospital Administrators News 발행인 권성탁 / 편집인 임종성 TEL 02)2677-0823~4 FAX 02)2677-0820 (우)150-038 서울특별시 영등포구 국회대로 651-2 병원행정회관 4층 http://www.kcha.or.kr 제17대 임원진 직무중심으로 구성 권성탁 회장,

More information

대한한의학원전학회지24권6호-전체최종.hwp

대한한의학원전학회지24권6호-전체최종.hwp 小兒藥證直訣 의 五臟辨證에 대한 小考 - 病證과 處方을 중심으로 1 2 慶熙大學校大學校 韓醫學科大學 原典學敎室 ㆍ 韓醫學古典硏究所 白裕相1,2*1)2) A study on The Diagnosis and Treatment Using The Theory of Five Organs in Soayakjeungjikgyeol(小兒藥證直訣) 1 Dept. of Oriental

More information

....... 1.... 2 1.... 2 2.... 5 3.... 7.... 8 1.... 8 2.... 9 [ ] : WT O ( 98. 7 )... 13 1 2 3

....... 1.... 2 1.... 2 2.... 5 3.... 7.... 8 1.... 8 2.... 9 [ ] : WT O ( 98. 7 )... 13 1 2 3 98-9 - 9 8. 7-1 9 9 8. 9 ....... 1.... 2 1.... 2 2.... 5 3.... 7.... 8 1.... 8 2.... 9 [ ] : WT O ( 98. 7 )... 13 1 2 3 . WT O (Harmonized Rules of Origin) 95. 7. WCO WT O, WT O WT O. 1,, 2, 3. HS.. WT

More information

5.스택(강의자료).key

5.스택(강의자료).key CHP 5: https://www.youtube.com/watch?v=ns-r91557ds ? (stack): (LIFO:Last-In First-Out):. D C B C B C B C B (element) C (top) B (bottom) (DT) : n element : create() ::=. is_empty(s) ::=. is_full(s) ::=.

More information

본 발명은 중공코어 프리캐스트 슬래브 및 그 시공방법에 관한 것으로, 자세하게는 중공코어로 형성된 프리캐스트 슬래브 에 온돌을 일체로 구성한 슬래브 구조 및 그 시공방법에 관한 것이다. 이를 위한 온돌 일체형 중공코어 프리캐스트 슬래브는, 공장에서 제작되는 중공코어 프

본 발명은 중공코어 프리캐스트 슬래브 및 그 시공방법에 관한 것으로, 자세하게는 중공코어로 형성된 프리캐스트 슬래브 에 온돌을 일체로 구성한 슬래브 구조 및 그 시공방법에 관한 것이다. 이를 위한 온돌 일체형 중공코어 프리캐스트 슬래브는, 공장에서 제작되는 중공코어 프 (51) Int. Cl. E04B 5/32 (2006.01) (19)대한민국특허청(KR) (12) 등록특허공보(B1) (45) 공고일자 (11) 등록번호 (24) 등록일자 2007년03월12일 10-0693122 2007년03월05일 (21) 출원번호 10-2006-0048965 (65) 공개번호 (22) 출원일자 2006년05월30일 (43) 공개일자 심사청구일자

More information

그린리포트-가을-pdf

그린리포트-가을-pdf Vol.05 2009 Autumn G R E E N R E P O R T 2 0 0 9 A u t u m n We can now build a new green economy. And I ask you to join with us in building it together. Let the skills of our scientists; the enterprise

More information

<32B1B3BDC32E687770>

<32B1B3BDC32E687770> 008년도 상반기 제회 한 국 어 능 력 시 험 The th Test of Proficiency in Korean 일반 한국어(S-TOPIK 중급(Intermediate A 교시 이해 ( 듣기, 읽기 수험번호(Registration No. 이 름 (Name 한국어(Korean 영 어(English 유 의 사 항 Information. 시험 시작 지시가 있을

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 5 RF Module Reader /Writer 3 4 2 1 RFID Tag Host Computer Antenna RFID TAG Stock Tracking Availability Improvement Loss Prevention Point-of-Sale Automation 60 50 Return on Investment 57.5 (increase

More information

2-ITc03ÖÁ¾š

2-ITc03ÖÁ¾š 01 10 12 14 16 18 20 22 24 26 28 30 32 34 36 38 40 42 44 46 48 50 52 56 58 60 01 10 Seoul R&BD Program 11 02 12 Seoul R&BD Program 13 03 14 Seoul R&BD Program 15 04 16 Seoul R&BD Program 17 05 18 Seoul

More information

untitled

untitled - -, (insert) (delete) - - (insert) (delete) (top ) - - (insert) (rear) (delete) (front) A A B top A B C top push(a) push(b) push(c) A B top pop() top A B D push(d) top #define MAX_STACK_SIZE 100 int

More information

<31325FB1E8B0E6BCBA2E687770>

<31325FB1E8B0E6BCBA2E687770> 88 / 한국전산유체공학회지 제15권, 제1호, pp.88-94, 2010. 3 관내 유동 해석을 위한 웹기반 자바 프로그램 개발 김 경 성, 1 박 종 천 *2 DEVELOPMENT OF WEB-BASED JAVA PROGRAM FOR NUMERICAL ANALYSIS OF PIPE FLOW K.S. Kim 1 and J.C. Park *2 In general,

More information

<C0CCBCBCBFB52DC1A4B4EBBFF82DBCAEBBE7B3EDB9AE2D313939392D382E687770>

<C0CCBCBCBFB52DC1A4B4EBBFF82DBCAEBBE7B3EDB9AE2D313939392D382E687770> i ii iii iv v vi 1 2 3 4 가상대학 시스템의 국내외 현황 조사 가상대학 플랫폼 개발 이상적인 가상대학시스템의 미래상 제안 5 웹-기반 가상대학 시스템 전통적인 교수 방법 시간/공간 제약을 극복한 학습동기 부여 교수의 일방적인 내용전달 교수와 학생간의 상호작용 동료 학생들 간의 상호작용 가상대학 운영 공지사항,강의록 자료실, 메모 질의응답,

More information

Introduction to Geotechnical Engineering II

Introduction to  Geotechnical Engineering II Fundamentals of Computer System - chapter 9. Functions 민기복 Ki-Bok Min, PhD 서울대학교에너지자원공학과조교수 Assistant Professor, Energy Resources Engineering Last week Chapter 7. C control statements: Branching and Jumps

More information

05(533-537) CPLV12-04.hwp

05(533-537) CPLV12-04.hwp 모바일 OS 환경의 사용자 반응성 향상 기법 533 모바일 OS 환경의 사용자 반응성 향상 기법 (Enhancing Interactivity in Mobile Operating Systems) 배선욱 김정한 (Sunwook Bae) 엄영익 (Young Ik Eom) (Junghan Kim) 요 약 사용자 반응성은 컴퓨팅 시스템에서 가장 중요 한 요소 중에 하나이고,

More information

야쿠르트2010 3월 - 최종

야쿠르트2010 3월 - 최종 2010. 03www.yakult.co.kr 10 04 07 08 Theme Special_ Action 10 12 15 14 15 16 18 20 18 22 24 26 28 30 31 22 10+11 Theme Advice Action 12+13 Theme Story Action 14+15 Theme Reply Action Theme Letter Action

More information

<30353132BFCFB7E15FC7D1B1B9C1A4BAB8B9FDC7D0C8B85F31352D31BCF6C1A4C8AEC0CE2E687770>

<30353132BFCFB7E15FC7D1B1B9C1A4BAB8B9FDC7D0C8B85F31352D31BCF6C1A4C8AEC0CE2E687770> 지상파 방송의 원격송신과 공중송신권 침해여부에 관한 사례연구 Case Study on Copyright Infringement of Remote Transmission of Television Program 최정열(Choe, Jeong-Yeol) * 목 차 Ⅰ. 서론 Ⅱ. 사실 관계 및 재판의 경과 1. 원격시청기기 및 그 사용방법 등 2. 피고의 서비스 3.

More information

CONTENTS January 2008, VOL. 378 19 IP Report 59 IP Column 101 IP Information 123 IP News

CONTENTS January 2008, VOL. 378 19 IP Report 59 IP Column 101 IP Information 123 IP News CONTENTS January 2008, VOL. 378 19 IP Report 59 IP Column 101 IP Information 123 IP News The th Anniversary 1964 ~ 2007 (Patent Information Service - Search & Analysis) http://www.forx.org 1 0 Invention

More information

아태연구(송석원)13-2-05.hwp

아태연구(송석원)13-2-05.hwp 아태연구 제 13권 제 2호 2006년 11월 30일 pp.81~103 일본에서의 한국학연구 - 회고와 전망 宋 錫 源 경희대학교 사회과학부 정치외교학과 조교수 Ⅰ. 머리말 Ⅱ. 1945년 이전의 한국연구 Ⅲ. 1945년 이후의 한국연구 < 목 차 > Ⅳ. 맺음말 참고문헌 Abstract Key words(중심용어): 한국학(Korean studies), 식민지지배(colonial

More information

참학10월_266호.indd

참학10월_266호.indd 바로서는 학부모 우뚝서는 아이들 2014 10 월 2014년 10월 통합 266호 발행인 : 편국자 / 주소 : 부산진구 중앙대로 918-1 (양정1동 352-2, 3층) / TEL 051) 556-1799 / FAX 051) 556-1790 / hakbumo1@empas.com 10 월 CONTENTS 여는글 아이를 키우면서 기획글 혁신학교, 나는 무엇을

More information

<30322D28C6AF29C0CCB1E2B4EB35362D312E687770>

<30322D28C6AF29C0CCB1E2B4EB35362D312E687770> 한국학연구 56(2016.3.30), pp.33-63. 고려대학교 한국학연구소 세종시의 지역 정체성과 세종의 인문정신 * 1)이기대 ** 국문초록 세종시의 상황은 세종이 왕이 되면서 겪어야 했던 과정과 닮아 있다. 왕이 되리라 예상할 수 없었던 상황에서 세종은 왕이 되었고 어려움을 극복해 갔다. 세종시도 갑작스럽게 행정도시로 계획되었고 준비의 시간 또한 짧았지만,

More information

<B1B9BEC7BFF8B3EDB9AEC1FD5FC1A63234C1FD5FBFCF2E687770>

<B1B9BEC7BFF8B3EDB9AEC1FD5FC1A63234C1FD5FBFCF2E687770> 발 간 사 국악학 기초연구 활성화의 장을 마련하기 위한 국악원논문집 은 1989년 제1집을 시작으로 2004년 제16집까지 연1회 발간하였고, 잠시 중단되었던 학술지는 2008년 제17집부터 발간횟수를 연간 2회로 늘려 재발간하고 있습니다. 국악원논문집 은 공모를 통해 원고를 모집하고 편집회의를 통한 1차 심사, 분야별 전문가로 구성된 심사위원의 2차 심사를

More information

Àå¾Ö¿Í°í¿ë ³»Áö

Àå¾Ö¿Í°í¿ë ³»Áö Disability & Employment 55 Disability & Employment 56 57 Disability & Employment 58 59 Disability & Employment 60 61 Disability & Employment 62 63 Disability & Employment 64 65 Disability & Employment

More information

PDF

PDF v s u e q g y vœ s s œx}s Enhancing the Night Time Vehicle Detection for Intelligent Headlight Control using Lane Detection Sungmin Eum Ho i Jung * School of Mechanical Engineering Hanyang University,

More information

USB2

USB2 USB2.0 KIT 용 적외선 온도센서와 온/습도 센서 보드 1. 주의 사항(필독) 2. 시스템 구성 3. USB 프로그램 다운로드 방법 4, PC 프로그램 5. PC Library 사용방법 6. 상품 구입시 회 사 명 : IESystems Website : www.iesystems.co.kr Email : matrixhj@iesystems.co.kr 전화번호

More information

글짓기(운문)_금상 일 기 서준호 (대전 한밭초등학교 1학년) 나는 1학년이다. 그림일기를 쓴다. 힘들다. 나는 일기를 쓴다. 오늘을 생각한다. 뭘 쓸까? 생각이 난다. 하지만 일기를 못 쓰겠다. 너무 힘들다. 25

글짓기(운문)_금상 일 기 서준호 (대전 한밭초등학교 1학년) 나는 1학년이다. 그림일기를 쓴다. 힘들다. 나는 일기를 쓴다. 오늘을 생각한다. 뭘 쓸까? 생각이 난다. 하지만 일기를 못 쓰겠다. 너무 힘들다. 25 글짓기(운문)_금상 그림일기 속 세상 김도영 (부산 금샘초등학교 6학년) 내 그림일기 속 친구들은 웃고 있다. 내 그림일기 속 제비는 살아 있다. 내 그림일기 속 추억은 움직인다. 그림이지만 마음으로 보면 움직인다. 추억이 서린 그림일기 그 가치를 믿는다. 24 글짓기(운문)_금상 일 기 서준호 (대전 한밭초등학교 1학년) 나는 1학년이다. 그림일기를 쓴다.

More information

정도와 발화 행동 사이의 관계는 자연화된 인식론의 탐구 주제가 될 것이다. 하지만 콰인의 이러한 설명은 여전히 의문을 남긴다. 그것은 과학자들이 산술과 논리를 아예 의심의 범위 밖 에 두는 이유일 것이다. 여기서는 단순히 정도의 차이가 아닌, 원리적인 차이가 작동하고

정도와 발화 행동 사이의 관계는 자연화된 인식론의 탐구 주제가 될 것이다. 하지만 콰인의 이러한 설명은 여전히 의문을 남긴다. 그것은 과학자들이 산술과 논리를 아예 의심의 범위 밖 에 두는 이유일 것이다. 여기서는 단순히 정도의 차이가 아닌, 원리적인 차이가 작동하고 괴델과 카르납, 일관성 증명과 언어의 구문론으로서의 수학 이정민 (서울시립대) 1. 서론 한때의 과학도로서 내가 항상 하던 일은 문제를 푸는 것이었다. 토마스 쿤이 퍼즐풀이 라고 불렀던 이 활동은 주로 이전의 모범적인 풀이(범례exemplar)를 익히고 흉내 내는 것에서 시 작한다. 그렇게 익힌 풀이를 비슷한 다양한 사례에 적용하는 것이다. 예를 들어 뉴턴의

More information

비긴쿡-자바 00앞부속

비긴쿡-자바 00앞부속 IT COOKBOOK 14 Java P r e f a c e Stay HungryStay Foolish 3D 15 C 3 16 Stay HungryStay Foolish CEO 2005 L e c t u r e S c h e d u l e 1 14 PPT API C A b o u t T h i s B o o k IT CookBook for Beginner Chapter

More information

#KM-235(110222)

#KM-235(110222) PARTS BOOK KM-235A/B INFORMATION A. Parts Book Structure of Part Book Unique code by mechanism Unique name by mechanism Explode view Ref. No. : Unique identifcation number by part Parts No. : Unique Product

More information

30이지은.hwp

30이지은.hwp VR의 가상광고에 나타난 그래픽영상 연구 -TV 스포츠 방송을 중심으로- A study of the graphic image that is presented in Virtual Advertising of VR(Virtual Reality) - Focused on TV Sports broadcasts - 이지은(Lee, ji eun) 조일산업(주) 디자인 실장

More information

퇴좈저널36호-4차-T.ps, page 2 @ Preflight (2)

퇴좈저널36호-4차-T.ps, page 2 @ Preflight (2) Think Big, Act Big! Character People Literature Beautiful Life History Carcere Mamertino World Special Interview Special Writing Math English Quarts I have been driven many times to my knees by the overwhelming

More information

3항사가 되기 위해 매일매일이 시험일인 듯 싶다. 방선객으로 와서 배에서 하루 남짓 지내며 지내며 답답함에 몸서리쳤던 내가 이제는 8개월간의 승선기간도 8시간같이 느낄 수 있을 만큼 항해사로써 체질마저 변해가는 듯해 신기하기도 하고 한편으론 내가 생각했던 목표를 향해

3항사가 되기 위해 매일매일이 시험일인 듯 싶다. 방선객으로 와서 배에서 하루 남짓 지내며 지내며 답답함에 몸서리쳤던 내가 이제는 8개월간의 승선기간도 8시간같이 느낄 수 있을 만큼 항해사로써 체질마저 변해가는 듯해 신기하기도 하고 한편으론 내가 생각했던 목표를 향해 HMS News Letter Hot News 16 th August. 2011 / Issue No.43 Think safety before you act! 국가인적자원개발컨소시엄 전용 홈페이지 개선 Open 국가인적자원개발컨소시엄 전용 홈페이지를 8/13(토) 새롭게 OPEN하였습니다. 금번 컨소시엄 전용 홈페이지의 개선과정에서 LMS(Learning Management

More information

국립국어원 2011-01-28 발간 등록 번호 11-1371028-000350-01 신문과 방송의 언어 사용 실태 조사 연구 책임자: 남영신 국립국어원 2011-01-28 발간 등록 번호 11-1371028-000350-01 신문과 방송의 언어 사용 실태 조사 연구 책임자: 남영신 2011. 11. 16. 제 출 문 국립국어원장 귀하 2011년 신문과 방송의

More information

11 템플릿적용 - Java Program Performance Tuning (김명호기술이사)

11 템플릿적용 - Java Program Performance Tuning (김명호기술이사) Java Program Performance Tuning ( ) n (Primes0) static List primes(int n) { List primes = new ArrayList(n); outer: for (int candidate = 2; n > 0; candidate++) { Iterator iter = primes.iterator(); while

More information

1_기획논단

1_기획논단 2012.09 2012.09 www.kilf.re.kr Contents 003 004 023 037 059 075 076 087 088 107 123 137 138 158 169 183 184 194 4 KOREA INSTITUTE OF LOCAL FINANCE 5 6 KOREA INSTITUTE OF LOCAL FINANCE 7 8 KOREA INSTITUTE

More information

2.단순 암기로는 틀리는 논리적 독해 문제 강화 그리고, 실천윤리 파트들에서도 이전처럼 패턴화되어서 쉽게 풀 수 있는 문제들이 아니었고, 논리적 으로 독해하며 꼼꼼히 따져서 풀어야할 문제들이 출제되었다. 오히려 암기식으로 접근하여 제시문 을 꼼꼼하게 읽지 않고 선지로

2.단순 암기로는 틀리는 논리적 독해 문제 강화 그리고, 실천윤리 파트들에서도 이전처럼 패턴화되어서 쉽게 풀 수 있는 문제들이 아니었고, 논리적 으로 독해하며 꼼꼼히 따져서 풀어야할 문제들이 출제되었다. 오히려 암기식으로 접근하여 제시문 을 꼼꼼하게 읽지 않고 선지로 현자타임 생윤 9평 해설서 총평: (1) 난이도 분석 국영탐을 물로 내고 사탐으로 변별을 주려는 평가원의 의도인가? 이번 시험은 한마디로 어려웠다 정답률이 낮았던 주요 문제를 살펴보자면 10번 인간중심주의와 생태중심주의 17%, 18번 칸트의 영구평화론 (이상주의) 21% 20번 전통 윤리 : 도교에서 성인을 바라보는 입장(+엘리아데의 성현) : 28% 19번

More information

204 205

204 205 -Road Traffic Crime and Emergency Evacuation - 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 Abstract Road Traffic Crime

More information

???? 1

???? 1 www.ussicoop.or.kr 윤 / 리 / 적 / 소 / 비 vol.32 2013. 06 08 발행인:황혜주 발행처:iCOOP울산시민생협(울산광역시 남구 무거동 487-5 2층) 연락처:T.227-8950~1/ 옥동점:276-8668/ 무거점:222-7798/ 삼산점:227-8986/ 구영점:244-2050 목차_ Contents 02 생산지 탐방 거제사슴영농조합

More information

untitled

untitled 1. void inorder(tree_ptr ptr) { if(ptr) { inorder(ptr->left_child); printf( %d,ptr->data); inorder(ptr->right_child); 2) => A / B * C * D + E () A / B * C * D + E void preorder(tree_ptr ptr) { if(ptr)

More information

(참고1) 의결서 (HWP).hwp

(참고1) 의결서 (HWP).hwp 방 송 통 신 심 의 회 의 결 의결번호 : 제2015-17-0350호 피 심 인 : 씨제이이앤엠 (채널명 : tvn) 방송프로그램명 : 신분을 숨겨라 방송일시 : 2015.7.6.월, 22:50-00:15, 2015.7.13.월, 22:50-00:15, 2015.8.4. 화, 22:50-00:15 주 문 피심인의 채널에서 방송된 방송프로그램 신분을 숨겨라

More information

<30322DBDC5B8EDC1F72E687770>

<30322DBDC5B8EDC1F72E687770> 37 재일 코리안과 다국가 시민권 - 영화 피와 뼈 디어 평양 달은 어디에 떠 있는가 를 중심으로 1) 신 명 직* - 목 차 - Ⅰ. 머리말 Ⅲ. 다국가 시민의 권리와 책무 : Ⅱ. 국민 에서 다국가 시민 으로 깊이와 범위 1. 귀환 을 통한 영토와 주권 모 1. 다국가 시민권의 깊이 순의 해결 2. 다국가 시민권의 범위 2. 영토와 주권의 모순과 다국가

More information

Microsoft PowerPoint - 04-UDP Programming.ppt

Microsoft PowerPoint - 04-UDP Programming.ppt Chapter 4. UDP Dongwon Jeong djeong@kunsan.ac.kr http://ist.kunsan.ac.kr/ Dept. of Informatics & Statistics 목차 UDP 1 1 UDP 개념 자바 UDP 프로그램작성 클라이언트와서버모두 DatagramSocket 클래스로생성 상호간통신은 DatagramPacket 클래스를이용하여

More information

CTS사보-2월

CTS사보-2월 2 Program 3 선배님 감사합니다 - CTS은퇴목회자 초청 섬김행사 성황리에 은혜롭게 열려! - 사회전반 이슈 기독교적 관점으로 해석하고 해법 제시 4 후원자 이야기 - 복음 전파를 향한 후원자의 따뜻한 이야기 #이야기 하나 #이야기 둘 # 이야기 셋 5 복음동네이야기 CTS미디어최고위 과정 6기 모집 - 멀티미디어 시대, 스마트목회를 디자인하다! 6

More information

Chapter_06

Chapter_06 프로그래밍 1 1 Chapter 6. Functions and Program Structure April, 2016 Dept. of software Dankook University http://embedded.dankook.ac.kr/~baeksj 이장의강의목표 2 문자의입력방법을이해한다. 중첩된 if문을이해한다. while 반복문의사용법을익힌다. do 반복문의사용법을익힌다.

More information

<C5D8BDBAC6AEBEF0BEEEC7D0203338C1FD2E687770>

<C5D8BDBAC6AEBEF0BEEEC7D0203338C1FD2E687770> 텍스트언어학 38 위원장 이은희(한성대) 편집위원회 위 원 김갑년(고려대) 박용익(고려대) 송정근(한남대) 신서인(한림대) 신지연(목원대) 윤석민(전북대) 이은섭(울산대) 이재원(한국외대) 이정복(대구대) 이호승(충북대) 채현식(군산대) 2015. 6. 한국텍스트언어학회 차 례 텍스트언어학 38집 2015. 6. 읽기교육에서 텍스트 의미 추론의 이론과 실제

More information

?????

????? 2012 September CONTENTS 04 06 08 14 16 32 36 46 48 52 57 58 59 60 64 62 Brave cheilers 6 6 CHEIL WORLDWIDE SEPTEMBER 2012 7 CHEIL WORLDWIDE SEPTEMBER 2012 7 8 CHEIL WORLDWIDE SEPTEMBER 2012 9 10 CHEIL

More information

?????

????? 2012 October CONTENTS 04 06 08 12 14 31 34 36 46 51 52 53 54 58 56 Brave cheilers 6 6 CHEIL CHEIL WORLDWIDE WORLDWIDE OCTOBER OCTOBER 2012 2012 7 7 8 CHEIL WORLDWIDE OCTOBER 2012 9 10 CHEIL WORLDWIDE

More information

Making a True Business Solution ANNUAL REPORT 2013 I. I. I I II. II. II II II II II II II II II II II II II II II II II III. III III III III III III III III III III III

More information

2009년 국제법평론회 동계학술대회 일정

2009년 국제법평론회 동계학술대회 일정 한국경제연구원 대외세미나 인터넷전문은행 도입과제와 캐시리스사회 전환 전략 일시 2016년 3월 17일 (목) 14:00 ~17:30 장소 전경련회관 컨퍼런스센터 2층 토파즈룸 주최 한국경제연구원 한국금융ICT융합학회 PROGRAM 시 간 내 용 13:30~14:00 등 록 14:00~14:05 개회사 오정근 (한국금융ICT융합학회 회장) 14:05~14:10

More information

1. 서론 1-1 연구 배경과 목적 1-2 연구 방법과 범위 2. 클라우드 게임 서비스 2-1 클라우드 게임 서비스의 정의 2-2 클라우드 게임 서비스의 특징 2-3 클라우드 게임 서비스의 시장 현황 2-4 클라우드 게임 서비스 사례 연구 2-5 클라우드 게임 서비스에

1. 서론 1-1 연구 배경과 목적 1-2 연구 방법과 범위 2. 클라우드 게임 서비스 2-1 클라우드 게임 서비스의 정의 2-2 클라우드 게임 서비스의 특징 2-3 클라우드 게임 서비스의 시장 현황 2-4 클라우드 게임 서비스 사례 연구 2-5 클라우드 게임 서비스에 IPTV 기반의 클라우드 게임 서비스의 사용성 평가 - C-Games와 Wiz Game 비교 중심으로 - Evaluation on the Usability of IPTV-Based Cloud Game Service - Focus on the comparison between C-Games and Wiz Game - 주 저 자 : 이용우 (Lee, Yong Woo)

More information

UML

UML Introduction to UML Team. 5 2014/03/14 원스타 200611494 김성원 200810047 허태경 200811466 - Index - 1. UML이란? - 3 2. UML Diagram - 4 3. UML 표기법 - 17 4. GRAPPLE에 따른 UML 작성 과정 - 21 5. UML Tool Star UML - 32 6. 참조문헌

More information

<B3EDB9AEC1FD5F3235C1FD2E687770>

<B3EDB9AEC1FD5F3235C1FD2E687770> 경상북도 자연태음악의 소박집합, 장단유형, 전단후장 경상북도 자연태음악의 소박집합, 장단유형, 전단후장 - 전통 동요 및 부녀요를 중심으로 - 이 보 형 1) * 한국의 자연태 음악 특성 가운데 보편적인 특성은 대충 밝혀졌지만 소박집합에 의한 장단주기 박자유형, 장단유형, 같은 층위 전후 구성성분의 시가( 時 價 )형태 등 은 밝혀지지 않았으므로

More information

Chapter 4. LISTS

Chapter 4. LISTS 연결리스트의응용 류관희 충북대학교 1 체인연산 체인을역순으로만드는 (inverting) 연산 3 개의포인터를적절히이용하여제자리 (in place) 에서문제를해결 typedef struct listnode *listpointer; typedef struct listnode { char data; listpointer link; ; 2 체인연산 체인을역순으로만드는

More information

How we create value? 안전경영 조직 및 시스템 강화 위원장 위원 간사 CEO 전략사장, CFO, 인사지원실장, 사업부장, 사업장장 안전환경인프라팀장 삼성SDI는 안전사고의 위험성에 대비하고 안전한 근무환경을 조성하기 위해 전담부서 개 편과 업무 관리범위

How we create value? 안전경영 조직 및 시스템 강화 위원장 위원 간사 CEO 전략사장, CFO, 인사지원실장, 사업부장, 사업장장 안전환경인프라팀장 삼성SDI는 안전사고의 위험성에 대비하고 안전한 근무환경을 조성하기 위해 전담부서 개 편과 업무 관리범위 38 39 MATERIAL ISSUES SAMSUNG SDI SUSTAINABILITY REPORT 2014 안전한 사업장과 환경 가치 창출 안전환경 경영방침 안전환경보건 관계법령, 국제기준 및 협약을 준수함은 물론 보다 강화 된 내부 기준을 설정하고 법규 누락, 위반사항이 없도록 상시 모니터링 한다. 준법 및 책임 경영 임직원, 고객, 주주, 협력회사, 제휴

More information

알람음을 출력하는 이동통신 단말기에 있어서, 실시간 알람음을 출력하는 음향 출력 수단; 디지털 멀티미디어 방송(DMB: Digital Multimedia Broadcasting, 이하 'DMB'라 칭함) 신호를 수신하면 오디오 형태로 변 환하여 DMB의 음향을 전달하는

알람음을 출력하는 이동통신 단말기에 있어서, 실시간 알람음을 출력하는 음향 출력 수단; 디지털 멀티미디어 방송(DMB: Digital Multimedia Broadcasting, 이하 'DMB'라 칭함) 신호를 수신하면 오디오 형태로 변 환하여 DMB의 음향을 전달하는 (19)대한민국특허청(KR) (12) 공개특허공보(A) (51) Int. Cl. H04N 5/44 (2006.01) H04N 7/08 (2006.01) (11) 공개번호 (43) 공개일자 10-2007-0071942 2007년07월04일 (21) 출원번호 10-2005-0135804 (22) 출원일자 2005년12월30일 심사청구일자 없음 (71) 출원인 주식회사

More information