PL10

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

λx.x (λz.λx.x z) (λx.x)(λz.(λx.x)z) (λz.(λx.x) z) Call-by Name. Normal Order. (λz.z)

λx.x (λz.λx.x z) (λx.x)(λz.(λx.x)z) (λz.(λx.x) z) Call-by Name. Normal Order. (λz.z) λx.x (λz.λx.x z) (λx.x)(λz.(λx.x)z) (λz.(λx.x) z) Call-by Name. Normal Order. (λz.z) Simple Type System - - 1+malloc(), {x:=1,y:=2}+2,... (stuck) { } { } ADD σ,m e 1 n 1,M σ,m e 1 σ,m e 2 n 2,M + e 2 n

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 @ Lesson 3 if, if else, if else if, switch case for, while, do while break, continue : System.in, args, JOptionPane for (,, ) @ vs. logic data method variable Data Data Flow (Type), ( ) @ Member field

More information

C프로-3장c03逞풚

C프로-3장c03逞풚 C h a p t e r 03 C++ 3 1 9 4 3 break continue 2 110 if if else if else switch 1 if if if 3 1 1 if 2 2 3 if if 1 2 111 01 #include 02 using namespace std; 03 void main( ) 04 { 05 int x; 06 07

More information

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

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 @ Lesson 2... ( ). ( ). @ vs. logic data method variable behavior attribute method field Flow (Type), ( ) member @ () : C program Method A ( ) Method B ( ) Method C () program : Java, C++, C# data @ Program

More information

여행기

