開催目的 / Aims and Scope
本共同研究は、数式処理(計算代数 (Computer Algebra) や、より広い意味で、計算機で数式・数学情報を扱う技術や方法論)の算法・システム開発・応用の各分野で活躍する研究者が、未解決問題の提起、萌芽的アイデアの紹介、最新の実装状況の報告、他分野との連携等に関する討論を行い、数式処理研究の今後の展望と方向性を検討することを目的として開催するものです。
数式処理に関する研究は、これまでに、数学、計算機科学に関連した分野で成果を挙げており、最近では、その成果が工学や生物学、教育等の分野にも広まりつつあります。これら異分野との交流は、各分野に新しいテーマをもたらし、研究の幅を広げる有意義なものであり、研究交流の今後のさらなる発展が望まれます。
本共同研究では、これら異分野の研究者と数式処理の若手研究者が、より密接に情報を共有し、研究の今後の展望と方向性を検討することを目指します。
現時点で想定している研究テーマは、以下のようなものを含みます(これらに限定されるものではありません)。
計算代数
計算代数に他分野の手法を取り入れる、逆に、他分野に計算代数の手法を応用するといった、計算代数と他分野との融合や連携につながるような議論。
純粋数学から工学まで、より幅広い分野を対象に、他分野の手法を採り入れた、新たな計算代数の手法や方法論の探求
(他分野の例:整数論、厳密/数値線形代数、数値最適化、ハイパフォーマンスコンピューティング、・・・)
計算代数の理論や手法を用いた、さまざまな分野の問題解決へのアプローチ
(パラメータ付制御問題、生物物理、統計学、・・・)
数式処理
「計算代数」より幅広く、計算機上で数式等の情報を扱う技術や方法論に関する広範な議論。
XML技術等を用いた、数式情報の可搬性を高める技術や方法論
オペレーティングシステム(OS)も含めた、問題解決環境 (Problem Solving Environment) やその機能を担うライブラリの開発や実装に関する議論
研究交流
若手研究者や大学院生をターゲットとし、国際的な研究交流や情報発信の促進を目指し、数式処理、計算代数関連の国内外の論文誌、研究集会に関する情報や、研究集会運営のノウハウ等の情報交換を行う。
萌芽的アイデアも積極的に取り上げて議論したいと思います。
We organize this workshop for examining prospects and future direction of computer algebra research through discussions on various topics, such as raising a new open problem, introduction of exploratory ideas, reporting latest implementation, application to other areas, by researchers in computer algebra and/or those who are working on algorithms, system developments and applications in handling mathematics or 'mathematical' informations on a computer in broader sense.
Researches on computer algebra have contributed new results in fields related to mathematics and computer science so far. Furthermore, recent development of researches have enlarged their focus to broader range of applications including engineering, biology, education. Such interaction brings new themes and broaden the scope of computer algebra research. Thus, it is desired to increase communication between researchers in computer algebra and application fields.
Therefore, this workshop aims to communicate between especially young researchers in computer algebra and researchers from different fields to share their ideas more closely to examine the prospects and future research directions.
Research topics discussed in the workshop include, but are not limited to, the followings.
Computer algebra: collaboration and integration of computational algebra and other areas, such as introducing methods in other areas into computer algebra, or, on the contrary, application of computer algebra to other areas.
Computer algebra with methodologies in other areas from pure mathematics to engineering, such as number theory, abstract/numerical linear algebra, high-performance computing (HPC), etc.
Using computer algebra to solving problems in various fields (control theory with parameters, biophysics, statistics, etc.)
Formula manipulations: in broader sense, discussions on technologies and/or methodologies for handling 'mathematical' information on a computer.
Increasing portability of 'digital' mathematical expression or information using XML technology and/or other IT methodologies.
Developments and/or implementation of Problem Solving Environments: from library to operating systems.
Sharing resource of research communications: mainly focused to young researchers and graduate students, exchange information on journals, conferences and workshops on computer algebra, and various know-hows such as "how to organize workshop successfully", aiming to promote research communication with international research communities.
Embryonic ideas and/or research results are welcome.