Risa/Asir Conference 2007

3 月 19 日 (月曜日)

13:20--14:05 
  野呂 正行 (神戸大) 
  f_res パッケージの紹介, その他.

14:05--14:50 
  鈴木 晃  (神戸大) 
  代数的構成的集合の標準形

15:10--15:55 
  藤本光史(福岡教育大)
  NintendoDS の教育利用について

15:55--16:40 
  庄司卓夢 (新潟大, D)
  一変数有理関数が関係する諸計算に対するRisa/Asir用プログラムのモジュール化について



3 月 20 日 (火曜日)

9:35--10:20 
  中山将洋 (神戸大, D)
  Bernstein-Sato ideal の計算アルゴリズムについて

10:40--11:25 
  長坂耕作 (神戸大) 
  ウェブでの近似代数演算


11:25--12:10 
  出口 博章  (神戸学院大学)
  数式入力のためのGUIについて


13:20--14:05 
  田村恭士 (ジャストシステム)
  Presentation MathML の概要とその xfy 上でのエディタでの編集方法

14:05--14:50 
  桐生裕介(スタジオフォンズ) 北本卓也(山口大) 竹島卓(富士通研究所)
  肩線から見たジャケットの幾つかの数学的性質


15:10--15:55 
  吉田寛(九大) 
  パーキンソン病指標のコンパートメントモデル-代数計算による効率的な導出


15:55--16:40 
  倉田  陽介  (神戸大, D)
  Dynamic evaluation を用いた Discrete Comprehensive Groebner Basis の計算 その2.


3 月 21 日 (水曜日)


9:35--10:20 
  鶴巻健一 (神戸大, M2)
  多重ゼータ値の予想次元について

10:40--11:25 
  木村欣司 (京都大)
  PRIMEPOWER HPC2500による判別式公式の作成

11:25--12:10
  Xavier Dahan (JSPS, 立教大),  X. Jin, M. Moreno-Maza,  E. Schost
  A complexity study for the D5 principle