2017의 게시물 표시

数学読本

이미지
    ㅇ저자 : 마츠자카 가즈오 ( 松坂和夫 ( まつさか かずお ) 마츠사카 카즈오 , 1927.2.15. ~ 2012.1.4.)               일본의 수학자. 히토쓰바시 대학의 명예교수로 재직함   ㅇ옮긴이 : 김태성(金泰星), 서울대학교 문리과대학 졸업, 원광대학교 수학.정보통계학부 교수  

Logical Connectives

이미지
명제연산을 위한 연결사(connective) 혹은 논리연산자 (logical operator) 는 다음과 같다.  ■ 부정(否定, negation) : 한 명제에 대하여 그것이 "아님"을 나타낸다. 따라서 명제가 참이면 그의 부정은 거짓이 되며, 명제가 거짓이라면 그의 부정은 참이 된다.     명제 P의 부정은   ∼P,   ¬P,   NOT P,  P' 등으로 기호화 한다.   ■ 논리곱(conjunction) : 논리적(論理積)이라고도 하며, 두 명제의 논리곱은 모두가 참일 때만 참이 되며, 어느 하나라도 거짓이면 거짓이 된다.     P 와 Q의 논리곱은 P∧Q,   P&Q,  P AND Q,  P•Q,  PQ 등으로 표현한다.   ■ 논리합(論理合, disjunction) : 두 명제의 논리합은 모두가 거짓일 때만 거짓이 되며, 어느 하나라도 참이면 참이 된다. 'P OR Q' 라는 표현은, 영어 'or' 의 일반적인 의미에 따르면 아래의 배타적논리합과의 혼동을 초래할 수 도 있다는 점에 유의하여야 한다.     P와 Q 의 논리합은 P∨Q,  P OR Q,  P+Q 등과 같이 표현한다   ■ 배타적논리합(exclusive disjunction) : 두 개의 명제 중 어느 하나만이 참일때 결과값이 참이 되는 경우를 배타적논리합이라고 한다. 즉, 두 명제가 모두 참이거나 거짓이면 그 결과는 거짓이 된다.      exclusive or 는 P△Q,  P EOR Q,  P XOR Q, P Q 등으로 나타낸다.    ■ 조건(conditional) 혹은 함의(含意, implication) : 'P →Q' 는 조건명제로서 '(만일) P이면 Q 이다.' 라고 읽는다. P가 참이고 Q 가 거짓일 때만 P → Q는 거짓이 되고 , 그 외의 경우에 대해서는 참이 된다. 여기에서 P는 전건

Wumpus World

이미지
 Wumpus World는 인공지능 중에서도 문제 해결(Problem Solving; PS) 분야의 문제로써 매우 유명한 예제이다. Logical Agents를 사용 하여 해결하는 문제이며, Logical Agent는 환경에 대한 정보와 판단으로 구성되어있다. 로봇의 이동, 환경의 변화와 같은 입력 값에 따라 Logical Agent의 환경에 대한 정보, 판단의 내용이 바뀌게 되며 이에 따라 다음 행동을 결정한다.   Wumpus는 괴물의 이름이며, Wumpus가 살고 있는 동굴을 가리켜 Wumpus World라고 한다. 동굴의 환경은 4가지가 있다. -    평범한 바닥 (Floor) -    괴물 (Wumpus) -    구덩이(Pit) -    보물(Gold)   이 문제의 목적은 출제자에 따라 다르지만 가장 큰 목적은 구덩이와 괴물을 피해 보물이 있는 곳까지 도달하는 것이다. 문제에 따라 보물을 획득하고 괴물의 위치를 파악하여 괴물을 죽이라는 과제가 추가되기도 한다.   이 동굴의 특징은 여러 개의 방으로 이루어져 있으며, 동굴 전체는 칠흑같이 어두워서 탐험가(Explorer)가 들고 있는 횃불로는 현재 위치하고 있는 방의 정보 밖에 알 수 없다. 또한 탐험가는 현재 있는 위치에서 전, 후, 좌, 우 네 방향으로 움직일 수 있으며, 가지고 있는 활을 사용하여 괴물을 죽일 수 있다.   하지만 탐험가는 자신이 있는 곳 밖에 볼 수 없기 때문에, 안전한 탐험을 위해서는 동굴의 상태(state)를 알아야 한다. 상태는 총 3가지가 있으며 다음과 같다. -    악취(Stench): 괴물의 전, 후, 좌, 우 4방향은 악취가 풍기게 된다. -    산들바람(Breeze): 구덩이가 있는 방의 전, 후, 좌, 우 4방향은 구덩이로부터 올라오는 산들 바람이 느껴진다. -    반짝거림(Glitter): 보물이 있는 방에 들어서면 방 어딘가에 있는 보물의 반짝거림을 느낄 수 있다.   Wumpus World의 핵심은 현재

소프트웨어 프로젝트 생존전략 - [3부]

1부 생존을 위한 사고방식 1장 살아남기 위한 방법 2장 소프트웨어 프로젝트 생존테스트 3장 생존의 개념 4장 생존의 기술 5장 성공적인 프로젝트란? 2부 생존 준비 6장 움직이는 표적 맞추기 – 변경통제(change control)에 대해 7장 사전 계획 8장 요구사항 개발 9장 품질 보증 10장 아키텍처 11장 최종준비 3부 단계에 의한 성공 12장 단계 계획 수립의 시작 단계별 계획을 시작할 때는 해당 단계에서 수행될 작업의 상세한 과정에 대한 단계 시작 시의 계획을 수립한다. 프로젝트 팀은 해당 단계의 상세설계, 코딩, 테크니컬 리뷰, 테스트, 통합 및 기타 작업을 수행하는 방법에 관한 개별 단계 계획을 수립한다. 이때 가장 많은 노력이 필요한 작업은 해당 단계의 프로젝트 진척도를 추적하기 위한 상세 마일스톤 목록을 작성하는 것이다. 이러한 마일스톤을 생성하려면 많은 수고를 해야 하지만, 이를 통해 프로젝트 상태를 쉽게 파악할 수 있고 리스크를 줄일 수 있으므로 그만한 가치가 있다. 단계별 납품 방식은 개발 팀이 프로젝트를 진행하면서 여러 번 소프트웨어를 릴리즈 가능한 상태로 만들게 한다. 이렇게 하는 것이 품질 저하 위협을 줄이고, 상대에 대한 가시성을 높이며, 일정 지연을 예방할 수 있는 방법이다. 따라서 각 단계를 시작할때 계획을 세우면서 열정을 다해야 하는 것 처럼, 이 단계에도 많은 동기 부여가 필요하다. 요구사항 업데이트 상세설계 구축 테스트 사례 작성 사용자 문서 업데이트 테크니컬 리뷰 결함 수정 기술적 조정 작업 리스크 관리 프로젝트 추적 통합 및 릴리즈 단계정리     ㅇ Binary Milestone A BinaryMilestone is a single Yes/No question or True/False statement. The MileStone has been reached when the answer is "Yes" or the stat
이미지
 소프트웨어 프로젝트 생존전략 - 지은이 : 스티브 맥코넬 / 옮긴이 : 김덕규외 / 정가 : 19,800원 - 392쪽 / 판형 : A5 / 1판 - 출간일 : 2003년 08월 05일 - ISBN-10 : 8995300957 / ISBN-13 : 9788995300954 [저자소개] 스티브 맥코넬(Steve McConnell) Construx Software Builders사의 수석 소프트웨어 엔지니어며, 마이크로소프트를 포함한 소프트웨어 선도 기업에 대한 컨설팅을 하고 있다. 저서로 Code Complete(1993)와 Rapid Development(1996)가 있고, 이 책은 모두 Software Development 잡지가 수여하는 Jolt 상(우수한 소프트웨어개발 서적 부문)을 수상했다. IEEE Software 잡지의 “Best Practices” 칼럼 편집장이기도 하다.   최근 전문 소프트웨어 개발자가 되기 위해서는 뭘 해야 하는지에 대한 내용을 담은 Professional Software Development(After the Gold Rush의 2/E, Addison-Wesley)을 집필했다. Steve는 워싱턴의 Walla Walla에 위치한 Whitman College에서 학위를, 그리고 Seattle University에서 소프트웨어 공학으로 석사학위를 획득했다. 그는 IEEE Software와 Software Practitioner의 편집위원이며, IEEE Computer 잡지의 수석 평론가이자, IEEE Computer Society and ACM의 일원이다. 이 책에 관해 질문이나 의견이 있다면 Microsoft Press사의 메일인 stevemcc@construx.com를 통해 연락할 수 있다. [ 출처: 인사이트 ]   [목    차]   1부 생존을 위한 사고방식 1장 살아남기 위한 방법 소프트웨어 프로젝트 생존 훈련에 참가하게 된 여러분을