여행기 POPL/VMCAI 2013 ROME, ITALY 2013.01.20-2013.01.26 POPL 2013. 40 POPL VMCAI, PADL, PEPM... 1. POPL,. VMCAI(International Conference on Verification, Model Checking, and Abstract Interpretation), PADL(International

More information

Semantic Consistency in Information Exchange

Semantic Consistency in Information Exchange 제 3 장시맨틱스 (Semantics) Reading Chap 13 숙대창병모 1 시맨틱스의필요성 프로그램의미의정확한이해 소프트웨어의정확한명세 소프트웨어시스템에대한검증혹은추론 컴파일러혹은해석기작성의기초 숙대창병모 2 3.1 Operational Semantics 숙대창병모 3 의미론의종류 Operational Semantics 프로그램의동작과정을정의 Denotational

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

Microsoft PowerPoint - semantics

Microsoft PowerPoint - semantics 제 3 장시맨틱스 (Semantics) Reading Chap 13 숙대창병모 Sep. 2007 1 3.1 Operational Semantics 숙대창병모 Sep. 2007 2 시맨틱스의필요성 프로그램의미의정확한이해 소프트웨어의정확한명세 소프트웨어시스템에대한검증혹은추론 컴파일러혹은해석기작성의기초 숙대창병모 Sep. 2007 3 의미론의종류 Operational

More information

歯처리.PDF

歯처리.PDF E06 (Exception) 1 (Report) : { $I- } { I/O } Assign(InFile, InputName); Reset(InFile); { $I+ } { I/O } if IOResult 0 then { }; (Exception) 2 2 (Settling State) Post OnValidate BeforePost Post Settling

More information

03장.스택.key

03장.스택.key ---------------- DATA STRUCTURES USING C ---------------- 03CHAPTER 1 ? (stack): (LIFO:Last-In First-Out) 2 : top : ( index -1 ),,, 3 : ( ) ( ) -> ->. ->.... 4 Stack ADT : (LIFO) : init():. is_empty():

More information

Microsoft PowerPoint - CHAP-03 [호환 모드]

Microsoft PowerPoint - CHAP-03 [호환 모드] 컴퓨터구성 Lecture Series #4 Chapter 3: Data Representation Spring, 2013 컴퓨터구성 : Spring, 2013: No. 4-1 Data Types Introduction This chapter presents data types used in computers for representing diverse numbers

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

Frama-C/JESSIS 사용법 소개

Frama-C/JESSIS 사용법 소개 Frama-C 프로그램검증시스템소개 박종현 @ POSTECH PL Frama-C? C 프로그램대상정적분석도구 플러그인구조 JESSIE Wp Aorai Frama-C 커널 2 ROSAEC 2011 동계워크샵 @ 통영 JESSIE? Frama-C 연역검증플러그인 프로그램분석 검증조건추출 증명 Hoare 논리에기초한프로그램검증도구 사용법 $ frama-c jessie

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

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

slide2

slide2 Program P ::= CL CommandList CL ::= C C ; CL Command C ::= L = E while E : CL end print L Expression E ::= N ( E + E ) L &L LefthandSide L ::= I *L Variable I ::= Numeral N ::=

More information

HW5 Exercise 1 (60pts) M interpreter with a simple type system M. M. M.., M (simple type system). M, M. M., M.

HW5 Exercise 1 (60pts) M interpreter with a simple type system M. M. M.., M (simple type system). M, M. M., M. 오늘할것 5 6 HW5 Exercise 1 (60pts) M interpreter with a simple type system M. M. M.., M (simple type system). M, M. M., M. Review: 5-2 7 7 17 5 4 3 4 OR 0 2 1 2 ~20 ~40 ~60 ~80 ~100 M 언어 e ::= const constant

More information

SIGPLwinterschool2012

SIGPLwinterschool2012 1994 1992 2001 2008 2002 Semantics Engineering with PLT Redex Matthias Felleisen, Robert Bruce Findler and Matthew Flatt 2009 Text David A. Schmidt EXPRESSION E ::= N ( E1 O E2 ) OPERATOR O ::=

More information

Chap 6: Graphs

Chap 6: Graphs 그래프표현법 인접행렬 (Adjacency Matrix) 인접리스트 (Adjacency List) 인접다중리스트 (Adjacency Multilist) 6 장. 그래프 (Page ) 인접행렬 (Adjacency Matrix) n 개의 vertex 를갖는그래프 G 의인접행렬의구성 A[n][n] (u, v) E(G) 이면, A[u][v] = Otherwise, A[u][v]

More information

2017 년 6 월한국소프트웨어감정평가학회논문지제 13 권제 1 호 Abstract

2017 년 6 월한국소프트웨어감정평가학회논문지제 13 권제 1 호 Abstract 2017 년 6 월한국소프트웨어감정평가학회논문지제 13 권제 1 호 Abstract - 31 - 소스코드유사도측정도구의성능에관한비교연구 1. 서론 1) Revulytics, Top 20 Countries for Software Piracy and Licence Misuse (2017), March 21, 2017. www.revulytics.com/blog/top-20-countries-software

More information

<BFEFBBEA20BDBAC5E4B8AE20C5DAB8B52DBEC6B9F6C1F6BFCD20B1CDBDC5B0EDB7A12E687770>

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

More information

歯엑셀모델링

歯엑셀모델링 I II II III III I VBA Understanding Excel VBA - 'VB & VBA In a Nutshell' by Paul Lomax, October,1998 To enter code: Tools/Macro/visual basic editor At editor: Insert/Module Type code, then compile by:

More information

chap01_time_complexity.key

chap01_time_complexity.key 1 : (resource),,, 2 (time complexity),,, (worst-case analysis) (average-case analysis) 3 (Asymptotic) n growth rate Θ-, Ο- ( ) 4 : n data, n/2. int sample( int data[], int n ) { int k = n/2 ; return data[k]

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

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

Mango220 Android How to compile and Transfer image to Target

Mango220 Android How to compile and Transfer image to Target Mango220 Android How to compile and Transfer image to Target http://www.mangoboard.com/ http://cafe.naver.com/embeddedcrazyboys Crazy Embedded Laboratory www.mangoboard.com cafe.naver.com/embeddedcrazyboys

More information

<B1E2C8B9BEC828BFCFBCBAC1F7C0FC29322E687770>

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

More information

<5B313132385D32303039B3E220C1A634B1C720C1A632C8A320B3EDB9AEC1F628C3D6C1BE292E687770>

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

More information

삼성955_965_09

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

More information

Microsoft PowerPoint - lec3.ppt

Microsoft PowerPoint - lec3.ppt 2008 학년도 1 학기 상지대학교컴퓨터정보공학부 고광만 강의내용 연산자 (operator) 연산자종류연산자우선순위자료형변환 문장 (statement) 배정문 혼합문 제어문조건문, 반복문, 분기문 표준입출력 2 연산자 식 (expression) 의의미를결정 식은연산자 (operator) 와피연자 (operand) 로구성식의값에따라산술식, 관계식, 논리식으로구분

More information

<B9CCB5F0BEEEB0E6C1A6BFCDB9AEC8AD5F31322D32C8A35FBABBB9AE5FC3CAC6C731BCE25F6F6B5F32303134303531362E687770>

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

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

Microsoft PowerPoint - ch03ysk2012.ppt [호환 모드]

Microsoft PowerPoint - ch03ysk2012.ppt [호환 모드] 전자회로 Ch3 iode Models and Circuits 김영석 충북대학교전자정보대학 2012.3.1 Email: kimys@cbu.ac.kr k Ch3-1 Ch3 iode Models and Circuits 3.1 Ideal iode 3.2 PN Junction as a iode 3.4 Large Signal and Small-Signal Operation

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

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

DBPIA-NURIMEDIA

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

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

목차 설교자를 위한 전문 잡지 설교와 소통 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

歯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

OCaml

OCaml OCaml 2009.. (khheo@ropas.snu.ac.kr) 1 ML 2 ML OCaml INRIA, France SML Bell lab. & Princeton, USA nml SNU/KAIST, KOREA 3 4 (let) (* ex1.ml *) let a = 10 let add x y = x + y (* ex2.ml *) let sumofsquare

More information

Polly_with_Serverless_HOL_hyouk

Polly_with_Serverless_HOL_hyouk { } "Version":"2012-10-17", "Statement":[ { "Effect":"Allow", "Action":[ "polly:synthesizespeech", "dynamodb:query", "dynamodb:scan", "dynamodb:putitem", "dynamodb:updateitem", "sns:publish", "s3:putobject",

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

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

#Ȳ¿ë¼®

#Ȳ¿ë¼® 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

untitled

untitled 3. hmks@dongguk.c.kr..,, Type 3 (N. Chomsky) RLG : A tb, A t LLG : A Bt, A t where, A,B V N nd t V T *. LLG RLG,. ) G : S R S c R Sb L(G) = { n cb n n } is cfl. () A grmmr is regulr if ech rule is i) A

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

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

<28C3D6C1BE3129C0DAC1D6C7D020C1F6B5B5BCAD28C3CAB5EEC7D0BBFDBFEB292E687770>

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

More information

¹Ìµå¹Ì3Â÷Àμâ

¹Ìµå¹Ì3Â÷Àμâ MIDME LOGISTICS Trusted Solutions for 02 CEO MESSAGE MIDME LOGISTICS CO., LTD. 01 Ceo Message We, MIDME LOGISTICS CO., LTD. has established to create aduance logistics service. Try to give confidence to

More information

DIY 챗봇 - LangCon

DIY 챗봇 - LangCon without Chatbot Builder & Deep Learning bage79@gmail.com Chatbot Builder (=Dialogue Manager),. We need different chatbot builders for various chatbot services. Chatbot builders can t call some external

More information

<313220BCD5BFB5B9CCC1B6BFF8C0CF2E687770>

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

More information

슬라이드 1

슬라이드 1 Pairwise Tool & Pairwise Test NuSRS 200511305 김성규 200511306 김성훈 200614164 김효석 200611124 유성배 200518036 곡진화 2 PICT Pairwise Tool - PICT Microsoft 의 Command-line 기반의 Free Software www.pairwise.org 에서다운로드후설치

More information

20, 41..,..,.,.,....,.,, (relevant).,.,..??.,

20, 41..,..,.,.,....,.,, (relevant).,.,..??., , 41 (2007 12 ) * 1) *** ***,. IMF..,,,.,,,,.. I.. 1999 (,.),,. 2010 *. ** *** 19 20, 41..,..,.,.,....,.,, (relevant).,.,..??., 21.....,. II. 1967 G. G. Muller International Accounting. 1960. 1970... 1966,,,.

More information

4장.문장

4장.문장 문장 1 배정문 혼합문 제어문 조건문반복문분기문 표준입출력 입출력 형식화된출력 [2/33] ANSI C 언어와유사 문장의종류 [3/33] 값을변수에저장하는데사용 형태 : < 변수 > = < 식 > ; remainder = dividend % divisor; i = j = k = 0; x *= y; 형변환 광역화 (widening) 형변환 : 컴파일러에의해자동적으로변환

More information

DBPIA-NURIMEDIA

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

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

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

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

Modern Javascript

Modern Javascript ES6 - Arrow Function Class Template String Destructuring Default, Rest, Spread let, const for..of Promises Module System Map, Set * Generator * Symbol * * https://babeljs.io/ Babel is a JavaScript compiler.

More information

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

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

More information

Y 1 Y β α β Independence p qp pq q if X and Y are independent then E(XY)=E(X)*E(Y) so Cov(X,Y) = 0 Covariance can be a measure of departure from independence q Conditional Probability if A and B are

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

chap 5: Trees

chap 5: Trees 5. Threaded Binary Tree 기본개념 n 개의노드를갖는이진트리에는 2n 개의링크가존재 2n 개의링크중에 n + 1 개의링크값은 null Null 링크를다른노드에대한포인터로대체 Threads Thread 의이용 ptr left_child = NULL 일경우, ptr left_child 를 ptr 의 inorder predecessor 를가리키도록변경

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

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

°í¼®ÁÖ Ãâ·Â

°í¼®ÁÖ Ãâ·Â Performance Optimization of SCTP in Wireless Internet Environments The existing works on Stream Control Transmission Protocol (SCTP) was focused on the fixed network environment. However, the number of

More information

Java ...

Java ... 컴퓨터언어 1 Java 제어문 조성일 조건문 : if, switch 어떠한조건을조사하여각기다른명령을실행 if 문, switch 문 if 문 if - else 문형식 if 문형식 if ( 조건식 ) { 명령문 1; 명령문 2;... if ( 조건식 ) { 명령문 1; 명령문 2;... else { 명령문 a; 명령문 b;... 예제 1 정수를입력받아짝수와홀수를판별하는프로그램을작성하시오.

More information

Chapter 4. LISTS

Chapter 4. LISTS 6. 동치관계 (Equivalence Relations) 동치관계 reflexive, symmetric, transitive 성질을만족 "equal to"(=) 관계는동치관계임. x = x x = y 이면 y = x x = y 이고 y = z 이면 x = z 동치관계를이용하여집합 S 를 동치클래스 로분할 동일한클래스내의원소 x, y 에대해서는 x y 관계성립

More information

2017.09 Vol.255 C O N T E N T S 02 06 26 58 63 78 99 104 116 120 122 M O N T H L Y P U B L I C F I N A N C E F O R U M 2 2017.9 3 4 2017.9 6 2017.9 7 8 2017.9 13 0 13 1,007 3 1,004 (100.0) (0.0) (100.0)

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

- i - - ii - - iii - - iv - - v - - vi - - 1 - - 2 - - 3 - 1) 통계청고시제 2010-150 호 (2010.7.6 개정, 2011.1.1 시행 ) - 4 - 요양급여의적용기준및방법에관한세부사항에따른골밀도검사기준 (2007 년 11 월 1 일시행 ) - 5 - - 6 - - 7 - - 8 - - 9 - - 10 -

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

,.,..,....,, Abstract The importance of integrated design which tries to i

,.,..,....,, Abstract The importance of integrated design which tries to i - - The Brand Touchpoint Analysis through Corporate Identity Typeface of Mobile Telecommunication Companies - Focusing on and - : Lee, Ka Young Dept. Lifestyle Design, Dankook University : Kim, Ji In Dept.

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

지능정보연구제 16 권제 1 호 2010 년 3 월 (pp.71~92),.,.,., Support Vector Machines,,., KOSPI200.,. * 지능정보연구제 16 권제 1 호 2010 년 3 월

지능정보연구제 16 권제 1 호 2010 년 3 월 (pp.71~92),.,.,., Support Vector Machines,,., KOSPI200.,. * 지능정보연구제 16 권제 1 호 2010 년 3 월 지능정보연구제 16 권제 1 호 2010 년 3 월 (pp.71~92),.,.,., Support Vector Machines,,., 2004 5 2009 12 KOSPI200.,. * 2009. 지능정보연구제 16 권제 1 호 2010 년 3 월 김선웅 안현철 社 1), 28 1, 2009, 4. 1. 지능정보연구제 16 권제 1 호 2010 년 3 월 Support

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

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

10주차.key

10주차.key 10, Process synchronization (concurrently) ( ) => critical section ( ) / =>, A, B / Race condition int counter; Process A { counter++; } Process B { counter ;.. } counter++ register1 = counter register1

More information

<32B1B3BDC32E687770>

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

More information

철학탐구 1. 들어가는말,. (pathos),,..,.,.,,. (ethos), (logos) (enthymema). 1).... 1,,... (pistis). 2) 1) G. A. Kennedy, Aristotle on Rhetoric, 1356a(New York :

철학탐구 1. 들어가는말,. (pathos),,..,.,.,,. (ethos), (logos) (enthymema). 1).... 1,,... (pistis). 2) 1) G. A. Kennedy, Aristotle on Rhetoric, 1356a(New York : 파토스가글쓰기와말하기에미치는영향 박삼열 *...,.......,..,... * 철학탐구 1. 들어가는말,. (pathos),,..,.,.,,. (ethos), (logos) (enthymema). 1).... 1,,... (pistis). 2) 1) G. A. Kennedy, Aristotle on Rhetoric, 1356a(New York : Oxford

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

....... 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

야쿠르트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

4 CD Construct Special Model VI 2 nd Order Model VI 2 Note: Hands-on 1, 2 RC 1 RLC mass-spring-damper 2 2 ζ ω n (rad/sec) 2 ( ζ < 1), 1 (ζ = 1), ( ) 1

4 CD Construct Special Model VI 2 nd Order Model VI 2 Note: Hands-on 1, 2 RC 1 RLC mass-spring-damper 2 2 ζ ω n (rad/sec) 2 ( ζ < 1), 1 (ζ = 1), ( ) 1 : LabVIEW Control Design, Simulation, & System Identification LabVIEW Control Design Toolkit, Simulation Module, System Identification Toolkit 2 (RLC Spring-Mass-Damper) Control Design toolkit LabVIEW

More information

- 2 -

- 2 - - 1 - - 2 - - 3 - - 4 - - 5 - - 6 - - 7 - - 8 - - 9 - - 10 - - 11 - - 12 - - 13 - - 14 - - 15 - - 16 - - 17 - - 18 - - 19 - - 20 - - 21 - - 22 - - 23 - - 24 - - 25 - - 26 - - 27 - - 28 - - 29 - - 30 -

More information

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

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

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

<30353132BFCFB7E15FC7D1B1B9C1A4BAB8B9FDC7D0C8B85F31352D31BCF6C1A4C8AEC0CE2E687770>

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

More information