No.1138

1999/11/24～1999/11/26

平野　照比古

Teluhiko Hilano

目　次

1. 二変数多項式の近似因数分解 : 許容度の下限と既約判定 (数式処理における理論と応用の研究)--------------------------------------------1

　　　　筑波大学数学研究科　　　長坂耕作　(Nagasaka,Kosaku)

2. 浮動小数係数での多変数ヘンゼル構成における桁落ちのメカニズム (数式処理における理論と応用の研究)----------------------------------13

　　　　筑波大学数学系　　　佐々木建昭　(Sasaki,Tateaki)

3. 拡張Hensel構成と多変数多項式の因数分解 (数式処理における理論と応用の研究)--------------------------------------------------------28

　　　　筑波大学数学系/筑波大学数学研究科　　　佐々木建昭/稲葉大樹　(Sasaki,Tateaki/Inaba,Daiju)

4. 誤差項をもつ実多項式の「近似実根」の計算とその応用 (数式処理における理論と応用の研究)--------------------------------------------43

　　　　筑波大学数学系　　　照井章　(Terui,Akira)

5. 線形写像による判定を用いた代数方程式の実解の代数的解法について (数式処理における理論と応用の研究)--------------------------------56

　　　　託間電波工業高等専門学校/上智大学理工学部/富士通研究所　　　近藤祐史/斎藤友克/竹島卓　(Kondoh,Yuji/Saito,Tomokatsu/Takeshima,Taku)

6. Approximate GCD of Multivariate Polynomials (Theory and Application in Computer Algebra)-----------------------------------------64

　　　　愛媛大学工学部/愛媛大学工学部　　　/野田松太郎　(Zhi,LiHong/Noda,Matu-Tarow)

7. 二変数有理関数近似のハイブリッド計算と多変数近似GCDアルゴリズム (数式処理における理論と応用の研究)-------------------------------77

　　　　愛媛大学工学部/愛媛大学工学部/愛媛大学工学部　　　甲斐博/木原信二/野田松太郎　(Kai,Hiroshi/Kihara,Shinji/Noda,Matu-Tarow)

8. 代数的局所コホモロジー類のローラン展開とL. EhrenpreisのNoether作用素 (数式処理における理論と応用の研究)--------------------------87

　　　　新潟大学工学部　　　田島慎一　(Tajima,Shinichi)

9. ホロノミックシステムの多項式解と有理解を求めるアルゴリズム (数式処理における理論と応用の研究)------------------------------------96

　　　　神戸大学理学部　　　高山信毅　(Takayama,Nobuki)

10. On Rational Quadratic Bezier Curves (Theory and Application in Computer Algebra)-----------------------------------------------106

　　　　鹿児島大学理工学研究科/鹿児島大学理学部/鹿児島大学理学部　　　末永勝征/酒井宦/宿久洋　(Suenaga,Katsuyuki/Sakai,Manabu/Yadohisa,Hiroshi)

11. Some applications of computer algebra to vector bundles on projective spaces (Theory and Application in Computer Algebra)------116

　　　　Universita degli Studi di Firenze　　　Ancona,Vincenzo

12. グレブナ基底 : 理論,計算の効率化,応用 (数式処理における理論と応用の研究)-------------------------------------------------------127

　　　　(株)富士通研究所　　　野呂正行　(Noro,Masayuki)

13. Grobner basisによる分割表の数え上げ (数式処理における理論と応用の研究)---------------------------------------------------------172

　　　　倉敷芸術科学大学　　　中川重和　(Nakagawa,Sigekazu)

14. 戦術に忠実な並列Buchberger算法 (数式処理における理論と応用の研究)--------------------------------------------------------------180

　　　　岩手大学工学部　　　鈴木正幸　(Suzuki,Masayuki)

15. OpenXMプロジェクトの現状について (数式処理における理論と応用の研究)------------------------------------------------------------189

　　　　神戸大学自然科学研究科/金沢大学理学部/神戸大学理学部/神戸大学自然科学研究科/富士通研究所/神戸大学理学部　　　奥谷行央/小原功任/高山信毅/田村恭士/野呂正行/前川将秀　(Okutani,Yukio/Ohara,Katsuyoshi/Takayama,Nobuki/Tamura,Takashi/Noro,Masayuki/Maekawa,Masahide)

16. 数式処理システムの数学教育への活用とミドルレギュレータの開発 (数式処理における理論と応用の研究)--------------------------------201

　　　　神戸大学自然科学研究科/神戸大学発達科学部　　　出口博章/高橋正　(Deguchi,Hiroaki/Takahashi,Tadashi)

17. 制約ベース型初期設計支援システム (数式処理における理論と応用の研究)------------------------------------------------------------211

　　　　機械技術研究所　　　沢田浩之　(Sawada,Hiroyuki)

18. 等号公理下での論理式の標準形とその一階言語への応用 (数式処理における理論と応用の研究)------------------------------------------220

　　　　電子技術総合研究所/電子技術総合研究所/東京工業大学情報理工学研究科　　　元吉文男/秋葉澄孝/佐藤泰介　(Motoyoshi,Fumio/Akiba,Sumitaka/Sato,Taisuke)

19. 有理演算による実対称行列の三重対角化 (数式処理における理論と応用の研究)--------------------------------------------------------226

　　　　日本電信電話(株)コミュニケーション科学基礎研究所　　　関川浩　(Sekigawa,Hiroshi)

20. Finding Real Roots of Polynomials (Theory and Application in Computer Algebra)-------------------------------------------------234

　　　　神奈川工科大学工学部　　　平野照比古　(Hilano,Teluhiko)

21. The arbitrary precision calculation of logarithms with continued fraction expansions (Theory and Application in Computer Algebra)---240

　　　　工学院大学/工学院大学　　　牧野潔夫/青山豪　(Makino,Isao/Aoyama,Takeshi)