1998 Fiscal Year Annual Research Report
数学研究支援のための自己学習型数式処理系の設計と開発
| Project/Area Number |
09874010
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
野海 正俊 神戸大学, 大学院自然科学研究科, 教授 (80164672)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
高山 信毅 神戸大学, 理学部, 教授 (30188099)
|
|---|
| Keywords | 数式処理 / グレプナ基底 / ネットワーク |
|---|
| Research Abstract |
本研究では,自己学習型の数式処理系の設計・開発を目標としつつ,数学研究の現状に照らし合わせて,その支援のための数式処理系のあり方についての検討を行った.その要点は,(1)無限個の変数や非可換な変数を含む数式処理の実際的研究と,(2)複数の数式処理システム間で数式データを相互にやりとりするためのプロトコルの問題,の2点である.
研究代表者は,主に(1)を担当し,非線形の可積分な微分・差分方程式系と,Lie環とWeyl群の表現の研究における数式処理の実践を通じて,無限変数の問題の雛形として微分多項式のグレプナ基底について,また非可換変数の問題の雛形としてCoxeter群の数式処理について,実際的アルゴリスムの検討を行った.その成果についてはもう少し完成度を高めた上で公表したい.研究分担者は主に(2)を担当し,分散数式処理系のプロトコルである,openXMの設計と実装を行い,Risa/AsirとKan/smlの間で数式処理系のネットワークを実現した.当初の研究課題の実現には未だ遠いが,そのための第一歩を踏み出すことができたと思う.
|
Research Products
(6 results)
-
[Publications] M.Noumi: "Notes on the flat structures associated with simple and simply elliptic singularities" Proceedings of the Taniguchi Symposium 1997:"Integrable Systems and Algebraic Geometry"(eds.M.-H.Saito et al),World Scientific. 373-383 (1998)
-
[Publications] M.Noumi: "Higher order Painleve equations of type A^<(1)>_l" Funkcial.Ekvac.41. 483-503 (1998)
-
[Publications] M.Noumi: "Affine Weyl groups,discrete dynamical systems and Painleve equations" Comm.Math.Phys.199. 281-295 (1998)
-
[Publications] M.Noumi: "Symmetries in the fourth Painleve equation and Okamoto polynomials" Nagoya Math.J.(to appear). (1999)
-
[Publications] B.Sturmfels: "Grobner bases and hypergeometric functions" London Mathematical Society Lecture Notes Series. 251. 246-258 (1998)
-
[Publications] M.Saito: "Hypergeometric polynomials and Integer Programming" Compositio Math.(to appear). (1999)
