본문 바로가기

Phaskal

1.1 Propositional Logic - 00 Proposition Logic 명제(proposition)는 참/거짓을 따질 수 있는 문장이다. 참과 거짓을 둘 다 가지고 있거나 참과 거짓 사이의 값을 가질 수 없다. 예를 들어 '1+1=2' 라거나 '북극곰은 남극에 산다' 등의 문장이 그 문장이 참이든 거짓이든 간에 명제이다. 반면 '거기 누구야?', '베토벤은 음악의 천재이다'처럼 진리로 받아들일지라도 명제로 받아들이지 않는 문장이 있다. 영국의 수학자, 논리학자 Boole이 만든 Boolean connectives로 참/거짓을 따질 수 있다. 여러 언어에서 나오는 Boole변수가 이 사람으로부터 유래된 것이다. 전자회로를 설계하거나 프로그램의 상태를 표시할때 등 컴퓨터 과학 분야에서도 이 기법을 사용한다. 더보기
Chapter 1. Algorithms: Efficiency, Analysis, and Order - 00 1.1 Algorithms 알고리즘을 배우기 앞서 몇가지 정의에 대해 살펴보자 Problem 우리가 답을 찾고 싶은 질문을 말한다. 예를 들자면 x를 n개의 숫자가 있는 리스트 S에 있는지 찾는게 문제이다. Problem Instance 인자(x, n, S같은 것을 말한다)에 특정 숫자를 집어넣은 problem을 말한다. 위 problem예시를 problem instance 예시로 바꾸자면, 8을 5개의 숫자가 있는 리스트 [13, 17, 9, 1, 8]에 있는지 찾아라가 되겠다. Algorithm problem instance의 해결책을 단계별 절차를 걸쳐 실행하는 것이다. 위 문제에 대한 algorithm의 예시중 하나는 순차적 탐색기법이 있다. 더보기
01. 운영체제 소개 운영체제(OS, Operating System) 컴퓨터나 휴대폰, 등의 장치에서 컴퓨터 리소스를 숨겨서 정해진 방법으로만 접근하는 인터페이스를 사용자에게 제공하는 시스템 소프트웨어를 일컫는다. 윈도우, Mac OS, 리눅스, iOS, Android, 등이 여기에 속한다. 스마트 TV나 스마트워치, 내비게이션 같은 CPU와 메모리 성능이 낮은 시스템에도 운영체제가 내장되는데 이를 임베디드 운영체제라고 한다. 이러한 운영체제가 없어도 컴퓨터는 작동하지만 기능에 제약이 있고, 리소스를 효율적으로 관리하여 컴퓨터 성능을 향상시킨다. 또 사용자에게 편리한 인터페이스를 제공하여 사용을 쉽게 만들기도 한다. 이뿐만 아니라 운영체제가 있는 기계는 다양한 응용 프로그램을 설치 및 사용할 수 있고, 새로운 기능을 쉽게 추.. 더보기
분필 꽂이 어쩌다 칠판 청소를 하게 되었는데, 쓰고 남은 분필로 칠판이 되게 더러웠다.(한번 닦아서 나름 깨끗하지 원래는 저기가 분필 가루로 뒤덮여 있었다) 그래서 분필 꽂이함을 3D프린팅으로 제작하기로 했다. 먼저 분필과 자석으로 걸 수 있도록 자석의 크기를 재야한다. 그후 학교에서 사용하는 123D를 이용해 디자인 원래 좀더 복잡한 디자인이였는데 한 번 날려서... 적당히 만들었다. 위에 구멍은 자석을 넣기 위한 구멍이다. 집에 안쓰는 공기계를 이용해 타임랩스를 촬영했다. (눈부심 주의) 2시간 32분동안 4568장 찍어서 120fps로 재생시킨 것이다. 더보기
역사 속의 소프트웨어 오류 - 김종하 . 이 책의 저자는 story.wisedog.net 에서 자신의 블로그를 운영하고 있는 사람이다. 그의 블로그에 소프트웨어 결함에 대해 조사한 글을 올렸는데 그 글을 정리해 책으로 출판한 것이다. 한 글을 쓰기 위해 여러 곳을 조사하면서 각종 전문 용어까지 두루두루 살피는 정성이 보이는 글이다. 이제 세상은 소프트웨어 없이는 하루도 못 사는 세상이 되버렸다. 무수히 많은 소프트웨어 중 버그가 없는 소프트웨어는 거의 없다고 생각한다. 사람이 짰기에 실수가 생기기 마련이고 그 실수가 큰 화를 불러오게 되기도 한다. 크고 작은 사건 사고 중 우리나라에서 일어난 사건으로 대한항공 801편 추락사고가 있었다. 소프트웨어 오류도 있었지만 그것을 알고도 침착하게 대응하지 못해 큰 사고로 번진것 같다. 최대한 오류가 .. 더보기
인공지능 - 사이언티픽 아메리칸 인간이 만든 인공지능과 인간은 평화롭게 지낼 수 있을까? 각종 영화나 소설에서 인공지능이 인간을 지배하는 경우가 종종 나온다. 특히, 인공지능 하면 빠지지 않는 사골인 알파고와 이세돌의 대결에서 이세돌이 패한 경우에서 인공지능의 지능은 인간을 넘어섰다고 생각하는 사람이 많다. 이 책이 과거에 쓰여진 글들을 오늘날 다시 정리해서 그런지 최근상황을 반영하지 않은 부분들이 많긴하다. 하지만, 아직 인공지능이 인간을 넘어설려면 해결해야 할 관문들이 많다고 한다. 물론 계산능력에 있어서는 인공지능이 훨씬 빠르지만, 언어나 사물인식은 인간이 '아직' 우세하다.(당장 구글 번역의 오역만 봐도 알 수 있다) 이는 인간의 두뇌구조가 계산에는 비효율적이지만, 언어에는 탁월하다고 한다. 이를 극복하기 위해 인공신경망을 만들.. 더보기
2017년 06월 07일 ~ 09일 전자신문 2017년 06월 07일 수요일 "게임 규제, 현 상황에 맞게 전면 재설계해야" 게임 규제를 전면 재설계해야 한다는 주장이 국회에서 나왔다. 리모델링 수준이 아니라 재개발 차원으로, 각 부처에 분산돼 있는 규제를 정비할 것을 강조했다. 조승래 더불어 민주당 의원은 "기존 규제를 개선하는 차원이 아니라 현재 상황에 맞는 규제로 완전히 바꿔야 한다"면서 "낡은 규제가 아니라 새로운 미래를 준비하는 시각에서 규제를 설계해야 한다"고 밝혔다. 김병관 더민주 의원은 "셧다운제와 성인게임결제한도 등은 사소한 규제처럼 보일지 모르지만 결국 산업과 콘텐츠를 왜곡하는 결과를 가져왔다"며 규제 재설계에 동의했다. 웹진 창업자 출신인 김 의원은 국산 게임 가운데 청소년용이 많지 않다는 것을 규제 왜곡 사례로 들었다. 셧다운.. 더보기
사이버 해킹 - 사이언티픽 아메리칸 이 책은 앞으로 발달할 기술들이 가져올 위험성에 대해 질문을 던지고, 어떻게 해결할지 고민해 보는 책이다. 바이러스, IC칩, 생체인증 등 다양한 분야에 해킹을 다루고 있어서 앞으로 디지털화가 될수록 해킹 가능할 것들이 늘어날 것으로 생각한다. 책을 읽다보면 정말 가지가지한 방법으로 해킹을 하는 것을 보여주는데, 그 예로 키보드의 키가 눌릴 때마다 나오는 전자파를 분석해 무엇을 입력하는지 알 수 있다고 한다. 또, 블루투스로 감염되는 휴대폰 바이러스는 감기처럼 블루투스가 켜져있는 기기가 많은곳 즉 사람들이 밀집해 있는 곳에서 순식간에 전파된다고 한다. 이처럼 다양한 해킹에 대비하기 위해, 보안수칙을 잘 지키고 보안에 대해 더욱 관심을 가져야 한다. 특히 요즘 보안불감증이 사람들 사이에서 많이 퍼져서, 개.. 더보기
SQL - 10 이번엔 SQL에서 쓰는 함수를 알아보자. 엑셀을 다뤄보신 분들이라면 엑셀의 그것과 똑같다. 단지 쓰는 형태가 다를뿐..SELECT 함수(칼럼이름) FROM 테이블이름; UPPER() -> 칼럼에 있는 문자를 대문자로LOWER() -> 칼럼에 있는 문자를 소문자로SQRT() -> 칼럼에 있는 숫자의 제곱근SUM() -> 칼럼에 있는 숫자들의 합AVG() -> 칼럼에 있는 숫자들의 평균 SQL에 쓰이는 수 많은 함수를 모두 다룰 순 없다. 그러니 그런 부분들은 검색을 활용해주길 바란다. 이 함수들을 WHERE뒤에 사용하여 활용할 수도 있다. AVG를 쓰기위해선 SELECT까지 전부 입력 해야 하는 것이 약간 불편한 점이다. 더보기
2017년 06월 05일 전자신문 학교 정보선생님께서 '전자신문'을 구독하셔서 몇몇의 기사를 스크랩하고자 한다. 2017년 06월 05일 월요일 IoT, GPS등 첨단기술 접목... 꼬리치는 '펫팸(pet+family) 가전' 국내에서 개, 고양이 등 반려동물을 기르는 사람이 1000만명을 넘어섰다. 1~2인 가구가 증가하면서 반려동물을 가족으로 기르는 사람이 늘어나는 추세다. 반려동물을 기르는 가구가 늘면서 관련 시장도 급부상하고 있다. 반려동물 용품 시장을 넘어 다양한 가전제품이 등장하고, 사물인터넷(IoT) 등 신기술을 이용한 서비스도 등장했다.-펫 전용 공기청정기 : 실내 공기오염도 종합 분석, 감지 털뿐만 아니라 미세먼지까지-펫 전용 배변훈련기 : 펫캠이 배변 감지해 간식 제공 패드 자동 교체 위생성 탁월-펫 전용 웨어러블 기기.. 더보기

티스토리툴바