[Scheme] ์‚ฌ์น™์—ฐ์‚ฐ

[์›๋ณธ ๋งํฌ]

์Šคํ‚ด์€ ๋ฆฌ์Šต๋‹ต๊ฒŒ ๋ชจ๋“  ์—ฐ์‚ฐ์„ ํ•จ์ˆ˜๋กœ ์ œ๊ณตํ•œ๋‹ค.

๋ง์…ˆ
๋ง์…ˆ ํ•จ์ˆ˜๋Š” +๋กœ, ํ•˜๋‚˜ ์ด์ƒ์˜ ์ธ์ž๋ฅผ ๋ฐ›์•„์„œ ๋”ํ•œ ํ›„ ๋ฐ˜ํ™˜ํ•œ๋‹ค. image

image


๋บ„์…ˆ
๋บ„์…ˆ ํ•จ์ˆ˜๋Š” -๋‹ค.
์ธ์ž๊ฐ€ ํ•˜๋‚˜๋ฉด ๋ถ€ํ˜ธ๋งŒ ๋ฐ”๊พธ๊ณ ,
์ธ์ž๊ฐ€ ๋‘˜ ์ด์ƒ์ด๋ฉด ์ฒซ๋ฒˆ์งธ ์ธ์ž์—์„œ ๋‚˜๋จธ์ง€ ์ธ์ž๋ฅผ ์ „๋ถ€ ๋บ€๋‹ค. image

image


๊ณฑ์…ˆ
๊ณฑ์…ˆ ํ•จ์ˆ˜๋Š” *๋‹ค. ์ธ์ž๋ฅผ ์ „๋ถ€ ๊ณฑํ•œ๋‹ค. image

image


๋‚˜๋ˆ—์…ˆ
๋‚˜๋ˆ—์…ˆ ํ•จ์ˆ˜๋Š” /๋‹ค.
์ธ์ž๊ฐ€ ํ•˜๋‚˜๋ฉด ์—ญ์ˆ˜๋กœ ๋งŒ๋“ค๊ณ ,
๋‘˜ ์ด์ƒ์ด๋ฉด ์ฒซ๋ฒˆ์งธ ์ธ์ž์—์„œ๋ถ€ํ„ฐ ์ฐจ๋ก€๋กœ ๋‚˜๋ˆˆ๋‹ค. image

image ๋‚˜๋ˆ„์–ด๋–จ์–ด์ง€์ง€ ์•Š์„ ๊ฒฝ์šฐ ๋ถ„์ˆ˜ํ˜•์œผ๋กœ ์ฒ˜๋ฆฌํ•˜๋Š” ์ ์— ์ฃผ๋ชฉํ•˜์ž. ์ด๋Ÿฐ ํ˜•์‹์„ rational์ด๋ผ ํ•œ๋‹ค.

๋งŒ์•ฝ ๋ถ„์ˆ˜ํ˜•์—์„œ ์ •์ˆ˜๊ฐ’๋งŒ ๋–ผ๊ณ  ์‹ถ๋‹ค๋ฉด floor๋‚˜ round ๋“ฑ์˜ ํ•จ์ˆ˜๋ฅผ,
์‹ค์ˆ˜ํ˜•์œผ๋กœ ๋ฐ”๊พธ๊ณ  ์‹ถ๋‹ค๋ฉด exact->inexact ํ•จ์ˆ˜๋ฅผ ์‚ฌ์šฉํ•˜๋ฉด ๋œ๋‹ค. image

image


๋‚˜๋จธ์ง€์…ˆ
๋‚˜๋จธ์ง€์…ˆ์€ ๊ธฐํ˜ธ๊ฐ€ ๋”ฐ๋กœ ์—†๊ณ , modulo ๋“ฑ์˜ ํ•จ์ˆ˜๋ฅผ ์‚ฌ์šฉํ•œ๋‹ค. image

image


์ฐธ์กฐ
https://www.gnu.org/software/guile/manual/html_node/Reals-and-Rationals.html