Risa/Asir Conference 2004

会場: 神戸大学 瀧川記念学術交流会館 2階
期間: 2003年3月22日(月)〜24日(水)
交通のご案内:
神戸大学の公式版地図 (15 番が瀧川記念学術交流会館です)
神戸大学六甲台文理農キャンパス(数学教室, 瀧川記念学術交流会館がある) への交通案内は こちら
瀧川会館の位置はこちらの 地図 (手書き) も参考にしてください.

暫定版
プログラム  


3月22日(月曜日)


13:00--13:20
中山 洋将(神戸大学) 
「Mora の割算アルゴリズムと多項式の局所 $b$ 関数の計算」

13:20--13:40
藤堂 秀平(神戸大学)
「代数曲線の parametrization, 特に genus 0 の場合について」

13:40--14:00
長谷川 功 (神戸大学)
「代数的数上で動く voronoi 図生成アルゴリズム」

14:20--15:00
 坂部 啓 (東京大学), 屋並 仁史 (富士通研), 穴井 宏和 (富士通研), 原 辰次 (東京大学)
「A MATLAB toolbox for parametric robust control 
    by symbolic-numeric computation」

15:00--15:40
 屋並 仁史 (富士通研), 穴井 宏和 (富士通研)
「 SyNRAC: A Maple package for solving real algebraic constraints
  - New functions and an environment for first-order logic -」

16:00--16:30 
土江龍男(愛媛大学),甲斐博(愛媛大学),  野田松太郎(愛媛大学)
「QR分解を使った近似GCDのRisa/Asirへの実装」

16:30--17:00 
野呂正行 (神戸大学)
「Risa/Asir の新機能 (2004 春版)」


懇親会 A (中華料理. 19:00 集合 21:00 まで. 
 一般会費 4000 円+飲み物代, 学生会費 2000 円+飲み物代の予定.
講演者はデフォールトで参加です. それ以外の参加予定者は 3/18 までにメールで
 へ連絡お願いします.)


3月23日(火曜日)


9:30--10:10
村上 弘 (東京都立短期大学)
「一変数代数方程式について」

10:10--10:50
照井 章 (筑波大学), 佐々木 建昭 (筑波大学)
「1変数代数方程式の1つの近接根クラスタに含まれる近接根の計算」

11:10--11:50
岩見 真希  (筑波大学)
「展開基底を用いた多変数多項式の解析的因数分解とその応用」

11:50--12:30
横山和弘(九州大学)
「idempotent を利用した多項式の因数分解法」


14:00--14:40
倉田 陽介(立命館大学),佐藤 洋祐(東京理科大学)
「discrete comprehensive Groebner basisのRisa/Asirによる実装」

14:40--15:20
鈴木晃 (神戸大学), 佐藤洋祐(東京理科大学)
「ACGBとCGBの同時計算の実装について」

15:20--16:00
中山 裕貴 (東京大学)
「トーリックイデアルに対するFaugereのF4,F5アルゴリズム、
およびGroebner walkの実装と解析」


懇親会  B.
(有馬市営温泉への夜間ハイキング. 
 ケーブルカーで登り, 有馬温泉への下りを紅葉谷家族向きコース徒歩 約2時間でおりる.
 懐中電灯, 防寒着, 運動靴など必要.  気象状況により中止, 途中下山の場合あり.
 夕食, タオル持参. 参加希望者は  まで連絡お願いします.
)


3月24日(水曜日)


10:00--10:40
  村尾裕一, 川目泰弘(電気通信大学),
  兵頭礼子, 齋藤友克(アルファオメガ)
「行列計算と基本線形演算の実装について」

10:40--11:20
本田光太郎(九州大学数理学府)
「block Lanczos法によるGF(2)上の線型合同式の求解と
ふるい法アルゴリズムへの応用」

11:30--12:10
篠原直行, 宮澤蔵人(九州大学数理学府)
「暗号と素数証明に関するCM法の応用」

13:30--14:10
木村欣司, 野呂正行(神戸大学)
「Automatic weight generator for Grobner basis computation」

14:10--14:50
藤本 光史(福岡教育大学) & Infty プロジェクト
「AsirPad -- A Handwriting Interface for Asir on Zaurus」

14:50--15:20
小原功任(金沢大学), 野呂正行(神戸大学), 高山信毅(神戸大学)
「texmacs から使う OpenXM サーバ」



Risa/Asir Journal が 2004 年より創刊されます. (全記事 referee 付き. 和文, 英文両方. 少部数の印刷版および電子版が出版されます). 投稿をお待ちしてます.

関連リンク
  1. 前回
  2. 計算代数セミナー(神戸大学/九州大学) Risa/Asir Conference は計算代数セミナー共催です.
  3. Risa/Asir Kobe Distribution (ダウンロード)
  4. Risa/Asir 公式ページ (ダウンロード)
  5. www.asir.org のページ (ダウンロード)

問い合わせ先:

$Id: index-2004.html,v 1.9 2004/03/20 00:27:12 taka Exp $