「週刊 代数的実数を作る」創刊 | 雑記帳

コンピューター上で実数を取り扱うには、いくつかの方向性がある。普通は浮動小数点数によって近似することが多いと思うが、多倍長計算を始めとする、「コストをかけてでも正確に」計算するという方向性もある。 そのような「正確に取り扱える」実数のクラスとしては、整数（多倍長整数）や有理数はある程度普及していると思う（標準で備えているプログラミング言語がある）。それよりも広いクラスとして、代数的実数、つまり（整数または有理数係数）代数方程式の根となるような実数全体、というものがある。 代数的実数が計算機で取り扱えるということ自体は割と知られた事実だと思うが、実装は割と大変で、工夫の余地がある。有理数のように「GCD さえ実装すればよい」というものではない。 かくいう私も最近までその辺を真面目に勉強しようとは思っていなかったわけだが、何となくモチベーションが湧いてきたので、代数的実数に関するアルゴリズムを

[arajin]

電子書籍期待。