* このページに掲載している原稿は 速報ファイル です。
* These papers are "flash report".
RIMS Kôkyûroku
No.2224
Computer Algebra -- Foundations and Applications
RIMS 共同研究(公開型)
 
2021/12/20〜2021/12/22
北本 卓也
Takuya Kitamoto
 
目 次
 
1. Non-compatibleな加群項順序の下でのsignature based algorithmについて----------------------------------------------------------------
    立教大学理学部   野呂 正行 (Noro,Masayuki)
 
2. 極大独立集合による局所化について---------------------------------------------------------------------------------------------------
    東京理科大学   石原 侑樹 (Ishihara,Yuki)
 
3. $A$型結晶基底のテンソル積分解とK-hive----------------------------------------------------------------------------------------------
    東邦大学大学院理学研究科 / 東邦大学理学部   成澤 翔大 / 白柳 潔 (Narisawa,Shota / Shirayanagi,Kiyoshi)
 
4. 安定化理論に基づく計算履歴法の代数体上の因数分解への適用---------------------------------------------------------------------------
    東邦大学大学院理学研究科 / 東邦大学理学部   奥田 和樹 / 白柳 潔 (Okuda,Kazuki / Shirayanagi,Kiyoshi)
 
5. 斉次な多変数多項式の近似GCD算法の比較----------------------------------------------------------------------------------------------
    筑波大学医学医療系   讃岐 勝 (Sanuki,Masaru)
 
6. A Variant of the XL Algorithm Using the Arithmetic over Polynomial Matrices (Computer Algebra : Foundations and Applications)------
    東京大学情報理工学系研究科 / 東京大学情報理工学系研究科   古江 弘樹 / 工藤 桃成 (Furue,Hiroki / Kudo,Momonari)
 
7. グレブナー基底の安定条件を求める新たな戦略-----------------------------------------------------------------------------------------
    東京理科大学理学部第一部応用数学科   鍋島 克輔 (Nabeshima,Katsusuke)
 
8. 一変数留数計算について-------------------------------------------------------------------------------------------------------------
    九州大学 / 新潟大学   深作 亮也 / 田島 慎一 (Fukasaku,Ryoya / Tajima,Shinichi)
 
9. パラメータを伴ったGrobner基底の構造的な検出について--------------------------------------------------------------------------------
    神戸大学大学院人間発達環境学研究科 / 神戸大学大学院人間発達環境学研究科   大島谷 遼 / 長坂 耕作 (Oshimatani,Ryo / Nagasaka,Kosaku)
 
10. 近似Groebner基底の逐次算法に向けて (再訪)-----------------------------------------------------------------------------------------
    神戸大学大学院人間発達環境学研究科   長坂 耕作 (Nagasaka,Kosaku)
 
11. Svrtanによるnew Brahmagupta's formulaの円内接多角形問題への適用について-----------------------------------------------------------
    筑波大学図書館情報メディア系   森継 修一 (Moritsugu,Shuichi)
 
12. 計算群論による置換パズルソルバーの実装--------------------------------------------------------------------------------------------
    大阪教育大学附属池田中学校   松川 信彦 (Matsukawa,Nobuhiko)
 
13. 有理関数による補間に対する重心形式の数式処理における利用について------------------------------------------------------------------
    東京都立大学数理科学専攻   村上 弘 (Murakami,Hiroshi)