| 講演名 | 1996/1/26 C++による精度保証付き数値計算システム 栗原 健志, 大石 進一, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本報告は, 有限次元非線形方程式について, 全ての解を求め, その解を自動的に反復改良し精度を高める, 自己検証システムの構築を目的とする. このようなシステムが実用となるためには, 区間演算や自動微分が容易にしかも同時に使用できる必要がある. そこで, どのような値をもとり得る構造体をC++上で定義し, その演算を定義した. さらに, これらを用いて自己検証システムを試作し, 例題を解く. |
| 抄録(英) | In this paper we show an iterative algorithm for approximated all solution of nonlinear equation. To this purpose, the struct and operations of this struct can be defined by C++ language. This struct takes various types of value. Using these struct and operations we give a numerical example. |
| キーワード(和) | 精度保証付き数値計算 / 自己検証システム / Krawczykの区間写像 |
| キーワード(英) | Numerical Validation / Self Validating System / Krawczyk's Interval Mapping |
| 資料番号 | CAS95-104,NLP95-95 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CAS |
|---|---|
| 開催期間 | 1996/1/26(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Circuits and Systems (CAS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | C++による精度保証付き数値計算システム |
| サブタイトル（和） | |
| タイトル（英） | Guaranteeing Accuracy System by C++ Language |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 精度保証付き数値計算 / Numerical Validation |
| キーワード(2)（和/英） | 自己検証システム / Self Validating System |
| キーワード(3)（和/英） | Krawczykの区間写像 / Krawczyk's Interval Mapping |
| 第 1 著者 氏名（和/英） | 栗原 健志 / Takeshi KURIHARA |
| 第 1 著者 所属（和/英） | 早稲田大学理工学部 School of Science and Engineering, Waseda University |
| 第 2 著者 氏名（和/英） | 大石 進一 / Shin'ichi OISHI |
| 第 2 著者 所属（和/英） | 早稲田大学理工学部 School of Science and Engineering, Waseda University |
| 発表年月日 | 1996/1/26 |
| 資料番号 | CAS95-104,NLP95-95 |
| 巻番号（vol） | vol.95 |
| 号番号（no） | 483 |
| ページ範囲 | pp.- |
| ページ数 | 7 |
| 発行日 | |