* このページに掲載している原稿は 速報ファイル です。
* These papers are "flash report".
RIMS Kôkyûroku
No.2280
Computer Algebra − Foundations and Applications
RIMS 共同研究（公開型）
 　
2023/12/18〜2023/12/20
濱田　龍義 鍋島　克輔
Tatsuyoshi Hamada Katsusuke Nabeshima
　
目　次
　
1. アフィン半正則な多項式列に付随するHilbert級数と関連するGr\"{o}bner基底------------------------------------------------------------1
　　　　福岡工業大学・情報工学部情報通信工学科 / 立教大学・理学部数学科　　　工藤 桃成 / 横山 和弘　(Kudo,Momonari / Yokoyama Kazuhiro)
　
2. テータ関数を用いた超特別(2,2)-同種写像グラフ計算---------------------------------------------------------------------------------12
　　　　東京大学大学院情報理工学系研究科 / 東京大学大学院情報理工学系研究科 / 福岡工業大学 / 九州大学マス・フォア・イノベーション連係学府 / 九州大学マス・フォア・インダストリ研究所・産業技術総合研究所　　　大橋 亮 / 小貫 啓史 / 工藤 桃成 / 吉住 崚 / 縫田 光司　(Ohashi,Ryo / 0nuki,Hiroshi / Kudo,Momonari / Yoshizumi,Ryo / Nuida,Koji)
　
3. 楕円曲線族に関するモジュラー多項式の構成と計算アルゴリズム-----------------------------------------------------------------------23
　　　　東京大学　　　小貫 啓史　(0nuki,Hiroshi)
　
4. Semi-regularな斉次多項式列のGr\"{o}bner基底の各次数における先頭項とその数--------------------------------------------------------30
　　　　東京大学大学院情報理工学系研究科 / 東京大学大学院情報理工学系研究科　　　坂田 康亮 / 高木 剛　(Sakata,Kosuke / Takagi,Tsuyoshi)
　
5. 対称イデアルの準素分解アルゴリズム-----------------------------------------------------------------------------------------------36
　　　　東京理科大学　　　石原 侑樹　(Ishihara,Yuki)
　
6. 4次複素一般線型群の既約表現のテンソル積空間におけるグレブナー基底の特徴----------------------------------------------------------46
　　　　九州大学大学院数理学府　　　太田 了徳　(Ota,Ryotoku)
　
7. 複雑形状とデータ解析の一提案（数学教育への応用）---------------------------------------------------------------------------------55
　　　　東京国際工科専門職大学工科学部情報工学科　　　児玉 賢史　(Kodama,Satoshi)
　
8. プレート沈込み型地震に対する半特異面数学モデルの構築-----------------------------------------------------------------------------60
　　　　筑波大学 / 筑波大学医学医療系 / 日本数学検定協会　　　佐々木 建昭 / 讃岐 勝 / 稲葉 大樹　(Sasaki,Tateaki / Sanuki,Masaru / Inaba,Daiju)
　
9. 既存教材を活用したE-Learningシステム構築のフレームワーク-------------------------------------------------------------------------70
　　　　山口大学教育学部　　　北本 卓也　(Kitamoto,Takuya)
　
10. 円内接多角形問題について - 複素平面上の対称式の利用-----------------------------------------------------------------------------78
　　　　筑波大学図書館情報メディア系　　　森継 修一　(Moritsugu,Shuichi)
　
11. 多変数多項式の近似GCD-----------------------------------------------------------------------------------------------------------87
　　　　神戸大学大学院人間発達環境学研究科　　　長坂 耕作　(Nagasaka,Kosaku)
　
12. ヴィーフェリッヒ素数の多項式の類似----------------------------------------------------------------------------------------------96
　　　　東京理科大学大学院理学研究科 / 東京理科大学理学部第一部 / 東京理科大学理学部第一部　　　長田 龍青 / 武田 渉/ 関川 浩　(Osada,Ryusei / Takeda,Wataru / Sekigawa,Hiroshi)
　
13. 因数分解を利用した多変数多項式のdecomposition----------------------------------------------------------------------------------104
　　　　東京理科大学大学院 / 東京理科大学 / 東京理科大学　　　徳田 陸成 / 武田 渉 / 関川 浩　(Tokuda,Rikuna / Takeda,Wataru / Sekigawa,Hiroshi)
　
14. 並列処理を活用した複数の包括的グレブナ基底系アルゴリズムの融合について---------------------------------------------------------113
　　　　東京理科大学大学院理学研究科 / 東京理科大理学部第一部応用数学科　　　和田 夏 / 鍋島 克輔　(Wada,Natsu / Nabeshima,Katsusuke)
　
15. パラメータ付きイデアルの根基計算の実装-----------------------------------------------------------------------------------------124
　　　　東京理科大学大学院理学研究科 / 東京理科大学理学部第一部応用数学科　　　倉持 玲介 / 鍋島 克輔　(Kuramochi,Ryosuke / Nabeshima,Katsusuke)
　
16. パラメータ付きイデアルに関する最小多項式の実装と応用---------------------------------------------------------------------------135
　　　　東京理科大学大学院理学研究科 / 東京理科大理学部第一部応用数学科　　　蒋 云 / 鍋島 克輔　(Jiang,Yun / Nabeshima,Katsusuke)
　
17. 区間演算を用いた充填ジュリア集合の内点保証-------------------------------------------------------------------------------------146
　　　　関東学院大学 / 香川高等専門学校 / 防衛大学校　　　大墨 礼子 / 近藤.祐史 / 藤村 雅代　(Osumi,Noriko / Kondoh,Yuji / Fujimura,Masayo)
　
18. On the centers of polygons for Blaschke-like maps (Computer Algebra - Foundations and Applications)----------------------------151
　　　　防衛大学校　　　Fujimura,Masayo
　
19. Bezout-Hankel行列の前処理に係る有効性の事前判定法------------------------------------------------------------------------------157
　　　　筑波大学医学医療系　　　讃岐 勝　(Sanuki,Masaru)
　
20. 対称行列の添字の置換による同値性判定の試み-------------------------------------------------------------------------------------165
　　　　東京都立大学数理科学専攻　　　村上 弘　(Murakami,Hiroshi)
　
21. Local cohomologyに対するネター作用素とホロノミーD-加群-------------------------------------------------------------------------176
　　　　新潟大学大学院自然科学研究科　　　田島 慎一　(Tajima,Shinichi)
　
22. 最小消去多項式を用いたJordan細胞の構造の効率的な計算---------------------------------------------------------------------------186
　　　　新潟大学大学院自然科学研究科 / 金沢大学理工研究域 / 筑波大学数理物質系　　　田島 慎一 / 小原 功任 / 照井 章　(Tajima,Shinichi / Ohara,Katsuyoshi / Terui,Akira)
　
23. パラメトリック多変数代数方程式の根の連続性とボーダーベースとの関係について-----------------------------------------------------195
　　　　東京理科大学理学部応用数学科　　　佐藤 洋祐　(Sato,Yosuke)
　
24. 加群のグレブナー基底による隣接作用素の計算-------------------------------------------------------------------------------------200
　　　　東海大学理系教育センター　　　中山 洋将　(Nakayama,Hiromasa)