数式処理を施さずにシャープな評価を得る区間演算方式

研究課題

研究課題/領域番号	19700014
研究種目	若手研究(B)
配分区分	補助金
研究分野	情報学基礎
研究機関	金沢工業大学
研究代表者	宮田孝富金沢工業大学, 情報学部, 講師 (30329114)
研究期間 (年度)	2007 – 2008
研究課題ステータス	完了 (2008年度)
配分額 *注記	1,450千円 (直接経費: 1,300千円、間接経費: 150千円) 2008年度: 650千円 (直接経費: 500千円、間接経費: 150千円) 2007年度: 800千円 (直接経費: 800千円)
キーワード	(A)計算理論 / 区間演算 / アフィン演算 / 精度保証付き数値計算
研究概要	計算機を用いた数値計算において,結果を「約○○」の形で近似的に求めるのではなく,真の解を含む結果を「□□以上□□以下」の形で求める方法を精度保証付き数値計算という.解の上界および下界は通常「区間」というデータ構造によって与えられる.区間の幅を小さくするように精度保証付き解を求めることは重要なことである.本研究では,区間の両端点の他に変数間の相関を表現できる特殊なデータ構造によって区間を表すことで,区間幅の増大を抑えつつ方程式の精度保証付き解を得るための新たな知見を与えた.

報告書

(3件)

(2件)