Ch01 C 언어 기초

Size: px
Start display at page:

Download "Ch01 C 언어 기초"

Transcription

1 Ch01_ 지식기반지능형시스템개론

2 이장에서다룰내용 01_ 지능형기계가할수있는것 03_ 요약 2

3 01_ 지능형기계가할수있는것 지능 (intelligence) 이라는단어의의미 첫번째정의에따르면, 지능은인간에게있는성질. 두번째정의에따르면, 생각하고이해하는능력을갖춘것이사람인지사물인지명확하지않음. 생각 이라는단어의의미 (thinking) 생각을하려면인간이나사물에두뇌 즉, 지능이란 문제를풀고결정을내리기위해배우고이해하는능력 으로정의할수있음. 3

4 01_ 지능형기계가할수있는것 인공지능 (AI, artificial intelligence) 인공지능의탄생 컴퓨터가지능적일수있는지, 즉기계가생각을할수있는지에대한질문은인공지능의 암흑기 (dark ages) 에서시작. 인공지능이라는학문이추구하는바는인간이머리를써서해야할일을기계가하도록만드는것임 (Boden,1977). 인공지능에서는 기계가생각을할수있는지 에대한답이매우중요. 인공지능탄생의공헌자 : 알란튜링 (Alan Turing) 기계지능에관한초기의의미있는논문중하나인 Computing machinery and intelligence 을 50 년도이전에작성. 튜링의접근방식은오래전에나온것이긴하지만, 기나긴테스트를통과하여보편적인것이됨. 튜링은기계와생각의정의를내리지못했고, 튜링모방게임 (Turing imitation game) 을만듦으로써의미론적인논증을피함. 튜링모방게임 ( 파티에서흔히하는게임에서유래 ) 튜링은컴퓨터의지능적행동을인지작업에서인간수준의성능을낼수있는능력으로정의함. 즉, 질문자가질문에대한답변을보고답변자가인간인지기계인지구별하지못한다면컴퓨터는테스트를통과한것임. 튜링이제안한튜링모방게임은두단계로나뉨. 4

5 참고 앨런튜링 영국의수학자, 암호학자, 논리학자 컴퓨터과학에지대한공헌을했기때문에 ' 컴퓨터과학의아버지 튜링테스트와튜링기계의고안 5

6 01_ 지능형기계가할수있는것 인공지능 튜링모방게임의첫번째단계 질문자, 남자, 여자한명이각각독립된방에있고, 원격터미널과같은중립매체를통해서만통신할수있음. 질문자의목적은상대방에게질문하면서누가남자고누가여자인지알아내야함. 남자는자신이여자라고질문자를속이고여자는질문자에게자신이여자라는확신을심어주는것이게임의규칙임. 6

7 01_ 지능형기계가할수있는것 인공지능 튜링모방게임의두번째단계 두번째단계에서는남자대신질문자를속이도록프로그래밍한컴퓨터를둠. 사람이하는대로실수도하고애매한답변을하는것까지프로그래밍함. 만약컴퓨터가남자가했던것만큼질문자를자주속일수있다면이컴퓨터는지능행동테스트를통과한것임. 7

8 01_ 지능형기계가할수있는것 인공지능 튜링모방게임의특징 사람의물리적인특성은지능을판단할때중요한요소가아님. 튜링테스트에서질문자는컴퓨터를보거나만지거나듣지못하므로외양과소리에영향을받지않음. 질문자는컴퓨터가인간보다빠르게올바른해를제시할것을기대하면서인간과기계모두에게복잡한수학계산을하게할지모름. 그러므로컴퓨터는언제실수를할지, 언제답변을지연할지를알아야함. 질문자는인간의감정적인본성을찾으려컴퓨터와인간에게단편소설, 시, 심지어그림까지살펴보게할수있음. 이때컴퓨터는작품을감상하는인간의감정상태를흉내낼수있어야함. 튜링모방게임의의의 튜닝테스트는터미널을통해인간과기계사이의통신을유지하면서지능에관한객관적이고표준적인시각을제공. 이는지능이인간의본성이란논쟁을피하고인간에대한편견도모두없앰. 8

9 01_ 지능형기계가할수있는것 AI 의역사 암흑기 : AI의탄생 (1943년 ~ 1956년 ) 2 AI의융성 : 큰기대의시기 (1956년 ~ 1960) 3 이행되지않은약속 : 현실의직면 (1960년대후반 ~1970년대초반 ) 4 전문가시스템의기술 : 성공의열쇠 (1970년대초반 ~1980년대중반 ) 5 기계가학습하는법 : 신경망의재탄생 (1980년대중반 ~) 6 진화연산 : 탐색하면서배우기 (1970년대초반 ~) 7 지식공학의새로운시대 : 단어로계산하기 (1980년대후반 ~) 9

10 암흑기 : AI 의탄생 (1943 년 ~ 1956 년 ) 암흑기 의공헌자 워렌맥클록 (Warren McCulloch) 과월터피츠 (Walter Pitts) AI 분야로인정받은최초연구를소개. (1943년) AI의첫번째주요논문발표 - 뇌의뉴런모델 (model of neurons of brain) 인공신경망 (artificial neural networks) 모델을제안. (1943년) 인공신경망에서각뉴런은이진상태, 즉 on 또는 off 상태에있다고가정함. 계산이가능한함수라면뉴런이연결된모든망에서계산할수있음을증명. 클라우드섀넌 (Claude Shannon) 일반체스게임이 번의이동횟수를포함한다는점을지적하는체스게임기계에관한논문발표. (1950 년 ) 해를찾을때휴리스틱을사용해야한다는사실을증명. 존맥카시 (John McCarthy) 기계지능, 인공신경망, 오토마타이론에관심있는연구자를모아 Dartmouth 대학교에서여름워크샵열도록도움. (1956 년 ) Dartmouth 워크샵에서인공지능이라는새로운과학분야가탄생. 10

11 AI 의융성 : 큰기대의시기 (1956 년 ~ 1960) 초기 AI 는 엄청난열광, 근사한아이디어, 매우제한된성공 으로특징지을수있음. 반복적인수학계산을위해컴퓨터를도입했으나, 당시 AI 연구자는컴퓨터가그보다훨씬많은일을할수있음을보임. AI 의융성 의공헌자 존맥카시 (John McCarthy) 인공지능이라는용어를처음고안함 LISP 를정의함. Programs with Common Sense 논문에서세상의일반적인문제에대한해를찾는전문가의견청구자 (Advice Taker) 라는프로그램을제안함. 단순공리에기초한이프로그램으로공항에가는계획을생성하는방법을보여줌. 다시작성하지않고도다른분야에서새로운공리를사용할수있도록설계. 전문가의견청구자는지식표현및추론중심의원칙을통합하는첫번째완전한지식기반시스템. 11

12 AI 의융성 의공헌자 마빈민스키 (Minsky) 형식논리에초점을두었던맥카시와달리민스키는지식표현과추론에관한반논리적인사고방식을발전시킴. 프레임 (frame) 이론은지식공학에많은공헌을함. (1975) 프랭크로젠블랫 (Frank Rosenblatt) 학습알고리즘이퍼셉트론 (perceptron) 의연결강도를조정할수있다는것을보임. 퍼셉트론수렴이론 (perceptron convergence theorem) 을증명. 앨런뉴웰 (Allen Newell) 과허버트사이먼 (Herbert Simon) 인간의문제해결방식을모방하는범용프로그램 GPS(General Problem Solver) 을개발. GPS 는데이터와문제해결기법을구분한첫번째시도임. 방법 - 결과분석 (means-ends analysis) 이라는기법에기반을두고있음. GPS 프로젝트 뉴웰과사이먼이개발 (1961, 1972) GPS 는데이터와문제해결기법을구분한첫번째시도임. 12

13 GPS(General Problem Solver) 프로젝트 방법-결과분석 (means-ends analysis) 이라는기법에기반을둠. GPS는복잡한문제를푸는데실패함. 형식논리에기반을둔프로그램이사용가능한연산자를무한정생산함. 현실세계문제를푸는데필요한시간과메모리의양때문에진행이중단됨. AI 의융성 의의의 AI 연구자들은광범위한문제를풀기위한일반방법 (general methods) 을만들어서복잡한사고과정을모의함. 약한방법 (weak methods) 이라고도함. 문제영역에적합하지않은정보를사용했고이는개발한프로그램의성능을저하시켰음. AI 분야에매력을느낀위대한과학자들이지식표현, 학습알고리즘, 신경컴퓨팅, 단어계산과같은분야에새롭고중요한아이디어를제안함. 13

14 이행되지않은약속 : 현실의직면 (1960 년대후반 ~1970 년대초반 ) AI 연구자들의낙관과실패 AI 연구자들은 1950 년대중반부터 1980 년대까지는인간규모의기반지식을가진범용지능형기계를만들고, 2000 년에는인간의지능을넘어서게하겠다고약속함. 그러나 1970 년에이르러그런주장은너무낙관적이었다는사실을깨달음. AI 의프로그램의한계 몇몇 AI 프로그램이현실문제를간단하게만든장난감문제한두개에서일정수준의기계지능을보여줌. 하지만대부분의 AI 프로젝트는작업의범위를넓히거나더어려운실세계문제를다루지못함 년대후반에 AI 에관한주된어려움 AI 연구자는광범위한문제를해결할일반적인방법을개발하고있었기때문에초기프로그램에는특정문제영역에관한지식을거의포함하지못함. 문제를해결하기위해프로그램은해를발견할때까지작은단계들을여러조합으로만들어보는탐색전략을적용. 장난감문제 과같은작은문제에서잘동작. 그러나어렵고복잡한큰문제에서잘동작하지않음. 14

15 1960 년대후반에 AI 에관한주된어려움 AI 로풀려고한많은문제는범위가넓고풀기도어려움 초기 AI 작업은대개기계번역. 올바른단어를선택하려면주제를먼저이해해야한다는사실을알게됨. 그러나이는너무어려운과정이었음. AI 에대한지원중단 1966 년에미국정부의지원을받았던 AI 를이용한모든번역프로젝트취소 년에영국정부도 AI 연구에대한지원중단. 15

16 전문가시스템의기술 : 성공의열쇠 (1970 년대초반 ~1980 년대중반 ) 지능형기계에대한문제영역을충분히제한해야한다는사실을깨달음. 이전의 AI 연구자는일반적이며인간의문제풀이방법을흉내낸똑똑한탐색알고리즘과추론기법을만들수있다고믿음 ( 약한방법 ). 하지만, 약한방법은실패했고이를통해연구자들은전문지식이필요한전형적인영역으로문제를제한하고큰추론단계로해결해야실용적인결과를얻을수있다는것을깨달음. 전문가시스템의기술 시대의주요프로젝트 DENDRAL 프로젝트 질량스펙트럼을결정하는시스템. 파이겐바움, 뷰캐넌, 레더버그가만든 AI 시스템. 인간전문가의기술과경험, 의견을이용하여문제를해결. 전문가시스템 (expert systems) 이라고함. DENDRAL 프로젝트의중요성 AI 에서핵심적인 패러다임전환 을만듬. 범용으로쓰이는 ( 지식이빈약한 ) 약한방법에서특정분야의 ( 지식집중적인 ) 방법으로전환됨. 16

