No.1295

Computer Algebra - Algorithms, Implementations and Applications

研究集会報告集

2001/11/19～2001/11/22

村尾　裕一

Hirokazu Murao

目　次

1. 代数的局所コホモロジー類の満たすホロノミック系の構成法についてII (Computer Algebra : Algorithms, Implementations and Applications)---1

　　　　新潟大学工学部/お茶の水女子大学大学院　　　田島慎一/中村弥生　(Tajima,Shinichi/Nakamura,Yayoi)

2. 非同次常微分方程式の可解条件についてII (Computer Algebra : Algorithms, Implementations and Applications)--------------------------9

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

3. Asirによる有限群の不変式環の生成元の計算 (Computer Algebra : Algorithms, Implementations and Applications)-----------------------17

　　　　同志社大学工学部/NEC　　　渡邊芳英/鍋島勇　(Watanabe,Yoshihide/Nabeshima,Isamu)

4. GAPパッケージParallelGAPの計算実験 (Computer Algebra : Algorithms, Implementations and Applications)-----------------------------29

　　　　山梨大学工学部　　　宮本泉　(Miyamoto,Izumi)

5. 極限コンパスの実装 (Computer Algebra : Algorithms, Implementations and Applications)---------------------------------------------35

　　　　法政大学工学部　　　宮本健司　(Miyamoto,Kenji)

6. A Machine Proof of the Proposition : "Ideal $\subseteq \cup_i$ PrimeIdeal$_i$ $\Rightarrow$ Ideal $\subseteq$ PrimeIdeal$_i$" (Computer Algebra : Algorithms, Implementations and Applications)---42

　　　　日本大学理工学部/日本大学理工学部/電気通信大学電気通信学部/職業能力開発総合大学東京校　　　陳凌鈞/小林英恒/村尾裕一/鈴木秀男　(Chen,Lingjun/Kobayashi,Hidetsune/Murao,Hirokazu/Suzuki,Hideo)

7. 遅延微分方程式の級数による解法 (Computer Algebra : Algorithms, Implementations and Applications)---------------------------------51

　　　　神奈川工科大学/神奈川工科大学　　　平山弘/佐藤創太郎　(Hirayama,Hiroshi/Satou,Soutarou)

8. REDUCEによる有理型差分方程式の保存量の計算 (Computer Algebra : Algorithms, Implementations and Applications)---------------------56

　　　　広島大学工学研究科/広島大学工学研究科/広島大学工学研究科　　　高敏/加藤泰幸/伊藤雅明　(Gao,Min/Kato,Yasuyuki/Ito,Masaaki)

9. 量子アルゴリズムを用いた多項式GCDの計算 (Computer Algebra : Algorithms, Implementations and Applications)------------------------62

　　　　愛媛大学理工学研究科/愛媛大学工学部/愛媛大学工学部　　　武田邦敬/甲斐博/野田松太郎　(Takeda,Kunihiro/Kai,Hiroshi/Noda,Matu-Tarow)

10. Factoring Algorithms Based on NMR Quantum Computers (Computer Algebra : Algorithms, Implementations and Applications)-----------69

　　　　NTTコミュニケーション科学基礎研究所/NTT　　　国広昇/山下茂　(Kunihiro,Noboru/Yamashita,Shigeru)

11. 有限体上の多変数多項式の因数分解について (Computer Algebra : Algorithms, Implementations and Applications)----------------------75

　　　　神戸大学理学部/九州大学数理学研究院　　　野呂正行/横山和弘　(Noro,Masayuki/Yokoyama,Kazuhiro)

12. 大整数に対する整数・有理数変換について (Computer Algebra : Algorithms, Implementations and Applications)------------------------80

　　　　筑波大学数学系/筑波大学教育研究科/筑波大学理工学研究科　　　佐々木建昭/高橋善徳/杉本卓也　(Sasaki,Tateaki/Takahashi,Yoshinori/Sugimoto,Takuya)

13. 整数行列のFrobenius標準形のモジュラー計算法(II) (Computer Algebra : Algorithms, Implementations and Applications)---------------87

　　　　図書館情報大学/国立情報学研究所　　　森継修一/栗山和子　(Moritsugu,Shuichi/Kuriyama,Kazuko)

14. Projective Moduli Space for the Polynomials of Degree $n$ or Less (Computer Algebra : Algorithms, Implementations and Applications)---93

　　　　防衛大学校/城西大学理学部　　　藤村雅代/西沢清子　(Fujimura,Masayo/Nishizawa,Kiyoko)

15. Deformation of Singularity on an Irreducible Quartic Curve by Using the Computer Algebra System Risa/Asir (Computer Algebra : Algorithms, Implementations and Applications)---99

