d라이브러리
"증명"(으)로 총 2,034건 검색되었습니다.
-
- [10년 후 나를 디자인한다] 믿음직한 소프트웨어가 만드는 안전한 세상과학동아 l201509
- 정형기법은 자연어로 만들어진 코딩을 수학적인 기호로 바꿔 완전성·정확성·일관성을 증명하고 검증하는 방법이다. 이를테면 ‘○○구간에서 열차 간격이 ○○km를 넘는다’가 ‘예’일 때 ‘속도를 높인다’로 가고, ‘아니오’일 때 ‘속도를 낮춘다’로 가는 순서도를 떠올리면 된다 ... ...
-
- PART5. 어떻게 살 것인가과학동아 l201508
- 이것이 자식에게 유전된다는 것이다. 라마르크는 획득형질이 다음 세대로 넘어가는 것을 증명하지 못해 인정받지 못했다. 후성유전적 유전의 발전으로 라마르크가 새롭게 인정받을 여지가 생긴 것은 맞다.이 : 하지만 라마르크의 주장은 너무 극단적이다. 사고로 팔이 잘린다고 해서 그 자식도 팔이 ... ...
-
- 임미희 자연과학부 교수 - 알츠하이머 고치는 화학자과학동아 l201508
- 단백질의 기능을 막았더니 정말 신경세포 파괴가 사라졌어요. 병의 원인이라는 것을 증명한 겁니다.”알츠하이머, 평범한 질병으로 받아들이는 사회 돼야단백질의 기능을 막을 수 있다면 알츠하이머의 치료제도 개발할 수 있는 것 아닐까. 물론 가능하다. 하지만 알려진 게 거의 없는 알츠하이머 ... ...
-
- 우주 탐사, 제2의 지구를 찾아서수학동아 l201508
- 1권에서 만유인력의 법칙과 자신이 발견해낸 운동법칙으로 케플러의 행성운동법칙을 증명했다. 끝에 공이 달린 줄을 들고 양팔을 쭉 뻗은 채로 제자리를 빙글빙글 돈다고 해 보자. 나와 공은 서로 당기고 있지만, 공은 내 주위를 돌 뿐 나와 부딪히지 않는다. 지구 주위를 도는 달이나 인공위성, 태양 ... ...
-
- Part 1. 탐식의 시작 : 처음 밝혀진 조선시대 미슐랭 가이드과학동아 l201508
- 조선 이전에도 분명 탐식은 있었을 것이다. 하지만 조선 시대에 들어서야 탐식을 증명할 수 있는 기록들이 폭발적으로 증가했다. 고려 시대까지만 해도 문집과 어문 기록에는 음식과 관련된 언급이 거의 없었다. 보통 한문으로 쓰는 시문으로는 점잖고 고급스러운, 지식과 교양을 과시할 수 있는 ... ...
-
- [지식] 안테나, 우주의 소리를 듣다!수학동아 l201508
- 축과 나란하게 들어오는 빛은 포물면에 반사된 뒤 모두 초점으로 향한다는 것을 증명할 수 있다. 또한 반대로 포물선의 초점에서 나온 빛은 포물면에 반사돼 포물선의 축에 평행하게 멀리 잘 뻗어나갈 수 있다.우여곡절 끝에 세상에 알려진 전파천문학은 후대의 과학자, 수학자가 정리하고 발전시켜 ... ...
-
- PART 2 학문을 품은 브릭수학동아 l201508
- 담은 미국의 수학자 엘리샤 루미스의 저서도 있다.이번에는 브릭으로 피타고라스 정리를 증명하는 방법을 살펴 보자. 1×n 플레이트를 활용하는 방식이다. 먼저, 1×4 플레이트 2개와 1×6 플레이트 1개를 준비하자. 그런 다음 왼쪽 사진처럼 1×4 플레이트 2개를 직각으로 이어 붙이고, 빗변을 1×6 ... ...
-
- [지식] 마지막 요리 모두의 맛, 미분과 적분 그리고 치킨수학동아 l201508
- 이 방법으로 구의 부피가 반지름과 높이가 같은 원기둥 부피의 3분의 2라는 걸 증명했습니다. 이뿐만 아니라, $π$와 √3 같은 무리수의 근삿값도 구해냈습니다.도형을 작은 부분으로 나누고 다시 합쳐 넓이와 부피를 구해냈다는 점에서 아르키메데스의 방법은 적분과 닮았습니다. 하지만 아직 ... ...
-
- PART1. 후성유전학이 태어나다과학동아 l201508
- 바꾸면 다른 세포가 될 수 있다는 것을 밝힌 것이다. 거든의 실험으로 와딩턴의 추측은 증명됐지만 발생학자들을 더 큰 혼란에 빠졌다. 모든 세포의 DNA가 동일하다면 대체 무엇이 이것들의 차이를 결정한단 말인가. 진짜 후성유전학이 태어나다1970년대에 분자생물학자와 발생학자가 겪은 고민은 ... ...
-
- 공유경제 ‘프로포즈 공식’으로 거듭난다과학동아 l201508
- 의대 졸업생들에게 레지던트 자리를 제안하는 방식이 잠정 수락 알고리듬이라는 것을 증명했다. 2003년에는 고등학교에 학생을 배정하는 데 잠정 수락 알고리듬을 활용하자고 제안했다. 2004년에는 말기 신장병 환자들이 신장을 교환하는 문제도 연구했다.이제는 공유경제에 이런 원리를 도입하면 ... ...
이전212223242526272829 다음