17 DENDRAL 프로젝트의중요성 인간전문가에게서이끌어낸양질의특수규칙형태로휴리스틱을사용하여컴퓨터가제한된문제영역에서전문가와같을수있음을보였음. 전문가시스템을만드는새로운방법론의기초개념인지식공학 (knowledge engineering) 을만듬. 프로젝트에는전문가의 노하우 를규칙으로얻고분석하여표현하는기법을담았음. MYCIN 프로젝트 전염성혈액질환을진단하는규칙기반전문가시스템. MYCIN 은관련분야에서인간전문가와동일한수준으로수행할수있었고, 경험이부족한의사보다오히려수준이높았음. 규칙의형태로통합된지식은추론메커니즘과분리함. 시스템개발자는일부규칙을추가하거나삭제함으로써시스템내의지식을쉽게다룰수있음. MYCIN 에통합된규칙은지식과관련된불확실성을반영함. ROSPECTOR 프로젝트 광물탐사전문가시스템. 프로젝트는 1974 년 ~1983 년동안수행되었으며, 전문가아홉명이자신의지식과의견을제공. 지식을표현하기위해규칙과의미망 (semantic network) 을결합한구조를사용. 17

18 프로젝트의특징 1970 년대후반에전문가시스템을성공적으로응용한사례가증가하면서연구소에머물러있던 AI 기술이상업적인환경으로성공적으로전이함. 이기간동안대부분의전문가시스템은강력한워크스테이션에기반을둔 LISP, PROLOG, OPS 와같은특별한 AI 언어로개발됨. 비싼하드웨어와복잡한프로그래밍언어가있어야한다는조건때문에전문가시스템개발은스탠포드대학교, MIT, 스탠포드연구소, 카네기멜론대학교의몇몇연구그룹에서이루어짐 년대개인용컴퓨터 (PC) 와사용하기쉬운전문가시스템개발툴 (shell) 이등장하고나서야모든분야의일반연구자와공학자가전문가시스템을개발할기회를얻음. 전문가시스템은어떤분야에서도성공할수있을까? 지식이서로다른분야에서상당히많은전문가시스템을성공적으로개발하고구현했지만, 이기술력을높이평가하는일은아직시기상조임. 전문가시스템의제약사항 전문가시스템의사용은매우한정된전문적기술분야로제한됨. 한정된분야때문에전문가시스템은사용자가원하는만큼신뢰할수없고유연하지도못함. 더욱이, 전문가시스템은분야의경계를인식하기어려움. 18

19 전문가시스템의제약사항 전문가시스템은제한적으로만설명할수있음. 해에도달하기위해적용했던일련의규칙을보여줄수는있지만, 누적된휴리스틱지식으로문제영역을더자세히이해하게할수는없음. 전문가시스템은결과를검증하고유효성을입증하기어려움. 1 세대전문가시스템은자신의경험을통해배울수있는능력이없음. 19

20 기계가학습하는법 : 신경망의재탄생 (1980 년대중반 ~) 1980 년대중반연구자, 공학자, 전문가는전문가시스템을만들기위해서는추론시스템혹은전문가시스템틀을구입해서그안에규칙을넣는것보다훨씬더많은작업을해야한다는사실을알게됨. AI 연구자들은새로운시각으로신경망을봄. 신경망의부활 1960 년대후반까지신경컴퓨팅에필요한대부분의기본아이디어와개념은이미공식화되었지만, 1980 년대중반에와서야겨우해법이나타남. 신경망분야는 1980 년대에컴퓨터기술이발전하고, 신경과학이진보하면서뇌같은정보처리과정이필요하여드라마같이부활함. 신경망부활 의공헌자 그로스버그가자기조직의 적응형공진 이론을세워, 신경망에대한기초를제공. 홉필드는피드백이있는신경망인 홉필드신경망 을제안. 코호넨이 자기조직맵 에관한논문을출판. 브라이슨과호가 역전파학습알고리즘 을재발견함. 20

21 진화연산 : 탐색하면서배우기 (1970 년대초반 ~) AI 의진화론적관점은자연선택과유전학계산모델에기반을둠. 진화연산 (evolutionarycomputation) 은해집단모의, 성능평가, 새로운해집단생성과정을반복함. 진화연산은유전알고리즘 (genetic algorithm), 진화전략 (evolutionary strategies), 유전프로그래밍 (genetic programming) 을결합함. 진화연산알고리즘 유전알고리즘 1970 년대초에존홀랜드 (John Holland) 가도입. 홀랜드가선택, 교차, 변이와같은유전적연산을사용하여인공적인 염색체 를다루는알고리즘을개발함. 스키마정리라는믿을수있는이론에기반을둠. 진화전략 1960 년대초에홀랜드의유전알고리즘과는별도로베를린공과대학교에재학중인잉고레켄베르그 (Ingo Rechenberg) 와한스 - 풀쉬베펠 (Hans-Paul Schwefel) 은새로운최적화방법으로진화전략을제안. 21

22 진화연산알고리즘 진화전략 돌연변이가발생하는것처럼매개변수에임의의변화를주는방법을제안함. 진화전략접근법은공학자의직관을대신할수있다. 진화전략은몬테카를로 (Monte Carlo) 탐색과유사하게수치적인최적화절차를수행함. 유전프로그래밍 프로그램을만들기위해학습하는유전모델을응용한예. 유전프로그래밍은어떤문제의코드표현을진화시키는것이아니라문제를해결하는컴퓨터코드를진화시키는것을목표로함. 유전프로그래밍은문제에대한답으로컴퓨터프로그램을생성함. 진화연산의의의 유전알고리즘은이전에풀리지않았던고도로복잡한비선형탐색및최적화문제에대해올바른해를제시함. 유전프로그래밍은구체적으로프로그래밍하지않고도컴퓨터가문제를풀게하는, 컴퓨터과학의주요도전과제에대한해법을제시. 유전알고리즘, 진화전략, 유전프로그래밍은 AI 에서빠르게성장하고있는영역이며발전가능성이무한함. 22

23 지식공학의새로운시대 : 단어로계산하기 (1980 년대후반 ~) 단어계산 의탄생배경 신경망기술의한계 신경망기술은심벌추론기반시스템보다실세계와자연스럽게상호작용을함. 신경망은배우고, 문제환경의변화에적응하고, 규칙이알려지지않은상황에서패턴을찾고, 분명하지않거나불완전한정보를다룸. 신경망은설명능력이부족하고블랙박스처럼동작과정을알수없음. 현재의기술로신경망을훈련하기까지시간이너무오래걸리고, 빈번한재훈련은심각한문제를유발할수있음. 전문가시스템의한계 고전적인전문가시스템은정확하게입력하고논리적으로출력하는닫힌시스템에적합. 규칙의형태로전문가지식을사용하고, 필요하다면특정사실을확립하기위해사용자와대화할수도있음. 전문가시스템의주요결점은인간전문가가자신의지식을규칙의형태로항상표현할수는없으며, 자신의추론과정을항상설명할수없다는점임. 이는전문가시스템이필요한지식을축적하는것을방해하여, 결과적으로실패하게만듬. 23

24 단어계산 의탄생배경 단어계산 의탄생 신경망기술과전문가시스템을보완하기위해탄생 단어계산 은불완전하다면지식을다루면서, 결론에대한설명. 모호하고부정확하며불확실한지식과데이터를다루는중요한기술중하나는퍼지논리 (fuzzy logic ) 임. 퍼지논리 퍼지논리의탄생배경 고전적인전문가시스템에서부정확함을다루는대부분의방법은확률개념에기반을둠. 전문가는보통확률값으로생각하지않고 종종, 일반적으로, 가끔, 자주, 드물게 와같은용어로생각함. 어렵고복잡한문제에대해전문가의이해를정확히반영하는형태로인간의지식을코드화하여적용하며, 전통적인전문가시스템의계산병목현상 (computational bottleneck) 을극복하기위해제안됨. 퍼지논리의특징 퍼지논리는단어의의미를얻고추론과결정을내리기위해퍼지값을사용함. 언어변수의값은숫자라기보다는단어임. 24

25 퍼지논리 퍼지논리의특징 전문가시스템과유사하게퍼지시스템은인간의지식을통합하기위해 IF-THEN 규칙을사용하지만, 이규칙은다음과같이분명하지않음. 퍼지논리의공헌자 : 로트피자데 (Lotfi Zadeh) 1965 년에퍼지논리혹은퍼지집합론 (fuzzy set theory) 을소개함. 퍼지논리의응용사례 1987 년이래로일본인이설계한식기세척기, 세탁기, 에어컨, 텔레비전, 복사기, 심지어자동차에성공적으로사용됨. 대부분의퍼지논리응용사례는제어공학분야에서등장함. 하지만퍼지제어시스템은지식을표현하는퍼지논리능력의일부만사용함. 25

26 지식기반결정지원시스템에서의퍼지논리모델응용이점 향상된계산능력 퍼지시스템은규칙개수가적어전문가시스템보다더빠르게계산을수행함. 퍼지전문가시스템은규칙을더강력하게만들면서규칙을통합함. 향상된인지모델링 퍼지시스템은복잡한문제에대한지식을인코딩할때전문가가생각하는방식을반영함. 퍼지전문가시스템은전문가가마음속으로생각하는방식과훨씬가까운의견을얻고, 부정확한정보를모델링하여문제에대한인지모델링을개선함. ( 기존형식으로규칙을만들려면전문가의견을조각내어용어의경계를정의해야함. 단편화는고도로복잡한문제를다룰때품질낮은보통의전문가시스템으로만듬 ) 여러전문가의견을표현하는능력 전문가시스템은명확히정의된전문가의견이있는매우한정된분야에서사용함. 이때문에시스템의성능은올바른전문가의선택에의존함. 퍼지전문가시스템은반대의견이있을때여러전문가가의견을표현할수있도록도울수있음. 26

27 퍼지시스템의한계 퍼지시스템이전문가지식을자연스럽게표현한다고해도여전히전문가에게얻은규칙에의존함. 전문가의지식에따라시스템성능이달라짐. 어떤전문가는매우똑똑한퍼지규칙을제공할수있지만, 어떤전문가는단지추측만하고심지어잘못된규칙을제시할수도있음. 그러므로모든규칙을검사하고조율해야함. 27

