d라이브러리
"증명"(으)로 총 2,786건 검색되었습니다.
-
- Part 3. 아슬아슬하고 위태위태한 논란들과학동아 l2016년 05호
- 비판했다.이들이 보여준 사례처럼, 바이러스는 생각보다 쉽게 합성할 수 있다. 이 사실을 증명한 것도 합성생물학자들이었다. 유럽분자생물학기구(EMBO)의 과학정책분야 책임자인 미쉘 가핑클 연구원과 미국 스탠퍼드대 드류 앤디 교수 등 쟁쟁한 합성생물학자들이 쓴 보고서에는 소아마비 바이러스, ... ...
-
- [Knowledge] 과학인가 사기인가 과학 데이터와 통계 논란(下)과학동아 l2016년 05호
- 과학 분야에 ‘재현성 논쟁’이 뜨겁다. 과학 전반의 신뢰성을 떨어뜨릴 수 있는 문제로 결코 쉽게 볼 일이 아니다. 원인은 여러 가지가 있지만, 최 ... 능력을 갖고 있음을 보여줄 수 있는 절호의 기회이기도 하다. 과학의 건전성을 스스로 증명하기 위해, 과학자들은 오늘도 노력하고 있다 ... ...
-
- Part 2 무관심이 만든 자녀 학대. 어떻게 끊어낼 것인가과학동아 l2016년 05호
- 행동장애, 수치심 등을 줄이는 데 더 큰 효과를 보였다. 하 박사는 “TFCBT의 효과를 증명하는 연구가 많아지면서 우리나라에서도 5세 이상의 학대 아동에 대해서는 TFCBT를 주로 사용한다”고 말했다.“보여주기 식 정책은 아이들을 더 아프게 할 뿐, 꾸준한 예산이 필요하다”_ 최윤용 ... ...
-
- [지식] 소수 끝자리 분포의 미스터리수학동아 l2016년 05호
- 2, 3, 5, 7, 11, 13, … 으로 이어지는 소수에 어떤 규칙이 있는지 알아내기 위해 많은 수학자가 노력했지만, 아직 찾지 못했습니다. 하지만 ... 있습니다.수학자들이 이번에 발견된 소수의 성질을 어떻게 설명할지, 또 그것을 어떻게 증명할지 앞으로 많은 후속 연구가 이어질 것으로 예상됩니다 ... ...
-
- 인공지능, 인간을 뛰어넘은 비밀수학동아 l2016년 04호
- 나올 수도 있다”고 말했다.엄상일 KAIST 수리과학과 교수는 “컴퓨터가 사람이 한 증명을 보고 맞는지 틀린지를 판단하는 소프트웨어는 이미 쓰이고 있다”며, “하지만 수학자처럼 새로운 것을 창조해내는 인공지능이 나올지는 아직 지켜봐야 할 것”이라고 조심스럽게 미래를 전망했다 ... ...
-
- Part2. ‘알파크래프트’ 어디까지 왔나과학동아 l2016년 04호
- 명령을 내린다. 덕분에 인간으로서는 도저히 할 수 없는 극한의 컨트롤을 보여준다. 이를 증명하듯 인공지능의 뛰어난 컨트롤을 모아 놓은 특별 영상이 SNS를 통해 엄청난 인기를 끌기도 했었다. 때문에 공정한 대결을 위해서는 로봇팔을 만들어 컴퓨터도 직접 입력을 해야 된다는 으름장을 놓는 ... ...
-
- Part 1. 알파고가 우리에게 남긴 것들과학동아 l2016년 04호
- 잘못된 직관을 바로 잡아 그 분야를 발전시키기도 했고, 기존의 직관을 데이터가 증명해 더 발전된 새로운 논의를 이끌어내기도 했다. 전자의 예는 중세인들이 믿던 천동설이고(천체 관측 데이터가 쌓이면서 잘못된 이론으로 드러났다), 후자의 예로는 데이터에 기반한 최근의 야구를 꼽을 수 있다 ... ...
-
- 과학수사대 ‘능력자들’어린이과학동아 l2016년 04호
- 법심리과의 함근수 실장은 최면상태에서 변하는 뇌파를 분석해 최면 수사의 효과를 증명하려고 노력하고 있어요. 최면 상태에서 사건과 관련된 정보를 들려 주거나 보여 줬을 때 뇌파가 어떻게 변하는지 등을 연구해 논문으로 내기도 했답니다.함 실장은 “아직 뇌파 분석만으로 최면의 효과를 ... ...
-
- [Editor’s note] 인공지능 수학자는 언제?수학동아 l2016년 04호
- 비밀을 파헤쳐보려고 할까요? 혹은 난제에 도전해서 성공할 수 있을까요? 리만 가설을 증명할 수 있을까요?온통 물음표투성이입니다. 답을 알고 싶다면 여러분이 직접 인공지능 수학자를 개발해 보는 게 어떨까요? 수학동아를 보면서 차근차근 수학을 공부하다보면 뛰어난 인공지능 수학자를 만들 ... ...
-
- Part 4. 인공지능의 미래를 가늠하다과학동아 l2016년 04호
- 컴퓨터공학과 교수가 말했다. P-NP 문제는 1971년 미국의 전산학자 스티븐 쿡이 ‘정리 증명 절차의 복잡성’이라는 논문에서 처음 제기한 문제로, 컴퓨터로 풀 수 없는 문제가 존재한다는 내용이다.1950년대 영국의 암호학자 앨런 튜링이 지금의 컴퓨터와 비슷한 튜링 기계와 인공지능 개념을 처음 ... ...
이전888990919293949596 다음