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