28 03_ 요약 지식기반지능형시스템개론요약 지능은배우고이해하며문제를풀고결정을내리는능력임. AI( 인공지능 ) 이란, 인간의지능이필요한작업을기계도할수있게만드는것을목표로하는과학임. 기계가특정인지작업에서인간수준의성과를낼수있으면지능이있다고생각할수있음. 지능적인기계를만들기위해서는특정문제영역에서전문가지식을획득하고구성하며사용할수있어야함. 보다지능적인기계를위해약한방법에서특정분야의지식집중적인방법으로 패러다임전환 이이루어졌음. 이는한정된문제영역에서인간전문가수준의성능을보이는 전문가시스템 을개발하기도함. 전문가시스템의특징 특정규칙의형태로인간의지식과경험을사용하고지식이분리되어있음. 자신의추론절차를설명할수있음. 전문가시스템은학습할수없고, 경험을통해자신을개선시킬수도없음. 전문가시스템은개별적으로구축되고, 개발하는데많은노력이필요함. 28

29 03_ 요약 지식기반지능형시스템개론요약 지능형기계를만들때, 즉지식공학에서겪는주된어려움중하나는전문가에게지식을얻어내는작업인 지식획득병목현상 임. 생물학적신경망에서영감을얻은인공신경망 (ANN) 은과거의경험에서학습하고, 자동적으로규칙을생성해서지식을습득하여, 이를확인하고수정하는과정을피할수있음. 퍼지논리 ( 퍼지집합론 ) 은단어로계산하는수단을제공. 단어의의미, 인간의추론, 결정을알수있는퍼지값을사용하는데집중하고전통적인전문가시스템의계산적부담을해결하는방법을제공. 29

30 03_ 요약 AI 와지식공학의주요사건 30

31 03_ 요약 AI 와지식공학의주요사건 31

32 03_ 요약 AI 와지식공학의주요사건 32

33

Introduction to Deep learning

Introduction to Deep learning Introduction to Deep learning Youngpyo Ryu 동국대학교수학과대학원응용수학석사재학 youngpyoryu@dongguk.edu 2018 년 6 월 30 일 Youngpyo Ryu (Dongguk Univ) 2018 Daegu University Bigdata Camp 2018 년 6 월 30 일 1 / 66 Overview 1 Neuron

More information

Ch 1 머신러닝 개요.pptx

Ch 1 머신러닝 개요.pptx Chapter 1. < > :,, 2017. Slides Prepared by,, Biointelligence Laboratory School of Computer Science and Engineering Seoul National University 1.1 3 1.2... 7 1.3 10 1.4 16 1.5 35 2 1 1.1 n,, n n Artificial

More information

제2강 생각하는 기계

제2강 생각하는 기계 제 2 강 생각하는기계 < 인공지능입문 > 강의노트 장병탁서울대학교컴퓨터공학부 & 인지과학 / 뇌과학협동과정 http://bi.snu.ac.kr/~btzhang/ Version: 20180312=> 20180313 목차 튜링테스트...... 3 중국어방논증........... 7 강인공지능과약인공지능..... 8 특이점....... 10 의식의문제와인공지능........

More information

