d라이브러리
"형식적임"(으)로 총 78건 검색되었습니다.
- [특집] 찝찝한 계산을 말끔하게! 증명 검증한 SW 린!수학동아 l2022년 02호
- 지금 이곳에선 2018년 필즈상 수상자인 페터 숄체 독일 본대학교 교수님의 증명을 검증하고 있어. 심사위원은 바로 나! ‘LEAN(린)’이야. 소프트웨어(SW)가 지구 최고 수학자의 증명을 검증한다니 놀랍지? [계산이 복잡할 땐 나를 불러! 린] 후우~. 검증이 끝나고 바로 달려왔어. 놀라지 마! 내가 숄체 ... ...
- 팬데믹 시대, 정의로운 모빌리티를 위해과학동아 l2021년 08호
- 모빌리티는 무슨 뜻일까. 명확한 정의를 내리고 쓰는 경우는 드물지만, 대체로 ‘정보통신기술(ICT) 등 첨단기술이 가미된 새로운 이동수단’ 정도의 의미로 사용한다. 그래서 ‘이동(성)’이라는 우리말로 옮길 수 있음에도 굳이 영어 그대로 음차해 쓴다.인문사회과학에서는 이 말을 이동수단의 ... ...
- [스쿨리포트 A+] 과학실 안전과 연구 윤리과학동아 l2020년 06호
- ◇술술 읽혀요 ① 교과과정 최근 각종 안전사고에 대한 교육이 강화되면서 과학 수업에서도 안전에 대한 교육이 계속 강조되고 있습니다. 본격적인 과학 수업을 하기에 앞서, 또는 각종 실험 활동 전에 과학실에서 벌어질 수 있는 안전사고 예방 교육이나, 각종 시약에 관한 안전정보 교육을 진행 ... ...
- 함께해서 즐거운 수학, 팀 매스 챔피언십수학동아 l2018년 02호
- 지난해 여름, 국내에서 시범으로 열렸던 영국의 수학 퀴즈 대회 ‘팀 매스 챌린지’가 ‘팀 매스 챔피언십’으로 재탄생했다. 문제 출제부터 참가자 모집, 대회 진행까지 전부 ‘한국판’으로 탈바꿈했다고 하는데…. 과연 팀 매스 챔피언십이 새로운 수학 문화로 뿌리내릴 수 있을까? 직접 보고 판 ... ...
- [Origin] 유전자, 게임을 하다과학동아 l2017년 08호
- 현대 진화 이론에서 또 하나의 중요한 개념은 게임 이론이다. ‘진화 게임 이론’이라고 불리는 이 이론은 엉킨 타래 같은 진화의 까다로운 개념들을 시원하게 풀 잠재력을 갖고 있었다.“ESS 개념의 등장은 다윈 이후 진화 이론에서 나온 가장 중요한 진전 가운데 하나로 받아들여지리라고 믿는다. ... ...
- [Culture] 이상한 용손 이야기과학동아 l2017년 04호
- 1내가 용의 자손이라는 것을 깨달은 것은 초등학교 6학년 때였던 것 같다. 처음이라고 확실히 말하지 못하는 이유는 그 전에도 내가 용의 자손이라는 사실을 들은 적은 있었기 때문이다.두 살 때인가, 세 살 때인가, 어머니와 아버지가 부부싸움을 약 40분 연속으로 하시고 어머니께서 열 받아서 확 ... ...
- [Knoledge] 우리의 소원은 통일이론과학동아 l2015년 10호
- 일반상대성이론은 중력이론인 동시에 시간과 공간과 물질에 대한 가장 ‘일반적인’ 이론의 유력한 후보다. 이때 일반적이라는 말은 모든 것을 일관되게 서술할 수 있다는 뜻이다. 여러 다양한 현상을 하나의 이론으로 통일해 설명할 수 있다면 그 이론은 더 진리에 가깝다고 생각할 수 있다. 그렇 ... ...
- [참여] 수학으로 그려 본 나의 미래 KAIST 수리과학과 & 국가슈퍼컴퓨팅연구소수학동아 l2015년 01호
- 독자 기자가 대전으로 출동했다. 목적지는 한국과학기술원(KAIST) 수리과학과와 한국과학기술정보연구원(KISTI) 국가슈퍼컴퓨팅연구소! 독자 기자의 뜨거운 탐구 열기로 추운 날씨마저 한풀 꺾였다는 소문이 돌던데…. 그곳에선 과연 무슨 일이 벌어졌을까?독자 기자를 가장 먼저 맞이한 ... ...
- PART1 제1차 세계대전은 어이없이 일어났다과학동아 l2014년 02호
- 1914년 6월 28일, 유럽 보스니아의 중심 도시 사라예보의 한 골목에서 두 발의 총성이 울렸다. 세르비아계 민족주의 운동에 투신한 청년 가브릴로 프린치프가 쏜 총알에 오스트리아-헝가리 제국의 프란츠 페르디난트 황태자 부부가 절명한 것이다. 분노한 오스트리아는 세르비아에 선전포고를 했다. ... ...
- 저는 로봇 입니다과학동아 l2013년 05호
- 진실로 경애하는 알라무스. 지난 회합에서 잠시 언급되었으나 곧 지나가 잊힌 화제에 순간적으로 그대가 보였던 강한 관심을 내가 놓치지 않고 보았기에, 조금이나마 그에 부응하고자 당시 그곳에 있었던 자로서 내가 가진 기억을 더듬어볼까 합니다.시간은 신력 33년 13월 42일 오전 17시 45분, 장소 ... ...
12345 다음
