No.1514

Computer Algebra - Design of Algorithms, Implementations and Applications

2005/12/19～2005/12/22

横山　和弘

Kazuhiro Yokoyama

目　次

1. 拡張 Hensel 構成と多変数代数関数の特異性 (Computer Algebra : Design of Algorithms, Implementations and Applications)--------------1

　　　　筑波大学数学系 / 筑波大学ベンチャービジネスラボラトリー / 岩手県立大学ソフトウェア情報学部　　　佐々木建昭 / 稲葉大樹 / 片町健太郎　(Sasaki, Tateaki / Inaba, Daiju / Katamati, Kentaro)

2. 特異点解消を用いた桁落ち無しべき級数計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)--------------8

　　　　筑波大学大学院数理物質科学研究科　　　山内歩　(YAMAUCHI, AYUMI)

3. 従変数に重みをつけた拡張 Hensel 構成と Newton 多面体 (Computer Algebra : Design of Algorithms, Implementations and Applications)---15

　　　　筑波大学数理物質科学研究科 / 筑波大学数学系　　　小副川健 / 佐々木建昭　(Osoekawa, Takeshi / Sasaki, Tateaki)

4. 多変数多項式に対する新しい因数分解法 (Computer Algebra : Design of Algorithms, Implementations and Applications)-----------------22

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

5. 代数的Riccati 方程式の解法について (Computer Algebra : Design of Algorithms, Implementations and Applications)-------------------29

　　　　山口大学　　　北本卓也　(KITAMOTO, T.)

6. GAP の関数 Normalizer の改良 (Computer Algebra : Design of Algorithms, Implementations and Applications)-------------------------33

　　　　山梨大学　　　宮本泉　(MIYAMOTO, IZUMI)

7. $GF(3^m)$におけるTate Pairing の計算および実装について (Computer Algebra : Design of Algorithms, Implementations and Applications)---39

　　　　筑波大学システム情報工学研究科 / 日本電気株式会社システム基盤ソフトウェア開発本部 / 日本電気株式会社ユビキタスソフトウェア事業部　　　岩見真希 / 久保寺範和 / 側高幸治[他]　(IWAMI, MAKI / KUBOTERA, NORIKAZU / SOBATAKA, KOJI)

8. An answer to an open problem on cubic spiral transition between two circles(Computer Algebra : Design of Algorithms, Implementations and Applications)---46

　　　　鹿児島大学理学部 / 鹿児島大学理学部　　　ハビブズルフィカル / 酒井宦　(Habib, Zulfiqar / Sakai, Manabu)

9. 数式処理システムを用いた芸術における数理科学的アプローチ (Computer Algebra : Design of Algorithms, Implementations and Applications)---53

　　　　スタジオフォンズ / 神戸大学発達科学部 / 神戸大学発達科学部　　　桐生裕介 / 長坂耕作 / 高橋正　(KIRIU, YUSUKE / NAGASAKA, KOSAKU / TAKAHASHI, TADASHI)

10. On relationship between proliferation and transition raets of multicells(Computer Algebra : Design of Algorithms, Implementations and Applications)---59

　　　　東京大学医科学研究所・ヒトゲノム解析センター / (株)富士通研究所,CREST JST / (株)富士通,科学ソリューション　　　吉田寛 / 穴井宏和 / 折居茂夫[他]　(YOSHIDA, HIROSHI / ANAI, HIROKAZU / ORII, SHIGEO)

11. Symbolic-Numeric Optimization for Estimation of Parameters in a Biological Kinetic Model(Computer Algebra : Design of Algorithms, Implementations and Applications)---66

　　　　富士通株式会社 / 産業技術総合研究所・生命情報科学研究センター / (株)富士通研究所,(独)科学技術振興機構　　　折居茂夫 / 堀本勝久 / 穴井宏和　(ORII, SHIGEO / HORIMOTO, KATSUHISA / ANAI, HIROKAZU)

12. Solving and visualizing parametric quantified constraints in control system design(Computer Algebra : Design of Algorithms, Implementations and Applications)---74

　　　　(株)アルファオメガ / (株)富士通ソフトウェアテクノロジー / (株)富士通研究所,CREST JST　　　兵頭礼子 / / 屋並仁史[他]　(HYODO, NORIKO / Hong, Myunghoon / YANAMI, HITOSHI)

13. A Quantifier Elimination Procedure Based on Cylindrical Algebraic Decomposition in SyNRAC(Computer Algebra : Design of Algorithms, Implementations and Applications)---81

　　　　(株)富士通研究所,(独)科学技術振興機構 / (株)富士通研究所,(独)科学技術振興機構　　　屋並仁史 / 穴井宏和　(YANAMI, HITOSHI / ANAI., HIROKAZU)

14. 1変数多項式の再帰的な多項式剰余列と入れ子部分終結式 (Computer Algebra : Design of Algorithms, Implementations and Applications)---87

　　　　筑波大学大学院数理物質科学研究科　　　照井章　(TERUI, AKIRA)

15. 有理式を要素とする行列式の計算法 (Computer Algebra : Design of Algorithms, Implementations and Applications)--------------------94

　　　　筑波大学大学院数理物質科学研究科 / 筑波大学数学系　　　梅田恭 / 佐々木建昭　(Umeda, Yasushi / Sasaki, Tateaki)

16. 多変数近似GCD 用算法の性能比較 (Computer Algebra : Design of Algorithms, Implementations and Applications)---------------------101

　　　　筑波大学数理物質科学研究科　　　讃岐勝　(SANUKI, MASARU)

17. 多項式剰余公式の計算アルゴリズム (Computer Algebra : Design of Algorithms, Implementations and Applications)-------------------108

