Risa/Asir Conference 2013 + 第5回六甲博多計算代数会議
会場: 神戸大学瀧川記念学術交流会館
期間: 2013年3月16日(土曜日) 13:00 〜18日(月曜日)
(RIMS 研究集会でアナウンスした期間が変更になりました. ご注意ください.)
Risa/Asir Conference (神戸大学理学研究科数学専攻主催)においては数式処理システム Risa/Asir に関する話題だけでなく, 計算に関するさまざまな講演が行われます.
3日間のうち, 後半は, 第5回六甲博多計算代数会議 (神戸大学理学研究科数学専攻, 九州大学GCOE マスフォアインダストリ共催) を兼ねます.
神戸大学理学研究科数学専攻は, 九州大学GCOEマスフォアインダストリに連携機関として参加しています.
交通のご案内:
神戸大学の公式版地図 (54番)
神戸大学六甲台文理農キャンパスへの交通案内は
こちら
もみて下さい.
会場では, eduroam による
無線LAN接続が可能です.
プログラム (確定版)
3月16日 (土曜日)
13:00-13:30
坂井 武司, 高橋 正(甲南大)
SEMを用いた並列演算
13:30-14:00
早川広記, 村尾裕一 (電通大)
Rubik cubeの最少手数解の探索の GPUを用いた高速化
村尾裕一 (電通大)
分割統治法による整数 GCD の高速アルゴリズムの実装へ向けて
14:00-14:30
濱田龍義 (福岡大)
MathLibre の構築とカスタマイズについて
--休憩--
15:00-15:30
佐々木建昭(筑波大), 稲葉大樹(日本数学検定協会)
Hensel 級数の応用を目指して -- 航空機の制御を例に --
15:30-16:00
関川 浩 (東海大), 白柳 潔 (東邦大)
解を持たない連立代数方程式に対する係数の摂動限界
16:00-16:30
長坂耕作 (神戸大)
ExQRGCDの近似代数ライブラリLIBSNAPへの実装について
3月17日 (日曜日; 午後から六甲博多計算代数会議を兼ねる)
9:00-9:30
讃岐勝(筑波大)
Barnettの定理を用いたGCD計算の工夫
9:30-10:00
藤村雅代 (防衛大)
複素平面上の幾何と数式処理
10:00-10:30
藤本光史 (福教大)
On a port of Risa/Asir for the Android platform
--休憩--
11:00-11:30
平山 弘(神奈川工科大)
Cauchyの主値積分およびHadamardの有限部分のTaylor級数による計算
11:30-12:00
小原功任 (金沢大), 田島慎一(筑波大)
行列の一般固有空間の構造の決定法
--休憩--
14:00-14:30
高山信毅 (神戸大)
Asirと統計システム R の連携
14:30-15:00
小山民雄 (神戸大)
ホロノミック勾配法による象限確率の計算
15:00-15:30
野呂正行 (神戸大)
matrix 1F1 が対角領域で満たす微分方程式系
--休憩--
16:00-16:30
横山和弘 (立教大)
Usage of Modular Techniques for Efficient Computation of Ideal Operation
16:30-17:00
Xavier Dahan (九大)
最大公約多項式に基づく辞書式順序のグレブナー基底の分解アルゴリズム
18:00-
懇親会
3月18日 (月曜日)
9:00-9:30
西山絢太 (大阪大)
グラフに付随するト―リックイデアルの二次生成判定法の実装
9:30-10:00
中山洋将 (神戸大)
Lauricella 超幾何微分方程式系のグレブナー基底
10:00-10:30
渋田敬史(九大)
解析的曲線の既約性判定アルゴリズムのRisa/Asir上での実装について
--休憩--
11:00-11:30
田島慎一(筑波大), 小原功任(金沢大), 照井章(筑波大)
行列 Horner 法の並列化の実装について
11:30-12:00
木村欣司, 秋山拓斗 (京都大)
上2重対角行列の最小特異値の下界設計と代数方程式の正根の下界設計について
Risa/Asir は神戸大学理学研究科数学専攻を中心として開発されているオープンソースの数式処理システムです. 毎年3月に開催されるこの集会では
Risa/Asir に関連する入門的話題のみならず, 計算に関連する専門的議論も行われます.
Risa/Asir を使ってみようという人の参加も歓迎します. 開発メンバーも多数参加しています.
ついでながら
Risa/Asir Journal 1, 2, 3号が 2006年, 2007, 2009 年に発行されました.
投稿をお待ちしてます.
Risa/Asir Conference 2012 の記録.
Risa/Asir Conference 2011 の記録.
Risa/Asir Conference 2010 の記録.
Risa/Asir Conference 2009 の記録.
Risa/Asir Conference 2008 の記録.
Risa/Asir Conference 2007 の記録.
Risa/Asir Conference 2006 の記録.
Risa/Asir Conference 2005 の記録.
Risa/Asir Conference 2004 の記録.