핵 심 교 양 1 학년 2 학년 3 학년합계 문학과예술 역사와철학 사회와이념 선택 교양학점계 학년 2 학년 3 학년합계비고 14 (15) 13 (

핵 심 교 양 1 학년 2 학년 3 학년합계 문학과예술 역사와철학 사회와이념 선택 교양학점계 학년 2 학년 3 학년합계비고 14 (15) 13 ( 1 학년 2 학년 3 학년 합계 6 5 11 5 5 16 문학과예술 핵 심 교 역사와철학 사회와이념 3 3 3 양 3 3 3 3 3 3 선택 4 4 1 1 3 3 6 11 교양학점계 12 12 24 5 1 6 3 3 6 36 ㆍ제 2 외국어이수규정 이수규정 또는 영역에서 과목 학점 이수하고 수량적석과추론 과학적사고와실험 에서 과목 학점 이수해도됨 외국어및고전어

More information

04 Çмú_±â¼ú±â»ç

04 Çмú_±â¼ú±â»ç 42 s p x f p (x) f (x) VOL. 46 NO. 12 2013. 12 43 p j (x) r j n c f max f min v max, j j c j (x) j f (x) v j (x) f (x) v(x) f d (x) f (x) f (x) v(x) v(x) r f 44 r f X(x) Y (x) (x, y) (x, y) f (x, y) VOL.

More information

제1강 인공지능 개념과 역사

제1강 인공지능 개념과 역사 인공지능개념과역사 < 인공지능입문 > 강의노트 장병탁서울대학교컴퓨터공학부 & 인지과학 / 뇌과학협동과정 http://bi.snu.ac.kr/~btzhang/ Version: 20180302 목차 인공지능의개념........ 3 연구분야............ 4 역사...... 6 패러다임........ 7 응용사례.......... 8 Reading Assignments.........

More information

3. 다음은카르노맵의표이다. 논리식을간략화한것은? < 나 > 4. 다음카르노맵을간략화시킨결과는? < >

3. 다음은카르노맵의표이다. 논리식을간략화한것은? < 나 > 4. 다음카르노맵을간략화시킨결과는? < > . 변수의수 ( 數 ) 가 3 이라면카르노맵에서몇개의칸이요구되는가? 2칸 나 4칸 다 6칸 8칸 < > 2. 다음진리표의카르노맵을작성한것중옳은것은? < 나 > 다 나 입력출력 Y - 2 - 3. 다음은카르노맵의표이다. 논리식을간략화한것은? < 나 > 4. 다음카르노맵을간략화시킨결과는? < > 2 2 2 2 2 2 2-3 - 5. 다음진리표를간략히한결과

More information

C# Programming Guide - Types

C# Programming Guide - Types C# Programming Guide - Types 최도경 lifeisforu@wemade.com 이문서는 MSDN 의 Types 를요약하고보충한것입니다. http://msdn.microsoft.com/enus/library/ms173104(v=vs.100).aspx Types, Variables, and Values C# 은 type 에민감한언어이다. 모든

More information

융합WEEKTIP data_up

융합WEEKTIP data_up 2016 MAY vol.19 19 융합 인지과학 연구동향 이아름 융합연구정책센터 발행일 2016. 05. 09. 발행처 융합정책연구센터 융합 2016 MAY vol.19 인지과학 연구동향 이아름 융합연구정책센터 선정 배경 최근 구글의 인공지능 프로그램인 알파고가 이세돌 9단과의 바둑대결에서 압승을 거둔 이후 전세계적으로 인공지능에 대한 관심이 증대 - 인간

More information

이 장에서 사용되는 MATLAB 명령어들은 비교적 복잡하므로 MATLAB 창에서 명령어를 직접 입력하지 않고 확장자가 m 인 text 파일을 작성하여 실행을 한다

이 장에서 사용되는 MATLAB 명령어들은 비교적 복잡하므로 MATLAB 창에서 명령어를 직접 입력하지 않고 확장자가 m 인 text 파일을 작성하여 실행을 한다 이장에서사용되는 MATLAB 명령어들은비교적복잡하므로 MATLAB 창에서명령어를직접입력하지않고확장자가 m 인 text 파일을작성하여실행을한다. 즉, test.m 과같은 text 파일을만들어서 MATLAB 프로그램을작성한후실행을한다. 이와같이하면길고복잡한 MATLAB 프로그램을작성하여실행할수있고, 오류가발생하거나수정이필요한경우손쉽게수정하여실행할수있는장점이있으며,

More information

1-1-basic-43p

1-1-basic-43p A Basic Introduction to Artificial Neural Network (ANN) 도대체인공신경망이란무엇인가? INDEX. Introduction to Artificial neural networks 2. Perceptron 3. Backpropagation Neural Network 4. Hopfield memory 5. Self Organizing

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

<4D F736F F F696E74202D D3120C0CEB0F8C1F6B4C9BCD2B0B3205BC0D0B1E220C0FCBFEB5D>

<4D F736F F F696E74202D D3120C0CEB0F8C1F6B4C9BCD2B0B3205BC0D0B1E220C0FCBFEB5D> 인공지능의소개 충북대학교소프트웨어학과이건명 인공지능 인공지능의역사 요소기술분야 주요응용분야 최근동향 인공지능의윤리 인공지능의특이점 충북대인공지능 1 1. 인공지능 Images : google.com, movie posters 1. 인공지능 지능 ( 知能, intelligence) 본능적이나자동적으로행동하는대신에, 생각하고이해하여행동하는능력 인공지능 ( 人工知能,

More information

정을기호체계로모델화한것인데, 문제를해결하는인간마음의작용과컴퓨터가기호조작에의해프로그램을처리하는과정이유사하다는생각에근거한것이다. 하지만이런방식으로지능을프로그래밍하는작업은상식을추론하는일이나언어이해능력과같은지능의보편적인기능을실현할수없었다. 이후프로그램에의한지능의실현은결국프로그

정을기호체계로모델화한것인데, 문제를해결하는인간마음의작용과컴퓨터가기호조작에의해프로그램을처리하는과정이유사하다는생각에근거한것이다. 하지만이런방식으로지능을프로그래밍하는작업은상식을추론하는일이나언어이해능력과같은지능의보편적인기능을실현할수없었다. 이후프로그램에의한지능의실현은결국프로그 특집인지과학 인간감성충족시키는생각하는기계 컴퓨터와함께디자인하는나만의패션 글 조성배 연세대학교컴퓨터과학과교수 sbcho@csai.yonsei.ac.kr 인공적인지능을갖는기계가사람이해야하는복잡한문제들을알아서해결해주고인간수준의감성을보유한다면얼마나편리할까. 이정도의능력은아니더라도이미지능적으로밥을지어주는인공지능밥솥이나, 빨래의양이나더러워진정도를스스로알아내효과적으로빨아주는퍼지세탁기를통해인공지능은이미우리생활깊숙한곳까지침투해있다.

More information

[NO_11] 의과대학 소식지_OK(P)

[NO_11] 의과대학 소식지_OK(P) 진 의학 지식과 매칭이 되어, 인류의 의학지식의 수준을 높 여가는 것이다. 하지만 딥러닝은 블랙박스와 같은 속성을 가지고 있어서, 우리는 단지 결과만을 알 수 있기 때문에 이런 식의 의학지 식의 확장으로 이어지기는 힘들 수 있다는 것을 의미한다. 이것은 실제로 의학에서는 인공지능을 사용하게 될 때 여러 가지 문제를 만들 수 있다. 뿐만 아니라, 인간이 이해

More information

(2) 다중상태모형 (Hyunoo Shim) 1 / 2 (Coninuous-ime Markov Model) ➀ 전이가일어나는시점이산시간 : = 1, 2,, 4,... [ 연속시간 : 아무때나, T 1, T 2... * 그림 (2) 다중상태모형 ➁ 계산과정 이산시간 : 전이력 (force of ransiion) 정의안됨 전이확률 (ransiion probabiliy)

More information

핵 1 학년 2 학년 3 학년합계 문학과예술 역사와철학 사회와이념 선택 학점계 학년 2 학년 3 학년합계비고 14 (15) 13 (14) 27 (29) 2

핵 1 학년 2 학년 3 학년합계 문학과예술 역사와철학 사회와이념 선택 학점계 학년 2 학년 3 학년합계비고 14 (15) 13 (14) 27 (29) 2 1 학년 2 학년 3 학년 합계 6 5 11 5 5 16 문학과예술 핵 역사와철학 사회와이념 선택 4 4 1 1 3 3 6 11 학점계 12 12 24 5 1 6 3 3 6 36 ㆍ제 2 외국어이수규정 이수규정 또는 영역에서 과목 학점 이수하고 수량적석과추론 과학적사고와실험 에서 과목 학점 이수해도됨 외국어및고전어 중급이상외국어및고전어과목명 핵 1 학년 2

More information

문제여섯사람이일곱개의발판위에있다. 빈발판을중심으로세사람은왼쪽에서가운데를보고서있고, 다른세사람은오른쪽에서가운데를보고서있다. Figure: 양창모 ( 청주교육대학교컴퓨터교육과 ) Problems and Algorithms 2015 년여름 1 / 35 목표왼쪽에서있던세사람을오른쪽으로, 오른쪽에서있던사람을왼쪽으로이동한다. 가운데발판은여전히비어있어야한다. 최소의움직임으로목표를달성하도록한다.

More information

소성해석

소성해석 3 강유한요소법 3 강목차 3. 미분방정식의근사해법-Ritz법 3. 미분방정식의근사해법 가중오차법 3.3 유한요소법개념 3.4 편미분방정식의유한요소법 . CAD 전처리프로그램 (Preprocessor) DXF, STL 파일 입력데이타 유한요소솔버 (Finite Element Solver) 자연법칙지배방정식유한요소방정식파생변수의계산 질량보존법칙 연속방정식 뉴톤의운동법칙평형방정식대수방정식

More information

1 경영학을 위한 수학 Final Exam 2015/12/12(토) 13:00-15:00 풀이과정을 모두 명시하시오. 정리를 사용할 경우 명시하시오. 1. (각 6점) 다음 적분을 구하시오 Z 1 4 Z 1 (x + 1) dx (a) 1 (x 1)4 dx 1 Solut

1 경영학을 위한 수학 Final Exam 2015/12/12(토) 13:00-15:00 풀이과정을 모두 명시하시오. 정리를 사용할 경우 명시하시오. 1. (각 6점) 다음 적분을 구하시오 Z 1 4 Z 1 (x + 1) dx (a) 1 (x 1)4 dx 1 Solut 경영학을 위한 수학 Fial Eam 5//(토) :-5: 풀이과정을 모두 명시하시오. 정리를 사용할 경우 명시하시오.. (각 6점) 다음 적분을 구하시오 4 ( ) (a) ( )4 8 8 (b) d이 성립한다. d C C log log (c) 이다. 양변에 적분을 취하면 log C (d) 라 하자. 그러면 d 4이다. 9 9 4 / si (e) cos si

More information

학점배분구조표(표 1-20)

학점배분구조표(표 1-20) 1 학년 2 학년 3 학년합 1 2 1 2 1 2 학문의기초 6 6 12 3 3 15 핵문학과예술 3 3 3 심역사와철학 교 양 자연의이해 3 3 3 선택 3 3 3 3 3 3 6 12 교양학점 12 12 24 3 3 6 3 3 6 36 1 학년 2 학년 3 학년합 1 2 1 2 1 2 학문의기초 3 3 6 6 핵 문학과예술 심 역사와철학 3 3 6 6 교

More information

PowerPoint Presentation

PowerPoint Presentation Computer Science Suan Lee - Computer Science - 01 컴퓨터의개요 1 01 컴퓨터의개요 - Computer Science - 01 컴퓨터의개요 2 목차 1. 컴퓨터의발전과역사 2. 컴퓨터의구성 3. 컴퓨터의활용분야 - Computer Science - 01 컴퓨터의개요 3 미국산호세의컴퓨터역사박물관 - Computer Science

More information

Microsoft Word - PLC제어응용-2차시.doc

Microsoft Word - PLC제어응용-2차시.doc 과정명 PLC 제어응용차시명 2 차시. 접점명령 학습목표 1. 연산개시명령 (LOAD, LOAD NOT) 에대하여설명할수있다. 2. 직렬접속명령 (AND, AND NOT) 에대하여설명할수있다. 3. 병렬접속명령 (OR, OR NOT) 에대하여설명할수있다. 4.PLC의접점명령을가지고간단한프로그램을작성할수있다. 학습내용 1. 연산개시명령 1) 연산개시명령 (LOAD,

More information

CR2006-41.hwp

CR2006-41.hwp 연구책임자 가나다 순 머 리 말 2006년 12월 한국교육학술정보원 원장 - i - - ii - - iii - 평가 영역 1. 교육계획 2. 수업 3. 인적자원 4. 물적자원 5. 경영과 행정 6. 교육성과 평가 부문 부문 배점 비율(%) 점수(점) 영역 배점 1.1 교육목표 3 15 45점 1.2 교육과정 6 30 (9%) 2.1 수업설계 6 30 2.2

More information

Microsoft PowerPoint - chap06-2pointer.ppt

Microsoft PowerPoint - chap06-2pointer.ppt 2010-1 학기프로그래밍입문 (1) chapter 06-2 참고자료 포인터 박종혁 Tel: 970-6702 Email: jhpark1@snut.ac.kr 한빛미디어 출처 : 뇌를자극하는 C프로그래밍, 한빛미디어 -1- 포인터의정의와사용 변수를선언하는것은메모리에기억공간을할당하는것이며할당된이후에는변수명으로그기억공간을사용한다. 할당된기억공간을사용하는방법에는변수명외에메모리의실제주소값을사용하는것이다.

More information

<C7C1B8AEB9CCBEF6B8AEC6F7C6AE2031362D3032C8A3202DBECBC6C4B0ED2DC3D6C1BEC0CEBCE2BFEBC6C4C0CF402E687770>

<C7C1B8AEB9CCBEF6B8AEC6F7C6AE2031362D3032C8A3202DBECBC6C4B0ED2DC3D6C1BEC0CEBCE2BFEBC6C4C0CF402E687770> ISSN 2233-6583 16-02 2016. 6. 20 알파고의 충격 : 인공지능의 가능성과 한계 최 계 영 정보통신정책연구원 선임연구위원 요약문 1. 인공지능 개요 4 2. 알파고를 통해 인공지능 혁신 이해하기 3. 인공지능의 가능성과 한계 4. 정책적 시사점 [참고문헌] 12 13 18 22 알파고의 충격 : 인공지능의 가능성과 한계 최 계 영 정보통신정책연구원

More information

Windows 8에서 BioStar 1 설치하기

Windows 8에서 BioStar 1 설치하기 / 콘텐츠 테이블... PC에 BioStar 1 설치 방법... Microsoft SQL Server 2012 Express 설치하기... Running SQL 2012 Express Studio... DBSetup.exe 설정하기... BioStar 서버와 클라이언트 시작하기... 1 1 2 2 6 7 1/11 BioStar 1, Windows 8 BioStar

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

SNU =10100 =minusby by1000 ÇÁto0.03exÇÁto0.03exÇÁ=10100 =minusby by1000 ·Îto0.03ex·Îto0.03ex·Î=10100 =minusby by1000

SNU =10100 =minusby by1000 ÇÁto0.03exÇÁto0.03exÇÁ=10100 =minusby by1000 ·Îto0.03ex·Îto0.03ex·Î=10100 =minusby by1000 SNU 4190.210 프로그래밍 원리 (Principles of Programming) Part III Prof. Kwangkeun Yi 차례 1 값중심 vs 물건중심프로그래밍 (applicative vs imperative programming) 2 프로그램의이해 : 환경과메모리 (environment & memory) 다음 1 값중심 vs 물건중심프로그래밍

More information

untitled

untitled 시스템소프트웨어 : 운영체제, 컴파일러, 어셈블러, 링커, 로더, 프로그래밍도구등 소프트웨어 응용소프트웨어 : 워드프로세서, 스프레드쉬트, 그래픽프로그램, 미디어재생기등 1 n ( x + x +... + ) 1 2 x n 00001111 10111111 01000101 11111000 00001111 10111111 01001101 11111000

More information

1)2) 1

1)2) 1 1)2) 1 2 3 4 수업전활동 수업중활동 수업후활동 5 년도 / 학기 학수번호 교과목명 교강사명 개요 / 진행 6 7 8 9 인적사항응답자수 ( 명 ) 구성비인적사항응답자수 ( 명 ) 구성비 10 자체평가에따른잘한점 자체평가에따른아쉬운점 자체평가에따른잘한점 자체평가에따른아쉬운점 자체평가중잘한점 자체평가중미비점 자체평가중잘한점 자체평가중미비점 11 자체평가에따른잘한점

More information

SNU =10100 =minusby by1000 ÄÄto0.03exÄÄto0.03exÄÄ=10100 =minusby by1000 Ç»to0.03exÇ»to0.03exÇ»=10100 =minusby by1000 ÅÍto0.0

SNU =10100 =minusby by1000 ÄÄto0.03exÄÄto0.03exÄÄ=10100 =minusby by1000 Ç»to0.03exÇ»to0.03exÇ»=10100 =minusby by1000 ÅÍto0.0 차례 SNU 046.016 컴퓨터과학이여는 세계 (Computational Civilization) Part Prof. Kwangkeun Yi Department of Computer Science & Engineering 이전 다음 1 400년의 축적 2 그 도구의 실현 3 SW, 지혜로 짓는 세계 4 응용: 인간 지능/본능/현실의 확장 또다른 100여년의

More information

슬라이드 1

슬라이드 1 장연립방정식을 풀기위한반복법. 선형시스템 : Guss-Sedel. 비선형시스템 . 선형시스템 : Guss-Sedel (/0) 반복법은초기근을가정한후에더좋은근의값을추정하는체계적인절차를이용한다. G-S 방법은선형대수방정식을푸는반복법중에서 가장보편적으로사용되는방법이다. 개의방정식에서 인 ( 대각원소들이모두 0 이아닌 ) 경우를다루자. j j b j b j j j

More information

PowerPoint Presentation

PowerPoint Presentation 4 장. 신경망 들어가는말 신경망 1940년대개발 ( 디지털컴퓨터와탄생시기비슷 ) 인간지능에필적하는컴퓨터개발이목표 4.1 절 일반적관점에서간략히소개 4.2-4.3 절 패턴인식의분류알고리즘으로서구체적으로설명 4.2 절 : 선형분류기로서퍼셉트론 4.3 절 : 비선형분류기로서다층퍼셉트론 4.1.1 발상과전개 두줄기연구의시너지 컴퓨터과학 계산능력의획기적발전으로지능처리에대한욕구의학

More information

PowerPoint Presentation