　　　　新潟大学自然科学研究科 / 新潟大学工学部情報工学科　　　庄司卓夢 / 田島慎一　(SHOJI, TAKUMU / TAJIMA, SHINICHI)

18. 有理関数補間の不必要な極の解析 (Computer Algebra : Design of Algorithms, Implementations and Applications)---------------------115

　　　　愛媛大学工学部情報工学科　　　甲斐博　(KAI, HIROSHI)

19. 多項式の実数解を求める方法について : 再訪 (Computer Algebra : Design of Algorithms, Implementations and Applications)----------122

　　　　神奈川工科大学情報学部　　　平野照比古　(HIRANO, TERUHIKO)

20. 包括的ブーリアングレブナ基底の構成について (Computer Algebra : Design of Algorithms, Implementations and Applications)---------125

　　　　東京理科大学大学院理学研究科数学専攻 / 東京理科大学理学部数理情報科学科　　　井上秀太郎 / 佐藤洋祐　(INOUE, SHUTARO / SATO, YOSUKE)

21. グレブナー基底を用いた包括グレブナー基底計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)-------132

　　　　神戸大学情報管理室　　　鈴木晃　(SUZUKI, AKIRA)

22. 割り算アルゴリズムとBuchberger アルゴリズムのためのインタラクティブユーザインターフェース作成について (Computer Algebra : Design of Algorithms, Implementations and Applications)---138

　　　　神戸大学大学院自然科学研究科　　　中山洋将　(NAKAYAMA, HIROMASA)

23. 孤立特異点に付随する代数的局所コホモロジーとヤコビイデアルに対するグレブナー基底の計算法 (Computer Algebra : Design of Algorithms, Implementations and Applications)---141

　　　　新潟大学大学院自然科学研究科 / 新潟大学工学部情報工学科　　　阿部隆行 / 田島慎一　(ABE, TAKAYUKI / TAJIMA, SHINICHI)

24. Presentation Hensel's Lemma in Isabelle/HOL(Computer Algebra : Design of Algorithms, Implementations and Applications)---------148

　　　　日本大学理工学部数学科 / 能力開発総合大学校東京校情報技術科　　　小林英恒 / 鈴木秀男　(KOBAYASHI, HIDETSUNE / SUZUKI, HIDEO)

25. Solving Cubic Equations by ORIGAMI(Computer Algebra : Design of Algorithms, Implementations and Applications)------------------155

　　　　筑波大学大学院図書館情報メディア研究科　　　森継修一　(MORITSUGU, SHUICHI)

26. ユーザ定義述語を含む系の限量子消去法 (Computer Algebra : Design of Algorithms, Implementations and Applications)---------------160

　　　　産業技術総合研究所 / 産業技術総合研究所　　　元吉文男 / 秋葉澄孝　(MOTOYOSHI, F. / AKIBA, S.)

27. 円に関する人間らしい初等幾何証明を生成するための推論方法 (Computer Algebra : Design of Algorithms, Implementations and Applications)---164

　　　　法政大学工学部 / 法政大学工学部 / 日本電信電話株式会社,NTTコミュニケーション科学基礎研究所　　　山本航 / 宮本健司 / 関川浩[他]　(YAMAMOTO, WATARU / MIYAMOTO, KENJI / SEKIGAWA, HIROSHI)

28. 剰余体$K[x]/〈f〉$における逆冪計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)-----------------171

　　　　新潟大学工学部情報工学科　　　田島慎一　(TAJIMA, SHINICHI)

29. 多項式行列の行列式の補間による計算(II) (Computer Algebra : Design of Algorithms, Implementations and Applications)I------------176

　　　　JST, 立教大学　　　木村欣司　(KIMURA, KINJI)

30. Taylor級数の逆関数計算の高速化とその応用 (Computer Algebra : Design of Algorithms, Implementations and Applications)-----------183

　　　　神奈川工科大学工学研究科 / 神奈川工科大学工学部　　　舘野裕文 / 平山弘　(TATENO, HIROFUMI / HIRAYAMA, HIROSHI)

31. オイラーの定数の2重積分表示について (Computer Algebra : Design of Algorithms, Implementations and Applications)----------------190

　　　　城西大学 / 城西大学　　　西沢清子 / 宮崎里美　(NISHIZAWA, KIYOKO / MIYAZAKI, SATOMI)

32. リーマンゼータ函数の冪級数展開について (Computer Algebra : Design of Algorithms, Implementations and Applications)-------------197

　　　　首都大学東京数理情報科学専攻　　　村上弘　(MURAKAMI, HIROSHI)

33. 精度保証付き制御系解析・設計 (Computer Algebra : Design of Algorithms, Implementations and Applications)-----------------------204

　　　　CREST独立行政法人科学技術振興機構　　　管野政明　(KANNO, MASAAKI)

34. 数式処理(システム)におけるマルチスレッド化の試み (Computer Algebra : Design of Algorithms, Implementations and Applications)---211

　　　　電気通信大学 / /　　　村尾裕一 / 兵頭礼子 / 齋藤友克　(MURAO, HIROKAZU / HYODO, NORIKO / SAITO, TOMOKATSU)

35. AsirPadの関数グラフ描画機能について (Computer Algebra : Design of Algorithms, Implementations and Applications)----------------218

　　　　福岡教育大学　　　藤本光史　(FUJIMOTO, MITSUSHI)

36. 数式埋め込みコンテンツと標準化 : 現状理解と標準化プロセスについて (Computer Algebra : Design of Algorithms, Implementations and Applications)---223

　　　　神戸大学発達科学部　　　長坂耕作　(NAGASAKA, KOSAKU)

37. Risa / Asir における新しい形式の数式の取り扱いについて (Computer Algebra : Design of Algorithms, Implementations and Applications)---229

　　　　神戸大学理学部 / 神戸大学理学部　　　野呂正行 / 高山信毅