안녕~! 난 수학자의 연구를 돕는 인공지능(AI)이야. 딥마인드의 자랑 ‘알파고’ 형님의 동생이지. 난 수많은 자료에서 규칙을 발견해 수학자가 추측을 식으로 만들 수 ... 수학자 돕는 AI!Part1. [특집] 수학 하는 AI, 너 정체가 뭐니?Part2. [특집] 찝찝한 계산을 말끔하게! 증명 검증한 SW 린 ...
검증하거나, 인간 관리자의 검토를 거쳐 참인 증명만 등록되거든. 점점 똑똑해지는 SW 린! 2019년 숄체 교수님이 증명의 검증을 내게 부탁했다는 사실이 수학계에 소문나면서 나를 향한 수학자들의 관심이 쏟아졌어. 내가 수학 연구에 도움을 줄 수 있다는 확신을 갖기 시작했거든. 실제로 내 ...
시기를 예측한 연구결과를 국제학술지 ‘우주 날씨’ 9월 7일자에 발표했다. doi: 10.1029/2021SW002749연구팀은 태양 주기에 따른 우주방사선의 영향과, 우주방사선이 우주선과 탑승객에게 미치는 영향 등을 토대로 방사선으로부터 안전한 우주선을 모델링했다. 이후 구형 알루미늄으로 만든 차폐막 ...
사람이 똑같은 정보를 갖기가 어려워요. 영국 버킹엄 궁전의 주소는 ‘Westminster London SW1A 1AA’지만, 대한민국 서울시청의 주소는 ‘서울특별시 중구 세종대로 110’이니까요. 또 전 세계에는 주소가 없는 사람도 많아요. 세계 우편 업무를 총괄하는 국제기구인 ‘만국우편연합(UPU)’의 우편전문가 ...
던지고 깊게 이해하는 것이 중요해요. ‘이건 왜 그럴까?’라는 생각을 반복해서 한다면 SW 분야에 진출해 습득한 것들을 원하는 분야에 적용하고, 발전시켜서 내 것으로 만들 수 있을 거예요 ...
배민성 대표는 “모두가 개발자가 될 필요는 없지만 미래 세상에서는 누구나 SW프로그래밍을 할 수 있어야 한다”면서, “프로세싱은 다양한 진로를 꿈꾸는 학생들이 코딩에 흥미를 갖게 할 수 있는 효과적인 언어여서 관련 교육 프로그램을 개발하게 됐다”고 설명했습니다. 예술도 이제는 ...
학교에서 문서를 열 때도 이전 작업 내용이 그대로 남아있다. 김병섭 ETRI 클라우드기반SW연구실 책임연구원은 “컨테이너는 소프트웨어에 독립적인 실행 공간을 제공하는 기술로 소프트웨어가 안정적으로 실행되게 만든다”고 설명했다. 대규모 데이터 분산처리 기술 C 교사가 사용한 클라우드 ...
센서, 이동 바퀴 등만 달린 로봇이 사람의 일을 돕는 것이다. 김병섭 ETRI 클라우드기반SW연구실 책임연구원은 “현재 진행 중인 클라우드 연구는 우리가 아직 실현하지 못한 기술들을 발전시킬 것”이라며 “영화 마이너리티 리포트 속 홀로그램 기술도 클라우드를 기반으로 구현될 것”이라고 ...
7대 난제라고?Part4. 전세계 지뢰찾기 히어로즈, 모두 모여라~! 도움김준모(단국대학교 SW융합대학 컴퓨터공학과 교수), 배준현(경북대학교 컴퓨터학부 초빙 교수), 엄상일(기초과학연구원(IBS) 이산수학그룹 CI & KAIST 수리과학과 교수) ...