| 講演名 | 1998/9/21 ソフトウェアサイエンスとしての数式処理 野田 松太郎, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | ソフトウェアで取り上げる問題は基本的にはコンピュータ利用をいかに容易にするかにあるといってよい。その多くは従来から人間が便利さを追求して来た中から必要に迫られて誕生している。ここでは、そのようなソフトウェアの中から数式処理システムを取り上げて、その過去・機能、そして現在の動向について概括する。数式処理は数学(特に代数学)のための道具のように思われているが、むしろ最近では主な方向は、いかに現実的な問題に適用できるか、どのような問題解決のためのシステム足り得るか等のソフトウェア科学の中心的課題への接近が必要となって来ている。扱うデータも代数的な厳密な係数(整数や有理数)を持つ多項式から、浮動少数に拡張され各種の新しいアルゴリズムや計算システムが考察されている。このような最近の流れとその今後の発展の可能性についてまとめ、いくつかの試みを紹介する。 |
| 抄録(英) | Topics of Algorithms of Computer Algebra (CA) and Computer Algebra System are briefly surveyed. The computer algebra has been developed as a computational tool for researches of algebra and high energy physics. Since most of algorithms of CA depend basically on integer arithmetic, results of them are exact. However, there are several defects of computations of CA that they waste a lot of memory, require too many computation time and so on. Recent advances of researches of CA and its systems are as follows : ● Combine other kind of computations, such as floating point arithmetic, ● Use systems as a software component of Problem Solving Environments, ● Make a system which runs on parallel computers. Further, relations between CA developments and researches of software engineering are also discussed. |
| キーワード(和) | ソフトウェア / 数式処理 / 問題解決システム |
| キーワード(英) | Computer Algebra System / Problem Solving |
| 資料番号 | SS98-25 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 1998/9/21(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ソフトウェアサイエンスとしての数式処理 |
| サブタイトル（和） | |
| タイトル（英） | Computer Algebra System and Problem Solving Environment |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ソフトウェア / Computer Algebra System |
| キーワード(2)（和/英） | 数式処理 / Problem Solving |
| キーワード(3)（和/英） | 問題解決システム |
| 第 1 著者 氏名（和/英） | 野田 松太郎 / Matu-Tarow Noda |
| 第 1 著者 所属（和/英） | 愛媛大学工学部情報工学科 Department of Computer Science, Ehime University |
| 発表年月日 | 1998/9/21 |
| 資料番号 | SS98-25 |
| 巻番号（vol） | vol.98 |
| 号番号（no） | 294 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |