日本数式処理学会第33回大会

開催のお知らせ

標記の通り，日本数式処理学会の大会を開催します。

発表される方は，発表内容に関する資料30部以上を発表当日に持参し所定の場所に置いて下さるようお願い致します。資料の郵送をご希望される場合は，大会プログラム委員会(jssac2024@jssac.org)までメールにてご相談ください。

日時
2024年6月14日（金）14:50 ～ 6月16日（日）12:00
場所
愛媛大学 城北キャンパス 南加記念ホール （愛媛県松山市文京町３）
大会実行委員長
甲斐 博（愛媛大学）
大会プログラム委員長
小原 功任（金沢大学）
主催
一般社団法人日本数式処理学会
プログラム(PDF版)
jssac2024-program.pdf

プログラム

6月14日(金)
14:50--15:00 開会挨拶
15:00--16:00 【応用】Poncelet 多角形 vs Blaschke 多角形
藤村雅代(防衛大学校)
【教育】Mathematicaを用いた正規部分群の判定
高橋正(羽衣国際大学)
6月15日(土)
10:30--11:30 【応用】形式的検証を用いたSAS-L2の安全性の検証
中村凌也(愛媛大学)*,清水健吾(愛媛大学),岡本悠(愛媛大学),王森レイ(愛媛大学),甲斐博(愛媛大学),高橋寛(愛媛大学),清水明宏(愛媛大学)
【応用】包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学計算および経路計画の最適化
岡夏未(筑波大学),白戸祐輔(筑波大学),照井章(筑波大学)*,三河正彦(筑波大学)
14:00--15:00 【理論】多変数多項式の近似decompositionとその応用
徳田陸成(東京理科大学)*,関川浩(東京理科大学)
【理論】包括的グレブナー基底系を利用したパラメータ付きBertini型不変量の計算
鍋島克輔(東京理科大学)*,田島慎一(新潟大学)
15:30--16:30 【理論*】半正則な非斉次多項式列に関連するグレブナー基底の求解次数について
工藤桃成(福岡工業大学)*,横山和弘(立教大学)
【報告*】包括的Gröbner基底系を用いた parametric イデアルの根基計算とその実装
田中一希(東京都立大学)*,横山俊一(東京都立大学)
6月16日(日)
10:30--11:30 【理論】混合加群に対する代数的局所コホモロジー
寺本央(関西大学)*,鍋島克輔(東京理科大学)
【応用】区間演算を用いた充填ジュリア集合の描画結果の分析
大墨礼子(関東学院大学)*,近藤祐史(香川高等専門学校),藤村雅代(防衛大学校)
11:30--11:40 閉会挨拶
【】内は講演の内容を示す分野表記，【*】は，奨励賞候補講演である。講演者名の * は登壇者を表す。

備考

会場へのアクセス

交通アクセス,   キャンパスマップ

その他，ご質問・ご要望は， jssac2024@jssac.org まで