検索結果を絞り込む
杉原, 佳次, 立木, 秀樹 情報処理学会論文誌プログラミング（PRO） 45 (SIG12(PRO23)), 99-99, 2004-11-15
...計算機で実数計算を行うとき，グレイコードによる実数表現を用いれば，実数を一意に表すことができ，実数上の標準的な計算可能概念を導出できる．グレイコードとは，一般の2 進表現とは異なる{0 1} の無限列としての実数表現であり，その列の中に無限列をたかだか1 つ含むものである．このグレイコードによる実数表現を扱う計算を不定元を含むストリーム演算として関数型言語で実装することを考える．グレイコードに含まれる...
情報処理学会