라마누잔 머신

재미있는 페이퍼를 보았다.[1] 상수를 입력하면 그 값을의 연분수 표현 가설들을 자동 생성하는 알고리즘 “라마누잔 머신”을 만들었다고. 저자들은 이를 이용해서 생성한 등이 들어간 몇 가지 가설들도 발표했다. 대략적으로 설명된 알고리즘은 좌변에는 입력된 상수가 들어간 유리식, 우변에는 다항식이 포함된 연분수 패턴들을 놓고 값이 일치하는지를 따지는 식으로 추려내고, 또한 연분수의 depth를 제한해서 나오는 수열이 얼마나 오차(precision이 제한되어 있어도 […]

Read More 라마누잔 머신

수학적으로 화수를 표현하는 특촬물

일본의 유명 특촬물 “가면 라이더”의 최신 시리즈 “가면 라이더 빌드”에서는 수식이 많이 등장한다. 주인공은 스스로 천재 물리학자라 칭하며 살고 있는 곳의 칠판에는 항상 수식이 써있고, 심지어 변신할 때에는 수식이 날아가는 연출이 나타나기도 한다. 이른바 “이과생 히어로”의 모습을 부각시키기 위한 장치로써 드라마 “갈릴레오”처럼 여러 수식이 등장하는데, 특히 매 화마다 화수를 수식을 통해 표현하는 것이 특징적이다. 예컨대 […]

Read More 수학적으로 화수를 표현하는 특촬물