POPL 2011 & VMCAI 2011 January 23-28, 2011, Austin, TX, USA 서울대학교프로그래밍연구실, 조성근 두근거림 재작년 APLAS 09를서울에서했기때문에국제학회참가가이번이처음은아닙니다만이번에는그때와느낌이아주많이달랐습니다. 그때는갓입
|
|
|
- 두일 미
- 4 years ago
- Views:
Transcription
1 POPL 2011 & VMCAI 2011 January 23-28, 2011, Austin, TX, USA 서울대학교프로그래밍연구실, 조성근 두근거림 재작년 APLAS 09를서울에서했기때문에국제학회참가가이번이처음은아닙니다만이번에는그때와느낌이아주많이달랐습니다. 그때는갓입학하여학회가어떤것인지에대한감각이거의없었습니다. 친숙한학교에서했기때문에 외국인들이우리학교에서발표를하는구나. 정도로생각했습니다. 하지만이번에는달랐습니다. 학회에논문을제출하여발표하기까지얼마나많은노력이필요한지선배들의모습을통해짐작할수있었고, 그곳에모이는석학들이얼마나유명한지도알고있었기때문입니다. 저는두근거리는마음으로인천공항을출발하였습니다. 서울대학교프로그래밍연구실, 조성근 1
2 오스틴 오스틴의날씨는서울보다훨씬따뜻했습니다. 밤에도반팔차림으로밖을돌아다니는미국인을쉽게찾아볼수있었습니다. 음식은치즈가다소많기는했지만대부분입에맞았습니다. 오스틴에있는텍사스대학을구경하였습니다. 땅이넓어서인지모든건물이널찍널찍하게들어서있었고학생들은대부분당차게걷고있었습니다. 텍사스의여유롭고활기찬분위기를동시에느낄수있었습니다. 만남 학회참가는다른연구자들을만나는아주좋은기회가되었습니다. Lucas Brutschy는작년에 6개월간 ROPAS에서함께생활했었고, 오학주학생과함께연구하여 VMCAI에논문을합격시켰습니다. 함께생활하던 Lucas를만나굉장히반가웠고많은이야기를나누었습니다. 최원태학생과함께연구했던 Makoto Tatsuta 교수님, Baris Aktemur 교수님도만나서현재제가하고자하는연구에대해이야기하고많은조언을얻을수있었습니다. 양홍석교수님과허충길박사님도만나뵈어학회에임하는자세에대한좋은이야기도들을수있었습니다. 예상했던대로인터넷으로만보아오던연구자들을직접볼수있었습니다. 요약해석을만드신 Cousot 교수님부부가바로옆에서빵을드시고계셨는데마치제가동화속에들어온기분이었습니다. Coq을공부하면서알게된 Xavier Leroy, Adam Chlipala, David Pichardie도눈에띄었습니다. 쉬는시간에 Adam Chlipala가계단옆에쪼그려앉아컴퓨터를하고있는모습을보았습니다. 잠시후에보았더니그짧은쉬는시간동안 Coq 메일링리스트에답변을달았던서울대학교프로그래밍연구실, 조성근 2
3 것이었습니다. 언제어디서든지자신의일에열정을쏟는모습이인상적이었습니다. David Pichardie에게는 Coq을이용한분석기의안전성검증에대한질문을하였습니다. 날카로운인상에약간은무서웠지만차근차근친절하게설명해주었고이메일로관련자료도보내주었습니다. 느낀점 예전에이원찬학생이 trip report에서지적한부분들을몸소체험할수있었습니다. 1. 프로그래밍언어연구의다른분야도알자. 2. 내연구에대한소개를준비하자. 3. 영어로대화가잘될수있도록하자. 다른사람과대화를하려면내연구가있어야하고이를잘소개할수있어야합니다. 만약아직결과가나온연구성과가없는경우에는소개할것이없어난감합니다. 이럴때에는상대방의연구를이해하고궁금한점을물어볼수있어야합니다. 막상가서보니발표되는논문의분야가생각보다훨씬많음을느꼈습니다. 각분야에대한기초지식을알고있었다면더욱많은것을이해하고궁금해할수있었으리라생각합니다. POPL 11 과 VMCAI 11 의논문제목중여러번등장하는단어를모아보았습니다. Automata 나 Concurrency 와같이저에게는친숙하지않은단어가상당히크게자리잡 고있었습니다. 서울대학교프로그래밍연구실, 조성근 3
4 VMCAI Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation (Invited Talk) - Francesco Logozzo VMCAI'11 의첫발표는 Francesco Logozzo 의튜토리얼이었습니다. 그는 precondition 과 postcondition 을명세하고검사하는방법인 CodeContract 을소개하고 그를위한분석기인 Clousot 을시연하였습니다. 이분석의특징은다음과같습니다. 1. 정적분석에기반하고있기때문에조건명세를제외한모든분석이자동으로 이루어지며종료가보장됨 2. FunArray 라는요약도메인을사용함으로써분석비용과분석정밀도사이에서명 세된조건을만족시키기위한적절한균형을찾아냄 3..NET 프레임워크의바이너리코드를직접분석하기때문에그위에서구현된모 든언어에대해서분석이가능함 발표에서중점적으로설명한부분은 FunArray 라는요약도메인이었습니다. 이요약 도메인은배열의값을효율적으로표현하면서정밀도를잃지않도록하는도메인입니다. 사용자가약간의 precondition, postcondition 만입력해주면언어의의미를이용하여분 석을자동으로, 정밀하고, 빠르게해준다는점에서큰의미가있는연구인것같습니 다..NET 프레임워크위에서프로그래밍을할기회가생긴다면한번사용해보고싶다 는생각이들었습니다. Access Analysis-Based Tight Localization of Abstract Memories - Hakjoo Oh, Lucas Brutschy, and Kwangkeun Yi 첫날에는 ROPAS 오학주학생의발표가있었습니다. 정적분석기에지역화 (localization) 기술을적용하는것 입니다. 이연구에서는 1) 전분석 (pre-analysis) 을통하여 분석할때에실제로접근하는메모리를안전하게어림잡 아이용하고 2) 지역화를적용시킬적절한코드블록을선 택하는알고리즘을제안하였습니다. 이두방법으로 90% 이상의분석속도향상을이끌어낼수있었습니다. 국내 에서의연구가세계최고의권위자들에게소개되고인정 받는다는것에큰감동을받았습니다. Access Nets: Modeling Access to Physical Spaces: Robert Frohardt - Bor-Yuh Evan Chang and Sriram Sankaranarayanan 물리적공간의접근제어정책을모델검사를이용하여검증하는연구입니다. ACCESS NETS 라고하는 formal modeling framework 를이용하여접근허가, 물리적 서울대학교프로그래밍연구실, 조성근 4
5 공간, 시간제약등을기술하게됩니다. 도달가능성 (reachability) 분석을통하여보안정책을검증함으로써모델검사기술이물리적접근제어정책검사에효과적임을보이고있습니다. 모델검사가프로그램이나회로가아닌다른분야에적용된경우를쉽게볼수없었기때문에흥미로운연구라고생각했습니다. 모델검사의응용에대한새로운시각을전달했다는점에서재미있는연구였고, 요약해석기술도프로그램의실행을미리어림잡는곳이아닌다른곳에서유용하게사용될수있지않을까하는생각을하게되었습니다. Static Analysis of Finite Precision Computations - Eric Goubault and Sylvie Putot 이연구에서는유한한정밀도의수를다루는프로그램이가지는잠재적인정밀도손실에대한분석을이야기하였습니다. 이러한분석에서얻고자하는것은프로그래머가의도한대로프로그램이동작하는가, 즉, 유한한정밀도의수를다룸으로써발생하는에러가어느정도되는지프로그램실행전에예측하는것입니다. 이번발표에서는부동소수점의정밀도분석에대한이론적인내용 (SAS 01) 과더불어 zonotopic이라는요약도메인을사용하여값들사이의관계정보를유지하며정밀도를분석하는방법에대해서설명하였습니다. 또한부동소수점분석기 Fluctuat를시연하였습니다. 미리분석기실행동영상을촬영하여발표함으로써발표시간을적절히조절한점, 실행도중중요한부분을빨간원으로미리표시한점이인상적이었습니다. 이론적인연구가실제분석기로구현됨으로써청중들에게더욱강한인상을남길수있었습니다. 이론과실재가공존하는것이얼마나중요한것인가를다시한번느낄수있었습니다. String analysis as an Abstract interpretation - Se-won Kim and Kwang-Moo Choe 요약해석에기반하여문자열을분석하는기술에관한내용입니다. 이연구에서요약된문자열은 reference pushdown automaton의 configuration 변화를기술하는술어 (predicate) 들로표현됩니다. 또한 bounded pushdown automata를이용하면모든 context-free 언어들을표현할수있고분석에필요한계산가능한 operator들을정의할수있습니다. 또한완전하지않은프로그램문자열에대한분석이가능합니다. 이는프로그램의개발도중에오류를찾아줄수있음을의미합니다. 현재카이스트에서이연구에의한구현이이루어지고있다고합니다. 이처럼이론적인연구에서시작하여실용적인분석툴이만들어지는것은매우바람직한연구의흐름이아닐까하고생각하였습니다. POPL POPL은 VMCAI와사뭇분위기가달랐습니다. VMCAI의배가넘은사람들이학회에참가한듯보였습니다. 쉬는시간에는학회장앞에서커피를마시며이야기를하는데발디딜틈이없을만큼꽉차있었습니다. 발표이외의프로그램도훌륭했습니다. 학회의서울대학교프로그래밍연구실, 조성근 5
6 장인 Thomas Ball 을비롯한여러연구자들이음악을연주하는시간도있었습니다. 맥주 를마시며, 음악을듣고, Xbox 게임을하고, 사람들과이야기하고. 매우즐거운시간이었 습니다. Verified Squared: Does Critical Software Deserve Verified Tools? (Invited Talk) - Xavier Leroy 개인적으로상당히기대하고있었던발표였습니다. 프로그램검증분야에서두드러진 업적을보이고있는 Xavier Leroy 의발표이기도하였고, POPL'11 의첫발표이기도하였 기때문입니다. 발표내용중가장인상적이었던부분은 Coq 으로안전성이검증된 C 컴파일러에관한 내용이었습니다. 이미알고있던내용이기는하였지만컴파일러의성능이이렇게좋을 것이라고는생각하지못했습니다. Compcert 라는컴파일러는 gcc 의최적화옵션을주는 것에비하여크게떨어지지않는성능을보였고일부프로그램에대해서는더나은성능 을보이기도했습니다. Coq 으로검증된프로그램이이렇게실용적일수있다는것에놀 라며실용적이고안전한프로그램을 Coq 으로만들어보고싶다고생각했습니다. <Xavier Leroy 의 LCTES 08 Invited Talk 슬라이드로부터 > 매끄러운발표진행과적절한도표사용이또한인상적이었습니다. 중요도순으로나열된프로그램, 프로그램의안전성을위한여러기술들과프로그램의관계, 컴파일러의동작순서와검증된부분에대한도표등은이분야에서진행되고있는연구들의큰그림을이해하는데에도움이되었습니다. 서울대학교프로그래밍연구실, 조성근 6
7 Static Analysis of Multi-Staged Programs Via Unstaging Translation - Wontae Choi, Baris Aktemur, Kwangkeun Yi, and Makoto Tatsuta ROPAS 의최원태학생의발표가있었습니다. 내용은이 전에 ROSAEC 워크숍에서발표한내용과같습니다. 이논 문에서는멀티스테이지언어로부터단계가없는언어로의 변환을정의하고변환이실행의미를보존함을증명하였습니 다. 또한변환결과물을이용하여원본프로그램을검증할 수있다는사실을증명하였습니다. 발표는성공적이었습니 다. 주어진시간을잘활용하여준비한내용을모두발표하 였습니다. Patrick Cousot 교수님께서밝게웃으며코멘트 를하려고뛰어나오셨습니다. 세계최고의석학들에게자 신의연구를소개하고코멘트와질문을받는일, 열심히훌 륭한연구를한연구자에게주어지는선물이라는생각이들 었습니다. Automating String Processing in Spreadsheets using Input- Output Examples - Sumit Gulwani Spreadsheet 에서편리하게쓰이는문자열변환에관한연구입니다. Sumit Gulwani 는 문자열의입력과출력의예를바탕으로변환함수를자동으로만들어내기위한언어와 알고리즘을제안하였습니다. 또한해당알고리즘을 Microsoft Excel 에장착하였고, 발표 시간의상당부분을프로그램시연에사용하였습니다. 덕분에이연구가정말유용하고 유용하며훌륭한연구라는생각이들었고논문을한번자세히읽어보고싶어졌습니다. 학회에서의발표는논문의내용을그대로읊는것이아니라발표자의논문을읽고싶어 하도록유도하는것이라하는데, 그러한점에서정말훌륭한발표였다고생각합니다. Spreadsheet 는다양한직종의사람들에의해서사용되는데그들모두가프로그래밍에 능한것이아니기때문에이연구가더욱유용하다고할수있습니다. 서울대학교프로그래밍연구실, 조성근 7
8 마치며 POPL 11 피드백조사에서 환태평양지역에서 POPL이열리면참가하시겠습니까? 라는질문이있었습니다. 확인해보니지금까지 POPL의 84% 가미국에서열렸고나머지 16% 가유럽에서열렸습니다. 지극히미국과유럽중심의학회가아시아의연구에귀를기울일준비를하고있다는점에서한국에서연구를하고있는우리에게는희망적인이야기가아닐까생각합니다. 감사합니다 세계최고수준의예술을만들고자하는예술가에게세계최고수준의예술작품을보여주는것만한선물은없을것이고, 세계최고수준의기업가가되고자하는사람에게세계최고수준의기업가와만날수있는기회를주는것만한선물은없을것입니다. 이번학회참가는석사 2년차꼬마인저에게그런느낌으로다가왔습니다. 세계최고수준의연구를직접보고느낄수있는기회. 덕분에많은것을생각하고배울수있었습니다. 제가이러한선물을받을수있도록도움을주신 ROSAEC 센터에깊은감사의뜻을전하고싶습니다. 이에보답하는길은훌륭한연구를열심히, 즐겁게하는것이겠지요. 서울대학교프로그래밍연구실, 조성근 8
여행기
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
Figure 1: 현존하는 정적 분석 기술의 한계와 본 연구의 목표. 이러한 허위경보(false alarm)를 가질 수 밖에 없는데, 오탐율(전체 경보중 허위경보의 비율)이 정확도의 척도가 된다. 유용한 정적 분석기는 충분히 낮은 허위경보율을 가져야 한다. 대형 프로그
고성능 정적 프로그램 분석 기법 오학주 고려대학교 컴퓨터학과 서론 1 1.1 소프트웨어 오류 문제 소프트웨어가 모든 산업의 기반 기술이 되면서 소프트웨어의 오류로 인해 발생하는 사회경제적 비 용이 천문학적으로 증가하고 있다. 한 예로 미국의 투자금융회사인 KCG(Knight Capital Group)은 2012년 8월 1일 하루동안 2년치의 매출액에 해당하는
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 프로그램의
레이아웃 1
03 04 06 08 10 12 13 14 16 한겨울의 매서운 추위도 지나가고 어느덧 봄이 성큼 다가왔습니다. 소현이가 이 곳 태화해뜨는샘에 다닌 지도 벌써 1년이 지났네요. 해샘에 처음 다닐 때는 대중교통 이용하는 것도 남을 의식해 힘들어하고, 사무실내에서 사람들과 지내는 것도 신경 쓰여 어려워했었습니다. 그러던 우리 소현이가 하루, 이틀 시간이 지나면서
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 학습목표 프로그래밍의 기본 개념을
슬라이드 1
-Part3- 제 4 장동적메모리할당과가변인 자 학습목차 4.1 동적메모리할당 4.1 동적메모리할당 4.1 동적메모리할당 배울내용 1 프로세스의메모리공간 2 동적메모리할당의필요성 4.1 동적메모리할당 (1/6) 프로세스의메모리구조 코드영역 : 프로그램실행코드, 함수들이저장되는영역 스택영역 : 매개변수, 지역변수, 중괄호 ( 블록 ) 내부에정의된변수들이저장되는영역
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
»êÇÐ-150È£
Korea Sanhak Foundation News VOL. 150 * 2011. 12. 30 논단 이슈별 CSR 활동이 기업 충성도에 미치는 영향 : 국가별 및 산업별 비교분석 최 지 호 전남대 경영학부 교수 Ⅰ. 서론 Ⅰ. 서론 Ⅱ. 문헌 고찰 및 가설 개발 2. 1. 호혜성의 원리에 기초한 기업의 사회적 투자에 대한 소
3 Contents 8p 10p 14p 20p 34p 36p 40p 46P 48p 50p 54p 58p 생명다양성재단 영물이라는 타이틀에 정 없어 보이는 고양이, 날카롭게 느껴지시나요? 얼음이 따뜻함에 녹듯이, 사람에게 경계심 많은 길고양이도 곁을 내어주면 얼음 녹듯이 당신을 바라봅니다. 길 위에 사는 생명체라 하여 함부로 대하지 말아주세요. 싫으면 외면해주세요.
Microsoft PowerPoint - MonthlyInsighT-2018_9월%20v1[1]
![Microsoft PowerPoint - MonthlyInsighT-2018_9월%20v1[1]](/thumbs/91/105296541.jpg "Microsoft PowerPoint - MonthlyInsighT-2018_9월%20v1[1]")
* 넋두리 * 저는주식을잘한다고생각합니다. 정확하게는주식감각이있다는것이맞겠죠? 예전에애널리스트가개인주식을할수있었을때수익률은엄청났었습니다 @^^@. IT 먼쓸리가 4주년이되었습니다. 2014년 9월부터시작하였으니지난달로만 4년이되었습니다. 4년간누적수익률이최선호주는 +116.0%, 차선호주는 -29.9% 입니다. 롱-숏으로계산하면 +145.9% 이니나쁘지않은숫자입니다.
PLDI'16 Trip Report Trip Report: Santa Barbara, CA, USA 2016/6/13 17 서울대학교 프로그래밍 연구실 조성근,, 출발 명실공히 프로그래밍 언어 분야 최고 학회인 에 다녀왔다 나는 에 처음으로 참여
Trip Report: Santa Barbara CA USA 2016/6/1 17 서울대학교 프로그래밍 연구실 조성근 출발 명실공히 프로그래밍 언어 분야 최고 학회인 에 다녀왔다 나는 에 처음으로 참여하는 것이었기 때문에 훌륭한 연구 결과들을 구경할 생각에 출발 전부터 상당히 큰 기대를 가지고 있었다 총 편의 논문이 종류의 세션으로 나뉘어 발표되었고 나는 주로
<5B3134303432325DB1B3C0B0C0DAB8A65FC0A7C7D15FB5F0C0DAC0CEBBE7B0ED5FC5F8C5B62E706466>
2 3 교육자를 위한 디자인사고 / 교육자를 위한 디자인사고 / 4 5 어떻게 하면 나의 교실이 학생들의 니즈를 어떻게 하면 우리는 학교에서 21세기형 학습경험 충족시키는 방향으로 재구성될 수 있을까? 을 만들어낼 수 있을까? 뉴욕에서 2학년을 가르치고 있는 마이클(Michael Schurr)은 자신이 한번도 아이들에게 무엇이 그들을 교실 캘리포니아에 위치한
1단원
January S M T W T F S 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 1 24 25 26 27 28 31 29 30 1 10 11 12 13 14 15 2 16 17 18 19 20 21 3 22 23 24 25 26 27 4 28 29 30 31 32 33 5 34 35 36 37
Microsoft Word - Crackme 15 from Simples 문제 풀이_by JohnGang.docx
CrackMe 15.exe (in Simples) 문제풀이 동명대학교정보보호동아리 THINK www.mainthink.net 강동현 Blog: johnghb.tistory.com e-mail: cari2052@gmail.com 1 목차 : 1. 문제설명및기본분석 --------------------------- P. 03 2 상세분석 ---------------------------
설계란 무엇인가?
금오공과대학교 C++ 프로그래밍 jhhwang@kumoh.ac.kr 컴퓨터공학과 황준하 6 강. 함수와배열, 포인터, 참조목차 함수와포인터 주소값의매개변수전달 주소의반환 함수와배열 배열의매개변수전달 함수와참조 참조에의한매개변수전달 참조의반환 프로그래밍연습 1 /15 6 강. 함수와배열, 포인터, 참조함수와포인터 C++ 매개변수전달방법 값에의한전달 : 변수값,
152*220
152*220 2011.2.16 5:53 PM ` 3 여는 글 교육주체들을 위한 교육 교양지 신경림 잠시 휴간했던 우리교육 을 비록 계간으로이지만 다시 내게 되었다는 소식을 들으니 우 선 반갑다. 하지만 월간으로 계속할 수 없다는 현실이 못내 아쉽다. 솔직히 나는 우리교 육 의 부지런한 독자는 못 되었다. 하지만 비록 어깨너머로 읽으면서도 이런 잡지는 우 리
PowerPoint Presentation
자바프로그래밍 1 배열 손시운 ssw5176@kangwon.ac.kr 배열이필요한이유 예를들어서학생이 10 명이있고성적의평균을계산한다고가정하자. 학생 이 10 명이므로 10 개의변수가필요하다. int s0, s1, s2, s3, s4, s5, s6, s7, s8, s9; 하지만만약학생이 100 명이라면어떻게해야하는가? int s0, s1, s2, s3, s4,
Observational Determinism for Concurrent Program Security
웹응용프로그램보안취약성 분석기구현 소프트웨어무결점센터 Workshop 2010. 8. 25 한국항공대학교, 안준선 1 소개 관련연구 Outline Input Validation Vulnerability 연구내용 Abstract Domain for Input Validation Implementation of Vulnerability Analyzer 기존연구
40043333.hwp
1 2 3 4 5 128.491 156.559 12 23 34 45 안녕하십니까? 본 설문은 설악산과 금강산 관광연계 개발에 관한 보다 실질적인 방향을 제시하고자 만들어졌습니다. 귀하께서 해주신 답변은 학문적인 연구에 도움이 될 뿐 아니라 더 나아가 다가오는 21세기 한국관광 발전에 많은 기여를 할 것입니다.
ThisJava ..
자바언어에정확한타입을추가한 ThisJava 소개 나현익, 류석영 프로그래밍언어연구실 KAIST 2014 년 1 월 14 일 나현익, 류석영 자바언어에정확한타입을추가한 ThisJava 소개 1/29 APLAS 2013 나현익, 류석영 자바 언어에 정확한 타입을 추가한 ThisJava 소개 2/29 실제로부딪힌문제 자바스크립트프로그램분석을위한요약도메인 나현익,
Microsoft PowerPoint - Java7.pptx
HPC & OT Lab. 1 HPC & OT Lab. 2 실습 7 주차 Jin-Ho, Jang M.S. Hanyang Univ. HPC&OT Lab. jinhoyo@nate.com HPC & OT Lab. 3 Component Structure 객체 (object) 생성개념을이해한다. 외부클래스에대한접근방법을이해한다. 접근제어자 (public & private)
문학석사학위논문 존밀링턴싱과이효석의 세계주의비교 로컬 을중심으로 년 월 서울대학교대학원 협동과정비교문학 이유경
저작자표시 - 비영리 - 변경금지 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 비영리. 귀하는이저작물을영리목적으로이용할수없습니다. 변경금지. 귀하는이저작물을개작, 변형또는가공할수없습니다. 귀하는, 이저작물의재이용이나배포의경우,
SIGIL 완벽입문
누구나 만드는 전자책 SIGIL 을 이용해 전자책을 만들기 EPUB 전자책이 가지는 단점 EPUB이라는 포맷과 제일 많이 비교되는 포맷은 PDF라는 포맷 입니다. EPUB이 나오기 전까지 전 세계에서 가장 많이 사용되던 전자책 포맷이고, 아직도 많이 사 용되기 때문이기도 한며, 또한 PDF는 종이책 출력을 위해서도 사용되기 때문에 종이책 VS
041~084 ¹®È�Çö»óÀбâ
1998 60 1 1 200 2 6 4 7 29 1975 30 2 78 35 1 4 2001 2009 79 2 9 2 200 3 1 6 1 600 13 6 2 8 21 6 7 1 9 1 7 4 1 2 2 80 4 300 2 200 8 22 200 2140 2 195 3 1 2 1 2 52 3 7 400 60 81 80 80 12 34 4 4 7 12 80 50
Microsoft PowerPoint _Monthly InsighT 19년 1월.pptx
2019년 1월 Monthly InsighT 우려보다는 용기가 필요한 2019년 박원재 02-3774-1426 william.park@miraeasset.com 김영건 02-3774-1583 younggun.kim.a@miraeasset.com 김철중 02-3774-1464 chuljoong.kim@miraeasset.com * 넋두리 * 드디어 2019년황금돼지해가밝았습니다.
이 장에서 사용되는 MATLAB 명령어들은 비교적 복잡하므로 MATLAB 창에서 명령어를 직접 입력하지 않고 확장자가 m 인 text 파일을 작성하여 실행을 한다
이장에서사용되는 MATLAB 명령어들은비교적복잡하므로 MATLAB 창에서명령어를직접입력하지않고확장자가 m 인 text 파일을작성하여실행을한다. 즉, test.m 과같은 text 파일을만들어서 MATLAB 프로그램을작성한후실행을한다. 이와같이하면길고복잡한 MATLAB 프로그램을작성하여실행할수있고, 오류가발생하거나수정이필요한경우손쉽게수정하여실행할수있는장점이있으며,
JAVA 프로그래밍실습 실습 1) 실습목표 - 메소드개념이해하기 - 매개변수이해하기 - 새메소드만들기 - Math 클래스의기존메소드이용하기 ( ) 문제 - 직사각형모양의땅이있다. 이땅의둘레, 면적과대각
JAVA 프로그래밍실습 실습 1) 실습목표 - 메소드개념이해하기 - 매개변수이해하기 - 새메소드만들기 - Math 클래스의기존메소드이용하기 ( http://java.sun.com/javase/6/docs/api ) 문제 - 직사각형모양의땅이있다. 이땅의둘레, 면적과대각선의길이를계산하는메소드들을작성하라. 직사각형의가로와세로의길이는주어진다. 대각선의길이는 Math클래스의적절한메소드를이용하여구하라.
<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. 포트란에서의
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
슬라이드 1
Pairwise Tool & Pairwise Test NuSRS 200511305 김성규 200511306 김성훈 200614164 김효석 200611124 유성배 200518036 곡진화 2 PICT Pairwise Tool - PICT Microsoft 의 Command-line 기반의 Free Software www.pairwise.org 에서다운로드후설치
2014학년도 수시 면접 문항
안 경 광 학 과 세부내용 - 남을 도와 준 경험과 보람에 대해 말해 보세요. - 공부 외에 다른 일을 정성을 다해 꾸준하게 해본 경험이 있다면 말해 주세요. - 남과 다른 자신의 장점과 단점은 무엇인지 말해 주세요. - 지금까지 가장 고민스러웠던 또는 어려웠던 일과 이를 어떻게 해결하였는지? - 자신의 멘토(조언자) 또는 좌우명이 있다면 소개해 주시길 바랍니다.
설계란 무엇인가?
금오공과대학교 C++ 프로그래밍 jhhwang@kumoh.ac.kr 컴퓨터공학과 황준하 5 강. 배열, 포인터, 참조목차 배열 포인터 C++ 메모리구조 주소연산자 포인터 포인터연산 배열과포인터 메모리동적할당 문자열 참조 1 /20 5 강. 배열, 포인터, 참조배열 배열 같은타입의변수여러개를하나의변수명으로처리 int Ary[10]; 총 10 개의변수 : Ary[0]~Ary[9]
저작자표시 - 비영리 - 변경금지 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 비영리. 귀하는이저작물을영리목적으로이용할
저작자표시 - 비영리 - 변경금지 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 비영리. 귀하는이저작물을영리목적으로이용할수없습니다. 변경금지. 귀하는이저작물을개작, 변형또는가공할수없습니다. 귀하는, 이저작물의재이용이나배포의경우,
<34BFF9C8A320B4DCB8E9B0EDC7D8BBF32E706466>
ISSN 2288-5854 Print ISSN 2289-0009 online DIGITAL POST KOREA POST MAGAZINE 2016. APRIL VOL. 687 04 DIGITAL POST 2016. 4 AprilVOL. 687 04 08 04 08 10 13 13 14 16 16 28 34 46 22 28 34 38 42 46 50 54 56
Vision Mission 15 174 121881 T 0269004400 F 0269004499 170 5 121140 T 0221264091 F 0221264044 4 112 203 425807 T 0314020442 F 0314020140 899 402061 T
2014 Vol.130 Zoom In People Vision Mission 15 174 121881 T 0269004400 F 0269004499 170 5 121140 T 0221264091 F 0221264044 4 112 203 425807 T 0314020442 F 0314020140 899 402061 T 0324341391 F 0324391391
Microsoft Word - 3부A windows 환경 IVF + visual studio.doc
Visual Studio 2005 + Intel Visual Fortran 9.1 install Intel Visual Fortran 9.1 intel Visual Fortran Compiler 9.1 만설치해서 DOS 모드에서실행할수있지만, Visual Studio 2005 의 IDE 를사용하기위해서는 Visual Studio 2005 를먼저설치후 Integration
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 을속성별로분리하고자할경우
소식지수정본-1
2010. 7 통권2호 2 CONTENTS Korea Oceanographic & Hydrographic Association 2010. 7 2010년 한마음 워크숍 개최 원장님께서 손수 명찰을 달아주시면서 직원들과 더욱 친숙하게~~ 워크숍 시작! 친근하고 정감있는 말씀으로 직원들과 소통하며 격려하여 주시는 원장님... 제12차 SNPWG 회의에 참석 _ 전자항해서지
강의 개요
DDL TABLE 을만들자 웹데이터베이스 TABLE 자료가저장되는공간 문자자료의경우 DB 생성시지정한 Character Set 대로저장 Table 생성시 Table 의구조를결정짓는열속성지정 열 (Clumn, Attribute) 은이름과자료형을갖는다. 자료형 : http://dev.mysql.cm/dc/refman/5.1/en/data-types.html TABLE
저작자표시 - 비영리 - 변경금지 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 비영리. 귀하는이저작물을영리목적으로이용할
저작자표시 - 비영리 - 변경금지 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 비영리. 귀하는이저작물을영리목적으로이용할수없습니다. 변경금지. 귀하는이저작물을개작, 변형또는가공할수없습니다. 귀하는, 이저작물의재이용이나배포의경우,
1. 자바프로그램기초 및개발환경 2 장 & 3 장. 자바개발도구 충남대학교 컴퓨터공학과
1. 자바프로그램기초 및개발환경 2 장 & 3 장. 자바개발도구 충남대학교 컴퓨터공학과 학습내용 1. Java Development Kit(JDK) 2. Java API 3. 자바프로그래밍개발도구 (Eclipse) 4. 자바프로그래밍기초 2 자바를사용하려면무엇이필요한가? 자바프로그래밍개발도구 JDK (Java Development Kit) 다운로드위치 : http://www.oracle.com/technetwork/java/javas
41-5....
ISSN 1016-9288 제41권 5호 2014년 5월호 제 4 1 권 제 5 호 ( ) 2 0 1 4 년 5 월 SSD (Solid State Drive) The Magazine of the IEIE vol.41. no.5 SSD (Solid State Drive) SSD (Solid State Drive)를 이루는 기술과 미래 SSD의 등장에 따른 OS의
Microsoft PowerPoint - chap06-1Array.ppt
2010-1 학기프로그래밍입문 (1) chapter 06-1 참고자료 배열 박종혁 Tel: 970-6702 Email: jhpark1@snut.ac.kr 한빛미디어 출처 : 뇌를자극하는 C프로그래밍, 한빛미디어 -1- 배열의선언과사용 같은형태의자료형이많이필요할때배열을사용하면효과적이다. 배열의선언 배열의사용 배열과반복문 배열의초기화 유연성있게배열다루기 한빛미디어
<4D F736F F F696E74202D C61645FB3EDB8AEC7D5BCBA20B9D720C5F8BBE7BFEBB9FD2E BC8A3C8AF20B8F0B5E55D>
VHDL 프로그래밍 D. 논리합성및 Xilinx ISE 툴사용법 학습목표 Xilinx ISE Tool 을이용하여 Xilinx 사에서지원하는해당 FPGA Board 에맞는논리합성과정을숙지 논리합성이가능한코드와그렇지않은코드를구분 Xilinx Block Memory Generator를이용한 RAM/ ROM 생성하는과정을숙지 2/31 Content Xilinx ISE
슬라이드 1
정적메모리할당 (Static memory allocation) 일반적으로프로그램의실행에필요한메모리 ( 변수, 배열, 객체등 ) 는컴파일과정에서결정되고, 실행파일이메모리에로드될때할당되며, 종료후에반환됨 동적메모리할당 (Dynamic memory allocation) 프로그램의실행중에필요한메모리를할당받아사용하고, 사용이끝나면반환함 - 메모리를프로그램이직접관리해야함
......-....4300.~5...03...
덕수리-내지(6장~8장)최종 2007.8.3 5:43 PM 페이지 168 in I 덕수리 민속지 I 만 아니라 마당에서도 직접 출입이 가능하도록 되어있다. 이러한 장팡뒤의 구조는 본래적인 형태라 고 할 수는 없으나, 사회가 점차 개방화되어가는 과정을 통해 폐쇄적인 안뒤공간에 위치하던 장항 의 위치가 개방적이고 기능적인 방향으로 이동해가는 것이 아닌가 추론되어진다.
Microsoft PowerPoint - C++ 5 .pptx
C++ 언어프로그래밍 한밭대학교전자. 제어공학과이승호교수 연산자중복 (operator overloading) 이란? 2 1. 연산자중복이란? 1) 기존에미리정의되어있는연산자 (+, -, /, * 등 ) 들을프로그래머의의도에맞도록새롭게정의하여사용할수있도록지원하는기능 2) 연산자를특정한기능을수행하도록재정의하여사용하면여러가지이점을가질수있음 3) 하나의기능이프로그래머의의도에따라바뀌어동작하는다형성
ÆÞ¹÷-Æîħ¸é.PDF
H.E.L.P. Vol. SUMMER Vol. WINTER 2015. vol 53 Pearl S. Buck Foundation Korea 4 Pearl S. Buck Foundation Korea 5 Pearl S. Buck Foundation Korea 프로그램 세계문화유산 걷기대회 Walk Together 탐방길곳곳에서기다리고있는조별미션활동! 남한산성 탐방길에는
2015-05
2015 Vol.159 www bible ac kr 총장의 편지 소망의 성적표 강우정 총장 매년 1학년과 4학년 상대로 대학생핵심역량진단 (K-CESA)을 실시한지 5년이 지났습니다. 이 진 단은 우리 학우들이 사회가 필요로 하는 직업인으로서 핵심역량을 어느 정도 갖추었나를 알아보는 진단입니다. 지난번 4학년 진단 결과는 주관처인 한국직업능력개발원
0.筌≪럩??袁ⓓ?紐껋젾001-011-3筌
3 4 5 6 7 8 9 10 11 Chapter 1 13 14 1 2 15 1 2 1 2 3 16 1 2 3 17 1 2 3 4 18 2 3 1 19 20 1 2 21 크리에이터 인터뷰 놀이 투어 놀이 투어 민혜영(1기, 직장인) 내가 살고 있는 사회에 가치가 있는 일을 해 보고 싶 어 다니던 직장을 나왔다. 사회적인 문제를 좀 더 깊숙이 고민하고, 해결책도
ITFGc03ÖÁ¾š
Focus Group 2006 AUTUMN Volume. 02 Focus Group 2006 AUTUMN 노랗게 물든 숲 속에 두 갈래 길이 있었습니다. 나는 두 길 모두를 가볼 수 없어 아쉬운 마음으로 그 곳에 서서 한쪽 길이 덤불 속으로 감돌아간 끝까지 한참을 그렇게 바라보았습니다. 그리고 나는 다른 쪽 길을 택했습니다. 그 길에는 풀이 더 무성하고, 사람이
USC HIPAA AUTHORIZATION FOR
연구 목적의 건강정보 사용을 위한 USC HIPAA 승인 1. 본 양식의 목적: 건강보험 이전과 책임에 관한 법(Health Insurance Portability and Accountability Act, HIPAA)이라고 알려진 연방법은 귀하의 건강정보가 이용되는 방법을 보호합니다. HIPAA 는 일반적으로 귀하의 서면 동의 없이 연구를 목적으로 귀하의
Poison null byte Excuse the ads! We need some help to keep our site up. List 1 Conditions 2 Exploit plan 2.1 chunksize(p)!= prev_size (next_chunk(p) 3
Poison null byte Excuse the ads! We need some help to keep our site up. List 1 Conditions 2 Exploit plan 2.1 chunksize(p)!= prev_size (next_chunk(p) 3 Example 3.1 Files 3.2 Source code 3.3 Exploit flow
저작자표시 - 비영리 - 변경금지 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 비영리. 귀하는이저작물을영리목적으로이용할
저작자표시 - 비영리 - 변경금지 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 비영리. 귀하는이저작물을영리목적으로이용할수없습니다. 변경금지. 귀하는이저작물을개작, 변형또는가공할수없습니다. 귀하는, 이저작물의재이용이나배포의경우,
OCW_C언어 기초
초보프로그래머를위한 C 언어기초 4 장 : 연산자 2012 년 이은주 학습목표 수식의개념과연산자및피연산자에대한학습 C 의알아보기 연산자의우선순위와결합방향에대하여알아보기 2 목차 연산자의기본개념 수식 연산자와피연산자 산술연산자 / 증감연산자 관계연산자 / 논리연산자 비트연산자 / 대입연산자연산자의우선순위와결합방향 조건연산자 / 형변환연산자 연산자의우선순위 연산자의결합방향
º»ÀÛ¾÷-1
Contents 10 http://www.homeplus.co.kr 11 http://www.homeplus.co.kr 12 http://www.homeplus.co.kr 13 http://www.homeplus.co.kr Interview 14 http://www.homeplus.co.kr Interview 15 http://www.homeplus.co.kr
Microsoft Word - PLC제어응용-2차시.doc
과정명 PLC 제어응용차시명 2 차시. 접점명령 학습목표 1. 연산개시명령 (LOAD, LOAD NOT) 에대하여설명할수있다. 2. 직렬접속명령 (AND, AND NOT) 에대하여설명할수있다. 3. 병렬접속명령 (OR, OR NOT) 에대하여설명할수있다. 4.PLC의접점명령을가지고간단한프로그램을작성할수있다. 학습내용 1. 연산개시명령 1) 연산개시명령 (LOAD,
example code are examined in this stage The low pressure pressurizer reactor trip module of the Plant Protection System was programmed as subject for
2003 Development of the Software Generation Method using Model Driven Software Engineering Tool,,,,, Hoon-Seon Chang, Jae-Cheon Jung, Jae-Hack Kim Hee-Hwan Han, Do-Yeon Kim, Young-Woo Chang Wang Sik, Moon
PowerPoint 프레젠테이션
Verilog: Finite State Machines CSED311 Lab03 Joonsung Kim, joonsung90@postech.ac.kr Finite State Machines Digital system design 시간에배운것과같습니다. Moore / Mealy machines Verilog 를이용해서어떻게구현할까? 2 Finite State
학습목차 2.1 다차원배열이란 차원배열의주소와값의참조
- Part2- 제 2 장다차원배열이란무엇인가 학습목차 2.1 다차원배열이란 2. 2 2 차원배열의주소와값의참조 2.1 다차원배열이란 2.1 다차원배열이란 (1/14) 다차원배열 : 2 차원이상의배열을의미 1 차원배열과다차원배열의비교 1 차원배열 int array [12] 행 2 차원배열 int array [4][3] 행 열 3 차원배열 int array [2][2][3]
Microsoft PowerPoint 자바-기본문법(Ch2).pptx
자바기본문법 1. 기본사항 2. 자료형 3. 변수와상수 4. 연산자 1 주석 (Comments) 이해를돕기위한설명문 종류 // /* */ /** */ 활용예 javadoc HelloApplication.java 2 주석 (Comments) /* File name: HelloApplication.java Created by: Jung Created on: March
coverbacktong최종spread
12-B553003-000001-08 함께하자! 대한민국! Summer COVER STORY Contents www.pcnc.go.kr facebook.com/pcnc11 instagram.com/pcnc_official youtube.com/pcnctv cover story communication people culture news & epilogue 2016
슬라이드 1
강력한성능! 인터넷 / 업무용데스크탑 PC NX-H Series Desktop PC NX1- H700/H800/H900 NX2- H700/H800/H900 NX1-H Series 사양 Series 제품설명 ( 모델명 ) NX1-H Series, 슬림타입 기본형모델중보급형모델고급형모델 NX1-H800:112SN NX1-H800:324SN NX1-H800:534MS
EA0015: 컴파일러
5 Context-Free Grammar 무엇을공부하나? 앞에서배운 " 정규식 " 은언어의 " 어휘 (lexeme)" 를표현하는도구로사용되었다. 언어의 " 구문 (syntax)" 은 " 정규언어 " 의범위를벗어나기때문에 " 정규식 " 으로표현이불가능하다. 본장에서배우는 " 문맥자유문법 " 은언어의 " 구문 (syntax)" 을표현할수있는도구이다. 어떤 " 문맥자유문법
trip_report
PLDI 2014 Edinburgh, Scotland 서울대학교 오학주 2014.06.09-2014.06.15동안 영국 에든버러에서 열린 PLDI 2014에 논문발표차 다녀왔다. PLDI(ACM Conference on Programming Langauge Design and Implementation)는 프로그래밍 언어 분야에서 실제적인 연구결과들이 주로
4.18.국가직 9급_전산직_컴퓨터일반_손경희_ver.1.hwp
2015년도 국가직 9급 컴퓨터 일반 문 1. 시스템 소프트웨어에 포함되지 않는 것은? 1 1 스프레드시트(spreadsheet) 2 로더(loader) 3 링커(linker) 4 운영체제(operating system) - 시스템 소프트웨어 : 운영체제, 데이터베이스관리 프로그램,, 컴파일러, 링커, 로더, 유틸리티 소프트웨 어 등 - 스프레드시트 : 일상
금오공대 컴퓨터공학전공 강의자료
C 프로그래밍프로젝트 Chap 13. 포인터와배열! 함께이해하기 2013.10.02. 오병우 컴퓨터공학과 13-1 포인터와배열의관계 Programming in C, 정재은저, 사이텍미디어. 9 장참조 ( 교재의 13-1 은읽지말것 ) 배열이름의정체 배열이름은 Compile 시의 Symbol 로서첫번째요소의주소값을나타낸다. Symbol 로서컴파일시에만유효함 실행시에는메모리에잡히지않음
AFF2018_6PP_Brochure_BR_KR_preview
각 산업 전문가 프레젠테이션 및 전세계의 투자 프로젝트 쇼케이스가 진행됩니다. 권위자, 오피니언 리더, 싱크탱크 전문가 포럼 참가자 전용 모바일 어플 제공: 2017년 11월 30일까지 웹사이트()를 통해 등록하시면 조기등록 할인 혜택을 받으실 수 있습니다. 추가 정보는 AFF 웹사이트 () 를 방문하시거나 아래 양식을 작성하시어 이메일 (aff@hktdc.org)
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 물건중심프로그래밍
Microsoft PowerPoint - chap06-2pointer.ppt
2010-1 학기프로그래밍입문 (1) chapter 06-2 참고자료 포인터 박종혁 Tel: 970-6702 Email: jhpark1@snut.ac.kr 한빛미디어 출처 : 뇌를자극하는 C프로그래밍, 한빛미디어 -1- 포인터의정의와사용 변수를선언하는것은메모리에기억공간을할당하는것이며할당된이후에는변수명으로그기억공간을사용한다. 할당된기억공간을사용하는방법에는변수명외에메모리의실제주소값을사용하는것이다.
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
API 매뉴얼
PCI-DIO12 API Programming (Rev 1.0) Windows, Windows2000, Windows NT and Windows XP are trademarks of Microsoft. We acknowledge that the trademarks or service names of all other organizations mentioned
untitled
시스템소프트웨어 : 운영체제, 컴파일러, 어셈블러, 링커, 로더, 프로그래밍도구등 소프트웨어 응용소프트웨어 : 워드프로세서, 스프레드쉬트, 그래픽프로그램, 미디어재생기등 1 n ( x + x +... + ) 1 2 x n 00001111 10111111 01000101 11111000 00001111 10111111 01001101 11111000
해피메이커 표지.indd
Contents _ 02 _ 04 _ 06 _ 08 _ 14 _ 15 _ 16 _ 21 _ 24 _ 30 _ 32 _ 35 _ 38 _ 44 _ 56 _ 62 _ 66 _ 68 _76 _84 _86 _92 _112 COVER STORY CEO Message 02 03 KSD HISTORY HISTORY 2006-2010 2011-2012 04 05 ISSUE
<4D F736F F D20C0CCBEBEC1A6BEEE5FC3A5BCD2B0B35F >
이씨제어 한글기술서적소개 1. SIMATIC S7-300/400 초급과정교육교재 S7-300/400 에대한초급교육에사용되는한글판교육교재. * 참고영어원문 : Programming with STEP 7, Automating with STEP 7 in STL and SCL A4 단면 280 쪽, 파워포인트컬러판 2. SIMATIC S7-300/400 중급과정교육교재
Best of the Best Benchmark Adobe Digital Index | APAC | 2015
v Best of the Best 벤치마크 Adobe Digital Index APAC 2015 ADOBE DIGITAL INDEX Best of the Best 벤치마크 (아시아 태평양 지역) 본 리포트는 아시아 태평양 지역에 있는 기업의 성과를 정리해 놓은 것입니다. 이 리포트를 통해 아시아 태평양 지역의 모바일 마케팅 모범 사례를 살펴볼 수 있습니다.
금오공대 컴퓨터공학전공 강의자료
C 프로그래밍프로젝트 Chap 14. 포인터와함수에대한이해 2013.10.09. 오병우 컴퓨터공학과 14-1 함수의인자로배열전달 기본적인인자의전달방식 값의복사에의한전달 val 10 a 10 11 Department of Computer Engineering 2 14-1 함수의인자로배열전달 배열의함수인자전달방식 배열이름 ( 배열주소, 포인터 ) 에의한전달 #include
I would like to ask you a favor. Can you pick me up at the airport? ASAP P.S. RSVP BTW IMO ATM ETA
1 주차. Asking favors > Warm up I would like to ask you a favor. Can you pick me up at the airport? ASAP P.S. RSVP BTW IMO ATM ETA 1 2 3 4 5 6 7 8 9 To Cc Bcc Subject Attachments Dear James, Soyoung Kim
PowerPoint 프레젠테이션
NuPIC 2013 2013.11.07~11.08 충남예산 FPGA 기반제어기를위한통합 SW 개발환경구축 유준범 Dependable Software Laboratory 건국대학교 2013.11.08 발표내용 연구동기 효과적인 FPGA 기반제어기를위한통합 SW 개발환경 연구진행현황 개발프로세스 FBD Editor FBDtoVerilog 향후연구계획 맺음말 2
Chap 6: Graphs
AOV Network 의표현 임의의 vertex 가 predecessor 를갖는지조사 각 vertex 에대해 immediate predecessor 의수를나타내는 count field 저장 Vertex 와그에부속된모든 edge 들을삭제 AOV network 을인접리스트로표현 count link struct node { int vertex; struct node
Microsoft PowerPoint - ch07 - 포인터 pm0415
2015-1 프로그래밍언어 7. 포인터 (Pointer), 동적메모리할당 2015 년 4 월 4 일 교수김영탁 영남대학교공과대학정보통신공학과 (Tel : +82-53-810-2497; Fax : +82-53-810-4742 http://antl.yu.ac.kr/; E-mail : ytkim@yu.ac.kr) Outline 포인터 (pointer) 란? 간접참조연산자
법학박사학위논문 실손의료보험연구 2018 년 8 월 서울대학교대학원 법과대학보험법전공 박성민
저작자표시 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 이차적저작물을작성할수있습니다. 이저작물을영리목적으로이용할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 귀하는, 이저작물의재이용이나배포의경우, 이저작물에적용된이용허락조건을명확하게나타내어야합니다.
Office 365, FastTrack 4 FastTrack. Tony Striefel FastTrack FastTrack
FastTrack 1 Office 365, FastTrack 4 FastTrack. Tony Striefel FastTrack FastTrack 5 11 2 FASTTRACK 소개 디지털 혁신은 여기서 시작합니다. Microsoft FastTrack은 Microsoft 클라우드를 사용하여 고객이 신속하게 비즈니스 가치를 실현하도록 돕는 고객 성공 서비스입니다.
저작자표시 - 비영리 - 변경금지 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 비영리. 귀하는이저작물을영리목적으로이용할
저작자표시 - 비영리 - 변경금지 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 비영리. 귀하는이저작물을영리목적으로이용할수없습니다. 변경금지. 귀하는이저작물을개작, 변형또는가공할수없습니다. 귀하는, 이저작물의재이용이나배포의경우,
차 례. 서론. 선행연구고찰. 학교생활기록부신뢰도제고를위한설문조사결과. 학교생활기록부신뢰도제고를위한면담조사결과 Ⅴ. 학교생활기록부신뢰도제고를위한개선방안제언 169 Ⅵ. 결론 195 참고문헌 부록 표차례 그림차례 서 론 1 Ⅰ. 서론 Ⅰ. 서론 1. 연구의필요성및목적 3 학교생활기록부신뢰도제고방안연구 4 Ⅰ. 서론 2. 연구의내용및범위 5 학교생활기록부신뢰도제고방안연구
서현수
Introduction to TIZEN SDK UI Builder S-Core 서현수 2015.10.28 CONTENTS TIZEN APP 이란? TIZEN SDK UI Builder 소개 TIZEN APP 개발방법 UI Builder 기능 UI Builder 사용방법 실전, TIZEN APP 개발시작하기 마침 TIZEN APP? TIZEN APP 이란? Mobile,
PowerPoint Presentation
5 불대수 IT CookBook, 디지털논리회로 - 2 - 학습목표 기본논리식의표현방법을알아본다. 불대수의법칙을알아본다. 논리회로를논리식으로논리식을논리회로로표현하는방법을알아본다. 곱의합 (SOP) 과합의곱 (POS), 최소항 (minterm) 과최대항 (mxterm) 에대해알아본다. 01. 기본논리식의표현 02. 불대수법칙 03. 논리회로의논리식변환 04.
Microsoft PowerPoint - MonthlyInsighT-2018_10월_v8
* 넋두리 * 요즘고민이많습니다. 먼쓸리수익률도그중하나입니다. 누적수익률은아직좋지만최근성적은좋지않습니다. 8월에이어 9월에도졌습니다. 실적이좋아도, 충분히조정받아저평가상태여도주가가부진합니다. 버팀목이던국민연금은국내주식을더매수하긴어려운상태이고, 자산운용사들도사정이좋지않습니다. 견제가필요한주식시장에서외국인영향력이커졌습니다. 롱-숏전략이잘먹히죠. 후배들과같이만들어가는먼쓸리지만책임은제게있습니다.
¿©¼ºÀαÇ24È£
Contents ㅣ반딧불이ㅣ뒤엉켜 버린 삶, 세월이 흘러도 풀 수 없는.. 실타래 벌써 3년째 시간은 흘러가고 있네요. 저는 서울에서 엄마의 갑작스런 죽음 때문에 가족들과 제주로 내려오게 되었답 니다. 몸과 마음이 지쳐있었고 우울증에 시달리며, 엄마의 죽음을 잊으려고 하였습 니다. 그러다 여기서 고향 분들을 만나게 되었고 그 분들의
행정학석사학위논문 공공기관기관장의전문성이 조직의성과에미치는영향 년 월 서울대학교행정대학원 행정학과행정학전공 유진아
저작자표시 - 비영리 - 변경금지 2.0 대한민국 이용자는아래의조건을따르는경우에한하여자유롭게 이저작물을복제, 배포, 전송, 전시, 공연및방송할수있습니다. 다음과같은조건을따라야합니다 : 저작자표시. 귀하는원저작자를표시하여야합니다. 비영리. 귀하는이저작물을영리목적으로이용할수없습니다. 변경금지. 귀하는이저작물을개작, 변형또는가공할수없습니다. 귀하는, 이저작물의재이용이나배포의경우,
<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) 선언한다음, 실행도중에배열의크기를변경하는것이가능하다.
중간고사
중간고사 예제 1 사용자로부터받은두개의숫자 x, y 중에서큰수를찾는알고리즘을의사코드로작성하시오. Step 1: Input x, y Step 2: if (x > y) then MAX
Artificial Intelligence: Assignment 6 Seung-Hoon Na December 15, Sarsa와 Q-learning Windy Gridworld Windy Gridworld의 원문은 다음 Sutton 교재의 연습문제
Artificial Intelligence: Assignment 6 Seung-Hoon Na December 15, 2018 1 1.1 Sarsa와 Q-learning Windy Gridworld Windy Gridworld의 원문은 다음 Sutton 교재의 연습문제 6.5에서 찾아볼 수 있다. http://incompleteideas.net/book/bookdraft2017nov5.pdf
4-Ç×°ø¿ìÁÖÀ̾߱â¨ç(30-39)
항공우주 이야기 항공기에 숨어 있는 과학 및 비밀장치 항공기에는 비행 중에 발생하는 현상을 효율적으로 이용하기 위해 과 학이 스며들어 있다. 특별히 관심을 갖고 관찰하지 않으면 쉽게 발견할 수 없지만, 유심히 살펴보면 객실 창문에 아주 작은 구멍이 있고, 주 날 개를 보면 뒷전(trailing edge) 부분이 꺾어져 있다. 또 비행기 전체 형 상을 보면 수직꼬리날개가
Microsoft PowerPoint - chap04-연산자.pptx
int num; printf( Please enter an integer: "); scanf("%d", &num); if ( num < 0 ) printf("is negative.\n"); printf("num = %d\n", num); } 1 학습목표 수식의 개념과 연산자, 피연산자에 대해서 알아본다. C의 를 알아본다. 연산자의 우선 순위와 결합 방향에
DBMS & SQL Server Installation Database Laboratory
DBMS & 조교 _ 최윤영 } 데이터베이스연구실 (1314 호 ) } 문의사항은 cyy@hallym.ac.kr } 과제제출은 dbcyy1@gmail.com } 수업공지사항및자료는모두홈페이지에서확인 } dblab.hallym.ac.kr } 홈페이지 ID: 학번 } 홈페이지 PW:s123 2 차례 } } 설치전점검사항 } 설치단계별설명 3 Hallym Univ.
제 1 절 복습 \usepackage{ g r a p h i c x }... \ i n c l u d e g r a p h i c s [ width =0.9\ textwidth ] { b e a r. j p g } (a) includegraphics 사용의일반적인유형
![제 1 절 복습 \usepackage{ g r a p h i c x }... \ i n c l u d e g r a p h i c s [ width =0.9\ textwidth ] { b e a r. j p g } (a) includegraphics 사용의일반적인유형](/thumbs/91/107506734.jpg "제 1 절 복습 \usepackage{ g r a p h i c x }... \ i n c l u d e g r a p h i c s [ width =0.9\ textwidth ] { b e a r. j p g } (a) includegraphics 사용의일반적인유형")
그림배치 이주용 jlee@formal.korea.ac.kr 2011 년 9 월 28 일 제 1 절 복습 \usepackage{ g r a p h i c x }... \ i n c l u d e g r a p h i c s [ width =0.9\ textwidth ] { b e a r. j p g } (a) includegraphics 사용의일반적인유형 (b)
Gwangju Jungang Girls High School 이상야릇하게 지어져 이승이 아닌 타승에 온 것 같은 느낌이 들었다. 모텔에 여장을 풀고 먹 기 위해 태어났다는 이념 아래 게걸스럽게 식사를 했다. 피곤하니 빨리 자라는 선생님의 말 씀은 뒷전에 미룬 채 불을 끄고 밤늦게까지 속닥거리며 놀았다. 몇 시간 눈을 붙이는 둥 마 는 둥 다음날 이른 아침에