Spire による数値解析

数値解析は難しいトピックとして有名です。大規模な数値演算は生の性能を引き出す必要がありますが、浮動小数点を扱うと不正確な結果になる可能性があります。関数型プログラマとして、具体的な数値型の抽象化と、いかにここで抽象代数学が役に立つかについてお話します。この抽象と具象の相互作用が、高速で正確なプログラムの開発を支援するライブラリで重要になります。Spireはそういうライブラリなのです。このトークでは、Spireの概要、”number tower”の紹介、本物みたいな数、そして法則に従う方法について紹介します。

トークの長さ