Risa/Asir Conference 2009 (ほぼ確定版プログラム)

3/17 の招待講演者の E.Zima 先生の講義が3/16 10:30 からもあります.
詳しくは  こちら  をご覧下さい.

3 月 16 日 (月曜日)

13:30-14:00
  佐々木建昭(筑波大), 大倉安孝(筑波大), 加古富志雄(奈良女子大)
    Z上1変数多項式の因数分解 -因子微分法-

14:00-14:30 
  大倉安孝(筑波大)
    係数の小さいZ[x]上格子基底

14:30-15:00 
  讃岐 勝(筑波大)
    Bezout 行列を利用した多変数近似GCD計算法

--休憩-- 

15:30-16:00
  田島慎一(新潟大)
    行列のスペクトル分解アルゴリズムとクリロフベクトル列について

16:00-16:30
  小原功任(金沢大), 田島慎一(新潟大)
    行列のスペクトル分解アルゴリズムと Risa/Asir への実装

18:00-
  懇親会

3 月 17 日 (火曜日)

9:30-10:00
  藤村雅代(防衛大)
    Fixed points, multipliers and indices

10:00-10:30
  舘野裕文(神奈川工大), 平山弘(神奈川工大)
    微分可能な精度保証されたべき級数

--休憩--

11:00-11:30
  井上秀太郎(東京理科大)
    ブーリアングレブナ基底を使った数独の解法の改良

11:30-11:50
  水藤祐介(神戸大), 高山信毅(神戸大/JST)
    oxmgraph と asir への mtg.plot3d, mtp.parametric_plot3d の実装

--昼食-- 

13:30-14:30  招待講演
  E. Zima(Wilfrid Laurier Univ.)
    Accelerated computation of zeta(3)

--休憩-- 

15:00-15:30
  門田めぐみ(神戸大)
    modular 計算による多項式イデアルの分解アルゴリズム

15:30-16:00
  長坂耕作(神戸大)
    線形空間の基底としてグレブナ基底を計算する方法のまとめ

--休憩-- 

16:20-16:50
  大阿久俊則(東京女子大), R. Bahloul
    Computing Bernstein-Sato ideals with Risa/Asir

16:50-17:20
  西山絢太(神戸大/JST), 高山信毅(神戸大/JST)
    不完全 A-超幾何積分

3 月 18 日 (水曜日)

9:00-9:30
  木村欣司(京大)
    有限体上のLU分解の高速化とそれに付随するアルゴリズムの高速化

9:30-10:00
  木村欣司(京大)
    固有多項式の次数と最小多項式の次数が異なっている行列に対する
    直接法またはクリロフ部分空間法による固有多項式の計算とそれぞれの
    方法の問題点の紹介

10:00-10:30
  篠原直行(JST)
    Parametric Polynomial Spectral Factorization

--休憩-- 

11:00-11:30
  吉田寛(九大), 三輪佳宏(筑波大), 木村欣司(京大)
    バイオイメージングにおける数式処理の利用

11:30-12:00
  岩根秀直(富士通研),穴井宏和(富士通研),屋並仁史(富士通研)
    QE/CAD のための solution formula construction の実装

12:00-12:30
  野呂正行(神戸大/JST)
    nd パッケージへの加群計算機能の実装