No.1199
数式処理における理論と応用の研究
Theory and Application in Computer Algebra
研究集会報告集
 　
2000/12/18〜2000/12/21
平野　照比古
Teluhiko Hirano
　
目　次
　
1. Wu's methodの浮動小数化 (数式処理における理論と応用の研究)------------------------------------------------------------------------1
　　　　愛媛大学工学部/愛媛大学工学部/愛媛大学工学部/愛媛大学工学部　　　野竹 禎雄/甲斐 博/支 麗紅/野田 松太郎　(Notake,Yoshio/Kai,Hiroshi/Zhi,Lihong/Noda,Matu-Tarow)
　
2. Wuの方法の並列化における負荷分散について (数式処理における理論と応用の研究)------------------------------------------------------10
　　　　託間電波工業高等専門学校/愛媛大学工学部/愛媛大学工学部/愛媛大学工学部　　　白石 啓一/那須 英正/甲斐 博/野田 松太郎　(Shiraisi,Keiichi/Nasu,Hidemasa/Kai,Hiroshi/Noda,Matu-Tarow)
　
3. 自動安定化システムを用いた画像処理について (数式処理における理論と応用の研究)----------------------------------------------------20
　　　　愛媛大学工学部/愛媛大学工学部/愛媛大学工学部　　　水口 寛之/甲斐 博/野田 松太郎　(Minaguchi,Hiroyuki/Kai,Hiroshi/Noda,Matu-Tarow)
　
4. 数式処理システムの教育現場での利用I : 教材配付サーバの構築と教育実践報告 (数式処理における理論と応用の研究)----------------------22
　　　　神戸大学総合人間科学研究科/神戸大学発達科学部　　　佐伯 昭洋/高橋 正　(Saeki,Akihiro/Takahashi,Tadashi)
　
5. 二変数ハイブリッド有理関数近似の誤差評価 (数式処理における理論と応用の研究)------------------------------------------------------36
　　　　愛媛大学工学部/愛媛大学工学部　　　甲斐 博/野田 松太郎　(Kai,Hiroshi/Noda,Matu-Tarow)
　
6. Risa/AsirにおけるWeyl Algebra上のグレブナ基底計算およびその応用 (数式処理における理論と応用の研究)-------------------------------43
　　　　神戸大学理学部　　　野呂 正行　(Noro,Masayuki)
　
7. 偏微分作用素を用いた多変数留数計算アルゴリズムと中国剰余定理 (数式処理における理論と応用の研究)----------------------------------51
　　　　新潟大学工学部情報工学科　　　田島 慎一　(Tajima,Shinichi)
　
8. 代数的局所コホモロジー類の満たすホロノミック系の構成法について (数式処理における理論と応用の研究)--------------------------------70
　　　　お茶の水女子大学大学院/新潟大学工学部情報工学科　　　中村 弥生/田島 慎一　(Nakamura,Yayoi/Tajima,Shinichi)
　
9. $D$-加群における$(u,v)$-極小自由分解とその応用 (数式処理における理論と応用の研究)------------------------------------------------90
　　　　東京女子大学文理学部/神戸大学理学部　　　大阿久 俊則/高山 信毅　(Ooaku,Toshinori/Takayama,Nobuki)
　
10. Reach Set Computations Using Real Quantifier Elimination (Theory and Application in Computer Algebra)--------------------------100
　　　　富士通研究所　　　穴井 宏和　(Anai,Hirokazu/Weispfenning,Volker)
　
11. Deciding Linear-Trigonometric Problems (Theory and Application in Computer Algebra)--------------------------------------------114
　　　　富士通研究所　　　穴井 宏和　(Anai,Hirokazu/Weispfenning,Volker)
　
12. Parametrization by fixed-points multipliers of the polynomials with degree $n$ (Theory and Application in Computer Algebra)----127
　　　　城西大学理学部　　　西沢 清子　(Nishizawa,Kiyoko)
　
13. 微小低次項を持つ代数方程式の根の大きさについて (数式処理における理論と応用の研究)----------------------------------------------132
　　　　筑波大学数学系/筑波大学数学系　　　佐々木 建昭/照井 章　(Sasaki,Tateaki/Terui,Akira)
　
14. 多変数多項式のベキ級数根の桁落ち誤差 その2 (数式処理における理論と応用の研究)--------------------------------------------------137
　　　　筑波大学数学系/奈良女子大学理学部　　　佐々木 建昭/加古 富士雄　(Sasaki,Tateaki/Kako,Fujio)
　
15. 連立多項式の近似根の計算法について (数式処理における理論と応用の研究)----------------------------------------------------------149
　　　　山口大学教育学部　　　北本 卓也　(Kitamoto,Takuya)
　
16. Binary Splitting Algorithmによる高精度計算 (数式処理における理論と応用の研究)--------------------------------------------------160
　　　　神奈川工科大学工学部　　　平山 弘　(Hirayama,Hiroshi)
　
17. REDUCEによる非線型差分方程式の保存密度の計算 (数式処理における理論と応用の研究)------------------------------------------------167
　　　　広島大学工学研究科/広島大学工学研究科/広島大学工学部　　　高 敏/加藤 泰幸/伊藤 雅明　(Gao,Min/Kato,Yasuyuki/Ito,Masaaki)
　
18. Puiseux展開プログラムの作成 (数式処理における理論と応用の研究)-----------------------------------------------------------------173
　　　　産業技術総合研究所　　　元吉 文男　(Motoyoshi,Fumio)
　
19. OpenXM 1.1.3の概要 (数式処理における理論と応用の研究)--------------------------------------------------------------------------179
　　　　金沢大学理学部/神戸大学理学部/神戸大学自然科学研究科/神戸大学理学部/神戸大学自然科学研究科　　　小原 功任/高山 信毅/田村 恭士/野呂 正行/前川 将秀　(Ohara,Katsuyoshi/Takayama,Nobuki/Tamura,Takashi/Noro,Masayuki/Maekawa,Masahide)
　
20. 線形分離写像による判定を用いた代数方程式の実解の定位 (数式処理における理論と応用の研究)----------------------------------------192
　　　　託間電波工業高等専門学校/上智大学理工学部/富士通研究所　　　近藤 祐史/斎藤 友克/竹島 卓　(Kondoh,Yuuji/Saito,Tomokatsu/Takesima,Tak)
　
21. 大域的収束性を持つ代数方程式の新しい解法 (数式処理における理論と応用の研究)----------------------------------------------------203
　　　　山梨大学工学部/山梨大学教育人間科学部　　　鈴木 智博/鈴木 俊夫　(Suzuki,Tomohiro/Suzuki,Toshio)
　
22. Lagrangeによる連分数展開のアルゴリズムの一般化の試み (数式処理における理論と応用の研究)----------------------------------------213
　　　　名古屋大学人間情報学研究科　　　橋本 竜太　(Hashimoto,Ryuuta)
　
23. 整数行列のFrobenius標準形のモジュラー計算法 (数式処理における理論と応用の研究)-------------------------------------------------220
　　　　図書館情報大学/国立情報学研究所　　　森継 修一/栗山 和子　(Moritsugu,Shuichi/Kuriyama,Kazuko)