Risa/Asir Conference 2016

会場: 金沢大学自然科学5号館大講義室 (角間キャンパス)
期間: 2016年3月28日(月)午後〜30日(水)
主催: 金沢大学理工研究域数物科学系計算数理講座

交通のご案内: 金沢大学へのアクセス, 学内地図, バス時刻表(2015年3月14日現在), 小松空港, JRおでかけネット
角間キャンパスへはバス停留所「金沢大学自然研前」で降りて橋を渡ってください。バス時刻表はあらかじめ印刷されておくことをお勧めします。

なお、会場では無線 LAN (eduroam) が使用できます。

プログラム

3月28日(月)

[開会]

13:30--14:00
平山弘(神奈川工科大)
高精度計算ライブラリMPPACKの改良

14:00--14:30
木村欣司(京都大)
LAPACKの不具合の修正と改良とビッグデータ解析

14:30--15:00
沼畑大(東京理科大)
数値的誤差を含み次数の上限が未知の場合の疎な多変数多項式の補間

15:30--16:00
寺西光司(金沢大)
2変数超幾何関数のPfaffian方程式について

16:00--16:30
太田耕平(金沢大)
3次の多変数公開鍵暗号について

3月29日(火)

10:00--10:30
濱田龍義(福岡大/OCAMI)
MathLibre 2016 について

10:30--11:00
野呂正行(立教大), 小原功任(金沢大), 高山信毅(神戸大)
Risa/Asir 最新動向 2016

11:30--12:00
大島利雄(城西大)
Risa/Asir における積分計算

12:00--12:30
木村欣司(京都大)
Risa/Asirによる離散可積分系の研究

14:00--14:30
野呂正行(立教大)
matrix 1F1 が対角領域上で満たす微分方程式系を用いた分布関数の値の計算

14:30--15:00
高山信毅,後藤良彰,橘義仁(神戸大)
2元分割表に対する差分ホロノミック勾配法の実装

15:30--16:00
中山洋将(東海大), 高山信毅(神戸大)
Asir での D 加群 D^r/N の計算アルゴリズムの実装と計算例

16:00--16:30
鍋島克輔(徳島大), 小原功任(金沢大), 田島慎一(筑波大)
包括的グレブナー基底とパラメータ付きb-関数の計算

16:30--17:00
小原功任(金沢大), 田島慎一(筑波大)
Grothendieck local residues の計算アルゴリズム(shape 基底を持つ場合)

[懇親会]

3月30日(水)

10:00--10:30
村尾裕一, 桑原国仁(電気通信大), 大墨礼子(サレジオ高専), 近藤祐史(香川高専), 齋藤友克(アルファオメガ)
WebGLを用いたブラウザ上での陰関数描画

10:30--11:00
藤村雅代(防衛大)
On the Schneps problem for the rational functions

11:30--12:00
鷲野朋広, 高橋正(甲南大)
Theorema を用いた教材開発について

12:00--12:30
プライニング・ノルベルト(北陸先端大)
A (complete?) rewrite system for parametrized polynomials in CafeOBJ

[閉会]


Risa/Asir Conference 2015の記録。 Risa/Asir Conference 2014の記録。
お問い合わせ先: ohara@se.kanazawa-u.ac.jp

$Id: risacon16.html,v 1.4 2016/03/28 02:10:32 ohara Exp $