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

プログラム

3月20日 (火曜日）

13:30-14:00
秋山拓斗,木村欣司,中村佳正(京大)
整数係数の代数方程式の全実根探索とその高速化

14:00-14:30
村上弘(首都大学東京)
数値係数一変数代数方程式の行列固有値計算法を利用する解法 

--休憩--

15:00-15:30
木村欣司 (京大)
Hungarian algorithm(Carpaneto and Toth version)とJonker-Volgenant algorithmの比較について

15:30-16:00
関川浩(東海大), 白柳潔(東邦大)
連立代数方程式の解の個数を保つ摂動限界 

16:00-16:30
稲葉大樹(日本数学検定協会), 佐々木建昭(筑波大学)
近似特異系と悪条件連立代数方程式

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

9:30-10:00
讃岐勝(筑波大学)
多項式を要素にもつ線形連立方程式の解法

10:00-10:30
藤村雅代(防衛大)
Chapple-Euler の定理の別証明とその拡張

--休憩-- (10:30-11:30 日本数式処理学会理事会)

11:30-12:00
萩原尚、宮下宏樹、村尾裕一(電通大)
数式処理へのGPUの応用と有効性

12:00-12:30
竹内琢磨(京大),橋本 竜太,相浦 大司(東大), 殷 信 (Stanford大学),加藤 拓哉,塚本 和磨, 松田 孟留(東京大学）
5×5×5ルービックキューブソルバ，およびGAPをサブプログラムとしたその解法

12:30-13:00
藤本光史(福岡教育大)
The current state of CAS on tablet devices

--休憩--

14:00-14:30
横山俊一(九大)
Hecke 体の判別式と分岐に関する或る予想

14:30-15:00
Xavier Dahan(九大)
零次元イデアルの辞書式グレブナー基底について

--休憩--

15:30-16:00
長坂耕作(神戸大)
近似グレブナ基底の後退誤差解析の試み

16:00-16:30
岩根秀直, 樋口博之, 穴井宏和 (株)富士通研究所
論理関数処理を用いた論理式の簡単化

18:00-
懇親会


3月22日 (木曜日)

9:30-10:00
大阿久俊則(東京女子大)
Operational residue calculus for the complex power of a polynomial

10:00-10:30
小山民雄(神戸大)
Fisher積分の満たすホロノミック系について

--休憩--

11:00-11:30
中山洋将(神戸大)
Asir でのマルコフ基底計算とマルコフ基底によるパズルの解の列挙

11:30-12:00
青山暢(神戸大)
2項式イデアルの分解アルゴリズムについて

12:00-12:30
野呂正行(神戸大)
Risa/Asir 2011-2012