PowerPoint Presentation 5 불대수 IT CookBook, 디지털논리회로 - 2 - 학습목표 기본논리식의표현방법을알아본다. 불대수의법칙을알아본다. 논리회로를논리식으로논리식을논리회로로표현하는방법을알아본다. 곱의합 (SOP) 과합의곱 (POS), 최소항 (minterm) 과최대항 (mxterm) 에대해알아본다. 01. 기본논리식의표현 02. 불대수법칙 03. 논리회로의논리식변환 04.

More information

<4D F736F F F696E74202D203137C0E55FBFACBDC0B9AEC1A6BCD6B7E7BCC72E707074>

<4D F736F F F696E74202D203137C0E55FBFACBDC0B9AEC1A6BCD6B7E7BCC72E707074> SIMATIC S7 Siemens AG 2004. All rights reserved. Date: 22.03.2006 File: PRO1_17E.1 차례... 2 심벌리스트... 3 Ch3 Ex2: 프로젝트생성...... 4 Ch3 Ex3: S7 프로그램삽입... 5 Ch3 Ex4: 표준라이브러리에서블록복사... 6 Ch4 Ex1: 실제구성을 PG 로업로드하고이름변경......

More information

06 지식과 인공지능 (2)

06 지식과 인공지능 (2) 6 강 지식과인공지능 (2) 컴퓨터과학과이병래교수 Copyright c 2012 한국방송통신대학교 All Rights Reserved. 시맨틱네트를이용한지식표현 프레임을이용한지식표현 전문가시스템 제 6 강지식과인공지능 (2) 1 시맨틱네트를이용한지식표현 시맨틱네트 지식사이의관계를표현 노드와아크를이용하여방향성그래프로표현 객체, 개념, 사건등 노드 1 노드 2

More information

*074-081pb61۲õðÀÚÀ̳ʸ

*074-081pb61۲õðÀÚÀ̳ʸ 74 October 2005 현 대는 이미지의 시대다. 영국의 미술비평가 존 버거는 이미지를 새롭 게 만들어진, 또는 재생산된 시각 으로 정의한 바 있다. 이 정의에 따르 면, 이미지는 사물 그 자체가 아니라는 것이다. 이미지는 보는 사람의, 혹은 이미지를 창조하는 사람의 믿음이나 지식에 제한을 받는다. 이미지는 언어, 혹은 문자에 선행한다. 그래서 혹자는

More information

비트와바이트 비트와바이트 비트 (Bit) : 2진수값하나 (0 또는 1) 를저장할수있는최소메모리공간 1비트 2비트 3비트... n비트 2^1 = 2개 2^2 = 4개 2^3 = 8개... 2^n 개 1 바이트는 8 비트 2 2

비트와바이트 비트와바이트 비트 (Bit) : 2진수값하나 (0 또는 1) 를저장할수있는최소메모리공간 1비트 2비트 3비트... n비트 2^1 = 2개 2^2 = 4개 2^3 = 8개... 2^n 개 1 바이트는 8 비트 2 2 비트연산자 1 1 비트와바이트 비트와바이트 비트 (Bit) : 2진수값하나 (0 또는 1) 를저장할수있는최소메모리공간 1비트 2비트 3비트... n비트 2^1 = 2개 2^2 = 4개 2^3 = 8개... 2^n 개 1 바이트는 8 비트 2 2 진수법! 2, 10, 16, 8! 2 : 0~1 ( )! 10 : 0~9 ( )! 16 : 0~9, 9 a, b,

More information

딥러닝 첫걸음

딥러닝 첫걸음 딥러닝첫걸음 4. 신경망과분류 (MultiClass) 다범주분류신경망 Categorization( 분류 ): 예측대상 = 범주 이진분류 : 예측대상범주가 2 가지인경우 출력층 node 1 개다층신경망분석 (3 장의내용 ) 다범주분류 : 예측대상범주가 3 가지이상인경우 출력층 node 2 개이상다층신경망분석 비용함수 : Softmax 함수사용 다범주분류신경망

More information

¹Ì·¡Æ÷·³-5±âºê·Î¼Å_1228.ps

¹Ì·¡Æ÷·³-5±âºê·Î¼Å_1228.ps 미래에 대해 얼마나 알고 계십니까? 새로운 미래, 어떻게 맞이할 것입니까? 오늘보다 나은 내일, 더 큰 미래를 열어갑시다 2014년 아시아 세계경제 33% 차지 / 광컴퓨터 상용화 2016년 대한민국 경제활동 인구 감소 시작 2021년 인공지능 로봇 실용화 2024년 유전자 치료와 암 정복 가능 2025년 중국 세계 1위 경제대국 / 세계인구 80억 돌파 2030년

More information

설계란 무엇인가?

설계란 무엇인가? 금오공과대학교 C++ 프로그래밍 jhhwang@kumoh.ac.kr 컴퓨터공학과 황준하 6 강. 함수와배열, 포인터, 참조목차 함수와포인터 주소값의매개변수전달 주소의반환 함수와배열 배열의매개변수전달 함수와참조 참조에의한매개변수전달 참조의반환 프로그래밍연습 1 /15 6 강. 함수와배열, 포인터, 참조함수와포인터 C++ 매개변수전달방법 값에의한전달 : 변수값,

More information

제 12강 함수수열의 평등수렴

제 12강 함수수열의 평등수렴 제 강함수수열의평등수렴 함수의수열과극한 정의 ( 점별수렴 ): 주어진집합 과각각의자연수 에대하여함수 f : 이있다고가정하자. 이때 을집합 에서로가는함수의수열이라고한다. 모든 x 에대하여 f 수열 f ( x) lim f ( x) 가성립할때함수수열 { f } 이집합 에서함수 f 로수렴한다고한다. 또 함수 f 을집합 에서의함수수열 { f } 의극한 ( 함수 ) 이라고한다.

More information

완벽한개념정립 _ 행렬의참, 거짓 수학전문가 NAMU 선생 1. 행렬의참, 거짓개념정리 1. 교환법칙과관련한내용, 는항상성립하지만 는항상성립하지는않는다. < 참인명제 > (1),, (2) ( ) 인경우에는 가성립한다.,,, (3) 다음과같은관계식을만족하는두행렬 A,B에

완벽한개념정립 _ 행렬의참, 거짓 수학전문가 NAMU 선생 1. 행렬의참, 거짓개념정리 1. 교환법칙과관련한내용, 는항상성립하지만 는항상성립하지는않는다. < 참인명제 > (1),, (2) ( ) 인경우에는 가성립한다.,,, (3) 다음과같은관계식을만족하는두행렬 A,B에 1. 행렬의참, 거짓개념정리 1. 교환법칙과관련한내용, 는항상성립하지만 는항상성립하지는않는다. < 참인명제 > (1),, (2) ( ) 인경우에는 가성립한다.,,, (3) 다음과같은관계식을만족하는두행렬 A,B에대하여 AB=BA 1 가성립한다 2 3 (4) 이면 1 곱셈공식및변형공식성립 ± ± ( 복호동순 ), 2 지수법칙성립 (은자연수 ) < 거짓인명제 >

More information

Sequences with Low Correlation

Sequences with Low Correlation 레일리페이딩채널에서의 DPC 부호의성능분석 * 김준성, * 신민호, * 송홍엽 00 년 7 월 1 일 * 연세대학교전기전자공학과부호및정보이론연구실 발표순서 서론 복호화방법 R-BP 알고리즘 UMP-BP 알고리즘 Normalied-BP 알고리즘 무상관레일리페이딩채널에서의표준화인수 모의실험결과및고찰 결론 Codig ad Iformatio Theory ab /15

More information

중간고사

중간고사 중간고사 예제 1 사용자로부터받은두개의숫자 x, y 중에서큰수를찾는알고리즘을의사코드로작성하시오. Step 1: Input x, y Step 2: if (x > y) then MAX

More information

슬라이드 제목 없음

슬라이드 제목 없음 5.2 ER 모델 ( 계속 ) 관계와관계타입 관계는엔티티들사이에존재하는연관이나연결로서두개이상의엔티티타입들사이의사상으로생각할수있음 관계집합은동질의관계들의집합 관계타입은동질의관계들의틀 관계집합과관계타입을엄격하게구분할필요는없음 요구사항명세에서흔히동사는 ER 다이어그램에서관계로표현됨 ER 다이어그램에서다이어몬드로표기 관계타입이서로연관시키는엔티티타입들을관계타입에실선으로연결함

More information

FGB-P 학번수학과권혁준 2008 년 5 월 19 일 Lemma 1 p 를 C([0, 1]) 에속하는음수가되지않는함수라하자. 이때 y C 2 (0, 1) C([0, 1]) 가미분방정식 y (t) + p(t)y(t) = 0, t (0, 1), y(0)

FGB-P 학번수학과권혁준 2008 년 5 월 19 일 Lemma 1 p 를 C([0, 1]) 에속하는음수가되지않는함수라하자. 이때 y C 2 (0, 1) C([0, 1]) 가미분방정식 y (t) + p(t)y(t) = 0, t (0, 1), y(0) FGB-P8-3 8 학번수학과권혁준 8 년 5 월 9 일 Lemma p 를 C[, ] 에속하는음수가되지않는함수라하자. 이때 y C, C[, ] 가미분방정식 y t + ptyt, t,, y y 을만족하는해라고하면, y 는, 에서연속적인이계도함수를가지게확 장될수있다. Proof y 은 y 의도함수이므로미적분학의기본정리에의하여, y 은 y 의어떤원시 함수와적분상수의합으로표시될수있다.

More information

<B3EDB9AEC0DBBCBAB9FD2E687770>

<B3EDB9AEC0DBBCBAB9FD2E687770> (1) 주제 의식의 원칙 논문은 주제 의식이 잘 드러나야 한다. 주제 의식은 논문을 쓰는 사람의 의도나 글의 목적 과 밀접한 관련이 있다. (2) 협력의 원칙 독자는 필자를 이해하려고 마음먹은 사람이다. 따라서 필자는 독자가 이해할 수 있는 말이 나 표현을 사용하여 독자의 노력에 협력해야 한다는 것이다. (3) 논리적 엄격성의 원칙 감정이나 독단적인 선언이

More information

장연립방정식을풀기위한반복법 12.1 선형시스템 : Gauss-Seidel 12.2 비선형시스템 12.1 선형시스템 : Gauss-Seidel (1/10) 반복법은초기근을가정한후에더좋은근의값을추정하는체계적인절차를이용한다. G-S 방법은선형대수방정

장연립방정식을풀기위한반복법 12.1 선형시스템 : Gauss-Seidel 12.2 비선형시스템 12.1 선형시스템 : Gauss-Seidel (1/10) 반복법은초기근을가정한후에더좋은근의값을추정하는체계적인절차를이용한다. G-S 방법은선형대수방정 . 선형시스템 : GussSedel. 비선형시스템. 선형시스템 : GussSedel (/0) 반복법은초기근을가정한후에더좋은근의값을추정하는체계적인절차를이용한다. GS 방법은선형대수방정식을푸는반복법중에서 가장보편적으로사용되는방법이다. 개의방정식에서 인 ( 대각원소들이모두 0 이아닌 ) 경우를다루자. j j b j j b j j 여기서 j b j j j 현재반복단계

