Risa/Asir Conference 2023

プログラム

3月27日(月)

13:20 [開会]

13:30--14:10
金泉拓真,照井章*,三河正彦(筑波大)
非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法の拡張

14:20--15:00
木村欣司(福井大)
数式処理を利用した(楕円差分)行列版オイラーのコマの方程式の研究について

15:20--16:00
平山弘(神奈川工科大)
数値的Taylor級数の性質とその応用

16:10--16:50
高橋正(甲南大)
ゲーム理論における数式処理の応用II

3月28日(火)

09:30--10:10
田島慎一(新潟大)
ネター作用素と非孤立特異点を持つ超曲面のb-関数

10:20--11:00
鍋島克輔(東京理科大)*,田島慎一(新潟大)
Yano-Kato method for computing s-parametric annihilators using modern computer algebra techniques

11:10--11:50
中山洋将(東海大)*, 高山信毅(神戸大)
超幾何微分方程式系の昇降作用素と制限加群の計算について

[昼休み]

14:00--14:40
大島利雄(城西大)
Risa/Asirを用いての多変数超幾何微分方程式の研究

14:50--15:30
高山信毅(神戸大)*,松原宰栄(熊本大)
Feynman 積分の解析のための mt_mm パッケージ

15:50--16:30
高山信毅(神戸大),野呂正行(立教大),小原功任(金沢大),藤本光史(福岡教育大)*
数学ソフトウェアの作り方(WebAssemblyによるCプログラムのWebアプリ化)

16:40--17:20
野呂正行(立教大)
Risa/Asir 2022-2023

3月29日(水)

09:30--10:10
藤村雅代(防衛大)
Five-point theorem on the Poincaré unit disk

10:20--11:00
石原侑樹(東京理科大)
対称イデアルの準素分解

11:10--11:50
関川浩(東京理科大)
多項式の合成による表現

[閉会]

(*) … 登壇者