뉴스
"리서치"(으)로 총 459건 검색되었습니다.
- 350년 난제 '페르마의 마지막 정리' 컴퓨터 증명 나선 수학자들동아사이언스 2024.04.02
- '린(Lean)'을 이용해 페르마의 마지막 정리를 검증할 계획이다. 린은 마이크로소프트 리서치팀이 2013년 개발한 수학 증명을 검증하는 소프트웨어다. 린은 갈수록 검증이 어려워지고 있는 수학 논문 검증에 활용된다. 컴퓨터 언어인 코드로 증명 내용을 변환해 린에 입력하면 이 증명이 참인지 알려주는 ... ...
- [과기원NOW] KAIST 융합인재학부 1호 졸업생 탄생 外동아사이언스 2024.02.16
- 기술 개발 등 수질관리 분야의 최정상급 연구력을 인정받아 편집장으로 선임됐다. 워터 리서치는 국제물연합(IWA) 출판사인 엘스비어사에서 출판하는 수자원 분야 상위 1% 학술지다. 이 교수의 편집장 임기는 2024년 2월 1일부터 2년간이다 ... ...
- [사이언스게시판] 연구개발특구 기술사업화 대상에 다임리서치·바이옴에이츠·이노동아사이언스 2024.01.25
- 대상은 로봇 기반 제조 자동화 통합 서비스 플랫폼을 구축해 기술력을 인정받은 다임리서치가 수상했다. 지역혁신 기여 부문 대상은 2023년 20억원 규모 투자 유치에 성공하고 지역인재들에게 실무경험 기회를 다수 제공한 바이옴에이츠, 사업화 지원 부문 대상은 최근 3년간 12개 연구소기업 설립에 ... ...
- 1년만의 규제 해제, 종이 빨대는 어떻게 될까과학동아 2024.01.06
- 9% 일반 시민들의 반응을 살펴보자. 환경운동연합은 환경부의 발표 이후 여론조사 업체 리서치뷰에 일회용품 규제 정책 인식조사를 의뢰했다. 조사는 2023년 11월 18일부터 19일까지 진행됐으며 전국의 만 18세 이상 성인남녀 1000명이 참여했다. 환경부의 일회용품 규제 정책 변화에 대한 시민들의 ... ...
- 변비 걸리면 알츠하이머 발병 위험 2배 이상 높아져동아사이언스 2023.12.22
- 변비에 걸리면 알츠하이머병 발병 위험이 2배 이상 높아지는 것으로 나타났다. 게티이미지뱅크 제공 변비에 걸리면 알츠하이머병 발병 위험이 2배 이상 높아지 ... 적극적인 관리가 필요하다”고 말했다. 연구 결과는 국제학술지 ‘저널 오브 어드밴스드 리서치’에 13일 온라인 게재됐다 ... ...
- 한국 첫 물리탐사 연구선 ‘탐해2호’ 27년만에 퇴역동아사이언스 2023.12.12
- 과학기술정보통신부 표준지침(무상양여)에 따른 공개입찰 방식을 통해 마린리서치에 탐해2호를 양도했다. 지질자원연은 2024년 5월 6000톤급(6926톤) 최첨단 3D/4D 물리탐사연구선 ‘탐해3호’를 취항한다. 전 세계 대륙붕과 극지 등 글로벌 전 해역을 누비며 해저에너지자원 탐사와 해양지질연구를 ... ...
- 잠이 보약…건강한 꿀잠 여부 AI로 확인한다동아사이언스 2023.12.12
- ‘슬립스’를 12일 공개했다고 밝혔다. 논문은 지난 9월 국제학술지 ‘메디컬 인터넷 리서치’에 실렸다. 글로벌 헬스케어 기업 필립스가 2020년 시행한 조사에 의하면 성인 인구 10명 중 6명이 수면질환을 앓고 있지만 전문의에게 문의하는 비율은 6%에 불과하다. 수면질환을 진단받으려면 몸에 ... ...
- 관측 사상 가장 큰 규모의 화성 지진 원인은과학동아 2023.12.09
- 에너지’에 있다는 연구 결과를 발표했다. 이 연구는 10월 17일 국제학술지 ‘지오피지컬 리서치 레터스’에 실렸다. (doi: 10.1029/2023GL103619) 미국항공우주국(NASA)의 화성 탐사선 ‘인사이트’. 화진을 탐지할 수 있는 지진계(작은 사진)를 탑재했다. NASA/JPL-Caltech 제공 지진은 지구 내부에 쌓인 변형 ... ...
- [과기원NOW] KAIST, ‘메타버스 대전’ 비전 선포식 개최 外동아사이언스 2023.11.15
- 14일 오후 대전시 유성구 호텔 오노마에서 KAIST 메타버스 대전 비전 선포식이 열리고 있다. KAIST 제공. ■ KAIST는 14일 오후 대전에서 ‘메타버스 대전’ 비전 선포식을 열었다. KAIST 메타 ... 에너지 저장량을 극대화하는 원천기술 논문은 7일 ‘어카운트 오브 케미컬 리서치’에 발표됐다 ... ...
- [주말N수학] 초등학생 때 대학생 이긴 영재가 수학에 빠진 이유 수학동아 2023.11.04
- 에서 증명 보조 프로그램인 린(Lean)에 대한 기사를 읽었어요. 린은 마이크로소프트 리서치팀이 2013년 개발한 증명을 검증하는 소프트웨어인데 앞으로 수학 논문을 검증하고 난제를 풀 수 있을 것으로 예상한다는 사실을 알게 돼 놀라웠어요. 그래서 올해 6월에 학교 친구인 이현진과 같이 수학 ... ...
