No.1568

Computer Algebra - Design of Algorithms, Implementations and Applications

RIMS 研究集会報告集

2006/12/18～2006/12/21

横山　和弘

Kazuhiro Yokoyama

目　次

1. 項置換による限定子除去アルゴリズムにおける論理式簡略化について (Computer Algebra : Design of Algorithms, Implementations and Applications)---1

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

2. コンパートメントモデルにおける薬物動態の代数方程式を用いた解析 (Computer Algebra : Design of Algorithms, Implementations and Applications)---7

　　　　九州大学大学院数理学研究院・高等研究機構 / (株)富士通研究所, CREST,JST / 産業技術総合研究所　　　吉田寛 / 穴井宏和 / 堀本勝久　(YOSHIDA, HIROSHI / ANAI, HIROKAZU / HORIMOTO, KATSUHISA)

3. 数式処理を用いたLSI 設計に関する研究 (Computer Algebra : Design of Algorithms, Implementations and Applications)-----------------14

　　　　奈良女子大学 / 奈良女子大学　　　中林太美世 / 加古富志雄　(NAKABAYASHI, Tamiyo / KAKO, Fujio)

4. 安定化理論における台収束の応用について (Computer Algebra : Design of Algorithms, Implementations and Applications)---------------20

　　　　東海大学理学部 / 日本電信電話株式会社 NTTコミュニケーション科学基礎研究所　　　白柳潔 / 関川浩　(SHIRAYANAGI, KIYOSHI / SEKIGAWA, HIROSHI)

5. Quadratic Frobenius test and cyclotomic polynomials (Computer Algebra : Design of Algorithms, Implementations and Applications)---27

　　　　CREST JST, 立教大学　　　篠原直行　(SHINOHARA, NAOYUKI)

6. Coherent Configuration の同型計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)--------------------34

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

7. 斉次化とinter-reduction によるグレブナー基底計算の効率化について (Computer Algebra : Design of Algorithms, Implementations and Applications)---40

　　　　神戸大学理学部　　　野呂正行　(NORO, MASAYUKI)

8. Dynamic Evaluation を用いたDiscrete Comprehensive Grobner Bases の計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)---48

　　　　神戸大学自然科学研究科 / 神戸大学理学部　　　倉田陽介 / 野呂正行　(KURATA, YOSUKE / NORO, MASAYUKI)

9. Comprehensive グレブナー基底の分散計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)-------55

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

10. カテナリーを用いた衣服における記号記述の基盤整備 (Computer Algebra : Design of Algorithms, Implementations and Applications)----60

　　　　スタジオフォンズ / 山口大学教育学部 / 神戸大学発達科学部　　　桐生裕介 / 北本卓也 / 長坂耕作[他]

11. コーシー問題の解法とアルゴリズム (Computer Algebra : Design of Algorithms, Implementations and Applications)--------------------67

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

12. 零次元代数的局所コホモロジーの計算法とスタンダード基底計算について(II) (Computer Algebra : Design of Algorithms, Implementations and Applications)---74

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

13. Syzygies を用いたNoether 作用素計算アルゴリズム (Computer Algebra : Design of Algorithms, Implementations and Applications)-----81

　　　　新潟大学工学部 / 近畿大学理工学部　　　田島慎一 / 中村弥生　(TAJIMA, SHINICHI / NAKAMURA, YAYOI)

14. 古今算法記遺題の数値解について (Computer Algebra : Design of Algorithms, Implementations and Applications)----------------------87

　　　　筑波大学図書館情報メディア研究科 / 筑波大学図書館情報メディア研究科　　　荒井千里 / 森継修一　(ARAI, CHISATO / MORITSUGU, SHUICHI)

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

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

16. MathML に関するライブラリとその応用について (Computer Algebra : Design of Algorithms, Implementations and Applications)--------101

　　　　北海道大学大学院理学院数学専攻　　　黒田拓　(KURODA, HIRAKU)

17. 異常な多変数多項式の近似 GCD 計算法 (Computer Algebra : Design of Algorithms, Implementations and Applications)----------------108

　　　　筑波大学数理物質科学研究科 / 筑波大学数学系　　　讃岐勝 / 佐々木建昭　(SANUKI, MASARU / SASAKI, TATEAKI)

18. $k(u_1, ..., u_\ell)[x]$ における拡張 Hensel 構成 (Computer Algebra : Design of Algorithms, Implementations and Applications)---115

　　　　筑波大学数理物質科学研究科　　　小副川健　(Osoegawa, Takeshi)

19. 拡張 Hensel 因子の収束・発散性と共役性 (Computer Algebra : Design of Algorithms, Implementations and Applications)-------------120

　　　　茨城県立水海道第一高等学校 / 筑波大学数学系　　　稲葉大樹 / 佐々木建昭　(Inaba, Daiju / Sasaki, Tateaki)

20. Green 関数・DE-Sinc-Nystrom 法を用いた Sturm-Liouville 型固有値問題の数値解法 (Computer Algebra : Design of Algorithms, Implementations and Applications)---127

　　　　筑波大学数理物質科学研究科　　　久保隆貴　(KUBO, TAKAKI)

21. $\mathbb{K}$[x]上 Smith標準形の変換行列の最小化 (Computer Algebra : Design of Algorithms, Implementations and Applications)----135

　　　　筑波大学数理物質科学研究科　　　大倉安孝　(OOKURA, YASUTAKA)

22. 浮動小数 Grobner 基底の計算法 (Computer Algebra : Design of Algorithms, Implementations and Applications)----------------------142

　　　　筑波大学数学系 / 奈良女子大学理学部　　　佐々木建昭 / 加古富志雄　(Sasaki, Tateaki / Kako, Fujio)

23. 多変数の解析的因数分解の実装について (Computer Algebra : Design of Algorithms, Implementations and Applications)---------------149

　　　　大阪経済法科大学教養部　　　岩見真希　(IWAMI, MAKI)

24. 整数係数の近似因数分解はなぜ難しいか (Computer Algebra : Design of Algorithms, Implementations and Applications)---------------156

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

25. Niederreiter アルゴリズムとその実装 (Computer Algebra : Design of Algorithms, Implementations and Applications)----------------162

　　　　神戸大学総合人間科学科 / 神戸大学発達科学部　　　山中亜希子 / 長坂耕作　(YAMANAKA, AKIKO / NAGASAKA, KOSAKU)

26. 代数的Riccati 方程式の定義多項式の計算法について (Computer Algebra : Design of Algorithms, Implementations and Applications)---169

　　　　山口大学 / サイバネットシステム　　　北本卓也 / 山口哲　(KITAMOTO, TAKUYA / YAMAGUCHI, TETSU)

27. InftyEditor with InftyReader : pdf2latex を目指して (Computer Algebra : Design of Algorithms, Implementations and Applications)---176

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

28. 数式入力のための動的な入力インタフェースの紹介 (Computer Algebra : Design of Algorithms, Implementations and Applications)-----182

　　　　神戸学院大学　　　出口博章　(DEGUCHI, HIROAKI)

29. Risa/Asir のifplot の改良と並列化の試み (Computer Algebra : Design of Algorithms, Implementations and Applications)------------185

　　　　詫間電波高等専門学校 / 電気通信大学 / アルファオメガ　　　近藤祐史 / 村尾裕一 / 齋藤友克　(KONDOH, YUJI / MURAO, HIROKAZU / SAITO, TOMOKATSU)