※このページに掲載している原稿は 速報ファイル です。
No.1815
Computer Algebra - Design of Algorithms, Implementations and Applications
RIMS 研究集会報告集
 
2010/12/01〜2010/12/03
竹島 卓
Taku Takeshima
 
目 次
 
1. 最小消去多項式候補とその応用 (Computer Algebra : Design of Algorithms, Implementations and Applications)--------------------------1
    筑波大学数理物質科学研究科 / 新潟大学自然科学研究科   田島 慎一 / 奈良 洸平  (Tajima,Shinichi / Nara,Kohei )
 
2. 行列の最小消去多項式候補を利用した固有ベクトル計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)---13
    筑波大学数理物質科学研究科 / 筑波大学数理物質科学研究科   照井 章 / 田島 慎一 (Terui,Akira / Tajima,Shinichi )
 
3. 最小消去多項式を用いた行列スペクトル分解計算の並列化 (Computer Algebra : Design of Algorithms, Implementations and Applications)---21
    金沢大学理工研究域 / 筑波大学数理物質科学研究科   小原 功任 / 田島 慎一 (Ohara,Katsuyoshi / Tajima,Shinichi)
 
4. CGS計算アルゴリズムのさらなる改良 (Computer Algebra : Design of Algorithms, Implementations and Applications)--------------------29
    徳島大学ソシオ・アーツ・アンド・サイエンス   鍋島 克輔 (Nabeshima,Katsusuke )
 
5. 非特異4次曲線の判別式について (Computer Algebra : Design of Algorithms, Implementations and Applications)-----------------------41
    甲南大学知能情報学部   高橋 正 (Takahashi,Tadashi )
 
6. グレブナー基底算法における項キャンセルの一般論 (Computer Algebra : Design of Algorithms, Implementations and Applications)-------46
    筑波大学   佐々木 建昭 (Sasaki,Tateaki )
 
7. 近似グレブナー基底の理論と算法 (Computer Algebra : Design of Algorithms, Implementations and Applications)-----------------------58
    筑波大学   佐々木 建昭 (Sasaki,Tateaki )
 
8. 近似Groebner基底の逐次算法に向けて (Computer Algebra : Design of Algorithms, Implementations and Applications)-------------------70
    神戸大学人間発達環境学研究科   長坂 耕作 (Nagasaka,Kosaku )
 
9. 多変数多項式環を用いたNTRU暗号の拡張 (Computer Algebra : Design of Algorithms, Implementations and Applications)-----------------79
    東京理科大学理学研究科 / 東京理科大学理学部 / 東京理科大学理学部 / 東京理科大学理学部   小柴 薫居 / 井上 秀太郎 / 和田 雅美 / 森田 昌宏 (Koshiba,Masaori / Inoue,Shutaro / Wada,Masami / Morita,Masahiro )
 
10. On the problem of Goldberg for the rational maps (Computer Algebra : Design of Algorithms, Implementations and Applications)----90
    防衛大学校    藤村 雅代 (Fujimura,Masayo )
 
11. 2重可移群に共役で含まれる可移部分群の一計算方法 (Computer Algebra : Design of Algorithms, Implementations and Applications)---100
    山梨大学医学工学総合研究部   宮本 泉 (Miyamoto,Izumi )
 
12. The Relation between Normal Play Chocolate Games and Misere Play Chocolate Games that Satisfy Inequality $y\le\lfloor\frac{x+2}{k}$ (Computer Algebra : Design of Algorithms, Implementations and Applications)---106
    関西学院高等部   宮寺 良平 (Miyadera,Ryohei )
 
13. 積分の満たす非斉次微分方程式系を与えるアルゴリズム (Computer Algebra : Design of Algorithms, Implementations and Applications)---112
    神戸大学理学研究科・JST / 神戸大学理学研究科・JST   中山 洋将 / 西山 絢太 (Nakayama,Hiromasa / Nishiyama,Kenta )
 
14. 円内接多角形問題と「算法発揮1690」における解について (Computer Algebra : Design of Algorithms, Implementations and Applications)---124
    筑波大学図書館情報メディア系   森継 修一 (Moritsugu,Shuichi )
 
15. 安定化理論に基づくISCZ 法の凸包構成への応用 (Computer Algebra : Design of Algorithms, Implementations and Applications)--------133
    東邦大学理学部 / 東海大学理学部   白柳 潔 / 関川 浩 (Shirayanagi,Kiyoshi / Sekigawa,Hiroshi )
 
16. 符号情報利用による数値数式 CAD の効率的な実装 (Computer Algebra : Design of Algorithms, Implementations and Applications)------143
    (株)富士通研究所 / (株)富士通研究所・九州大学 / (株)富士通研究所   岩根 秀直 / 穴井 宏和 / 屋並 仁史 (Iwane,Hidenao / Anai,Hirokazu / Yanami,Hitoshi)
 
17. Q$\mathrm{C}^2$AS : 電子相関理論のための数式処理システムの設計とその利用 (Computer Algebra : Design of Algorithms, Implementations and Applications)---152
    立教大学理学部 / 立教大学理学部 / 立教大学理学部   小副川 健 / 望月 祐志 / 横山 和弘 (Osoekawa,Takeshi / Mochizuki,Yuji / Yokoyama,Kazuhiro )
 
18. 有理区間数と GPU 並列処理による陰関数描画について (Computer Algebra : Design of Algorithms, Implementations and Applications)---163
    香川高等専門学校 / アルファオメガ / 電気通信大学情報理工学研究科 / アルファオメガ   近藤 祐史 / 兵頭 礼子 / 村尾 裕一 / 齋藤 友克 (Kondoh,Yuji / Hyodo,Noriko / Murao,Hirokazu / Saito,Tomokatsu)