权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

計算機代数(記号・代数的計算)の基礎理論とその数学研究および工学等への応用

计算机代数基础理论（符号/代数计算）及其在数学研究和工程等中的应用。

基本信息

批准号：
06F06324
负责人：
横山和弘
金额：
$ 1.09万
依托单位：
Rikkyo University
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2006
资助国家：
日本
起止时间：
2006 至 2008
项目状态：
已结题

项目摘要

計算機代数における重要なテーマである多項式イデアル計算において効率的な計算を達成するために、外国人特別研究員Dahan氏の計算量解析と代表者の持つ実際的計算法との結合を試みました。前年度に引き続き、主たるテーマとして、(1)有限群の不変式環等の効率的計算法の設計を計算量評価を基礎に行う、(2)上記の計算法やそこでの効率化技法の応用として、対称性を持つ多項式イデアルの構造解析への適用を探る、を考えました。ここでの基本方針は、(a)計算対象は主としてグレブナー基底とする、(b)効率化としてモジュラー技法と呼ばれる技法に焦点をあて、とくにその代表であるHensel構成と補間法の両面に関しての研究を行なう、の2点でした。(1)では、有限群のよる不変式環の計算において、特殊な場合ではありますが、有効的な適用を発見し、現在一般の場合への改良を行っています。Xavier氏は特別研究員を辞めた後に、九州大学に勤務し、この研究は継続する予定です。また、モジュラー技法の適用上、最も重要な「有理数への引き戻し」に関して、より厳密な係数評価が求められますが、Xavier氏は0次元多項式イデアルの辞書式順序のグレブナー基底の係数に関して詳細な評価を得、速報を国際会議で発表し、さらに完成した論文を計算数学では最も注目されている査読付国際会議に投稿し、受理されました。また、Xavier氏は従来からのSchost博士らとの共同研究の成果を論文としてまとめ、国際雑誌に掲載されました。研究は(1)の範疇に留まり、(2)への応用まで到りませんでしたが、引き続き共同研究を続ける予定です。

The computer algebra is very important. The calculation of the error rate of the computer algebra is the most important part of the computer algebra. The calculation of the error rate is completed by the foreign researcher Dahan. The representative of the computer Algebra holds the international calculation algorithm and combines the calculation algorithm of the foreign researcher. In the previous year, the algorithm for calculating the probability of a limited group of users, (1) the algorithm for calculating the rate of a finite group, etc., and (2) the calculation of the algorithm for calculating the rate of the previous year, and (2) the calculation of the algorithm for calculating the rate of the previous year, and (1) the algorithm for calculating the rate of calculation in the previous year, and (1) the algorithm for calculating the rate of the system, and (1) the algorithm for calculating the rate of the system, and so on. The basic formula, (a) calculation method, (a) calculation, (a) calculation, (a) calculation, and so on. (1) the information system, the limited group environmental planning system, the special information system, and the information on the use of information in general are now in line with the general market. After Xavier's special research staff resigned, the staff of Kyushu University and the research staff of Kyushu University decided to do so. The most important thing is to use the most important techniques, the most important, the number of rational numbers, the number of words, the number of words, the order of words, the order of words, the number of To complete the calculation of mathematics, to pay the most attention, to submit contributions to the International Conference, and to accept contributions. Dr. Xavier and Dr Schost have come to study the results of joint research, international journals and international journals. The scope of the study is (1), and (2) it is necessary to make a joint study of predetermined information.