More information

기획 1 서울공대생에게 물었다 글 재료공학부 1, 이윤구 재료공학부 1, 김유리 전기정보공학부 1, 전세환 편집 재료공학부 3, 오수봉 이번 서울공대생에게 물었다! 코너는 특별히 설문조사 형식으로 진행해 보려고 해 요. 설문조사에는 서울대학교 공대 재학생 121명, 비

기획 1 서울공대생에게 물었다 글 재료공학부 1, 이윤구 재료공학부 1, 김유리 전기정보공학부 1, 전세환 편집 재료공학부 3, 오수봉 이번 서울공대생에게 물었다! 코너는 특별히 설문조사 형식으로 진행해 보려고 해 요. 설문조사에는 서울대학교 공대 재학생 121명, 비 2015 autumn 공대상상 예비 서울공대생을 위한 서울대 공대 이야기 Vol. 13 Contents 02 기획 서울공대생에게 물었다 극한직업 공캠 촬영 편 Fashion in SNU - 단체복 편 서울대 식당, 어디까지 먹어 봤니? 12 기획 연재 기계항공공학부 기계항공공학부를 소개합니다 STEP 01 기계항공공학부에 대한 궁금증 STEP 02 동문 인터뷰

More information

자연언어처리

자연언어처리 제 7 장파싱 파싱의개요 파싱 (Parsing) 입력문장의구조를분석하는과정 문법 (grammar) 언어에서허용되는문장의구조를정의하는체계 파싱기법 (parsing techniques) 문장의구조를문법에따라분석하는과정 차트파싱 (Chart Parsing) 2 문장의구조와트리 문장 : John ate the apple. Tree Representation List

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

함수공간 함수공간, 점열린위상 Definition 0.1. X와 Y 는임의의집합이고 F(X, Y ) 를 X에서 Y 로의모든함수족이라하자. 집합 F(X, Y ) 에위상을정의할때이것을함수공간 (function space) 이라한다. F(X, Y ) 는다음과같이적당한적집합과

함수공간 함수공간, 점열린위상 Definition 0.1. X와 Y 는임의의집합이고 F(X, Y ) 를 X에서 Y 로의모든함수족이라하자. 집합 F(X, Y ) 에위상을정의할때이것을함수공간 (function space) 이라한다. F(X, Y ) 는다음과같이적당한적집합과 함수공간 함수공간, 점열린위상 Definition.1. X와 Y 는임의의집합이고 F(X, Y ) 를 X에서 Y 로의모든함수족이라하자. 집합 F(X, Y ) 에위상을정의할때이것을함수공간 (function spce) 이라한다. F(X, Y ) 는다음과같이적당한적집합과같음을볼수있다. 각 x X에대해 Y x = Y 라하자. 그리고 F := Y x x X 이라하자.

More information

빅데이터_DAY key

빅데이터_DAY key Big Data Near You 2016. 06. 16 Prof. Sehyug Kwon Dept. of Statistics 4V s of Big Data Volume Variety Velocity Veracity Value 대용량 다양한 유형 실시간 정보 (불)확실성 가치 tera(1,0004) - peta -exazetta(10007) bytes in 2020

More information

Chap 6: Graphs

Chap 6: Graphs 5. 작업네트워크 (Activity Networks) 작업 (Activity) 부분프로젝트 (divide and conquer) 각각의작업들이완료되어야전체프로젝트가성공적으로완료 두가지종류의네트워크 Activity on Vertex (AOV) Networks Activity on Edge (AOE) Networks 6 장. 그래프 (Page 1) 5.1 AOV

More information

트렌드29호가제본용.hwp

트렌드29호가제본용.hwp - 309 - - 310 - - 311 - - 312 - - 313 - - 314 - 외부적 탐색단계 새로운 정보에 자극받는 외부적 탐 색단계 새로운 광고 메시지에 의하여 소비자가 제품 및 브랜드 평가를 하는 대안의 평가 단계까지의 일련 의 과정을 설명하고 있으며 그림 에서 볼 수 있는 것처럼 소비자의 구매태도형성 어느 단계에서도 상품 광고가 미치는 영향력이

More information

Microsoft PowerPoint - chap01-C언어개요.pptx

Microsoft PowerPoint - chap01-C언어개요.pptx #include int main(void) { int num; printf( Please enter an integer: "); scanf("%d", &num); if ( num < 0 ) printf("is negative.\n"); printf("num = %d\n", num); return 0; } 1 학습목표 프로그래밍의 기본 개념을

More information

금오공대 컴퓨터공학전공 강의자료

금오공대 컴퓨터공학전공 강의자료 C 프로그래밍프로젝트 Chap 14. 포인터와함수에대한이해 2013.10.09. 오병우 컴퓨터공학과 14-1 함수의인자로배열전달 기본적인인자의전달방식 값의복사에의한전달 val 10 a 10 11 Department of Computer Engineering 2 14-1 함수의인자로배열전달 배열의함수인자전달방식 배열이름 ( 배열주소, 포인터 ) 에의한전달 #include

More information

<C3CA3520B0FAC7D0B1B3BBE7BFEB202E687770>

<C3CA3520B0FAC7D0B1B3BBE7BFEB202E687770> 1. 만화경 만들기 59 2. 물 속에서의 마술 71 3. 비누 탐험 84 4. 꽃보다 아름다운 결정 97 5. 거꾸로 올라가는 물 110 6. 내가 만든 기압계 123 7. 저녁 노을은 맑은 날씨? 136 8. 못생겨도 나는 꽃! 150 9. 단풍잎 색깔 추리 162 10. 고마워요! 지렁이 174 1. 날아라 열기구 188 2. 나 누구게? 198 3.

More information

전산학부전공과목이수요건 (2015 학년도이전입학생학사과정용 ) 공통이수요건은반드시따로확인하시기바랍니다. 졸업이수학점 : 총 130 학점이상이수 ( 특이사항 ) 기초선택이수요건 : - 기초선택교과목으로선형대수학개론을반드시포함하여야하며, 복수전공이수자는선형대수학개론을반드시

전산학부전공과목이수요건 (2015 학년도이전입학생학사과정용 ) 공통이수요건은반드시따로확인하시기바랍니다. 졸업이수학점 : 총 130 학점이상이수 ( 특이사항 ) 기초선택이수요건 : - 기초선택교과목으로선형대수학개론을반드시포함하여야하며, 복수전공이수자는선형대수학개론을반드시 (2015 학년도이전입학생학사과정용 ) 졸업이수학점 : 총 130 학점이상이수 ( 특이사항 ) 기초선택이수요건 : - 기초선택교과목으로선형대수학개론을반드시포함하여야하며, 복수전공이수자는선형대수학개론을반드시포함하여 3학점이상이수하여야함. 기초선택이수학점은학번별교과목이수요건참조 전공 : 43학점이상이수 - 전공필수 : 19학점 - 이산구조, 데이타구조, 알고리즘개론,

More information

(Hyunoo Shim) 1 / 26 조건부생명확률 (coningen probabiliy) 이란? 사망의순서 ( 조건이됨 ) 를고려한생명확률동시생존자 / 최종생존자생명확률 : 사망이 x이든 y이든가리지않음 ( 대칭적 ) [ 조건부생명확률 : x와 y의사망순서를고려함 ( 비대칭적 ) ➀ 기호 : 예를들어, q 1 xy a) 사망순서 : 숫자 1, 2, 3,...

More information

CC......-.........hwp

CC......-.........hwp 방송연구 http://www.kbc.go.kr/ 텔레비전 프로그램의 해외수출이나 국내 후속시장의 활성화라는 유통의 문 제는 경쟁력있는 상품과 그 상품을 팔 수 있는 시장의 존재 여부에 달려있 다. 아울러 그 유통은 국가간 시장규모의 차이와 부의 크기, 텔레비전 산업 의 하부구조에 의해 그 교류의 흐름이 영향을 받는다. 국내 프로그램의 유 통을 활성화시키는 기본조건은

More information

Microsoft PowerPoint - C++ 5 .pptx

Microsoft PowerPoint - C++ 5 .pptx C++ 언어프로그래밍 한밭대학교전자. 제어공학과이승호교수 연산자중복 (operator overloading) 이란? 2 1. 연산자중복이란? 1) 기존에미리정의되어있는연산자 (+, -, /, * 등 ) 들을프로그래머의의도에맞도록새롭게정의하여사용할수있도록지원하는기능 2) 연산자를특정한기능을수행하도록재정의하여사용하면여러가지이점을가질수있음 3) 하나의기능이프로그래머의의도에따라바뀌어동작하는다형성

More information

Chapter 4. LISTS

