RIMS Kôkyûroku
No.1955
数式処理とその周辺分野の研究
Computer Algebra and Related Topics
RIMS 研究集会報告集
 　
2014/12/24〜2014/12/26
白柳　潔
Kiyoshi Shirayanagi
　
目　次
　
1. 安定化手法の最短ベクトルアルゴリズムへの適用について (数式処理とその周辺分野の研究)-----------------------------------------------1
　　　　東邦大学大学院理学研究科 / 東邦大学理学部　　　永嶋 裕樹 / 白柳 潔　(Nagashima,Hiroki / Shirayanagi,Kiyoshi)
　
2. 安定化手法の発展形ISCZ法のスツルムアルゴリズムへの適用とwebアプリへの応用 (数式処理とその周辺分野の研究)-------------------------13
　　　　東邦大学大学院理学研究科 / 東邦大学理学部　　　伊井 誠和 / 白柳 潔　(Ii,Tomokazu / Shirayanagi,Kiyoshi)
　
3. 浮動小数点係数のPade近似計算について (数式処理とその周辺分野の研究)--------------------------------------------------------------27
　　　　愛媛大学大学院理工学研究科 / 愛媛大学大学院理工学研究科　　　三宅 宏季 / 甲斐 博　(Miyake,Hiroki / Kai,Hiroshi)
　
4. 悪条件性に注目した近似GCDの見積もり (数式処理とその周辺分野の研究)---------------------------------------------------------------33
　　　　筑波大学医学医療系　　　讃岐 勝　(Sanuki,Masaru)
　
5. 近似GCDの安定性について (数式処理とその周辺分野の研究)---------------------------------------------------------------------------42
　　　　神戸大学人間発達環境学研究科　　　長坂 耕作　(Nagasaka,Kosaku)
　
6. 疎な多変数多項式のGCDと因数分解の効率的算法 (数式処理とその周辺分野の研究)-------------------------------------------------------48
　　　　日本数学検定協会 / 筑波大学医療医学系 / 筑波大学　　　稲葉 大樹 / 讃岐 勝 / 佐々木 建昭　(Inaba,Daiju / Sanuki,Masaru / Sasaki,Tateaki)
　
7. パラメータ係数の疎な線形方程式系の局所ブロック化による解法 (数式処理とその周辺分野の研究)----------------------------------------62
　　　　筑波大学 / 日本数学検定協会 / 奈良女子大学理学部　　　佐々木 建昭 / 稲葉 大樹 / 加古 富志雄　(Sasaki,Tateaki / Inaba,Daiju / Kako,Fujio)
　
8. 項目応答理論への数式処理の応用について (数式処理とその周辺分野の研究)------------------------------------------------------------76
　　　　山口大学　　　北本 卓也　(Kitamoto,Takuya)
　
9. 数式処理システムと組み合せゲーム論 (数式処理とその周辺分野の研究)----------------------------------------------------------------81
　　　　関西学院高等部 / 関西学院高等部　　　福井 昌則 / 宮寺 良平　(Fukui,Masanori / Miyadera,Ryohei)
　
10. 円内接多角形における面積公式・半径公式・統合公式について (数式処理とその周辺分野の研究)-----------------------------------------91
　　　　筑波大学図書館情報メディア系　　　森継 修一　(Moritsugu,Shuichi)
　
11. Risa/Asirによる曲線と関数グラフの描画 (数式処理とその周辺分野の研究)-----------------------------------------------------------102
　　　　城西大学理学部　　　大島 利雄　(Oshima,Toshio)
　
12. 二項式イデアルのグレブナー基底 (数式処理とその周辺分野の研究)------------------------------------------------------------------114
　　　　大阪大学大学院情報科学研究科情報基礎数学専攻　　　日比 孝之　(Hibi,Takayuki)
　
13. 数独問題のイデアル構造による階層付けとブーリアングレブナ基底による並列計算 (数式処理とその周辺分野の研究)----------------------124
　　　　東京理科大学理学部数理情報科学科 / 東京理科大学大学院理学研究科数理情報科学専攻 / 東京理科大学理学部数理情報科学科 / 東京理科大学理学部数理情報科学科　　　井上 秀太郎 / 野口 慎司 / 和氣 宏明 / 佐藤 洋祐　(Inoue,Shutaro / Noguchi,Shinji / Waki,Hiroaki / Sato,Yosuke)
　
14. 包括的グレブナ基底系を利用した限量子消去 (数式処理とその周辺分野の研究)--------------------------------------------------------134
　　　　東京理科大学理学研究科 / 国立情報学研究所 / 東京理科大学理学部　　　深作 亮也 / 岩根 秀直 / 佐藤 洋祐　(Fukasaku,Ryoya / Iwane,Hidenao / Sato,Yosuke)
　
15. 「ロボットは東大に入れるか2014-東ロボくん,代ゼミ模試に挑戦-」数学チームの結果について (数式処理とその周辺分野の研究)-----------142
　　　　国立情報学研究所 / 国立情報学研究所 / 東京理科大学理学研究科 / 東京理科大学理学部 / 東京理科大学理学部 / 富士通研究所 / 国立情報学研究所　　　岩根 秀直 / 松崎 拓也 / 深作 亮也 / 井上 秀太郎 / 佐藤 洋祐 / 穴井 宏和 / 新井 紀子　(Iwane,Hidenao / Matsuzaki,Takuya / Fukasaku,Ryoya / Inoue,Shutaro / Sato,Yosuke / Anai,Hirokazu / Arai,Noriko)
　
16. 楕円曲線の同種写像の公式計算 (数式処理とその周辺分野の研究)--------------------------------------------------------------------146
　　　　立教大学理学部 / 立教大学理学部　　　横山 和弘 / 野呂 正行　(Yokoyama,Kazuhiro / Noro,Masayuki)
　
17. Miller-Rabin強擬素数の約数計算について (数式処理とその周辺分野の研究)----------------------------------------------------------158
　　　　山梨大学医学工学総合　　　宮本泉　(Miyamoto,Izumi)
　
18. 孤立特異点変形と$f^s$のパラメータ付き偏微分作用素環でのannihilatorについて (数式処理とその周辺分野の研究)----------------------168
　　　　琉球大学教育学部 / 筑波大学大学院数理物質系数学域　　　加藤 満生 / 田島 慎一　(Kato,Mitsuo / Tajima,Shinichi)
　
19. 代数的局所コホモロジーを用いたパラメータ付き拡張ideal membershipアルゴリズムについて (数式処理とその周辺分野の研究)------------180
　　　　徳島大学大学院ソシオアーツアンドサイエンス研究部 / 筑波大学大学院数理物質系数学域　　　鍋島 克輔 / 田島 慎一　(Nabeshima,Katsusuke / Tajima,Shinichi)
　
20. 行列の最小消去多項式候補を利用した固有ベクトル計算IV (数式処理とその周辺分野の研究)--------------------------------------------188
　　　　筑波大学数理物質系 / 筑波大学数理物質系　　　田島 慎一 / 照井 章　(Tajima,Shinichi / Terui,Akira)
　
21. 最小消去多項式を用いた一般固有ベクトル空間の基底計算法 (数式処理とその周辺分野の研究)------------------------------------------198
　　　　金沢大学理工研究域 / 筑波大学数理物質系　　　小原 功任 / 田島 慎一　(Ohara,Katsuyoshi / Tajima,Shinichi)