나의 큰 O는 log x야

하아 어느덧 여러 수학함수를 구현해보려는 기나긴 장정이 역삼각함수에까지 이르렀다. 아직 쌍곡선 함수를 비롯한 여러 수학함수들이 남아있지만, 거의 쓰이지 않는 관계로(또한 귀찮은 관계로) 글쓰기를 무기한 연기해버리기로 했다. 역삼각함수는 각을 구해내기 위해서 자주 쓰인다. acos,asin,atan 등이 있지만, 가장 유용한 함수는 atan2이다. atan2는 x축 변위,y축 변위를 받아서 -Pi에서 Pi 사이의 각을 구해준다. (acos,asin,atan함수는 제한된 범위의 각만 구해낼수 있다.) 일단 atan2함수도 atan를 이용해 구현될수 있으므로 좀 뒤로 미루자. 먼저 역시 방대한 지식이 담겨있는 위키백과만큼 좋은 참조물도 없다. 영어위키백과: 역삼각함수 역삼각함수들에 대해서 다음 등식이 성립한다..

프로그래밍/테크닉 2008. 12. 8. 00:07

여태까지 제곱근함수와 지수함수, 로그함수를 대충 구현해보았다. 이를 이용하면 어지간한 계산들을 다 할 수 있으나, 한 가지 막히는 부분이 있으니 바로 삼각함수이다. 삼각함수는 약방의 감초라할만큼 안 들어가는 곳 없이 두루두루 들어간다. 삼각함수는 비용이 비싼 측에 낀다. (계산량을 줄일만한 획기적 방법이 별로 없는듯하다.) 그래서 삼각함수 연산을 자주 하는 프로그램에서는 대게 테이블을 만들어놓고 참조하는 방법을 쓴다. 이 방법이 대체로 빠른 방법이어서 추천하는 바이다. (가장 좋은 방법은 FPU의 빵빵한 지원이라고나 할까) 아래에 설명하는 계산법은 그냥 이렇게도 계산할수 있다는 거지, 이 식을 활용해서 계산하면 좋다는 의미는 아니다. 공학용으로 삼각함수계산을 어떻게 하나 궁금해서 영어위키백과를 찾아봤더니..

프로그래밍/테크닉 2008. 12. 7. 01:39

저번 글에서 지수함수를 구현하는 글을 대충 올렸었다. 지수함수를 구현했다면 역함수는 로그함수도 한번 꼭 구현해볼 필요가 있다. 지수함수(exp)와 로그함수(ln)를 이용하면 pow함수를 구현할수 있다. 사실 로그함수가 제곱근 함수 다음으로 널리 쓰인다고 볼 수도 있는데, 지수함수를 먼저 구현한 이유는 로그함수 구현은 꽤 까다롭기 때문이다. 잡소리 그만하고 자연로그란 밑이 e(=2.71828...)인 로그를 일컫는다. 수학적 정의는 다음과 같다. 이면이다. 모든 부동소수점 데이터는 꼴로 나타낼수 있으므로 여기에 로그를 취하면 이렇게 된다. ln2는 상수값이므로 중요하지 않고 n*ln2도 곱셈으로 계산가능하다. 우리가 구현해야할것은 를 계산하는 부분이다. 두고두고 써먹는 테일러 전개를 이용해서 자연로그 함수..

프로그래밍/테크닉 2008. 12. 3. 01:55

저번에 제곱근 함수를 구현해본것에 이어서 밑을 e(2.71828..)로하는 지수함수 exp에 대해 구현해보자. exp(x)의 테일러 전개식이다. 다행이도 exp(x)의 전개식은 어떤 x에 대해서도 성립한다. 그럼 그냥 간단히 저 식을 구현하는걸로 exp구현을 끝낼수 있지만, 역시 프로그래머에게는 속도가 중요하다. 그래서 다음과 같이 식을 변형해보자. (단, )가 된다. 는 어차피 부동소수점데이터에서 지수부로 곧바로 들어갈테고 만 계산하면 된다. 그런데 ln2=0.693147.. 이므로, α는 ln2보다 작으므로, 테일러 전개에서 x의 차수가 높아질수록 항의 값은 작아질 것이다. 이제 필요한 정밀도까지 계산해 내려가면 된다. float(32비트 부동소수점형)같은 경우 정밀도가 23비트이므로 항이 보다 작아..

프로그래밍/테크닉 2008. 11. 28. 00:35

우리가 프로그래밍을 하면서 자주 사용하는 여러 수학 함수들이 있다. 할일 없는 사람들은 이 함수들이 어떻게 작동하는지 정말 궁금해할지도 모른다. (물론 나도 그런 할 일 없는사람이다.) 한 번 내가 알고 있는 것들을 글로 써보며 생각을 정리해보고자 한다. 수학함수를 구현할때 가장 중요한 점은 정밀도와 속도이다. 늘상 있는 일이지만 프로그래머는 정확성과 속도 사이를 잘 조율해야한다. 필요이상의 정밀도는 시간 낭비일뿐이다. 먼저 수학함수 중에서 가장 인기가 높은 제곱근 함수 (sqrt함수) 거리 구할때를 비롯하여 안 쓰이는 곳이 없는 인기 좋은 함수이다. 한번 float sqrt(float x)를 구현해보자. 부동소수점 데이터는 꼴로 표현된다. (음수일 경우와 0일 경우는 무시했다.) 여기서 두 가지 경우로..

프로그래밍/테크닉 2008. 11. 26. 00:45