* このページに掲載している原稿は 速報ファイル です。
* These papers are "flash report".
RIMS Kôkyûroku
No.2185
Computer Algebra - Theory and its Applications
RIMS 共同研究（公開型）
 　
2020/12/21〜2020/12/23
藤村　雅代
Masayo Fujimura
　
目　次
　
1. 零次元準素イデアルのネター作用素の計算と応用 - 新たなる数式処理をめざして - ------------------------------------------------------1
　　　　東京理科大学理学部第一部応用数学科 / 新潟大学大学院自然科学研究科　　　鍋島 克輔 / 田島 慎一　(NABESHIMA,KATSUSUKE / TAJIMA,SHINICHI)
　
2. 近似GCDでのNewtonSLRAアルゴリズムの効果的な利用に向けて--------------------------------------------------------------------------16
　　　　神戸大学大学院人間発達環境学研究科　　　長坂 耕作　(NAGASAKA,KOSAKU )
　
3. グレブナー基底の項順序についての再考---------------------------------------------------------------------------------------------22
　　　　神戸大学大学院人間発達環境学研究科 / 神戸大学大学院人間発達環境学研究科　　　大島谷 遼 / 長坂 耕作　(OSHIMATANI,Ryo / NAGASAKA,KOSAKU )
　
4. 学習における特異点構造の分析について---------------------------------------------------------------------------------------------29
　　　　甲南大学大学院自然科学研究科知能情報学専攻 / 甲南大学知能情報学部知能情報学科　　　鷲野 朋広 / 高橋 正　(WASHINO,TOMOHIRO / TAKAHASHI,TADASHI )
　
5. 安定化理論に基づくISCZ法の3次元凸包構成への適用----------------------------------------------------------------------------------47
　　　　東邦大学大学院理学研究科 / 東邦大学理学部　　　奥田 和樹 / 白柳 潔　(OKUDA,KAZUKI / SHIRAYANAGI,KIYOSHI )
　
6. Hiveモデル上のA型結晶構造--------------------------------------------------------------------------------------------------------57
　　　　東邦大学大学院理学研究科 / 東邦大学理学部　　　成澤 翔大 / 白柳 潔　(NARISAWA,SHOTA / SHIRAYANAGI,KIYOSHI )
　
7. An Attempt to Enhance Buchberger's Algorithm by Using Remainder Sequences and GCDs (II) (Computer Algebra - Theory and its Applications)---71
　　　　筑波大学 / 筑波大学 / 日本数学検定協会 / 奈良女子大学　　　佐々木 建昭 / 讃岐 勝 / 稲葉 大樹 / 加古 富士雄　(Sasaki,Tateaki / Sanuki,Masaru / Inaba,Daiju / Kako,Fujio )
　
8. 同時双方向型遠隔授業における数式コマンドの活用〜TeXおよびMaximaコマンドによる伝達〜 (Computer Algebra - Theory and its Applications)---81
　　　　山陽小野田市立山口東京理科大学共通教育センター / 新潟大学学術情報基盤機構情報基盤センター　　　亀田 真澄 / 宇田川 暢　(KAMEDA,Masumi / UDAGAWA,Mitsuru )
　
9. 円内接七・八角形の「面積x半径」公式の計算について--------------------------------------------------------------------------------94
　　　　筑波大学図書館情報メディア系　　　森継 修一 　(MORITSUGU,SHUICHI)
　
10. A Succinct Multivariate Lazy Multivariate Tower AD for Weil Algebra Computation (Computer Algebra - Theory and its Applications)---104
　　　　Deep Flow, Inc.　　　石井 大海　(Ishii,Hiromi )
　
11. 単純ホップ分岐判定法の実装-----------------------------------------------------------------------------------------------------113
　　　　九州大学 / 新潟大学　　　深作 亮也 / 田島 慎一　(FUKASAKU,RYOYA / TAJIMA,SHINICHI)
　
12. 非可換環上のsignature-based algorithmとその実装--------------------------------------------------------------------------------123
　　　　金沢大学大学院自然科学研究科 / 金沢大学理工研究域 / 立教大学大学院理学研究科　　　向 博生 / 小原 功任 / 横山 和弘　(MUKAI,HIROKI / OHARA,KATSUYOSHI / YOKOYAMA,KAZUHIRO )
　
13. Risa/Asirにおけるsignature based algorithmの実装について-----------------------------------------------------------------------139
　　　　立教大学理学部 / 立教大学理学部　　　野呂 正行 / 横山 和弘　(NORO,MASAYUKI / YOKOYAMA,KAZUHIRO)