計算の品質制御用数値情報処理システムとその記憶領域削除

1999 Fiscal Year Annual Research Report

• Project/Area Number: 11650072
• Research Institution: Chuo University
• Principal Investigator: 久保田 光一 中央大学, 理工学部, 助教授 (90178046)
• Keywords: 自動微分 / 領域削除 / 数値情報処理 / 多様なデータ型 / 計算の品質保証

Research Abstract

本研究の目的は,トップダウン自動徴分の領域削減機構を組み込み,より大規模な問題に対処できるような数値情報処理システムを設計し,試作することである.本年度は4個の主要な目標を設定した.1番目はこれまでの研究の発展である.現在までに作成した処理系の概要を1999年7月に,イギリス・エディンバラで開催された工業数学・応用数学の国際会議にて発表した.その場で米国の自動微分処理系の開発者と処理系に関する意見交換を行い,有意義な情報収集を行うことができた.2番目は継続研究として多様なデータ型を処理するシステムの設計開発である.これについては,研究代表者の所属する研究グループ内で本研究とは別に作成されたC_<++>の処理系による多倍長浮動小数点数を用いた精度保証付き処理系の性能を評価し,そこで実験的に提案されている機能の組み込みを考慮中である.3番目の関連研究の調査としては,1999年11月に理化学研究所で開催された線形計算に関する国際ワークショップに参加し,大規模行列の固有値計算に関する研究を発表した.また,2000年6月にフランス・ニースで開催される自動微分に関する国際ワークショップのプログラム委員として仕事をしている.4番目のグラフィカルユーザーインターフェースを用いた使いやすい処理系については,今年度は未着手に終わった.これは,本来の計算の品質保証の処理系としての機能強化の方を優先したためである.
本年度は備品としてAlphaチップを積んだワークステーションを購入予定であったが,その後Pentium-IIIとRDRAMとを搭載した機種が発売されたので,計算能力的に優れている後者の購入を試みた.しかし,CPUが品薄で納期が不明確のため購入を断念した.代わりに,サンマイクロシステムズ社のUltra10とアップル社のパーソナルコンピュータを購入した.

Research Products

• [Publications] Koichi Kubota: "A preprocessor for reverse automatic differentiation with recursive checkpointing"Abstracts of ICIAM 99,the Fourth International Congress on Industrial and Applied Mathematics(Edinburgh,5-9,july,1999). 281 (1999)
• [Publications] 久保田光一、樫山和男: "自動微分による大規模システムの感度解析に関する研究"中央大学理工学研究所年報. 6. 40-44 (1999)
• [Publications] Koichi Kubota: "Some Examples with Jacobi-Davidson Method"RIKEN Symposium, Linear Algebra and its Applicatioins(Nov.22-24,1999), The Institute of Physical and Chemical Research. 172-179 (1999)
• [Publications] 福井 義成,野寺 隆志,久保田 光一,戸川 隼人: "新 数値計算"共立出版株式会社. 189 (1999)