주메뉴바로가기
본문바로가기
동아사이언스
로그인
공지/이벤트
과학동아
어린이과학동아
수학동아
주니어
과학동아천문대
통합검색
뉴스
스페셜
D라이브러리
전체보기
뉴스
과학쇼핑
스페셜
d라이브러리
추천검색어
정보원
앞잡이
선교사
전도사
대리
선전자
압잡이
d라이브러리
[특집] 찝찝한 계산을 말끔하게! 증명 검증한 SW 린!
수학동아
l
2022년 02호
SW인 나를 떠올린 거야! 그리고 나를 활용해 자신의 증명을 검증하기로 마음먹고 ‘린
전도자
’로 유명한 버자드 교수님에게 연락했어. 버자드 교수님과 숄체 교수님은 자신이 연구하는 내용을 내 팬 사이트(린 커뮤니티) 구성원에게 공유했지. 숄체 교수님의 연구에 참여하고 싶었던 수학자들은 ... ...
새출발 다짐하는 소련의 과학계
과학동아
l
1988년 10호
현재 사람들은 각 6m길이의 초대형
전도자
기의 생산에 더 사로잡혀있다.그러나 초대형
전도자
기 생산에는 여러가지 난관이 있다. 가령 이 생산을 착수하려면, 7백여명의 숙련 노동자들이 필요한데, 이들과 이들 가족을 수용할 시설이 먼저 갖춰져야 한다.1963년, 연구소가 설립된 이래로 이 지역에 ... ...
d라이브러리 더보기
공지사항