뉴스
"형식"(으)로 총 641건 검색되었습니다.
- [주말N수학] 수학자에서 사회운동가로...러셀의 삶을 뒤흔든 역설수학동아 l2023.06.24
- 배척한 직관주의 학파는 환호했지만 집합론을 이용해 수학의 토대를 확립하려던 형식주의 학파는 곤경에 빠졌지요. 어린 시절 할머니의 신앙을 거부한 러셀은 자신이 발견한 모순이 수학의 토대를 좀먹도록 내버려 둘 수 없었습니다. 이제 러셀에게 분명한 학문적 목표가 생겼습니다. 러셀은 ... ...
- 책상엔 샤프와 모래시계, 노트...허준이 "매일 점심엔 같은 메뉴만 먹어"2023.06.09
- 공동연구 끝에 2018년에 두 추측을 해결할 아이디어를 얻었지만 기하학적인 직관을 형식화하는 과정이 어려워서 논문을 쓰는 데 오랜 시간이 걸렸다”고 말했다. 허 교수의 석사 시절 지도교수인 김영훈 고등과학원 수학부 교수는 “미국수학회보는 수학계 최고 학술지 중 하나로, 여기에 한 ... ...
- 실수없이 기계와 대화하기 위한 여정 '프로그래밍'과학동아 l2023.06.06
- 이해할 수 있는 기계어로 변환한다. 오늘날 프로그래밍 언어는 정해진 문법 구조와 형식, 뜻 그리고 구성 요소로 짜여진 한 줄, 혹은 1000만 줄의 편지가 됐다. 언어의 문법과 의미구조를 이해한다면 누구든 보고 읽고 또 쓸 수 있다. 편의성을 높인 고급 언어는 나무에 줄기가 여러 갈래로 뻗어 ... ...
- [주말N수학] 챗GPT, 수학자에게 위협이 될까수학동아 l2023.06.03
- 글 초안을 작성하거나 PDF에서 스프레드 시트로, 텍스트 단락에서 플로우 차트로 데이터 형식을 변환할 때에도 사용해요. 어떻게 해야 챗GPT를 가장 잘 사용할 수 있는지를 알아가고 있습니다." Q. 챗GPT로 수학 문제를 풀어보셨나요. "네. 그런데 챗GPT는 ‘환각’ 현상이 있어요. 수학 문제를 ... ...
- [이덕환의 과학세상] 후쿠시마 오염수 방류와 근거 없는 '괴담'2023.05.09
- 의지를 밝힌 것이다. “일본과 한국의 국민 건강과 해양 환경에 나쁜 영향을 주는 형식의 (오염수) 방류는 인정하지 않을 것”이라는 기시다 총리의 발언도 주목할 필요가 있다. 한일 정상의 합의에 따라 정부가 23일 우리 시찰단을 파견한다. 시찰단은 오염수의 안전한 방류 사실을 기술적으로 ... ...
- 기술이전한 연구자, 기업 주식으로 기술료 받는다동아사이언스 l2023.05.02
- 의무는 폐지한다. 기관 내부에 R&D 기술이전 사업화 관련 전담조직 설치는 현재 필수다. 형식적 운영사례가 발생한다는 지적에 따라 내부 전담조직 설치 규정을 폐지해 기관 자율성을 강화하기로 했다. 우수특허 창출도 지원한다. 특허 평가를 양적지표에서 질적으로 관련 규정을 개선한다. 미활용 ... ...
- 엠폭스 확진자 꾸준한데…국민 6명 중 1명 "정확히 아는 정보 없어"동아사이언스 l2023.05.02
- 이해도에 대한 인식조사 결과. 유명순 서울대 보건대학원 교수 연구팀 제공 OX 퀴즈 형식으로 엠폭스 이해도를 알아본 문항에선 '엠폭스는 주로 감염된 동물이나 사람과의 밀접접촉을 통해 전파된다고 알려졌다', '엠폭스의 주요 증상은 발열, 발진, 피부병변, 오한 등으로 알려졌다'는 명제에 ... ...
- "기후문제, AI로 해결해요"...‘SW AI 사이언스 챌린지 해커톤’ 성료동아사이언스 l2023.04.24
- 'SW AI 사이언스 챌린지 해커톤'은 1박2일간 청소년들이 합숙하면서 ‘해커톤’ 형식으로 진행하는 집합형 캠프와 학교로 찾아가서 교육하는 방문형 교육, 도서벽지 및 농산어촌에서 진행하는 특별캠프, 아침과 저녁 방과후에 진행하는 늘봄학교로 나눠 진행됐다. 팀프로젝트 장면. 'SW AI ... ...
- 700개 유망 공공기술 이전 설명회 전국서 열린다동아사이언스 l2023.04.05
- 올해부터는 특화 분야별 시너지를 낼 수 있는 4∼7개 강소특구끼리 묶인 공동 설명회 형식으로 진행된다. 최준환 과기정통부 지역과학기술진흥과장은 “지역의 기술기업·예비창업자들이 공공기술 이전을 통한 기술혁신에 이어 강소특구를 발판삼아 글로벌 시장으로 뻗어나갈 수 있도록 촘촘한 ... ...
- [잠깐과학] 메리 스튜어트 여왕이 암호로 쓴 비밀 편지, 400여년 만에 풀다어린이과학동아 l2023.03.25
- 그려진 기호가 15만 개나 사용됐어요. 연구팀은 15만 개의 기호를 컴퓨터가 읽을 수 있는 형식으로 옮긴 후, ‘언덕 오르기’라는 알고리즘을 사용해 암호문을 차근차근 풀었어요. ‘언덕 오르기’ 알고리즘은 우선 임의의 키로 암호문을 해독한 후 점수를 매겨요. 그런 다음 새로운 키를 입력해 ... ...
이전456789101112 다음
