Risa/Asir Conference 2008 (暫定版プログラム)
会場: 神戸大学理学研究科 Z 棟 Z201/Z202
期間: 2008年3月18日(火) 13:20 〜20日(木)
交通のご案内:
神戸大学の公式版地図 (2 番が理学部, 理学研究科です)
神戸大学六甲台文理農キャンパス(数学教室, Z 棟)
への交通案内は
こちら
もみて下さい.
Z 棟は B棟の北側, C棟の南側, Y棟の東側にある教室棟です. 新しい建物ですので
古い地図には記載されていません.
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
Risa/Asir はオープンソースの数式処理システムです. 毎年3月に開催されるこの集会では
Risa/Asir に関連する入門的話題のみならず, 計算に関連する専門的議論も行われます.
Risa/Asir を使ってみようという人の参加も歓迎します. 開発メンバーも多数参加しています.
ついでながら
Risa/Asir Journal 1, 2号が 2006年, 2007 年に発行されました.
Internet での公開の他, knoppix/math DVD
にも収録されています.
投稿をお待ちしてます.
Risa/Asir Conference 2007 の記録.
Risa/Asir Conference 2006 の記録.
Risa/Asir Conference 2005 の記録.
Risa/Asir Conference 2004 の記録.