An application of symbolic computation to an aotomatic selection problem of optimum numeric softwares

コンピュータの利用分野の拡大するとともに、問題別に膨大な数の計算アルゴリズムが開発され使用されている。しかし、浮動小数計算で数値的にある種の近似解を得ようとする数値計算においては、適切にアルゴリズムを選択しなければ必ずしも正しい結果を求められないことも良く知られている。特に問題が多様化し、解きにくい問題や悪条件問題が出現する場合には不適切なアルゴリズムを選択することによって深刻な問題を引き起こす可能性がある。そこで本論では与えた問題の性質を自動的に判定し、適切な数値計算のアルゴリズムを選択し、かつその計算実行までもを行い得るような利用者支援システムの開発を行う。具体的には解きにくい問題の例として硬い常微分方程式の数値解法を考え、硬さの度合い（スティッフ率）を数式処理システムを利用して計算し、データベースに格納されたアルゴリズム中から適切なものを選択・実行するようにした。ユーザインターフェースを簡便にするため、Netscape NavigatorなどのWebブラウザでのシステムの利用を可能とした。実際のシステム動作を広く使用されている数値計算アルゴリズムSSL-IIを対象として示した。Proceedings of 2nd Risa Consortium at Ehime University 6-9 March, 1997/ edited by Matu-Tarow Noda Kiyoko Nishizawa Tomokatsu Sait