조엘 온 소프트웨어

이미지
    [ 저자 소개 ] 조엘 스폴스키 는 영어와 헤브라이어를 자유자재로 말하는 미국 거주 이스라엘 사람입니다. 어릴 때부터 IBM PC를 다룬 경험을 시작으로 컴퓨터와 관련한 여러 가지 다양한 경험을 쌓았으며 이를 토대로 조엘 온 소프트웨어 블로그( http://www.joelonsoftware.com )를 흥미롭게 이끌어가고 있습니다. 조엘은 빵 공장에서 파스칼을 사용해서 제어 프로그램을 작성한 이후로 펜실베니아 대학교, 벨 연구소 인턴, 마이크로소프트 인턴, 예일 대학교, 마이크로소프트 프로그램 관리자, 비아컴 연구원, 주노 온라인 서비스 기술 관리자를 두루 거쳤으며, 요즘은 포그 크릭 소프트웨어( http://www.fogcreek.com )를 창립해서 냉혹한 비즈니스 세계에서 살아남기 위해 부단히 노력중입니다. 조엘은 이스라엘 낙하산 병으로 근무하기도 했으며, 자전거를 타고 미국 대륙을 횡단하는 기록을 세우기도 했습니다. 소프트웨어 분야와 비소프트웨어 분야를 통틀어 조엘이 겪었던 다양한 경험은 조엘 온 소프트웨어를 생생한 현실감이 느껴지도록 만드는 일등 공신입니다.   1장. 언어선택 2장. 기본으로 돌아가기   조웰이 권장하는 '대학생이 갖춰야 할 지식' 목록 졸업 전에 작문법을 배운다. 졸업 전에 C를 배운다. 졸업 전에 미시 경제학을 공부한다. 따분하다고 비 전사ㄴ 과목을 등한시하지 마라. 프로그래밍 심화과정을 수강하라. 모든 직업이 인도로 넘어간다는 걱정은 그만둬라. 무엇을 하든 여름 인턴과정을 거쳐라.   3장. 조엘 테스트: 더 나은 코드를 위한 12단계 소스코드 관리시스템을 사용하고 있습니까? 한방에 빌드르ㄹ 만들어낼 수 있습니까? 일일 빌드를 하고 있습니까? 버그 추적시스템을 운영하고 있습니까? 코드를 새로 작성하기 전에 버그를 수정하십니까? 일정을 업데이트하고 있습니까? 명세서를 작성하고 있습니까? 조

사물인터넷 보안

3. Solving Problems By Searching

ㅇProblem-solving agent - one kind of goal-based agent - Problem-solving agents use atomic representations(블랙박스 접근) ㅇ A Problem can be defined formally by five components 1. Inital State : The initial state that the agent starts in. 에이전트가 시작되는 초기상태 2. Actions : 3. Transition model : A description of what each action does. 4. Goal test : The goal test, which determines whether a given state is a goal state. 5. Path cost : A path cost function that assigns a numeric cost to each path. ㅇ Uniformed Search (Blind Search) - 전체 상태를 경험적으로 분석할 수 없기에 Goal State로 향하는 어떠한 방향성을 가지고   있지 않고 모든 방향으로 뻗어나간다 1. Breadth-first Search : Frontier에서 가장 얕은 탐험되지 않은 노드들 먼저 확장하는 방법. 여기서 Frontier는 FIFO Queue로서 구현이 되어야만 한다. 2. Uniform-cost Search : 현재 Frontier에서 확장되지 않은 노드 중에서 가장 비용이 적은 노드부터 선택해서 확장하는 것을 의미 3. Depth-first Search : 깊이 우선 탐색 방법. Frontier에서 확장되지 않은 노드중에서 가장 깊은 것을 우선적으로 확장한다. Frontier는 Stack의 형태로 구성 4. Depth-limited Search : 일반적으로 DFS와 완전하게 일치. 다만 깊이에 제한을 둔다는 점에서 차익 았다. 깊이 제

Turing Test

The Turing Test, proposed by alan Turing(1950), was 조작적 정의(操作的 定義)는 사물 또는 현상을 객관적이고 경험적으로 기술하기 위한 정의이다. 대개는 수량화할 수 있는 내용으로 만들어진다. 조작적 정의란 개념은 1946년 노벨 물리학상을 수상한 퍼시 윌리엄스 브리지먼이 처음으로 제안하였다. 조작적 정의의 필요성은 과학에서 사용되는 여러 개념들이 오랫동안 사용되어온 관습적인 용례와 더 이상 일치하지 않는 사례들이 발행하였기 때문이다. 예를 들어, 오랫동안 절대적인 불변량으로 받아들여져 왔던 시간이나 공간은 일반 상대성 이론이 발표된 다음부터 더 이상 종래의 개념을 유지하지 못하게 되었다. 즉, 일반 상대성 이론에서 시공간은 중력과 같은 다른 물리량에 의해 변화한다. 이 때문에 과학에서는 다루고자 하는 개념을 경험적으로 측정할 수 있도록  하는 조작적 정의를 사용하게 되었다.  조작적(操作的)이라는 말은 operational을 번역한 것으로 대상을 경험적으로 다룰 수 있도록 서술한다는 의미를 갖고있다. 조작적 정의는 주어진 연구의 맥락 속에서 그 개념이 무엇을 의미하는지를 명백하게  드러낼 수 있는 장점이 있다.

Intelligent Agent

이미지
An agent is anything that can be viewed as perceiving its environment through sensors and acting upon that environment through actuators. 에이전트는 센서를 통해 환경을 인식하고 액추에이터를 통해 환경에 작용하는 것으로 볼 수있는 모든 것입니다.   A human agent has eyes, ears, and other organs for sensors and hands, legs, vocal tract, and so on for actuators. Rational Agent : For each possible percept sequence, a ratioal agent should select an action that is expected to maximize its performance measure, given the evidence provided by the percept sequence and whatever built-in knowledge the agent has. 직면한 환경(environment)에서 자신의 목표 달성하기 위해 환경을 인식(percepts)하고 행동(action)함으로써 문제 상황을 해결하는 주체라고 생각할 수 있다. ㅇAgent 의 공통적인 특징 1. Agent는 사용자를 대신해서 사용자가 원하는 작업을 자동으로 해결하는 자율적 프로세스로서 주로 분산환경에서 동작하며 자신만의 일을 수행할 수 있는 독립된 기능을 가진 한의 소프트웨어 시스템 이다. 2. Agent는 독립된 기능을 수행하기 위해 지식(Knowledge) 이라는 비절차적 처리정보가 저장된 데이터베이스를 이용하여 자신의 추론방법을 통해 다른 Agent와 상호 작용 한다. 3. 또한 경험을 바탕으로 한 학습기능 및 목적 지향적 능력을 가지고 지속적인 행동 을 한다. ㅇAgent 의 분류 1. Simple Reflex Ag

John Haugeland

이미지
John Haugeland (1945 - 2010) was a Professor of Philosophy at the University of Chicago since arriving here (from the University of Pittsburgh) in the fall of 1999. He held a bachelor's degree (in physics) from Harvey Mudd College (1966) and a PhD from U.C. Berkeley (1976). His main interests included (early) Heidegger, philosophy of science, philosophy of mind (including cognitive science), philosophy of language, and stuff like that. He is the author of Artificial Intelligence: The Very Idea (MIT 1986) and Having Thought (Harvard 1998); the editor of Mind Design (MIT 1981; second edition, 1997); and co-editor (with Jim Conant) of Thomas Kuhn's The Road Since Structure (Chicago 2000). He was at work on a book tentatively titled Heidegger Disclosed . In addition to all that, Professor Haugeland certainly owned more nuts and bolts than most philosophers (and possibly more than any). CV ( DOC ) Obituary Link Books Artificial Intelligence: The Very Idea Having Thou

Dartmouth Conference - The birth of artificial Intelligence(1956)

John McCarthy convinced Minsky, claude Shannon, and Nathaniel Rochester to help him bring together U.S. researchers interested in automata theory, neural nets, and the study of intelligence. They organized a two-month workshop at Dartmouth in the summer of 1956. The proposal states: We propose that a 2 month, 10 man study of artificial intelligence be carried out during the summer of 1956 at Dartmouth College in Hanover, New Hampshire. The study is to proceed on the basis of the conjecture that every aspect of learning or any other feature of intelligence can in principle be so precisely described that a machine can be made to simulate it. An attempt will be made to find how to make machines use language, form abstractions and concepts, solve kinds of problems now reserved for humans, and improve themselves. We think that a significant advance can be made in one or more of these problems if a carefully selected group of scientists work on it together for a summer. It is not my ai

Nathaniel Rochester

이미지
Born January 14, 1919, Buffalo, N. Y; chief architect of IBM's first scientific computer and of the Prototype of its first commercial computer, and developer of symbolic assembly language programming. Education: BS, MIT, 1941. Professional Experience: MIT Radiation Laboratory, 1941-1943; Sylvania Electric Products, 1943-1948; IBM: 1948-1992, engineering manager, 700 series, 1954-1959, director, Experimental Machine Research, 1959. Honors and Awards: fellow, IEEE. [At the time of the award the organization was the IRE.] 1958; IBM Fellow, 1967; Computer Pioneer Award, IEEE Computer Society, 1984. Rochester worked on radar at the MIT Radiation Laboratory from 1941 to 1943 and for Sylvania Electric Products until he joined IBM in 1948. After being chief architect of IBM's first scientific computer and of the prototype of its first commercial computer (IBM-701, Defense Calculator), and in 1953 having developed symbolic assembly language programming, in 1954 he was ap

Claude Elwood Shannon

이미지
Claude Elwood Shannon (April 30, 1916 – February 24, 2001) was an American mathematician , electrical engineer , and cryptographer known as "the father of information theory ". [1] [2] Shannon is noted for having founded information theory with a landmark paper, A Mathematical Theory of Communication , that he published in 1948. He is, perhaps, equally well known for founding digital circuit design theory in 1937, when—as a 21-year-old master's degree student at the Massachusetts Institute of Technology (MIT)—he wrote his thesis demonstrating that electrical applications of Boolean algebra could construct any logical, numerical relationship. [3] Shannon contributed to the field of cryptanalysis for national defense during World War II , including his fundamental work on codebreaking and secure telecommunications .

Marbin Lee Minsky

Artificial Intelligence - A Modern Approach

이미지
  저자: Stuart Russell, Peter Norvig   1.1.1 Turing Test approach     Alan Turing (1950) 1.3. The History of Artificial Intelligence 1) The gestation of articial Intelligence(1943 ~ 1955)        2) The birth of artificial intelligence (1956)   존 매카시 (John McCarthy, 1927년 9월 4일 - 2011년 10월 24일)는 미국의 전산학자이자 인지과학자이다. 인공지능 에 대한 연구 업적을 인정받아 1971년 튜링상 을 수상했다. 리스프 프로그래밍 언어를 설계 및 구현하였으며, 1956년에 다트머스 학회 에서 처음으로 인공지능 (Artificial Intelligence)이라는 용어를 창안했다 [자료출처 : 위키백과  ] Dartmouth 학회 참가자 - Marvin Lee Minsky(1927. 8. 9. ~2016. 1.24.) 마빈 리 민스키는  인공지능 (AI) 분야를 개척한 미국인 과학자이다. MIT 의 인공지능 연구소의 공동 설립자이며, AI와 관련된 책들을 저술했다. 뉴욕에서 태어나 브롱크스 과학 고등학교를 나왔다. 매사추세츠 주 의 필립스 아카데미를 다녔고, 1944년부터 1945년까지 미국 해군으로 복무했다. 1950년 하버드 대학교 에서 수학 학사학위를 받고, 1954년 에 프린스턴 대학교 에서 수학 박사 학위를 받았다. 1958년 부터 MIT 교수직으로 재직했다. 1953년에 공초점 레이저 주사 현미경 에 관한 이론을 개발해 냈다. 1970년 에 튜링상 , 1990년 에 일본국제상 , 2001년 벤자민 플랭클린 메달을 비롯한 다양한 상을 수상했으며, 미국 국립 공학 학술원(Na

지성만이 무기다 - 시라토리 하루히코 지음 김해용 옮김

이미지
    ㅇ 작가소개 : 시라토리 하루히코 < 자료출처 : YES24 > 돗쿄(獨協)대학 외국어학부 독일어학과를 졸업한 후, 1979년 독일 베를린자유대학교(Freie Universitat Berlin)에 입학하여 철학·종교학·문학을 공부하고 1985년에 귀국한다. 어린 시절부터 책을 좋아하여 엔도 슈사쿠(遠藤周作), 미시마 유키오(三島由紀夫) 등 일본작가를 비롯하여 니체, 괴테, 토마스 만, 단테, 도스토옙스키 등 다양한 문학작품을 두루 섭렵한다. 특히 니체에게 큰 감명을 받았고 귀국 후 종교와 철학에 관한 입문서, 해설서 집필에 전념하여 밀리언셀러에 오른 『초역 니체의 말』과 그 후속작인 『초역 니체의 말 Ⅱ』를 펴냈다. 『초역 니체의 말』은 단숨에 일본 독자들을 사로잡으며 인문 분야 역대 최다 판매라는 대기록을 세우기도 했다. 또한 붓다가 전하는 180개의 잠언으로 이루어진 『생각을 쉬게 하라』역시 출간과 동시에 일본 아마존 베스트셀러에 올랐다. 그밖에도 『직장인을 위한 성서 입문』『불교 ‘초’ 입문』『철학자의 말에는 생존의 힘이 있다』『밤새워 누군가를 기다려본 적이 있는 사람에게』『사랑이 외로운 건 내 전부를 걸기 때문입니다』『행복을 일구는 사람에게 주고 싶은 100가지 말』등 다수가 있다. ㅇ목차 작가의 말_ 이 세상을 살아가는 데 지성만이 유일한 무기다 제1장. '읽기'에서 시작하는 공부 ;  생각하고 이해하고 의심하는 기술 01. '생각하는 것'은 '읽는 것'으로부터 시작된다 02. 지성을 쌓는 독서 비결        " 스토리나 에피소드의 흐름을 쫓아가는 오락 책이 아니라 논리를 전개하는 책을 읽을 때는 다음과 같은 점을        확실히 파악해 두면 도움이 되고 시간이 지나도 쉽게 잊히지 않는다.         1. 그 논리의 취지         2. 논리의 근거         3. 논리의 전제가 되는 지식, 관점, 가치관과 그 논