※このページに掲載している原稿は 速報ファイル です。
No.1814
Computer Algebra - Design of Algorithms, Implementations and Applications
RIMS 研究集会報告集
 
2009/11/04〜2009/11/06
竹島 卓
Taku Takeshima
 
目 次
 
1. 行列の最小多項式計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)--------------------------1
    筑波大学数理物質科学研究科 / 新潟大学自然科学研究科 / 金沢大学理工研究域   田島 慎一 / 奈良 洸平 / 小原 功任 (Tajima,Shinichi / Nara,Kohei / Ohara,Katsuyoshi )
 
2. 行列のスペクトル分解アルゴリズム : 最小多項式が複数の重複因子から成る場合 (Computer Algebra : Design of Algorithms, Implementations and Applications)---9
    新潟大学自然科学研究科 / 筑波大学数理物質科学研究科   飯塚 由貴恵 / 田島 慎一 (Iizuka,Yukie / Tajima,Shinichi )
 
3. 微分作用素を用いたレゾルベントの留数解析と行列のスペクトル分解 (Computer Algebra : Design of Algorithms, Implementations and Applications)---17
    筑波大学数理物質科学研究科   田島 慎一 (Tajima,Shinichi )
 
4. 安定化理論に基づくISCZ法の有効性について (Computer Algebra : Design of Algorithms, Implementations and Applications)-------------29
    東海大学理学部 / NTTコミュニケーション科学基礎研究所   白柳 潔 / 関川 浩 (Shirayanagi,Kiyoshi / Sekigawa,Hiroshi )
 
5. 置換群の共役群計算の高速化 (Computer Algebra : Design of Algorithms, Implementations and Applications)---------------------------36
    山梨大学医学工学総合研究部   宮本 泉 (Miyamoto,Izumi )
 
6. パラメータ付き零次元代数的局所コホモロジーを用いたパラメトリック・スタンダード基底計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)---43
    大阪大学情報科学研究科 / 近畿大学理工学部 / 筑波大学数理物質科学研究科   鍋島 克輔 / 中村 弥生 / 田島 慎一 (Nabeshima,Katsusuke / Nakamura,Yayoi / Tajima,Shinichi )
 
7. ピタゴラス数のある一般化について : 計算機アルゴリズム (Computer Algebra : Design of Algorithms, Implementations and Applications)---54
    会津大 / 会津大   神谷 徳昭 / 平林 翔太 (Kamiya,Noriaki / Hirabayashi,Shota )
 
8. 最短加減算連鎖生成のアルゴリズムについて (Computer Algebra : Design of Algorithms, Implementations and Applications) ------------61
    立教大学理学研究科 / 立教大学理学研究科 / 情報通信研究機構   内田 貴博 / 小副川 健 / 篠原 直行 (Uchida,Takahiro / Osoekawa,Takeshi / Shinohara,Naoyuki )
 
9. ブール多項式環における一変数最小多項式の計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)---70
    東京理科大学理学部 / 東京理科大学理学部   井上 秀太郎 / 佐藤 洋祐 (Inoue,Shutaro / Sato,Yosuke )
 
10. 楕円曲線暗号の攻撃とその安全性 (Computer Algebra : Design of Algorithms, Implementations and Applications)----------------------74
    (株)富士通研究所   安田 雅哉 (Yasuda,Masaya )
 
11. ベズー構成を用いた多変数近似GCD計算 : 桁落ち誤差解析 (Computer Algebra : Design of Algorithms, Implementations and Applications)---85
    筑波大学CRICED   讃岐 勝 (Sanuki,Masaru)
 
12. 近似GCD算法GPGCDの複素係数多項式への拡張 (Computer Algebra : Design of Algorithms, Implementations and Applications)------------97
    筑波大学数理物質科学研究科   照井 章 (Terui,Akira )
 
13. 多変数代数関数の特異点での級数展開 : 非モニックな場合 (Computer Algebra : Design of Algorithms, Implementations and Applications)---108
    筑波大学数学系 / 日本数学検定協会   佐々木 建昭 / 稲葉 大樹 (Sasaki,Tateaki / Inaba,Daiju )
 
14. 浮動小数Grobner基底の実際的な計算法 (Computer Algebra : Design of Algorithms, Implementations and Applications)----------------116
    筑波大学数学系   佐々木 建昭 (Sasaki,Tateaki )
 
15. MathML 編集環境における近似代数の利用について (Computer Algebra : Design of Algorithms, Implementations and Applications)------123
    愛媛大学理工学研究科 / 愛媛大学理工学研究科 / 愛媛大学理工学研究科 / (株)ジャストシステム   片岡 正彰 / 嶋津 央礼 / 甲斐 博 / 宮本 敦史 (Kataoka,Masaaki / Shimazu,Hironori / Kai,Hiroshi / Miyamoto,Atsushi )
 
16. Combinatorial Games : A Research Project by High School Students Using Computer Algebra Systems III (Computer Algebra : Design of Algorithms, Implementations and Applications)---130
    関西学院高等部 / 関西学院大学理工学部 / 関西学院大学理工学部 / 関西学院大学理工学部 / 関西学院高等部 / 関西学院高等部 / 関西学院高等部   宮寺 良平 / 内藤 昌宗 / 渡辺 涼平 / 金 尚洛 / 西村 幸一朗 / 井上 泰志 / 中岡 拓磨 (Miyadera,Ryohei / Naito,Masakazu / Watanabe,Ryohei / Kim,Sangrak / Nishimura,Koichiro / Inoue,Taishi / Nakaoka,Takuma)
 
17. 数値数式手法による多目的最適化 (Computer Algebra : Design of Algorithms, Implementations and Applications)---------------------142
    (株)富士通研究所 / (株)富士通研究所・九州大学 / (株)富士通研究所   岩根 秀直 / 穴井 宏和 / 屋並 仁史 (Iwane,Hidenao / Anai,Hirokazu / Yanami,Hitoshi )
 
18. チェビシェフ展開を用いたスツルム法による高次代数方程式の実根の分離 (Computer Algebra : Design of Algorithms, Implementations and Applications)---148
    首都大学東京理工学研究科数理情報科学専攻   村上 弘 (Murakami,Hiroshi )
 
19. 近似Grobner基底に向けて : RREFとSTLSによる安定化の試み (Computer Algebra : Design of Algorithms, Implementations and Applications) ---160
    神戸大学人間発達環境学研究科   長坂 耕作 (Nagasaka,Kosaku )