月別アーカイブ: 2022年4月

LunarML進捗・2022年4月

月刊LunarML進捗報告です。前回は

で、3月はHaskellの記事を書くのに忙しかったので休刊でした。

今月の進捗を一言で言うと、JavaScriptバックエンドの実装を進めました。

面白いと思った方はGitHubにスターをつけてください:

続きを読む

浮動小数点数の文字列化(基数変換)

動機付けと問題

計算機の内部では二進浮動小数点数が使われることが多い一方で、プログラムのソースコードやテキストベースのデータ形式(例:JSON)では十進小数が使われることが多い。

データのシリアライズ等で、内部的な二進浮動小数点数を十進小数に変換して、再度二進小数に戻すという操作が考えられる。この時、元々の二進小数の値が保持されることが望ましい。

有限桁の二進小数は原理的には有限桁の十進小数で表現できるが、指数部が大きかったり小さかったりすると仮数部の桁数も膨張するため実用的ではない。

そこで、基数変換の際に丸めが発生することを許容して、二進小数→十進小数→二進小数の変換が恒等写像となるようにしたい。ただし丸めの方法は最近接丸めであるとする。この時、

  • 途中の十進小数の仮数部は何桁あれば十分か?
  • なるべく短い桁数の十進小数を、正しい丸めで得るためのアルゴリズムはどのようなものか?

という問題が考えられる。

続きを読む