計算機代数の諸算法

1986 Fiscal Year Annual Research Report

• Project/Area Number: 61540153
• Research Institution: Kyoto University
• Principal Investigator: 一松 信 京大, 数理解析研究所, 教授 (10027378)
• Co-Investigator(Kenkyū-buntansha): 山崎 泰郎 京都大学, 数理解析研究所, 助教授 (50027364) ; 三輪 哲二 京都大学, 数理解析研究所, 助教授 (10027386) ; 斎藤 恭司 京都大学, 数理解析研究所, 助教授 (20012445) ; 島田 信夫 京都大学, 数理解析研究所, 教授 (70027358) ; 中野 茂男 京都大学, 数理解析研究所, 教授 (60027357)
• Keywords: 数式処理 / 計算機代数 / 多項式代数 / 因数分解

Research Abstract

本年度は研究の基礎として、文献の収集及び整理をまず行った。その結果既に19世紀にいくたの有用な算法が知られていたことを確認した。
例えば連立代数方程式系を式の形で解くにはグレブナー基底を作れば、消去が機械的にできるが、しばしば記憶容量あふれで計算できなくなる。このときグレブナー基底そのものを完成しなくても、適当な順序で高次の項から順に消去する方法で成功することが多い。順序は伝統的な変数の辞書式順序よりも、項の全次数を第一とするほうが成功率が高い。簡単な場合には中間式が因数分解でき、意外に容易に解けることがあった。
また有限体上の多項式の因数分解にはバールカンプの算法が有用なことを以前に確認しているが、バールカンプ行列の固有多項式を計算すれば因子の次数がわかること、及び固有多項式の計算には適当な値を代入した行列式の値から補間法の手順で効率よく計算できることを再発見した(故高橋秀俊教授が六年余り前に注意していたが、これまで注目をひいていなかった)。
その他、大きな整数の素数判定及び素因数分解に関する楕円曲線法の実現と公開鍵暗号への応用に関しても、著るしい進展を見た。
全般的に今年度の研究により、数学と計算機科学の界面の一つとしての計算機代数の研究方向とあるべき姿が、明確に把握できたと思う。

Research Products

• [Publications] 一松信: 情報処理学会 数値解析研究会報告20. 22vol.87,NO.1-4 (1987)
• [Publications] 一松信: 電子通信学会 情報セキュリティ研究会報告IT86-. 55. 35-40 (1986)
• [Publications] 一松信,中司里美: 京都大学大型計算機センター広報. vol.19,NO.6. 436-446 (1986)
• [Publications] 一松信: "教室に電卓を!【III】" 海鳴社, 171 (1986)
• [Publications] 一松信: "コンピュータ英語の読み方" サイエンス社, 194 (1987)