No.1456
Computer Algebra - Design of Algorithms, Implementations and Applications
研究集会報告集
 　
2004/12/13〜2004/12/16
野呂　正行
Masayuki　Noro　
　
目　次
　
1. 主係数が特異な場合の多変数多項式の解析的因数分解 (Computer Algebra : Design of Algorithms, Implementations and Applications)------1
　　　　筑波大学数理物質科学研究科　　　岩見 真希　(Iwami,Maki)
　
2. 拡張Hensel構成を用いた多変数多項式の因数分解の効率性 (Computer Algebra : Design of Algorithms, Implementations and Applications)---10
　　　　筑波大学数理物質科学研究科数学専攻　　　稲葉 大樹　(Inaba,Daiju)
　
3. 近接根クラスタの代数的分離法と最小根間距離 (Computer Algebra : Design of Algorithms, Implementations and Applications)-----------18
　　　　筑波大学数学系 / 奈良女子大学情報科学科　　　佐々木 建昭 / 加古 富志雄　(Sasaki,Tateaki / Kako,Fujio)
　
4. 1変数代数方程式の一つの近接根クラスタに含まれる近接根の計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)---27
　　　　筑波大学大学院数理物質科学研究科 / 筑波大学大学院数理物質科学研究科　　　照井 章 / 佐々木 建昭　(Terui,Akira / Sasaki,Tateaki)
　
5. 置換群の可移拡大の計算法 (Computer Algebra : Design of Algorithms, Implementations and Applications)-----------------------------35
　　　　山梨大学医学工学総合研究部　　　宮本 泉　(Miyamoto,Izumi)
　
6. Symbolic-Numeric Optimization for Kinetic Models : An application to bioinformatics field (Computer Algebra : Design of Algorithms, Implementations and Applications)---40
　　　　富士通株式会社 / 株式会社富士通研究所 / 東京大学医科学研究所　　　折居 茂夫 / 穴井 宏和 / 堀本 勝久　(Orii,Shigeo / Anai,Hirokazu / Horimoto,Katsuhisa)
　
7. On Computing Sum of Roots with Positive Real Parts of Polynomials (Computer Algebra : Design of Algorithms, Implementations and Applications)---49
　　　　株式会社富士通研究所 / 立教大学 / 東京大学　　　穴井 宏和 / 横山 和弘 / 原 辰次　(Anai,Hirokazu / Yokoyama,Kazuhiro / Hara,Shinji)
　
8. Development of SyNRAC : A Cylindrical Algebraic Decomposition Procedure (Computer Algebra : Design of Algorithms, Implementations and Applications)---58
　　　　株式会社富士通研究所 / 株式会社富士通研究所　　　屋並 仁史 / 穴井 宏和　(Yanami,Hitoshi / Anai,Hirokazu)
　
9. Numerical Cylindrical Algebraic Decomposition with Certification via Symbolic Reconstruction (Computer Algebra : Design of Algorithms, Implementations and Applications)---65
　　　　株式会社富士通研究所 / 立教大学　　　穴井 宏和 / 横山 和弘　(Anai,Hirokazu / Yokoyama,Kazuhiro)
　
10. A quick computation of all kinds of transversals for dissections of an arrangement (Computer Algebra : Design of Algorithms, Implementations and Applications)---70
　　　　武庫川女子大学生活環境学部 / 東京農工大学工学部　　　福井 哲夫 / 関口 次郎　(Fukui,Tetsuo / Sekiguchi,Jiro)
　
11. 数学Webサービスにおけるグラフ表示サービスとその教育への応用 (Computer Algebra : Design of Algorithms, Implementations and Applications)---77
　　　　愛媛大学大学院理工学研究科 / 愛媛大学工学部 / 愛媛大学工学部　　　渡邊 巧 / 甲斐 博 / 野田 松太郎　(Watanabe,Takumi / Kai,Hiroshi / Noda,Matu-tarow)
　
12. MathBlackBoard からの OpenXMの利用 (Computer Algebra : Design of Algorithms, Implementations and Applications)------------------87
　　　　神戸大学大学院国際協力研究科　　　出口 博章　(Deguchi,Hiroaki)
　
13. 人間らしい初等幾何証明における角の取り扱いについて (Computer Algebra : Design of Algorithms, Implementations and Applications)---90
　　　　日本電信電話株式会社NTTコミュニケーション科学基礎研究所 / 法政大学工学部 / 日本電信電話株式会社NTTコミュニケーション科学基礎研究所 / 法政大学工学部　　　白柳 潔 / 宮本 健司 / 関川 浩 / 山本 航　(Shirayanagi,Kiyoshi / Miyamoto,Kenji / Sekigawa,Hiroshi / Yamamoto,Wataru)
　
14. コンパイラと数式処理 : コンパイラ・インフラストラクチャCOINSの活用 : 構想 (Computer Algebra : Design of Algorithms, Implementations and Applications)---100
　　　　株式会社三菱総合研究所 / 株式会社三菱総合研究所 / 電気通信大学　　　藤瀬 哲朗 / 西岡 利博 / 渡邊 坦　(Fujise,Tetsuro / Nishioka,Toshihiro / Watanabe,Tan)
　
15. 式変形支援システムの作成 (Computer Algebra : Design of Algorithms, Implementations and Applications)---------------------------108
　　　　独立行政法人産業技術総合研究所　　　元吉 文男　(Motoyoshi,Fumio)
　
16. 局所グレブナ扇 (Computer Algebra : Design of Algorithms, Implementations and Applications)-------------------------------------112
　　　　神戸大学理学部 / 神戸大学理学部　　　高山 信毅 / ルッシュディ バルー　(Takayama,Nobuki / Bahloul,Rouchdi)
　
17. Moraの割り算アルゴリズムと多項式のlocal $b$ 関数の計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)---117
　　　　神戸大学大学院自然科学研究科　　　中山 洋将　(Nakayama,Hiromasa)
　
18. 零次元代数的局所コホモロジーの計算法とスタンダード基底計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)---126
　　　　新潟大学工学部情報工学科　　　田島 慎一　(Tajima,Shinichi)
　
19. 高速留数計算アルゴリズム (Computer Algebra : Design of Algorithms, Implementations and Applications)---------------------------133
　　　　新潟大学自然科学研究科 / 新潟大学工学部情報工学科　　　庄司 卓夢 / 田島 慎一　(Shoji,Takumu / Tajima,Shinichi)
　
20. Risa/Asirの行列演算の実装(II) (Computer Algebra : Design of Algorithms, Implementations and Applications)----------------------144
　　　　株式会社アルファオメガ / 電気通信大学電気通信学部 / 株式会社アルファオメガ　　　兵頭 礼子 / 村尾 裕一 / 齋藤 友克　(Hyodo,Noriko / Murao,Hirokazu / Saito,Tomokatsu)
　
21. 数論システムNZMATHにおける複数多項式二次篩法(MPQS)の実装について (Computer Algebra : Design of Algorithms, Implementations and Applications)---151
　　　　東京都立大学理学研究科　　　熊木 幸司　(Kumaki,Kouji)
　
22. SCILABへのべき級数の導入とその制御系設計への応用 (Computer Algebra : Design of Algorithms, Implementations and Applications)---159
　　　　山口大学教育学部　　　北本 卓也　(Kitamoto,Takuya)
　
23. 一般化されたオイラーの定数について (Computer Algebra : Design of Algorithms, Implementations and Applications)-----------------167
　　　　城西大学理学部 / 城西大学大学院理学研究科　　　西沢 清子 / 齋藤 真一　(Nishizawa,Kiyoko / Saito,Shinichi)
　
24. 指数対数関数等の超越関数の多倍精度計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)-------------174
　　　　神奈川工科大学工学部 / 神奈川工科大学工学部　　　平山 弘 / 森川 敦司　(Hirayama,Hiroshi / Morikawa,Atsushi)
　
25. real root countingに関する話題 (Computer Algebra : Design of Algorithms, Implementations and Applications)---------------------180
　　　　九州大学数理学研究科 / 神奈川工科大学情報学部 / 早稲田大学理工学部 / 京都大学情報学研究科 / 東京大学工学系 / 九州大学数理学研究科　　　木村 欣司 / 平野 照比古 / 荻田 武史 / 山澤 宏樹 / 曽我部 知広 / 横山 和弘　(Kimura,Kinji / Hilano,Teruhiko / Ogita,Takeshi / Yamazawa,Hiroki / Sogabe,Tomohiro / Yokoyama,Kazuhiro)
　
26. 連分数展開による有理関数の復元とその応用について (Computer Algebra : Design of Algorithms, Implementations and Applications)---188
　　　　首都大学東京都市教養学部理工学系数理科学コース　　　村上 弘　(Murakami,Hiroshi)
　
27. Stability of Grobner bases and ACGB : revised (Computer Algebra : Design of Algorithms, Implementations and Applications)------195
　　　　東京理科大学数理情報科学科　　　佐藤 洋祐　(Sato,Yosuke)
　
28. Discrete Comprehensive Grobner Basesと計算比較 (Computer Algebra : Design of Algorithms, Implementations and Applications)-----206
　　　　立命館大学理工学研究科 / 東京理科大学理学部情報数理科学科　　　倉田 陽介 / 佐藤 洋祐　(Kurata,Yosuke / Sato,Yosuke)
　
29. 代数体上のイデアルのグレブナー基底計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)-----214
　　　　神戸大学理学部　　　野呂 正行　(Noro,Masayuki)
　
30. Calculation of Groebner Basis with Parametric Coefficients or Indeterminante Exponents (Computer Algebra : Design of Algorithms, Implementations and Applications)---220
　　　　神戸大学発達科学部 / 神戸大学発達科学部　　　高橋 正 / 長坂 耕作　(Takahashi,Tadashi / Nagasaka,Kosaku)