No.1335

Computer Algebra - Algorithms, Implementations and Applications

研究集会報告集

2002/12/10～2002/12/13

村尾　裕一

Hirokazu　Murao

目　次

1. 数式処理による非線形微分方程式の解法 (Computer Algebra : Algorithms, Implementations and Applications)----------------------------1

　　　　広島大学工学研究科/広島大学工学研究科/広島大学工学研究科　　　金園益/金龍/伊藤雅明　(Jin, Yuanyi/Jin, Long/Ito, Masaaki)

2. Max-Plus Algebraの数式処理 (Computer Algebra : Algorithms, Implementations and Applications)--------------------------------------6

　　　　広島大学工学研究科/広島大学工学研究科/広島大学工学研究科　　　金龍/金園益/伊藤雅明　(Jin, Long/Jin, Yuanyi/Ito, Masaaki)

3. A Relation between a Group and a Ring (Computer Algebra : Algorithms, Implementations and Applications)--------------------------13

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

4. 初等幾何における読みやすい証明の生成手法について (Computer Algebra : Algorithms, Implementations and Applications)---------------20

　　　　法政大学工学部/日本電信電話株式会社コミュニケーション科学基礎研究所/日本電信電話株式会社コミュニケーション科学基礎研究所/法政大学工学部　　　宮本健司/関川浩/白柳潔/町田文彦　(Miyamoto, Kenji/Sekigawa, Hiroshi/Shirayanagi, Kiyoshi/Machida, Fumihiko)

5. 多項式表現と行列演算の改良 (Computer Algebra : Algorithms, Implementations and Applications)-------------------------------------28

　　　　/電気通信大学/　　　兵頭礼子/村尾裕一/齋藤友克　(Hyodo, Noriko/Murao, Hirokazu/Saito, Tomokatsu)

6. 有理数行列のFrobenius標準形のモジュラー計算法 (Computer Algebra : Algorithms, Implementations and Applications)------------------33

　　　　筑波大学図書館情報学系　　　森継修一　(Moritsugu, Shuichi)

7. 直方体状領域上の分離型線形偏微分方程式の一般化フーリエ・モード解法について (Computer Algebra : Algorithms, Implementations and Applications)---41

　　　　東京都立短期大学経営情報学科　　　村上弘　(Murakami, Hiroshi)

8. 微分代数方程式の解のべき級数展開法 (Computer Algebra : Algorithms, Implementations and Applications)-----------------------------49

　　　　神奈川工科大学　　　平山弘　(Hirayama, Hiroshi)

9. $G^2$ Pythagorean hodograph quintic transition between two circles (Computer Algebra : Algorithms, Implementations and Applications)---57

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

10. Shapes of parametric cubic curves (Computer Algebra : Algorithms, Implementations and Applications)-----------------------------68

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

11. Associative binary relation and rootfinding methods (Computer Algebra : Algorithms, Implementations and Applications)-----------76

　　　　城西大学理学部/城西大学理学研究科　　　西沢清子/尾身和馬　(Nishizawa, Kiyoko/Omi, Kazuma)

12. Geometric applications of real elimination methods (Computer Algebra : Algorithms, Implementations and Applications)------------84

　　　　パッサウ大学　　　ヴァイスフェニングフォルカー　(Weispfenning, Volker)

13. Linear QE Algorithms and their Implementation on Maple (Computer Algebra : Algorithms, Implementations and Applications)--------91

　　　　株式会社富士通研究所　　　屋並仁史　(Yanami, Hitoshi)

14. Proving and Solving Semi-definite Programming over Reals (Computer Algebra : Algorithms, Implementations and Applications)------97

　　　　株式会社富士通研究所　　　穴井宏和/パリロパブロ　(Anai, Hirokazu/Parrilo, Pablo A.)

15. Generalized Discrete Comprehensive Grobner Bases (Computer Algebra : Algorithms, Implementations and Applications)-------------105

　　　　立命館大学理工学部/神戸大学自然科学研究科/立命館大学理工学部　　　佐藤洋祐/鈴木晃/鍋島克輔　(Sato, Yoske/Suzuki, Akira/Nabeshima, Katsusuke)

16. 頂点作用素代数研究の計算機による証明支援 (Computer Algebra : Algorithms, Implementations and Applications)---------------------111

　　　　九州大学数理学研究院　　　横山和弘　(Yokoyama, Kazuhiro)

17. 代数的アルゴリズムに対する量子計算 (Computer Algebra : Algorithms, Implementations and Applications)---------------------------119

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

18. 算術演算を行う量子回路の構成 (Computer Algebra : Algorithms, Implementations and Applications)---------------------------------127

　　　　電気通信大学情報通信工学科　　　國廣昇　(Kunihiro, Noboru)

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

　　　　神戸大学理学部　　　野呂正行　(Noro, Masayuki)

20. OpenXM1.2.2の概要 (Computer Algebra : Algorithms, Implementations and Applications)--------------------------------------------141

　　　　OpenXM開発グループ　　　

21. Lupin : from Web Services to Web-based Problem Solving Environments (Computer Algebra : Algorithms, Implementations and Applications)---149

　　　　愛媛大学理工学研究科/愛媛大学理工学研究科/愛媛大学理工学研究科/愛媛大学理工学研究科/愛媛大学工学部　　　李凱/酒井雅人/森実幸拓/河野公宏/野田松太郎　(Li, Kai/Sakai, Masato/Morizane, Yukihiro/Kono, Masahiro/Noda, Matu-Tarow)

22. 部分終結式と近接根 (Computer Algebra : Algorithms, Implementations and Applications)-------------------------------------------157

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

23. 多変数多項式の近似因数分解の効率化 : 複数点でのTaylor級数根の利用 (Computer Algebra : Algorithms, Implementations and Applications)---165

　　　　筑波大学理工学研究科/筑波大学数学系　　　森田泰弘/佐々木建昭　(Morita, Yasuhiro/Sasaki, Tateaki)

24. 多変数多項式の解析的因数分解 (Computer Algebra : Algorithms, Implementations and Applications)---------------------------------173

　　　　筑波大学数理物質科学研究科/筑波大学数学系　　　岩見真希/佐々木建昭　(Iwami, Maki/Sasaki, Tateaki)

25. プログラムの自動安定化変換について (Computer Algebra : Algorithms, Implementations and Applications)---------------------------181

　　　　詫間電波工業高等専門学校/愛媛大学工学部情報工学科　　　近藤祐史/野田松太郎　(Kondoh, Yuji/Noda, Matu-Tarow)

26. 近似代数計算と有理関数近似に関する研究 (Computer Algebra : Algorithms, Implementations and Applications)-----------------------188

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

27. 数学公式データベースと$G$関数 (Computer Algebra : Algorithms, Implementations and Applications)--------------------------------196

　　　　愛媛大学理工学研究科/愛媛大学理工学研究科/愛媛大学工学部　　　森永昌義/村上裕美/野田松太郎　(Morinaga, Masayoshi/Murakami, Yumi/Noda, Matu-Tarow)