Chapter 4. LISTS C 언어에서리스트구현 리스트의생성 struct node { int data; struct node *link; ; struct node *ptr = NULL; ptr = (struct node *) malloc(sizeof(struct node)); Self-referential structure NULL: defined in stdio.h(k&r C) or

More information

<3231C3A4C8F1C5C22E687770>

<3231C3A4C8F1C5C22E687770> I. 서 론 426 Wolf Singer의 뇌 이론 탐색과 뇌기능 중심 (특수)교육의 가능성 모색 427 II. (특수)교육학에 시사점을 제공하는 몇 가지 뇌 연구의 결과들 428 Wolf Singer의 뇌 이론 탐색과 뇌기능 중심 (특수)교육의 가능성 모색 429 430 Wolf Singer의 뇌 이론 탐색과 뇌기능 중심 (특수)교육의 가능성 모색 431

More information

**09콘텐츠산업백서_1 2

**09콘텐츠산업백서_1 2 2009 2 0 0 9 M I N I S T R Y O F C U L T U R E, S P O R T S A N D T O U R I S M 2009 M I N I S T R Y O F C U L T U R E, S P O R T S A N D T O U R I S M 2009 발간사 현재 우리 콘텐츠산업은 첨단 매체의 등장과 신기술의 개발, 미디어 환경의

More information

미래포럼수정(2.29) 2012.12.29 3:36 PM 페이지3 위너스CTP1번 2540DPI 200LPI 미래에 대해 얼마나 알고 계십니까? 새로운 미래, 어떻게 맞이할 것입니까? 오늘보다 나은 내일, 더 큰 미래를 열어갑시다 2014년 아시아 세계경제 33% 차지

미래포럼수정(2.29) 2012.12.29 3:36 PM 페이지3 위너스CTP1번 2540DPI 200LPI 미래에 대해 얼마나 알고 계십니까? 새로운 미래, 어떻게 맞이할 것입니까? 오늘보다 나은 내일, 더 큰 미래를 열어갑시다 2014년 아시아 세계경제 33% 차지 미래포럼수정(2.29) 2012.12.29 3:36 PM 페이지3 위너스CTP1번 2540DPI 200LPI 미래에 대해 얼마나 알고 계십니까? 새로운 미래, 어떻게 맞이할 것입니까? 오늘보다 나은 내일, 더 큰 미래를 열어갑시다 2014년 아시아 세계경제 33% 차지 / 광컴퓨터 상용화 2016년 대한민국 경제활동 인구 감소 시작 2021년 인공지능 로봇

More information

기후변화는 인류사회가 직면한 가장 거대한 불확실성 중 하나

기후변화는 인류사회가 직면한 가장 거대한 불확실성 중 하나 기후변화는 인류사회가 직면한 가장 거대한 불확실성 중 하나 세계적 차원서 기온 상승 해수면 상승 일어날 가능성 높아 기후변화는 인류사회가 직면한 가장 거대한 불확실성 중 하나 물에 관한 리스크가 감소되지 않고 있지만 이해는 증진 세계적 차원서 기온 상승 해수면 상승 일어날 가능성 높아 제4편 불확실성과 리스크에서 물관리(Managing Water under

More information

MD-C-035-1(N-71-18)

MD-C-035-1(N-71-18) MD-C-035-1(N-71-18) KEPIC 적용사례 : MD-C-035-1(N-71-18) ( 승인일자 : 2010. 8. 31) 제목 : 용접으로제조되는 KEPIC-MNF 의 1, 2, 3 및 MC 등급기기지지물의추가재 료 (KEPIC-MN) 질의 : 품목이용접으로제작될경우, KEPIC-MDP의부록 IA, IB, IIA, IIB 및 VI에나열된것이외에추가로어떤재료가

More information

PowerPoint Presentation

PowerPoint Presentation 5 불대수 Http://RAIC.kunsn..kr 2 학습목표 마스터제목스타일편집 기본논리식의표현방법을알아본다. 불대수의법칙을알아본다. 논리회로를논리식으로논리식을논리회로로표현하는방법을알아본다. 곱의합 (SOP) 과합의곱 (POS), 최소항 (minterm) 과최대항 (mxterm) 에대해알아본다. 01. 기본논리식의표현 02. 불대수법칙 03. 논리회로의논리식변환

More information

PowerPoint 프레젠테이션

PowerPoint 프레젠테이션 Chapter 1. 머신러닝개요 < 기계학습개론 > 강의서울대학교컴퓨터공학부장병탁 교재 : 장교수의딥러닝, 홍릉과학출판사, 2017. Slides Prepared by 장병탁, 김준호, 이상우 Biointelligence Laboratory School of Computer Science and Engineering Seoul National University

More information

슬라이드 1

슬라이드 1 마이크로컨트롤러 2 (MicroController2) 2 강 ATmega128 의 external interrupt 이귀형교수님 학습목표 interrupt 란무엇인가? 기본개념을알아본다. interrupt 중에서가장사용하기쉬운 external interrupt 의사용방법을학습한다. 1. Interrupt 는왜필요할까? 함수동작을추가하여실행시키려면? //***

More information

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

Microsoft PowerPoint - additional01.ppt [호환 모드] 1.C 기반의 C++ part 1 함수 오버로딩 (overloading) 디폴트매개변수 (default parameter) 인-라인함수 (in-line function) 이름공간 (namespace) Jong Hyuk Park 함수 Jong Hyuk Park 함수오버로딩 (overloading) 함수오버로딩 (function overloading) C++ 언어에서는같은이름을가진여러개의함수를정의가능

More information

임베디드시스템설계강의자료 6 system call 2/2 (2014 년도 1 학기 ) 김영진 아주대학교전자공학과

임베디드시스템설계강의자료 6 system call 2/2 (2014 년도 1 학기 ) 김영진 아주대학교전자공학과 임베디드시스템설계강의자료 6 system call 2/2 (2014 년도 1 학기 ) 김영진 아주대학교전자공학과 System call table and linkage v Ref. http://www.ibm.com/developerworks/linux/library/l-system-calls/ - 2 - Young-Jin Kim SYSCALL_DEFINE 함수

More information

산업공학과 학생을 위한 교양 필수과목 이수규정 1 ( 학번 통합본) 최종 편집일 2018년 12월 25일 서울대학교 공과대학 산업공학과 1 본 문서는 서울대학교 기초교육원 홈페이지에 게시된 대학별 교양 이수규정 을 산업공학과 학생을 위하 여 보기 쉽게

산업공학과 학생을 위한 교양 필수과목 이수규정 1 ( 학번 통합본) 최종 편집일 2018년 12월 25일 서울대학교 공과대학 산업공학과 1 본 문서는 서울대학교 기초교육원 홈페이지에 게시된 대학별 교양 이수규정 을 산업공학과 학생을 위하 여 보기 쉽게 산업공학과 학생을 위한 교양 필수과목 이수규정 1 (2008 2019 학번 통합본) 최종 편집일 2018년 12월 25일 서울대학교 공과대학 산업공학과 1 본 문서는 서울대학교 기초교육원 홈페이지에 게시된 대학별 교양 이수규정 을 산업공학과 학생을 위하 여 보기 쉽게 발췌 편집한 것으로, 내용에 이상이 있을 경우 항상 다음의 원본 페이지를 참조할 것. http:

More information

제4차 산업혁명과 인공지능 차 례 제4차 산업혁명과 인공지능 2 제46회 다보스포럼이 2016년 1월 21일~24일 4차 산업혁명의 이해 라는 주제로 개최 되었습니다. 4차 산업혁명은 인공지능에 의해 자동화와 연결성이 극대화되는 단계 로서 오늘날 우리 곁에 모습을 드러

제4차 산업혁명과 인공지능 차 례 제4차 산업혁명과 인공지능 2 제46회 다보스포럼이 2016년 1월 21일~24일 4차 산업혁명의 이해 라는 주제로 개최 되었습니다. 4차 산업혁명은 인공지능에 의해 자동화와 연결성이 극대화되는 단계 로서 오늘날 우리 곁에 모습을 드러 국가연구개발사업 정보 길잡이 제23호 2016년 4월 4월 과학의 날 특집 인공지능과 알파고 이야기 제4차 산업혁명과 인공지능 차 례 제4차 산업혁명과 인공지능 2 제46회 다보스포럼이 2016년 1월 21일~24일 4차 산업혁명의 이해 라는 주제로 개최 되었습니다. 4차 산업혁명은 인공지능에 의해 자동화와 연결성이 극대화되는 단계 로서 오늘날 우리 곁에 모습을

More information

학습목표 함수프로시저, 서브프로시저의의미를안다. 매개변수전달방식을학습한다. 함수를이용한프로그래밍한다. 2

학습목표 함수프로시저, 서브프로시저의의미를안다. 매개변수전달방식을학습한다. 함수를이용한프로그래밍한다. 2 학습목표 함수프로시저, 서브프로시저의의미를안다. 매개변수전달방식을학습한다. 함수를이용한프로그래밍한다. 2 6.1 함수프로시저 6.2 서브프로시저 6.3 매개변수의전달방식 6.4 함수를이용한프로그래밍 3 프로시저 (Procedure) 프로시저 (Procedure) 란무엇인가? 논리적으로묶여있는하나의처리단위 내장프로시저 이벤트프로시저, 속성프로시저, 메서드, 비주얼베이직내장함수등

More information

1. 객체의생성과대입 int 형변수 : 선언과동시에초기화하는방법 (C++) int a = 3; int a(3); // 기본타입역시클래스와같이처리가능 객체의생성 ( 복습 ) class CPoint private : int x, y; public : CPoint(int a

1. 객체의생성과대입 int 형변수 : 선언과동시에초기화하는방법 (C++) int a = 3; int a(3); // 기본타입역시클래스와같이처리가능 객체의생성 ( 복습 ) class CPoint private : int x, y; public : CPoint(int a 6 장복사생성자 객체의생성과대입객체의값에의한전달복사생성자디폴트복사생성자복사생성자의재정의객체의값에의한반환임시객체 C++ 프로그래밍입문 1. 객체의생성과대입 int 형변수 : 선언과동시에초기화하는방법 (C++) int a = 3; int a(3); // 기본타입역시클래스와같이처리가능 객체의생성 ( 복습 ) class CPoint private : int x, y;

More information

제 3강 역함수의 미분과 로피탈의 정리

제 3강 역함수의 미분과 로피탈의 정리 제 3 강역함수의미분과로피탈의정리 역함수의미분 : 두실수 a b 와폐구갂 [ ab, ] 에서 -이고연속인함수 f 가 ( a, b) 미분가능하다고가정하자. 만일 f '( ) 0 이면역함수 f 은실수 f( ) 에서미분가능하고 ( f )'( f ( )) 이다. f '( ) 에서 증명 : 폐구갂 [ ab, ] 에서 -이고연속인함수 f 는증가함수이거나감소함수이다 (

More information

<322EBCF8C8AF28BFACBDC0B9AEC1A6292E687770>

<322EBCF8C8AF28BFACBDC0B9AEC1A6292E687770> 연습문제해답 5 4 3 2 1 0 함수의반환값 =15 5 4 3 2 1 0 함수의반환값 =95 10 7 4 1-2 함수의반환값 =3 1 2 3 4 5 연습문제해답 1. C 언어에서의배열에대하여다음중맞는것은? (1) 3차원이상의배열은불가능하다. (2) 배열의이름은포인터와같은역할을한다. (3) 배열의인덱스는 1에서부터시작한다. (4) 선언한다음, 실행도중에배열의크기를변경하는것이가능하다.

More information

ㅇ ㅇ

ㅇ ㅇ ㅇ ㅇ ㅇ 1 ㆍ 2 3 4 ㅇ 1 ㆍ 2 3 ㅇ 1 2 ㆍ ㅇ 1 2 3 ㆍ 4 ㆍ 5 6 ㅇ ㆍ ㆍ 1 2 ㆍ 3 4 5 ㅇ 1 2 3 ㅇ 1 2 3 ㅇ ㅇ ㅇ 붙임 7 대추진전략및 27 개세부추진과제 제 5 차국가공간정보정책기본계획 (2013~2017) 2013. 10 국토교통부 : 2013 2017 차 례 제 1 장창조사회를견인하는국가공간정보정책

More information

<C3E6B3B2B1B3C0B0313832C8A32DC5BEC0E7BFEB28C0DBB0D4292D332E706466>

<C3E6B3B2B1B3C0B0313832C8A32DC5BEC0E7BFEB28C0DBB0D4292D332E706466> 11-8140242-000001-08 2013-927 2013 182 2013 182 Contents 02 16 08 10 12 18 53 25 32 63 Summer 2 0 1 3 68 40 51 57 65 72 81 90 97 103 109 94 116 123 130 140 144 148 118 154 158 163 1 2 3 4 5 8 SUMMER

More information

TOPOLOGY-WEEK 6 & 7 KI-HEON YUN 1. Quotient space( 상공간 ) X 가위상공간이고 Y 가집합이며 f : X Y 가전사함수일때, X 의위상을사용하여 Y 에위상을정의할수있는방법은? Definition 1.1. X 가위상공간, f : X

TOPOLOGY-WEEK 6 & 7 KI-HEON YUN 1. Quotient space( 상공간 ) X 가위상공간이고 Y 가집합이며 f : X Y 가전사함수일때, X 의위상을사용하여 Y 에위상을정의할수있는방법은? Definition 1.1. X 가위상공간, f : X TOPOLOGY-WEEK 6 & 7 KI-HEON YUN 1. Quotient space( 상공간 ) X 가위상공간이고 Y 가집합이며 f : X Y 가전사함수일때, X 의위상을사용하여 Y 에위상을정의할수있는방법은? Definition 1.1. X 가위상공간, f : X Y 가전사함수일때, T Y = {U Y f 1 (U) is open set in X} 로정의하면

More information

김경재 안현철 지능정보연구제 17 권제 4 호 2011 년 12 월

김경재 안현철 지능정보연구제 17 권제 4 호 2011 년 12 월 지능정보연구제 17 권제 4 호 2011 년 12 월 (pp.241~254) Support vector machines(svm),, CRM. SVM,,., SVM,,.,,. SVM, SVM. SVM.. * 2009() (NRF-2009-327- B00212). 지능정보연구제 17 권제 4 호 2011 년 12 월 김경재 안현철 지능정보연구제 17 권제 4 호

More information

목차 윈도우드라이버 1. 매뉴얼안내 운영체제 (OS) 환경 윈도우드라이버준비 윈도우드라이버설치 Windows XP/Server 2003 에서설치 Serial 또는 Parallel 포트의경우.

목차 윈도우드라이버 1. 매뉴얼안내 운영체제 (OS) 환경 윈도우드라이버준비 윈도우드라이버설치 Windows XP/Server 2003 에서설치 Serial 또는 Parallel 포트의경우. 소프트웨어매뉴얼 윈도우드라이버 Rev. 3.03 SLP-TX220 / TX223 SLP-TX420 / TX423 SLP-TX400 / TX403 SLP-DX220 / DX223 SLP-DX420 / DX423 SLP-DL410 / DL413 SLP-T400 / T403 SLP-T400R / T403R SLP-D220 / D223 SLP-D420 / D423

More information

Microsoft PowerPoint - chap06-1Array.ppt

Microsoft PowerPoint - chap06-1Array.ppt 2010-1 학기프로그래밍입문 (1) chapter 06-1 참고자료 배열 박종혁 Tel: 970-6702 Email: jhpark1@snut.ac.kr 한빛미디어 출처 : 뇌를자극하는 C프로그래밍, 한빛미디어 -1- 배열의선언과사용 같은형태의자료형이많이필요할때배열을사용하면효과적이다. 배열의선언 배열의사용 배열과반복문 배열의초기화 유연성있게배열다루기 한빛미디어

More information

3.2 함수의정의 Theorem 6 함수 f : X Y 와 Y W 인집합 W 에대하여 f : X W 는함수이다. Proof. f : X Y 가함수이므로 f X Y 이고, Y W 이므로 f X W 이므로 F0이만족된다. 함수의정의 F1, F2은 f : X Y 가함수이므로

3.2 함수의정의 Theorem 6 함수 f : X Y 와 Y W 인집합 W 에대하여 f : X W 는함수이다. Proof. f : X Y 가함수이므로 f X Y 이고, Y W 이므로 f X W 이므로 F0이만족된다. 함수의정의 F1, F2은 f : X Y 가함수이므로 3.2 함수의정의 Theorem 6 함수 f : X Y 와 Y W 인집합 W 에대하여 f : X W 는함수이다. Proof. f : X Y 가함수이므로 f X Y 이고, Y W 이므로 f X W 이므로 F0이만족된다. 함수의정의 F1, F2은 f : X Y 가함수이므로성립한다. Theorem 7 두함수 f : X Y 와 g : X Y 에대하여, f = g f(x)

More information

< E20C6DFBFFEBEEE20C0DBBCBAC0BB20C0A7C7D12043BEF0BEEE20492E707074>

< E20C6DFBFFEBEEE20C0DBBCBAC0BB20C0A7C7D12043BEF0BEEE20492E707074> Chap #2 펌웨어작성을위한 C 언어 I http://www.smartdisplay.co.kr 강의계획 Chap1. 강의계획및디지털논리이론 Chap2. 펌웨어작성을위한 C 언어 I Chap3. 펌웨어작성을위한 C 언어 II Chap4. AT89S52 메모리구조 Chap5. SD-52 보드구성과코드메모리프로그래밍방법 Chap6. 어드레스디코딩 ( 매핑 ) 과어셈블리어코딩방법

More information

- 3 - - 4 - - 5 - - 6 - - 7 - - 8 - 최종결과보고서요약문 - 9 - Summary - 10 - 학술연구용역과제연구결과 - 11 - - 12 - - 13 - - 14 - 질병관리본부의공고제 2012-241 호 (2012. 10. 15) 의제안요청서 (RFP) 에나타난주요 연구내용은다음과같다. 제안요청서 (RFP) 에서명시한내용을충실히이행하고구체적이고세세한전략방안을제시했다.

More information

Microsoft PowerPoint 웹 연동 기술.pptx

Microsoft PowerPoint 웹 연동 기술.pptx 웹프로그래밍및실습 ( g & Practice) 문양세강원대학교 IT 대학컴퓨터과학전공 URL 분석 (1/2) URL (Uniform Resource Locator) 프로토콜, 호스트, 포트, 경로, 비밀번호, User 등의정보를포함 예. http://kim:3759@www.hostname.com:80/doc/index.html URL 을속성별로분리하고자할경우

More information

Microsoft PowerPoint - 실습소개와 AI_ML_DL_배포용.pptx

Microsoft PowerPoint - 실습소개와 AI_ML_DL_배포용.pptx 실습강의개요와인공지능, 기계학습, 신경망 < 인공지능입문 > 강의 허민오 Biointelligence Laboratory School of Computer Science and Engineering Seoul National University 실습강의개요 노트북을꼭지참해야하는강좌 신경망소개 (2 주, 허민오 ) Python ( 프로그래밍언어 ) (2주, 김준호

More information

<B4EBC7D0BCF6C7D02DBBEFB0A2C7D4BCF62E687770>

<B4EBC7D0BCF6C7D02DBBEFB0A2C7D4BCF62E687770> 삼각함수. 삼각함수의덧셈정리 삼각함수의덧셈정리 삼각함수 sin (α + β ), cos (α + β ), tan (α + β ) 등을 α 또는 β 의삼각함수로나 타낼수있다. 각 α 와각 β 에대하여 α >0, β >0이고 0 α - β < β 를만족한다고가정하 자. 다른경우에도같은방법으로증명할수있다. 각 α 와각 β 에대하여 θ = α - β 라고놓자. 위의그림에서원점에서거리가

More information

쉽게 풀어쓴 C 프로그래밍

쉽게 풀어쓴 C 프로그래밍 누구나즐기는 C 언어콘서트 제 1 장프로그래밍소개 이번장에서학습할내용 프로그램의이해 프로그래밍언어 알고리즘 프로그램개발과정 프로그램을작성하기에앞서서중요한개념들을살펴봅니다.. 컴퓨터란? Q) 컴퓨터 (computer) 는무엇인가? A) 컴퓨터는기본적으로계산 (compute) 하는기계 Q) 컴퓨터를이용하여데이터를처리하려면반드시데이터가숫자형태이어야한다. 왜? A)

