| 研究課題/領域番号 |
62580029
|
|---|
| 研究種目 |
一般研究(C)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
情報学
|
|---|
| 研究機関 | 理化学研究所 |
|---|
研究代表者 |
佐々木 建昭 理化学研究所, 情報科学研究室, 研究員 (80087436)
|
|---|
| 研究期間 (年度) |
1987 – 1989
|
| 研究課題ステータス |
完了 (1989年度)
|
| 配分額 *注記 |
1,700千円 (直接経費: 1,700千円)
1989年度: 500千円 (直接経費: 500千円)
1988年度: 600千円 (直接経費: 600千円)
1987年度: 600千円 (直接経費: 600千円)
|
|---|
| キーワード | 数式処理 / 総合的数式処理システム / 代数的計算 / 数値数式融合計算 / 近似代数計算 / 数学公式デ-タベ-ス / 抽象デ-タ型 / 総合的数式処理 / 数式処理システム / プログラムの自動生成 / 数学公式データベース / 数値数式融合算法 / 連立代数方程式 / 浮動少数係数多項式剰余列 / スツルム列 / GCD算法 / 代数方程式の数値解法 / グレブナー基底 |
|---|
| 研究概要 |
本研究は総合的数式処理システムに関して、その構成と開発の基礎を実際のプログラミングで実証しつつ研究するものである。総合的数式処理の具体的描像としては、従来の数式処理を核に、(1)高等数学演算部、(2)数値計算・グラフィックスとの融合、(3)数学公式デ-タベ-スの装備とその自動運用、の三つの進んだ機能を追加したものを考えている。
機能(1)は、従来の多項式や有理式などのデ-タ型に加えて、代数的数や代数関数、集合式や群など、多数のデ-タ型の組込を必要とする。これを下手に行うと、システムが複雑化してバグの原因となり、計算効率が下がる。本研究では、デ-タ型が全体として一般性と簡単さをもち、したがってデ-タ表現の枠組が複雑にならず、かつ計算効率が落ちないよう、数式の内部表現を何度も試行しながら決定した。また、内部表現に直結した核レベルのプログラムでバグを減らすよう、複雑ではあっても定形的な部分は「ひな型」プログラムに統合し、一部はプログラムを自動生成する機能を設けた。アルゴリズムのインプリメント用には、抽象的にデ-タ構造を操作できるよう、多数のデ-タ構造操作用コマンドを用意した。かくして、多種多様のデ-タ型をもち、内部表現にそれほど依存しないプログラミングが可能で、しかもREDUCEに比べて数倍の計算効率を持つ、総合的数式処理システムの核がほぼ実現できた。
機能(2)に関しては、数値計算用のFORTRANプログラム、数式処理用のLispプログラム、などをオペレ-ティングシステムを介して結合する簡単な方式を考案し、インプリメントして実現容易性を示した。さらに、数値計算と数式計算の両方の計算法を融合化した算法をいくつか考案し、その有用性を示して、それらを「近似的代数算法」と名付けた。
機能(3)に関しては、前回の研究で考案したインデックシング法の不備を発見し、改善したが、自動運用法の研究には時間が足りなかった。
|
