Computer Algebra -- Foundations and Applications

RIMS 共同研究（公開型）
2025/11/17～2025/11/20

鍋島　克輔, 中山　洋将 ( Katsusuke Nabeshima, Hiromasa Nakayama )

1. 加群のグレブナー基底と超幾何関数の隣接関係式中山洋将 ( Hiromasa Nakayama )日本大学
2. Another proof of the seven-point theorem on the Poincar\'{e} hyperbolic disk 藤村雅代 ( Masayo Fujimura )防衛大学校
3. 包括的グレブナー基底系計算アルゴリズムを利用した包括的グレブナー基底の構成と比較横尾卓磨 ( Takuma Yokoo )東京理科大学鍋島克輔 ( Katsusuke Nabeshima )東京理科大学
4. 因数分解に基づく低次一変数代数方程式の代数的解法村上弘 ( Hiroshi Murakami )東京都立大学
5. 無限生成イデアルの有限生成系について渋田敬史 ( Takafumi Shibuta )九州産業大学
6. 最適化問題における generic な制約写像の4パラメータ族に対する古典的制約想定の完全判定寺本央 ( Hiroshi Teramoto )関西大学早野健太 ( Kenta Hayano )慶應義塾大学濱田直希 ( Naoki Hamada )KLab株式会社
7. 素朴なCGS-QE アルゴリズムについて佐藤洋祐 ( Yosuke Sato )東京理科大学
8. 超幾何系の隣接関係式を求めるアルゴリズム中山洋将 ( Hiromasa Nakayama )日本大学高山信毅 ( Nobuki Takayama )神戸大学
9. ブーリアン・グレブナー基底による集合制約解消の効率性について西村進 ( Susumu Nishimura )京都大学
10. 解析的偏微分作用素環上のPoincar\'{e}-Birkhoff-Witt 代数と局所b-関数に対する柏原作用素田島慎一 ( Shinichi Tajima )新潟大学鍋島克輔 ( Katsusuke Nabeshima )東京理科大学
11. パラメータ付き Grothendieck point residue の実装鍋島克輔 ( Katsusuke Nabeshima )東京理科大学田島慎一 ( Shinichi Tajima )新潟大学
12. 生成AIを活用した数学学習支援システムの再構築と評価北本卓也 ( Takuya Kitamoto )山口大学木原宏佳 ( Hiroyoshi Kihara )新居高等学校
13. 概均質多様体上の相対不変多項式太田了徳 ( Ryotoku Ota )九州大学
14. 正標数体上のパラメータ付きイデアルの根基計算について田中一希 ( Kazuki Tanaka )東京都立大学
15. 多項式を要素に持つ行列の分解に基づく多変数近似GCDの最適化讃岐勝 ( Masaru Sanuki )筑波大学
16. 冗長な線形制約を伴う近似 Gr\"{o}bner 基底計算法長坂耕作 ( Kosaku Nagasaka )神戸大学
17. 零次元イデアルの根基の素イデアル分解と記号的固有値法照井章 ( Akira Terui )筑波大学石原侑樹 ( Yuki Ishihara )日本大学小原功任 ( Katsuyoshi Ohara )金沢大学田島慎一 ( Shinichi Tajima )新潟大学
18. 非線形連立方程式の求解による 3次元発話方向推定問題の解法清水啓 ( Kei Shimizu )筑波大学照井章 ( Akira Terui )筑波大学三河正彦 ( Masahiko Mikawa )筑波大学
19. 平面6次曲線の定義式導出における余計因子について高橋正 ( Tadashi Takahashi )羽衣国際大学