Risa/Asir Conference 2011 + 第3回六甲博多計算代数会議
会場: 神戸大学瀧川記念学術交流会館 2 階
期間: 2011年3月21日(月曜日(祝日)) 13:30 〜23日(水曜日)
Risa/Asir Conference (神戸大学理学研究科数学専攻主催)においては数式処理システム Risa/Asir に関する話題だけでなく, 計算に関するさまざまな講演が行われます.
3日間のうち, 後半は, 第3回六甲博多計算代数会議 (神戸大学理学研究科数学専攻, 九州大学GCOE マスフォアインダストリ共催) を兼ねます.
神戸大学理学研究科数学専攻は, 九州大学GCOEマスフォアインダストリに連携機関として参加しています.
交通のご案内:
神戸大学の公式版地図 (16番)
神戸大学六甲台文理農キャンパスへの交通案内は
こちら
もみて下さい.
プログラム
3月21日 (月曜日)
13:30-14:00
小原功任 (金沢大・理工研究域)
OpenXM を用いた並列計算ライブラリの開発とその応用
14:00-14:30
藤本光史, 豊田晴一(福岡教育大学)
Basic requirements for mobile math e-Learning and its prototype implementation
--休憩--
15:00-15:30
鴨 浩靖 (奈良女子大学理学部情報科学科)
Malfattiの三角形の大きさに関する最大最小問題
15:30-16:00
関川 浩 (東海大学理学部), 白柳 潔 (東邦大学理学部)
係数に誤差のある実係数連立代数方程式の孤立実数解について
16:00-16:20
野呂 正行 (神戸大学)
配布予定の種々の仮想マシンについて
3月22日 (火曜日; 午後から六甲博多計算代数会議を兼ねる)
9:30-10:00
吉田怜史、藤村雅代、後藤泰宏 (防衛大)
Julia集合の描画アルゴリズムと双曲距離
10:00-10:30
藤村 雅代 (防衛大)
Computer experiment on solving Goldberg's problem
--休憩--
11:00-11:30
村上 弘(首都大学東京・数理情報科学専攻)
フィルタ作用素を用いた対称固有値問題の解法
11:30-12:00
平山 弘、飯塚 嵩文(神奈川工科大学)
微分代数方程式の厳密なTaylor級数解の計算
(12:00-14:00 日本数式処理学会理事会)
14:00-14:30
野呂正行 (神戸大)
Risa/Asir 2010-2011 (新しい準素分解アルゴリズムとその実装について)
14:30-15:00
高山信毅 (神戸大)
Holonomic Gradient Descent and its Application to the Fisher-Bingham Integral
--休憩--
15:30-16:00
木村欣司 (京都大)
密行列と疎行列のそれぞれの場合に特化した最小多項式の候補の並列計算について
16:00-16:30
濱田龍義 (福岡大)
KNOPPIX/Math 2011 について
18:00-
懇親会
3月23日 (水曜日)
9:30-10:00
中山洋将 (神戸大)
Asir から 4ti2, gfan を使うプログラム asir_4ti2.rr, asir_gfan.rr の紹介
10:00-10:30
小副川健 (立教大学), 望月祐志 (立教大学), 横山和弘 (立教大学)
QC2AS の開発と設計
--休憩--
11:00-11:30
岩根秀直 ((株)富士通研究所)
最適化問題における効率的な最適解を求める CAD の実装
11:30-12:00
村尾裕一 (電通大)
準数値処理のGPU並列処理の試行実験
12:00-12:30
大阿久俊則(東京女子大)
定積分の満たす微分差分方程式系の計算アルゴリズム
Risa/Asir は神戸大学理学研究科数学専攻を中心として開発されているオープンソースの数式処理システムです. 毎年3月に開催されるこの集会では
Risa/Asir に関連する入門的話題のみならず, 計算に関連する専門的議論も行われます.
Risa/Asir を使ってみようという人の参加も歓迎します. 開発メンバーも多数参加しています.
ついでながら
Risa/Asir Journal 1, 2, 3号が 2006年, 2007, 2009 年に発行されました.
投稿をお待ちしてます.
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 の記録.