d라이브러리
"증명"(으)로 총 2,786건 검색되었습니다.
- 2019 과학기술 10대 뉴스과학동아 2019년 12호
- AI)퀀텀팀은 논문에서 현존하는 최고의 슈퍼컴퓨터로 푸는 데 1만 년 걸리는 난수 증명 과제를 3분 20초, 즉 200초 만에 시커모어가 풀었다고 설명했습니다. 현존 최고의 슈퍼컴퓨터는 미국 오크리지국립연구소의 ‘서미트’로 연산속도가 148페타플롭스(PF)에 이릅니다. 1PF는 1초에 1000조 개의 계산을 ... ...
- [따끈따끈한 수학] 4색 문제의 확장판! 하트비거의 추측수학동아 2019년 12호
- 하켄이 해결했습니다. 하지만 아직 컴퓨터를 사용한 증명만 있어서 컴퓨터를 쓰지 않은 증명을 고민하는 수학자가 많습니다. 4색 문제처럼 어려운 문제를 풀기 위해서 수학자는 다양한 방법으로 고민합니다. 특히 원래 문제를 변형해 더 어렵고 추상적인 문제로 만들어서 생각하는 것을 즐깁니다. ... ...
- [수학미술관] 매듭의 마술사 김윤철수학동아 2019년 12호
- 될지 말이죠! 1 Q. CERN에서의 일과는 무엇이었나요?CERN은 오랫동안 이론적으로만 증명됐던 힉스 입자를 검출한 세계적인 연구소예요. 힉스 입자를 검출한 대형강입자가속기(LHC)를 보는 게 제 주된 일과였죠. 둘레가 27km나 되는 원형 터널인 LHC는 기계적인 아름다움이 있거든요. 마치 하나의 ... ...
- 빅뱅 이후 우주의 설계도를 그리다과학동아 2019년 11호
- 다룬 논문도 수록됐다. 이로써 이 빛이 파장에 무관하게 온도가 같은 흑체복사임이 증명됐다. 우주가 빅뱅 이후 급속히 팽창해 현재와 같은 차갑고 밀도가 낮은 우주로 진화해 왔다는 이론이 성립된 것이다. 피블스 연구원은 1966년 빅뱅 직후 1초부터 3분까지 우주에서 일어난 핵 합성 과정을 연구해 ... ...
- 이변은 없었다 2019 노벨상 리포트과학동아 2019년 11호
- 구디너프 교수가 리튬이온이 삽입된 코발트산화물이 4V의 전압을 만든다는 것을 증명한 게 1980년이고, 이를 바탕으로 요시노 교수가 최초의 상업적인 리튬이온전지를 개발한 것이 1985년이기 때문이다. 핵심 논문이 발표된 지 무려 40년 가까이 흘러 마침내 노벨상이 결정됐다.통계적으로는 노벨상 ... ...
- 냉동 캡슐에 들어갔다 나옴! 잘 녹을 수 있음?과학동아 2019년 11호
- 정합니다. 냉동 기간이 크게 문제가 되지 않는다는 건 세포 단위에선 이미 논문으로 증명된 사실입니다. 한 예로 데이비드 스트론섹 미국 국립보건연구원(NIH) 연구원팀의 실험을 들 수 있는데요. 액체 질소에 1일부터 5년 6개월까지 냉동 기간이 다른 백혈구 311개를 비교한 결과, 해동했을 때 정상 ... ...
- [수학뉴스] 정수보다 작은 수 체계에서 쌍둥이 소수 추측은 참?!수학동아 2019년 11호
- 논문 게재 사이트인 ‘아카이브(ArXiv)’에 올라왔습니다. 이전까지 쌍둥이 소수 추측 증명에 가장 앞선 성과를 거뒀던 제임스 메이나드 영국 옥스퍼드대학교 교수는 이번 연구에 대해 “유한한 범위를 잘 이해할 수 있다면, 정수 세계를 훤히 밝힐 수 있을 것”이라 말했습니다. ... ...
- 더 강하게 돌아왔다, 터미네이터수학동아 2019년 11호
- 수 없는 일로 여겨졌다. 이런 선입견을 깨고 처음으로 자기 복제 로봇을 논리적으로 증명한 사람이 바로 컴퓨터의 아버지, 미국의 수학자 존 폰 노이만이다. 노이만은 연구 끝에 1951년 ‘세포 자동자’라는 모형을 고안했다. 이 모형은 여러 개의 튜링 기계를 2차원 격자형태로 나열했다. 하나의 ... ...
- 한국우주전파관측망(KVN) 구축 10주년 4개의 눈으로 우주를 보다과학동아 2019년 10호
- 전파관측망으로 발돋움했다. KVN을 사용하기 위해 한국을 찾는 전 세계 과학자들이 이를 증명하고 있다. 오충식 KVN그룹 선임연구원은 “1년에 두 차례 KVN 사용 신청을 받고 있는데, 신청자 중 80%는 해외 과학자들”이라고 말했다.KVN 연구원들은 이에 그치지 않고 한 발 더 도약을 앞두고 있다. 현재 ... ...
- 지능×뉴런 지능은 어디에 있을까과학동아 2019년 10호
- 상태에 대해 이해하는 선천적인 능력에 대한 이론이다.이와 같은 인간 고유의 특성을 증명하기 위해서 과학자들은 살아 있는 사람의 뇌를 관찰해야 했다. 1970년대 자기공명영상(MRI), 양전자단층촬영(PET) 등 뇌 촬영기법이 개발되면서 사고로 뇌가 손상된 환자의 뇌와 정상인을 비교하는 연구 등이 ... ...
