Risa/Asir Conference 2014

会場: 神戸大学瀧川記念学術交流会館
期間: 2014年3月4日(火曜日) 13:30 〜6日(木曜日)
(例年より早くなっています. ご注意ください.)

Risa/Asir Conference (神戸大学理学研究科数学専攻主催)においては数式処理システム Risa/Asir に関する話題だけでなく, 計算に関するさまざまな講演が行われます.

交通のご案内:
神戸大学の公式版地図 (54番)
神戸大学六甲台文理農キャンパスへの交通案内は こちら もみて下さい.
プログラム

3月4日 (火曜日)

13:30-14:00
高山信毅 (神戸大)
ホロノミック勾配法の現状と展望

14:00-14:30
小山民雄 (神戸大)
多変量正規分布による凸多面体内の確率について

14:30-15:00
中山洋将(神戸大)
kampe de feriet の 2 変数超幾何微分方程式系のグレブナー基底

15:00-15:30 休憩

15:30-16:00
渋田敬史(九大), 田島慎一(筑波大)
パラメタを含む代数的コホモロジー類の満たす偏微分方程式系の計算
アルゴリズムとその実装

16:00-16:30
小原功任 (金沢大), 高山信毅 (神戸大), 野呂正行 (神戸大)
Risa/Asir のエディタ連携

3月5日 (水曜日)

9:30-10:00
小形幸輝(東海大), 関川(東京理科大)
制限付きの最小包囲正方形問題

10:00-10:30 長坂耕作(神戸大)
近似GCDの速度比較 qrgcdからfastgcdまで

10:30-11:00 休憩

11:00-11:30
木村欣司 (京大)
Intel Hyper-Threading Technologyと数式処理に関する2つの話題(II)

11:30-12:00
篠原直行 (情報通信研究機構)
公開鍵暗号の安全性評価と数式処理

12:00-14:00 昼食休憩

14:00-14:30
秋山拓斗, 木村欣司, 中村佳正 (京大)
新しい上界による多項式の実根計算の高速化

14:30-15:00
佐々木建昭 (筑波大), 加古富志雄 (奈良女子大), 稲葉大樹(日本数学検定協会) 
パラメータ係数線形疎方程式系の局所ブロック化による解法

15:00-15:30 休憩

15:30-16:00
濱田龍義 (福岡大)
Raspberry Piでできること

16:00-16:30
藤本光史 (福岡教育大)
Risa/Asir on various compact devices

18:00- 懇親会

3月6日 (木曜日)

9:30-10:00
藤村雅代 (防衛大)
Blashcke 積のなす包絡線と Fuss の定理の拡張 

10:00-10:30 
村上弘 (首都大学東京)
ラグランジュ型基底を用いたFEM行列要素の持つ代数的な構造

10:30-11:00 休憩

11:00-11:30
深作亮也、井上秀太郎、佐藤洋祐(東京理科大)
Complex QEの並列計算アルゴリズム

11:30-12:00
野呂正行(神戸大)
グレブナー基底候補計算, 検証および並列化


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

Risa/Asir Conference 2013 の記録. 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 の記録.