Risa/Asir Conference 2008 (暫定版プログラム)

3 月 18 日 (火曜日)

13:20-13:50
  高山信毅 (神戸大)
  cfep/asir および texmacs インタフェースの内部構造

13:50-14:50 招待講演
  田島慎一 (新潟大), 庄司卓夢 (新潟大)
  微分作用素を用いた留数計算とスペクトル分解

15:30-16:00
  中山洋将 (神戸大)
  微分作用素環 $D_{alg}$ でのグレブナ基底計算を用いた
  多項式巾 $f^s$ の零化イデアルの計算アルゴリズム
16:00-16:30
  西山絢太 (神戸大)
  局所 b 関数に付随する stratification について

18:00-
  懇親会

3 月 19 日 (水曜日)

9:30-10:00
  木村欣司 (新潟大)
  Risa/Asir による最小特異値の下界公式の設計について

10:00-10:30
  吉田寛  (九大)
  化学反応系における定数決定の際の数式処理の適用     

11:00-11:30
  讃岐勝 (筑波大)
  剰余列による近似GCD計算の更なる効率化

11:30-12:00
  佐々木建昭 (筑波大)
  Multivariate Hensel Construction in Roots

13:20-14:20 招待講演
  竹島 卓 (金沢工大)
  Risa/Asir の開発(仮題)         

14:50-15:20
  篠原 直行 (JST/立教大)
  パラメトリックな場合のスペクトラル分解の計算について  

15:20-15:50
  Xavier Dahan (JSPS/立教大)
  Lifting technique in computational invariant theory


3 月 20 日 (木曜日)

9:30-10:00
  鈴木 晃 (神戸大), 倉田陽介 (神戸大)
  full CGB の直接計算

10:00-10:30
  井上秀太郎 (東京理科大)
  CGS および boolean CGB の分散計算について

11:00-11:30
  藤村雅代 (防衛大)
  Computer experiments on dynamics of polynomials

11:30-12:00
  野呂 正行 (神戸大)
  Risa/Asir 2007-2008 + Knoppix/Math 2008