No.1759
数式処理研究の新たな発展
Developments in Computer Algebra Research
RIMS 共同研究報告集
 　
2010/07/07〜2010/07/09
照井　章
Akira Terui
　
目　次
　
1. 種々の行列を利用した整数係数近似 GCD 計算法 (数式処理研究の新たな発展)------------------------------------------------------------1
　　　　筑波大学教育開発国際協力研究センター(CRICED)　　　讃岐 勝　(SANUKI,MASARU)
　
2. 有理関数近似を用いた秘密分散法 (数式処理研究の新たな発展)------------------------------------------------------------------------11
　　　　愛媛大学大学院理工学研究科　　　甲斐 博　(KAI,HIROSHI)
　
3. 近似 GCD 算法 GPGCD の複数入力多項式への拡張 (数式処理研究の新たな発展)----------------------------------------------------------15
　　　　筑波大学大学院数理物質科学研究科　　　照井 章　(TERUI,AKIRA)
　
4. On bit-size estimates of triangular systems (Developments in Computer Algebra Research)------------------------------------------26
　　　　九州大学数理学研究院　　　Dahan,Xavier
　
5. 積分の満たす非斉次微分方程式系を与えるアルゴリズム (数式処理研究の新たな発展)----------------------------------------------------43
　　　　神戸大学大学院理学研究科・JST CREST / 神戸大学大学院理学研究科・JST CREST　　　中山 洋将 / 西山 絢太　(NAKAYAMA,HIROMASA / NISHIYAMA,KENTA)
　
6. On the number of slack variables used in representation of semi-algebraic sets (Developments in Computer Algebra Research)-------63
　　　　日本IBM東京基礎研究所　　　吉田 一星　(Yoshida,Issei)
　
7. About a parallel implementation of the polynomial interpolation method (Developments in Computer Algebra Research)---------------68
　　　　京都大学大学院情報学研究科　　　木村 欣司　(KIMURA,KINJI)
　
8. USB 起動 KNOPPIX / Math / 2010 について (数式処理研究の新たな発展)---------------------------------------------------------------74
　　　　福岡大学理学部・JST CREST　　　濱田 龍義　(HAMADA,TATSUYOSHI)
　
9. 21世紀の数式処理に対する三つの新機軸 : ディペンダビリティ・ユーザビリティ・分散処理 (数式処理研究の新たな発展)-------------------81
　　　　産業技術総合研究所情報技術研究部門　　　池上 大介　(IKEGAMI,DAISUKE)
　
10. 国際研究集会を開くまで : CASC 2009 開催までの道のり (数式処理研究の新たな発展)--------------------------------------------------84
　　　　神戸大学人間発達環境学研究科　　　長坂 耕作　(NAGASAKA,KOSAKU)
　
11. Bottcher 関数の構成による Julia 集合の可視化 (数式処理研究の新たな発展)---------------------------------------------------------85
　　　　防衛大学校理工学研究科 / 防衛大学校数学教育室 / 防衛大学校数学教育室　　　吉田 怜史 / 藤村 雅代 / 後藤 泰宏　(YOSHIDA,SATOSHI / FUJIMURA,MASAYO / GOTOH,YASUHIRO)
　
12. 電子相関理論のための数式処理システムに向けて (数式処理研究の新たな発展)---------------------------------------------------------99
　　　　立教大学理学部 / 立教大学理学部 / 立教大学理学部　　　小副川 健 / 望月 祐志 / 横山 和弘　(OSOEKAWA,TAKESHI / MOCHIZUKI,YUJI / YOKOYAMA,KAZUHIRO)
　
13. An improvement of Voloch's rational point attack on improved algebraic surface cryptosystem (Developments in Computer Algebra Research)---105
　　　　大阪経済法科大学教養学部　　　岩見 真希　(IWAMI,MAKI)
　
14. 準同型暗号と整数及び整数多項式の近似 GCD (数式処理研究の新たな発展)------------------------------------------------------------115
　　　　神戸大学人間発達環境学研究科　　　長坂 耕作　(NAGASAKA,KOSAKU)
　
15. 境界多項式について (数式処理研究の新たな発展)----------------------------------------------------------------------------------124
　　　　山口大学教育学部　　　北本 卓也　(KITAMOTO,TAKUYA)