Risa/Asir Conference 2013 + 第5回六甲博多計算代数会議

プログラム (確定版)

3月16日 (土曜日）

13:00-13:30
坂井　武司, 高橋　正（甲南大)
SEMを用いた並列演算

13:30-14:00
早川広記, 村尾裕一 (電通大)
Rubik cubeの最少手数解の探索の GPUを用いた高速化
村尾裕一 (電通大)
分割統治法による整数 GCD の高速アルゴリズムの実装へ向けて

14:00-14:30
濱田龍義 (福岡大)
MathLibre の構築とカスタマイズについて

--休憩--

15:00-15:30
佐々木建昭(筑波大), 稲葉大樹(日本数学検定協会)
Hensel 級数の応用を目指して  -- 航空機の制御を例に --

15:30-16:00
関川 浩 (東海大), 白柳 潔 (東邦大)
解を持たない連立代数方程式に対する係数の摂動限界

16:00-16:30
長坂耕作 (神戸大)
ExQRGCDの近似代数ライブラリLIBSNAPへの実装について

3月17日 (日曜日; 午後から六甲博多計算代数会議を兼ねる)

9:00-9:30
讃岐勝(筑波大)
Barnettの定理を用いたGCD計算の工夫

9:30-10:00
藤村雅代 (防衛大)
複素平面上の幾何と数式処理

10:00-10:30
藤本光史 (福教大)
On a port of Risa/Asir for the Android platform

--休憩--

11:00-11:30
平山 弘（神奈川工科大)
Cauchyの主値積分およびHadamardの有限部分のTaylor級数による計算

11:30-12:00
小原功任 (金沢大), 田島慎一(筑波大)
行列の一般固有空間の構造の決定法

--休憩--

14:00-14:30
高山信毅 (神戸大)
Asirと統計システム R の連携

14:30-15:00
小山民雄 (神戸大)
ホロノミック勾配法による象限確率の計算

15:00-15:30
野呂正行 (神戸大)
matrix 1F1 が対角領域で満たす微分方程式系

--休憩--

16:00-16:30
横山和弘 (立教大)
Usage of Modular Techniques for Efficient Computation of Ideal Operation

16:30-17:00
Xavier Dahan (九大)
最大公約多項式に基づく辞書式順序のグレブナー基底の分解アルゴリズム

18:00-
懇親会

3月18日 (月曜日)

9:00-9:30
西山絢太 (大阪大)
グラフに付随するト―リックイデアルの二次生成判定法の実装

9:30-10:00
中山洋将 (神戸大)
Lauricella 超幾何微分方程式系のグレブナー基底

10:00-10:30
渋田敬史（九大)
解析的曲線の既約性判定アルゴリズムのRisa/Asir上での実装について

--休憩--

11:00-11:30
田島慎一(筑波大), 小原功任(金沢大), 照井章(筑波大)
行列 Horner 法の並列化の実装について

11:30-12:00
木村欣司, 秋山拓斗 (京都大)
上2重対角行列の最小特異値の下界設計と代数方程式の正根の下界設計について