Computer Algebra -- Foundations and Applications

RIMS 共同研究（公開型）
2024/12/18～2024/12/20

濱田　龍義, 鍋島　克輔　 ( Tatsuyoshi Hamada, Katsusuke Nabeshima )

1. MaximaとKeTCindyによる和算問題の解法と教材化髙遠節夫 ( Setsuo Takato )KeTCindy センター北本卓也 ( Takuya Kitamoto )山口大学
2. 数式処理システムと生成AIの連携活用とその実践報告亀田真澄 ( Masumi Kameda )元山陽小野田市立山口東京理科大学宇田川暢 ( Mitsuru Udagawa )名古屋大学
3. HTML5を活用したWeb上の教材開発について北本卓也 ( Takuya Kitamoto )山口大学木原宏佳 ( Hiroyoshi Kihara )静岡県立新居高等学校
4. 2011東北日本M9地震に対する1数学者の理解と見解佐々木建昭 ( Tateaki Sasaki )筑波大学
5. 多項式を要素に持つ行列の分解に基づく多変数近似GCDの最適化讃岐勝 ( Masaru Sanuki )筑波大学
6. 零次元根基イデアルの素イデアル分解と記号的固有値法照井章 ( Akira Terui )筑波大学石原侑樹 ( Yuki Ishihara )日本大学小原功任 ( Katsuyoshi Ohara )金沢大学田島慎一 ( Shinichi Tajima )新潟大学
7. 対数的ベクトル場とCamacho-Sad-Suwa指数の計算アルゴリズム田島慎一 ( Shinichi Tajima )新潟大学渋田敬史 ( Takafumi Shibuta )九州産業大学鍋島克輔 ( Katsusuke Nabeshima )東京理科大学
8. SymPyの多項式GCD計算の改善松林龍世 ( Ryusei Matsubayashi )神戸大学長坂耕作 ( Kosaku Nagasaka )神戸大学
9. ブーリアン・グレブナー基底を用いたグラフ3彩色について三觜奈々 ( Nana Mitsuhashi )東京理科大学鍋島克輔 ( Katsusuke Nabeshima )東京理科大学
10. Boolean Gr\"{o}bner基底を用いた並行分散プログラムの整合性検査西村進 ( Susumu Nishimura )京都大学
11. 包括的Gr\"{o}bner基底系を用いた6自由度ロボットマニピュレータの逆運動学問題の解法岡﨑拓夢 ( Takumu Okazaki )筑波大学照井章 ( Akira Terui )筑波大学三河正彦 ( Masahiko Mikawa )筑波大学
12. B\'{e}zier曲線を用いたマニピュレータの軌道計画畠山諒 ( Ryo Hatakeyama )筑波大学照井章 ( Akira Terui )筑波大学三河正彦 ( Masahiko Mikawa )筑波大学
13. 連立方程式の求解と遺伝的アルゴリズムを組み合わせた小惑星探査ローバの位置決定問題の解法倉持研汰 ( Kenta Kuramochi )筑波大学照井章 ( Akira Terui )筑波大学三河正彦 ( Masahiko Mikawa )筑波大学
14. A quantitative general Nullstellensatz for Jacobson rings 黒木亮汰 ( Ryota Kuroki )東京大学
15. 4次複素一般線型群の既約表現のテンソル積空間におけるザリスキ閉包太田了徳 ( Ryotoku Ota )九州大学
16. An extension of Chapple's formula by Blaschke-like maps: the case of parabolas 藤村雅代 ( Masayo Fujimura )防衛大学校
17. Algorithm Classifying Roots of Star-shaped Kac-Moody Root Systems 大島利雄 ( Toshio Oshima )城西大学
18. SLRAアルゴリズムによる多変数多項式の近似decomposition 徳田陸成 ( Rikuna Tokuda )東京理科大学関川浩 ( Hiroshi Sekigawa )東京理科大学
19. 階数制御を行うMatrix-F5型のグレブナー基底計算法長坂耕作 ( Kosaku Nagasaka )神戸大学
20. パラメトリックな零次元イデアルのシェイプフォームについて佐藤洋祐 ( Yosuke Sato )東京理科大学
21. 計算機代数の技法と矢野-加藤の計算法を用いたミルナー数が一定の特異点変形に付随するパラメータ付き${\mathcal A}nn_{{\mathcal D}[s]}(f^s)$計算の実装について鍋島克輔 ( Katsusuke Nabeshima )東京理科大学田島慎一 ( Shinichi Tajima )新潟大学