　　　　神戸大学発達科学部　　　高橋正　(Takahashi,Tadashi)

16. Spiral spline interpolation to a planar spiral (Computer Algebra : Algorithms, Implementations and Applications)---------------102

　　　　鹿児島大学理工学研究科/鹿児島大学理工学研究科　　　/酒井宦　(Habib,Zulfiqar/Sakai,Manabu)

17. 数式処理システムの教育利用におけるインタフェースについて (Computer Algebra : Algorithms, Implementations and Applications)-----109

　　　　神戸大学発達科学部　　　出口博章　(Deguchi,Hiroaki)

18. J/LINKを用いた数式処理計算の方法について (Computer Algebra : Algorithms, Implementations and Applications)---------------------111

　　　　神戸大学発達科学部/神戸大学発達科学部　　　高橋正/下村祐貴子　(Takahashi,Tadashi/Shimomura,Yukiko)

19. 1変数代数方程式の微小根の上界を用いた近接根の計算 (Computer Algebra : Algorithms, Implementations and Applications)------------117

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

20. 代数関数の解析接続について (Computer Algebra : Algorithms, Implementations and Applications)-----------------------------------123

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

21. 多変数Hensel構成における展開点の特異点からの距離 (Computer Algebra : Algorithms, Implementations and Applications)-------------130

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

22. Applications of computer algebra to some bifurcation problems in nonlinear vibrations (Computer Algebra : Algorithms, Implementations and Applications)---137

　　　　東京工業大学理工学研究科　　　川中子正　(Kawanago,Tadashi)

23. 近似グレブナ基底の精度保証計算 (Computer Algebra : Algorithms, Implementations and Applications)-------------------------------144

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

24. A Parameter Space Approach for Fixed-order robust controller synthesis by symbolic computation (Computer Algebra : Algorithms, Implementations and Applications)---150

　　　　富士通研究所/東京工業大学総合理工学研究科　　　穴井宏和/原辰次　(Anai,Hirokazu/Hara,Shinji)

25. 媒介変数を係数に含む多項式に対するGrobner basesについて (Computer Algebra : Algorithms, Implementations and Applications)------161

　　　　立命館大学理工学部/神戸大学自然科学研究科　　　佐藤洋祐/鈴木晃　(Sato,Yosuke/Suzuki,Akira)

26. グレブナ基底計算を効率的に行うための項順序自動設定法 (Computer Algebra : Algorithms, Implementations and Applications)---------171

　　　　産業技術総合研究所　　　沢田浩之　(Sawada,Hiroyuki)

27. 整数計画問題のための$b$-Grobner基底変換アルゴリズム (Computer Algebra : Algorithms, Implementations and Applications)----------178

　　　　東京理科大学工学研究科/東京理科大学工学研究科　　　伊藤雅史/平林隆一　(Ito,Masafumi/Hirabayashi,Ryuichi)

28. 安定化理論に関するいくつかの注意 (Computer Algebra : Algorithms, Implementations and Applications)-----------------------------189

　　　　NTTコミュニケーション科学基礎研究所　　　白柳潔　(Shirayanagi,Kiyoshi)

29. 区間演算によるハイブリッド有理関数近似と安定化理論について (Computer Algebra : Algorithms, Implementations and Applications)---197

　　　　愛媛大学理工学研究科/愛媛大学工学部/愛媛大学工学部　　　村上裕美/甲斐博/野田松太郎　(Murakami,Yumi/Kai,Hiroshi/Noda,Matu-Tarow)

30. 安定化したWu's methodのロボット制御への応用 (Computer Algebra : Algorithms, Implementations and Applications)------------------203

　　　　詫間電波工業高等専門学校/愛媛大学工学部/愛媛大学工学部　　　白石啓一/甲斐博/野田松太郎　(Shiraishi,Kei-ichi/Kai,Hiroshi/Noda,Matu-Tarow)

31. 近似根の係数の計算について (Computer Algebra : Algorithms, Implementations and Applications)-----------------------------------209

　　　　山口大学教育学部　　　北本卓也　(Kitamoto,Takuya)

32. Risa/AsirのMatrix演算の新しい実装について (Computer Algebra : Algorithms, Implementations and Applications)--------------------213

　　　　アルファオメガ/電気通信大学/アルファオメガ　　　兵頭礼子/村尾裕一/斎藤友克　(Hyodo,Noriko/Murao,Hirokazu/Saito,Tomokatsu)

33. 区間数による多項式の評価について (Computer Algebra : Algorithms, Implementations and Applications)-----------------------------220

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