뉴스
"논리"(으)로 총 752건 검색되었습니다.
- AI 활용 항암치료 기술 개발…'이달의 과학기술인상'에 최정균동아사이언스 l2023.07.12
- 최초의 기술이다. 연구성과는 올해 1월 학술지 '네이처 유전학'에 게재됐다. 또 AI의 논리회로를 이용해 키메라 항원 수용체를 장착한 면역세포가 암 세포만 정확하게 공략하도록 하는 '스마트 면역세포 치료제'의 핵심 기술도 확보했다. 관련 연구는 학술지 '네이처 바이오테크놀로지'에 2월 ... ...
- [과기원은 지금] KAIST, 신개념 반도체 회로 개발 外동아사이언스 l2023.07.11
- 논리 회로는 '0', '1'의 두 가지 논리 상태를 사용하는 2진법 연산과 '0','1',2'의 세 가지 논리 상태를 사용하는 3진법 연산을 연동해 데이터 및 신호를 전달할 수 있다. 이에 따라 기존의 2진법 체계를 유지하면서 3진법의 높은 정보 처리 능력을 탄력적으로 활용할 수 있게 됐다. 연구진은 "이 기술이 ... ...
- [주말N수학] 피타고라스 정리 증명법만 400개...끊임없는 증명 도전 이유수학동아 l2023.07.01
- 할 수 있을 것 같은데.’라는 단순한 생각으로 증명에 도전하기 시작했고 ‘증명하면서 논리적으로 생각하는 방법을 익힐 수 있었다’고 느낀점을 전했어요. 우리나라 최초로 피타고라스 정리의 새로운 증명법을 찾아 인정받은 수학자가 있는데요. 바로 박부성 경남대 수학교육과 교수입니다. ... ...
- 정부 "日 오염수 방류, 일본산 수산물 수입 규제와는 별개 문제" 동아사이언스 l2023.06.30
- 처리중"이라고 밝혔다. 박 차장은 "정부가 일본 후쿠시마 오염수 방출의 안전성 논리를 반박할 수 있는 중요한 자류를 감춘다는 등의 주장은 전혀 사실이 아니다"라고 강조했다 ... ...
- 한화, 한국판 NASA 우주학교 '우주의 조약돌' 2기 최종 선발동아사이언스 l2023.06.29
- 평가 위원들은 제안서 평가와 면접을 통해 지원자의 우주에 대한 열정, 창의성, 논리성, 진정성 등 기준으로 최종 합격자를 선발했다. 2기 학생들은 7월 22일과 8월 12일에 진행되는 ‘우주 인문학 컨퍼런스’를 시작으로 올해 말까지 6개월 간 프로그램에 참여한다. 인문학 컨퍼런스에는 김상욱 ... ...
- [주말N수학] 수학자에서 사회운동가로...러셀의 삶을 뒤흔든 역설수학동아 l2023.06.24
- 흉상. 프레게는 수학자이자 철학자로 고대 그리스의 아리스토텔레스 이후 정체됐던 논리학을 혁명적으로 발전시켰습니다. Hinnerk11(W) 그러나 그의 저술이 인쇄소에 넘겨지는 순간 프레게는 러셀로부터 편지를 받았습니다. 집합론이 모순적임을 설명하는 편지였지요. 평생에 걸쳐 지은 웅장한 ... ...
- 前 IAEA 국장 "IAEA 보고서, 전문성·객관성 논란 나온 적 없어"동아사이언스 l2023.06.22
- 최종 보고서 작성 과정에는 전문가 15∼20명이 협의하기 때문에 일본 측이 원하는 논리만이 반영되는 일은 없다고 말할 수 있다"고 덧붙였다. 송상근 해양수산부 차관은 최근 사재기 논란이 일고 있는 천일염과 관련해 "공급에 차질이 없다"며 "관계부처와 협의해 소비자 불안을 조장하는 유통 질서 ... ...
- [주말N수학] 2000년 동안 서구 문명 지배한 '유클리드 기하학'수학동아 l2023.06.17
- 이전 것에서부터 다음 것을 증명해 나가면서 총 465개의 명제를 연역적으로 꿰어낸 논리적 아름다움이 있어요." Q(수학자). 에우클레이데스가 활동했을 때로부터 무려 2000년이 넘도록 서구 문명에서는 계속해서 '원론'을 공부했나요. A(인문학자). " 네 맞아요. 에우클레이데스가 기원전 3세기쯤 ... ...
- 실수없이 기계와 대화하기 위한 여정 '프로그래밍'과학동아 l2023.06.06
- 람다 계산법에 뿌리를 둔 함수형 프로그래밍 언어는 논리학의 성과를 적극 수용했다. 논리학에서 명제를 치밀하고 탄탄하게 증명하는 방법을 프로그래밍 언어에 녹였다. 그 결과 오캐믈, 하스켈과 같이 함수형 언어는 믿을 만한 타입 검사 시스템이 구현돼 안전하다. 전문가들이 ‘좋은’ ... ...
- [주말N수학] 챗GPT, 수학자에게 위협이 될까수학동아 l2023.06.03
- 뒤 챗GPT로 해의 개수를 세는 프로그램을 짜서 검산하는 거예요. 수학동아 제공 수학은 논리와 통찰력이 중요한데 챗GPT와 같은 생성형 AI는 이 부분이 약하다고 볼 수 있어 아직은 연구를 보조하는 수단 정도로만 사용할 수 있을 겁니다. 하지만 자연어 처리 및 AI가 빠르게 발전하는 만큼 미래에는 ... ...
이전67891011121314 다음
