| 講演名 | 1996/7/27 C++と浮動小数点数による精度保証付き数値計算ライブラリ 鴨井 好正, 沼波 秀晃, 大石 進一, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本報告では, 浮動小数点数を用いて, 高速な演算が可能な精度保証ライプラリを提案する. 浮動小数点演算の際に起こる丸め誤差は, 丸め方向を強制的に変更できる. これを利用すると, 区間の上限と下限に浮動小数点数を使っても, 四則演算結果の真の値を含む区間演算を行なうことができる. この区間演算をもとにした精度保証ライプラリを, C++言語によって作成した. 精度保証付き数値計算では様々なタイプのデータ型間の演算が行なわれるので, C++言語の演算子多重定義の機能を有効に利用して, プログラム開発が極めて容易になるように工夫している. |
| 抄録(英) | We have developed C++ class library for numerical calculation with guaranteed accuracy, using floating point number. In this library, the numerical rounding direction of the float-ing point number arithmetic is changed suitably in interval operations in order to include the result of exact real number arithmetic in a unifield way. We have developed various libraries for the numerical calcurations with guaranteed accuracy. Numerical examples are also presented for illustrations. |
| キーワード(和) | 精度保証付き数値計算 / 自己検証システム / Krawczykの区間写像 |
| キーワード(英) | Numerical Validation / Self Validating System / Krawczyk's Interval Mapping |
| 資料番号 | NLP-96-46 |
| 発行日 |
| 研究会情報 | |
| 研究会 | NLP |
|---|---|
| 開催期間 | 1996/7/27(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Nonlinear Problems (NLP) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | C++と浮動小数点数による精度保証付き数値計算ライブラリ |
| サブタイトル（和） | |
| タイトル（英） | Guaranteeing Accuracy Library by C++ Language and Floating Point Number |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 精度保証付き数値計算 / Numerical Validation |
| キーワード(2)（和/英） | 自己検証システム / Self Validating System |
| キーワード(3)（和/英） | Krawczykの区間写像 / Krawczyk's Interval Mapping |
| 第 1 著者 氏名（和/英） | 鴨井 好正 / Yoshimasa KAMOI |
| 第 1 著者 所属（和/英） | 早稲田大学理工学部 School of Science and Engineering, Waseda University |
| 第 2 著者 氏名（和/英） | 沼波 秀晃 / Hideaki NUMANAMI |
| 第 2 著者 所属（和/英） | 早稲田大学理工学部 School of Science and Engineering, Waseda University |
| 第 3 著者 氏名（和/英） | 大石 進一 / Shin'ichi OISHI |
| 第 3 著者 所属（和/英） | 早稲田大学理工学部 School of Science and Engineering, Waseda University |
| 発表年月日 | 1996/7/27 |
| 資料番号 | NLP-96-46 |
| 巻番号（vol） | vol.96 |
| 号番号（no） | 208 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |