Risa/Asir Conference 2010

会場: 神戸大学瀧川記念学術交流会館 2 階
期間: 2010年3月17日(水曜日) 13:30 〜19日(金曜日)
交通のご案内:
神戸大学の公式版地図 (16番)
神戸大学六甲台文理農キャンパスへの交通案内は こちら もみて下さい.



3 月 17 日 (水曜日)

13:30-14:00
佐々木建昭(筑波大学)
A Subresultant-like theory for Buchberger's procedure

14:00-14:30
長坂耕作 (神戸大学)
近似 Groebner 基底の SLRA による安定化

--休憩--

15:00-15:30
中山洋将 (神戸大学) 西山絢太 (神戸大学)
nk_restriction パッケージの新機能について
-- 制限, 積分イデアルの非斉次部分の計算 --

15:30-16:00
倉田陽介 (神戸大学)
新 CGS 実装による計算 -- Parametric Polynomial Spectral Factorization の追試 --

16:00-16:30
岩根秀直 (富士通研)
C 言語での QE/CAD の実装

3 月 18 日 (木曜日)

9:30-10:00
木村欣司 (京都大学 )
sdmp パッケージによる Maple の高速化-行列式の計算を例に

10:00-10:30
木村欣司 (京都大学 )
O(n^3) の行列式の計算結果の次数に対する上界計算アルゴリズムと
完璧な上界計算アルゴリズムの非有用性について

--休憩--

10:50-11:20
田島 (新潟大学)
行列の最小多項式計算について -- 消去多項式の利用による並列計算の効率化 --

11:20-11:50
藤村雅代 (防衛大学校)
有理関数の normal form について

(11:50- 数式処理学会理事会)

14:00-15:00 招待講演

斎藤友克 (数式処理学会会長; アルファオメガ)
ifplot 昔話

--休憩--

15:30-16:00
濱田龍義 (福岡大学)
KNOPPIX/Math/2010

16:00-16:30
篠原直行(情報通信機構) 伊豆哲也 (富士通研) 國広昇 (東京大学大学院)
格子理論による Takagi's RSA への攻撃

16:30-17:00
内田貴博 (立教大学大学院)
楕円曲線上のスカラー倍算における NAF 法の解析

18:00-
懇親会

3 月 19 日 (金曜日)

9:30-10:00
村上弘 (首都大学東京)
スツルム法による実根の分離と浮動小数計算

10:00-10:30
平山弘 (神奈川工科大学)
部分積分および置換積分を利用した数値積分法

--休憩--

10:50-11:20
讃岐勝 (筑波大学)
近似 GCD 計算のための EZ-GCD Algorithm の拡張

11:20-11:50
野呂正行 (神戸大学)
Risa/Asir 2009-2010



Risa/Asir はオープンソースの数式処理システムです. 毎年3月に開催されるこの集会では Risa/Asir に関連する入門的話題のみならず, 計算に関連する専門的議論も行われます. Risa/Asir を使ってみようという人の参加も歓迎します. 開発メンバーも多数参加しています.
ついでながら Risa/Asir Journal 1, 2号が 2006年, 2007 年に発行されました. Internet での公開の他, knoppix/math DVD にも収録されています. 投稿をお待ちしてます.

Risa/Asir Conference 2009 の記録. Risa/Asir Conference 2008 の記録. Risa/Asir Conference 2007 の記録. Risa/Asir Conference 2006 の記録. Risa/Asir Conference 2005 の記録. Risa/Asir Conference 2004 の記録.