More information

Microsoft PowerPoint - chap02-C프로그램시작하기.pptx

Microsoft PowerPoint - chap02-C프로그램시작하기.pptx #include int main(void) { int num; printf( Please enter an integer "); scanf("%d", &num); if ( num < 0 ) printf("is negative.\n"); printf("num = %d\n", num); return 0; } 1 학습목표 을 작성하면서 C 프로그램의

More information

전자회로 실험

전자회로 실험 전자회로실험 2 조 고주현허영민 BJT의고정바이어스및 부품 * 실험목적 1) 고정바이어스와 회로의직류동작점을결정한다. 다이오드의특성 * 실험장비 계측장비 - Digital Multi Meter 부품 -저항 다이오드의특성 부품 - 트랜지스터

More information

17장 클래스와 메소드

17장 클래스와 메소드 17 장클래스와메소드 박창이 서울시립대학교통계학과 박창이 ( 서울시립대학교통계학과 ) 17 장클래스와메소드 1 / 18 학습내용 객체지향특징들객체출력 init 메소드 str 메소드연산자재정의타입기반의버전다형성 (polymorphism) 박창이 ( 서울시립대학교통계학과 ) 17 장클래스와메소드 2 / 18 객체지향특징들 객체지향프로그래밍의특징 프로그램은객체와함수정의로구성되며대부분의계산은객체에대한연산으로표현됨객체의정의는

More information

<B3EDB4DC28B1E8BCAEC7F6292E687770>

<B3EDB4DC28B1E8BCAEC7F6292E687770> 1) 초고를읽고소중한조언을주신여러분들게감사드린다. 소중한조언들에도불구하고이글이포함하는오류는전적으로저자개인의것임을밝혀둔다. 2) 대표적인학자가 Asia's Next Giant: South Korea and Late Industrialization, 1990 을저술한 MIT 의 A. Amsden 교수이다. - 1 - - 2 - 3) 계량방법론은회귀분석 (regression)

More information

이베이를 활용한 B2C 마케팅_한국무역

이베이를 활용한 B2C 마케팅_한국무역 [2015. 09. 18] ebay 를 활용한 B2C 마케팅 목차 1. Why global B2C e-commerce 2. ebay 마켓플레이스의 특징 3. ebay 플랫폼을 활용한 CBT 소개 4. ebay CBT 비즈니스의 장점 5. EBAY CBT 비즈니스의 성공요소 WHY GLOBAL B2C E-COMMERCE? B2C 전자상거래 마켓플레이스에 관심을

More information

예제 1.1 ( 관계연산자 ) >> A=1:9, B=9-A A = B = >> tf = A>4 % 4 보다큰 A 의원소들을찾을경우 tf = >> tf = (A==B) % A

예제 1.1 ( 관계연산자 ) >> A=1:9, B=9-A A = B = >> tf = A>4 % 4 보다큰 A 의원소들을찾을경우 tf = >> tf = (A==B) % A 예제 1.1 ( 관계연산자 ) >> A=1:9, B=9-A A = 1 2 3 4 5 6 7 8 9 B = 8 7 6 5 4 3 2 1 0 >> tf = A>4 % 4 보다큰 A 의원소들을찾을경우 tf = 0 0 0 0 1 1 1 1 1 >> tf = (A==B) % A 의원소와 B 의원소가똑같은경우를찾을때 tf = 0 0 0 0 0 0 0 0 0 >> tf

More information