Risa/Asir Conference 2022

プログラム

3月20日(日)

13:20 [開会]

13:30--14:10
藤本光史(福岡教育大)
React を用いた GeoGebra の Web への埋め込み

14:20--15:00
濱田龍義(日本大)
MathLibre/2022について

15:20--16:00
藤村雅代(防衛大)
Catacaustic curve と Alhazen の問題

16:10--16:50
伊藤綾音(*),照井章,三河正彦(筑波大)
CGS-QE アルゴリズムの応用について

17:00--17:40
高橋正(*),清水成貴,西本優輝,眞鍋知也(甲南大)
社会的決定理論への数式処理の応用

3月21日(月)

09:40--10:10
長谷川拓野,白柳潔(*)(東邦大)
FGLMアルゴリズムとBaseConvStabアルゴリズムの効率性の比較

10:20--11:00
葛西剛史(*),照井章,三河正彦(筑波大)
非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法

11:10--11:50
野呂正行(立教大)
Risa/Asir における種々の change of ordering algorithm の実装について

[昼休み]

13:30--14:10
関川浩(東京理科大)
有限体上の多項式のdecomposition

14:20--15:00
谷脇珠和(*),佐藤洋祐(東京理科大)
包括的グレブナー基底系の改良とSageMathへの実装

15:20--16:00
石原侑樹(東京理科大)
モジュラー技法を用いた中間準素分解

16:10--16:50
鍋島克輔(東京理科大)
代数的局所コホモロジーを用いた準素イデアル分解について

17:00--17:40
Ari Dwi Hartanto(*), 小原功任(金沢大)
On Tropical Groebner Bases for Rings of Differential Operators D_n(K)

3月22日(火)

09:30--10:10
大島利雄(城西大学)
Japanese Theoremをめぐって

10:20--11:00
松原宰栄,高山信毅(*)(神戸大)
微分作用素環のMacaulay MatrixとFeynman 積分の解析への応用

11:10--11:50
村上弘(東京都立大)
固有値問題の下端固有対を求めるためのフィルタの伝達関数を
すべての極が実数である低次の有理関数を用いて構成する方法

[閉会]

(*) … 登壇者