* このページに掲載している原稿は 速報ファイル です。
* These papers are "flash report".
RIMS Kôkyûroku
No.2255
Computer Algebra− Foundations and Applications
RIMS 共同研究（公開型）
 　
2022/12/19〜2022/12/21
北本　卓也, 濱田　龍義
Takuya Kitamoto, Tatsuyoshi Hamada
　
目　次
　
1. Boolean Groebner 基底を用いた数独パズルの数学的難易度指標の相関について------------------------------------------------------------
　　　　東京電機大学理工学部 / 東京電機大学大学院理工学研究科 / 東京電機大学大学院理工学研究科　　　中野 哲夫 / 進藤 未来 / 吉原 元　(Nakano,Tetsuo / Shindou,Miku / Yoshihara,Tsukasa)
　
2. 独立性の検定に関するHTMLをベースとした教材の操作ログの解析-------------------------------------------------------------------------
　　　　山口大学教育学部 / 東邦大学薬学部 / 東邦大学理学部　　　北本 卓也 / 金子 真隆 / 野田 健夫　(Kitamoto,Takuya / Kaneko,Masataka / Noda,Takeo)
　
3. 区間演算を用いた反復計算について---------------------------------------------------------------------------------------------------
　　　　関東学院大学 / 香川高等専門学校 / 防衛大学校　　　大墨 礼子 / 近藤 祐史 / 藤村 雅代　(Osumi,Noriko / Kondoh,Yuji / Fujimura,Masayo)
　
4. An extension of Chapple's formula by Blaschke-like maps (Computer Algebra : Foundations and Applications)--------------------------
　　　　防衛大学校数学教育室　　　藤村 雅代　(Fujimura,Masayo)
　
5. TES (Term Elimination Sequence)について--------------------------------------------------------------------------------------------
　　　　筑波大学数理物質系　　　佐々木 建昭　(Sasaki,Tateaki)
　
6. ゲーム理論における数式処理の応用 : 浮動小数係数多項式系に対するグレブナ基底の計算--------------------------------------------------
　　　　甲南大学知能情報学部 / 啓明学院　　　高橋 正 / 宮寺 良平　(Takahashi,Tadashi / Miyadera,Ryohei)
　
7. Signature based algorithm おける$F_4$スタイルの簡約アルゴリズムの実装について------------------------------------------------------
　　　　立教大学理学部　　　野呂 正行　(Noro,Masayuki)
　
8. グレブナー基底による多面体の頂点の計算---------------------------------------------------------------------------------------------
　　　　東海大学理系教育センター / 東海大学大学院理学研究科　　　中山 洋将 / 山本 侑理　(Nakayama,Hiromasa / Yamamoto,Yuuri)
　
9. 正次元イデアルのネター作用素の計算と特異点-----------------------------------------------------------------------------------------
　　　　東京理科大学理学部第一部応用数学科 / 新潟大学大学院自然科学研究科　　　鍋島 克輔 / 田島 慎一　(Nabeshima,Katsusuke / Tajima,Shinichi)
　
10. 多項式函数のbifurcation setの計算法I----------------------------------------------------------------------------------------------
　　　　新潟大学大学院自然科学研究科 / 東京理科大学理学部第一部応用数学科　　　田島 慎一 / 鍋島 克輔　(Tajima,Shinichi / Nabeshima,Katsusuke)
　
11. パラメータ付きのイデアル操作の計算について----------------------------------------------------------------------------------------
　　　　東京理科大学　　　石原 侑樹　(Ishihara,Yuki)
　
12. 因子分析へのグレブナー基底に基づくアプローチ--------------------------------------------------------------------------------------
　　　　九州大学 / 九州大学 / 長崎大学 / 広島大学　　　深作 亮也 / 廣瀬 慧 / 加葉田 雄太朗 / 寺本 圭佑　(Fukasaku,Ryoya / Hirose,Kei / Kabata,Yutaro / Teramoto,Keisuke)
　
13. 二変数多項式の近似GCD-------------------------------------------------------------------------------------------------------------
　　　　神戸大学大学院人間発達環境学研究科　　　長坂 耕作　(Nagasaka,Kosaku)
　
14. フィルタを用いた固有値問題の近似解法について--------------------------------------------------------------------------------------
　　　　東京都立大学数理科学専攻　　　村上 弘　(Murakami,Hiroshi)
　
15. K-hive上の$A$型結晶構造に関するアルゴリズムとその実装-----------------------------------------------------------------------------
　　　　東邦大学大学院理学研究科 / 東邦大学理学部　　　成澤 翔大 / 白柳 潔　(Narisawa,Shota / Shirayanagi,Kiyoshi)
　
16. 角度に制限を設けた格子三角形による正方形の三角形分割------------------------------------------------------------------------------
　　　　東京理科大学大学院 / 東京理科大学 / 東京理科大学　　　青木 史也 / 武田 渉 / 関川 浩　(Aoki,Fumiya / Takeda,Wataru / Sekigawa,Hiroshi)
　
17. マンハッタン距離ボロノイ図からの母点探索------------------------------------------------------------------------------------------
　　　　東京理科大学大学院 / 東京理科大学 / 東京理科大学　　　山中 悠輔 / 武田 渉 / 関川 浩　(Yamanaka,Yusuke / Takeda,Wataru / Sekigawa,Hiroshi)
　
18. 前処理によるBarnettの定理に基づく近似GCD計算の安定化の検討------------------------------------------------------------------------
　　　　筑波大学医学医療系　　　讃岐 勝　(Sanuki,Masaru)