뉴스
"논리"(으)로 총 760건 검색되었습니다.
- 통폐합 추세와 역행…GIST가 수리과학과 신설한 까닭동아사이언스 2024.11.03
- GIST 학생을 수학에 특화한 학생으로 만들고 싶기 때문"이라고 했다. 그는 "수학은 굉장히 논리적인 학문이고 모든 과학과 공학의 기초이기 때문에 수학 실력을 잘 다져놓으면 언제든 유용하게 쓸 것"이라면서 "궁극적으로 GIST에 수학을 복수전공하는 학생들이 늘어나길 바란다"고 말했다. GIST는 ... ...
- 노벨 과학상 휩쓴 AI의 다음 행보는 공간지능·창발성동아사이언스 2024.11.03
- 것이 대표적이다. 예를 들어 어려운 수학 문제를 인간이 접근하지 못한 방식으로 풀거나 논리적인 사고 능력을 보이는 것이 해당한다. AI의 창발성은 AI가 마치 인간처럼 창의적인 문제 해결 능력을 갖출 수 있는 가능성을 보여준다. 동시에 예측 불허하다는 특성 때문에 안전성과 윤리적인 문제가 ... ...
- [박진영의 사회심리학] '나의 행복'에 주변 사람들 안위도 포함된다2024.11.02
- 비결일 것이다. 어차피 인간인 이기적인 존재일 뿐이라고 보는 냉소적인 시선이 다소 비논리적인 이유이기도 하다. 때로는 심하게 이기적인 것 같지만 때로는 그렇지 않은 소중한 사람과 함께 있는 것이 좋고 혼자 있으면 외롭고 불안한 보통의 사람들이 사회를 떠받쳐 온 것일 테니까 이런 모습을 ... ...
- 나보다 똑똑한 AI 아이큐가 무려 120과학동아 2024.11.02
- 구분하고 연결해주는 특별한 지시 토큰이다. 문제의 풀이 사이의 규칙성을 찾거나 논리적 연결성을 강화하는데 도움을 준다. 오픈AI와 협력한 마이크로소프트 아주르의 책임자 스티브 스위트먼은 "o1 모델은 복잡한 코딩, 수학적 추론, 문서 비교 등의 기능에서 뛰어난 성능을 발휘하며 AI가 제공하는 ... ...
- "과학수재만 참여하는 과학전람회?…일상의 호기심에서 출발"동아사이언스 2024.10.31
- 대회라서 데이터를 얻고 분석하고 추적하는 등의 과정에서 많은 성장을 한다”며 “연구 논리의 깊이나 심화적인 내용을 풀어나가는 능력치가 향상되면서 학년이 올라갈수록 주도적으로 연구를 이끌어나갈 수 있게 됐다”고 말했다. 또 “과학고에 처음 입학했을 땐 가르치는 걸 좋아해서 ... ...
- [박진영의 사회심리학] 피나는 노력, 과연 정답일까?2024.10.26
- 하여금 스스로를 비난하게 만든다는 것이다. 물론 노력만 하면 다 이룰 수 있다는 논리는 사람들에게 어느 정도 '통제감'을 선사하기도 한다. 따라서 역설적이게도 가장 심하게 차별 받는 사람들이 가장 노력 만능주의를 믿는 현상이 나타나기도 한다. 물론 그 결과 실제로 더 노력하게 되고 ... ...
- [이덕환의 과학세상] AI가 집어삼킨 노벨상…식어가는 관심2024.10.23
- 아니다. 화학에 새로운 연구방법론이 등장했다는 사실이 더욱 중요하다. 현대의 화학은 '논리적 이해'를 강조한다는 점에서 중세의 연금술과 확실하게 구분된다. 모든 결과는 확실한 '과학적 근거'를 갖춰야만 학문적으로 인정을 받는다는 뜻이다. 화학자가 양자화학, 반응 메커니즘, 반응 동역학의 ... ...
- 자각몽·악몽은 왜 꾸는 걸까?어린이과학동아 2024.10.19
- 가만히 있게 하는 것입니다. 그다음 뇌는 깨어 있을 때 활성화되는 영역이자 논리와 이성을 가지고 과제 수행하는 영역인 전두두정엽 신경망의 활동을 줄어들게 만들어요. 그래서 꿈이 앞뒤가 맞지 않아도 이상하게 느끼지 않거나 평소에 억누르고 있던 생각, 불안 등이 꿈으로 나타나게 되는 ... ...
- 연구회 및 출연연, 해킹 우려…"24곳 중 5곳만 망분리"동아사이언스 2024.10.17
- 3개 기관에 불과했다. 한국표준과학연구원과 식품연은 논리적 망분리를 사용하고 있다. 논리적 망분리란 하나의 컴퓨터에 가상공간을 설정해 업무망 영역과 인터넷망 영역을 동시에 사용하는 방법이다. 김복철 NST 이사장은 "망분리는 식품연만의 문제가 아니다"라면서 "출연연 전체에 망분리를 ... ...
- 안전하고 오류 없는 사물인터넷 보안 기술 개발 나선다동아사이언스 2024.10.10
- 10일 밝혔다. 정형기법은 소프트웨어와 시스템 설계·개발·검증에 수학적 모델과 논리적 추론을 사용해 오류나 결함을 체계적으로 검증하는 기법이다. 기존 보안성 검증은 이미 개발된 소프트웨어를 대상으로 진행됐지만 정형기법을 사용하면 설계 단계에서부터 보안성을 확인해 오류 발생 ... ...
