kv - a C++ Library for Verified Numerical Computation
1. はじめに 本ページでは、精度保証付き数値計算を行うためにC++で作成した ライブラリ群を公開している。 特に非線形計算の精度保証を行うとき、template機能によって 複雑な数値型をすっきり記述でき、なおかつ "zero-overhead principle" で 計算速度が遅くならないC++は、非常に適していると言える (ほぼ唯一無二であると作者は考えている。)。 精度保証付き数値計算とkvライブラリの概要については、 このスライドを見て欲しい。 kv-intro.pdf (全94ページ) 2007年秋頃～2013年春頃の間は、区間演算を行うのにboostに含まれている intervalライブラリを用いて開発していたが、 boost.intervalは残念ながら不完全な部分が多く ライブラリ本体に手を入れざるを得なかった。 boost全体がアップデートする度にinterval部分
Wanted: Gamma Function - Cry's Blog
っていうか， C++ 標準だとガンマ関数を計算するための関数が無いのではないかという恐ろしい事実に今気が付いた．TR1 にすら無いっ！ TR1 でベータ関数云々導入されてるけれど，それ以前にまずガンマ関数はっ！？ねぇ，ガンマ関数はっ！？ C99 にはあるんだけれどねぇ． こうなると自作するしかないんだけれど，っていうかガンマ関数を求める精度で近似する方法誰か教えてぇ〜． Stirling の公式のもっと高次項まで展開したヤツ (ポアンカレの漸近展開) を使うっつーので良いのですかね？っていうか久しぶりに特殊函数の本引っ張り出してくる羽目になったんですけどっ！？っていうかこんなことに拘泥されている暇はないのだだだっ！うはー超幾何函数とかなっつかすぃーーー……いやそうじゃなくてっ！！ がでかい場合 0verflow するので (でかいといってもガンマ関数自体階乗の速度で増加するのでが2桁か3桁
OBB vs AABB - Radium Software Development
This domain may be for sale!
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
