トップ研究者を探す計算代数解析アルゴリズムの効率化と特異点変形への応用

計算代数解析アルゴリズムの効率化と特異点変形への応用

KAKEN 科学研究費助成事業データベース で見る
研究課題番号 KAKENHI-PROJECT-18K03214
研究種目 基盤研究(C)
研究分野
研究機関 東京理科大学
徳島大学
代表研究者 鍋島 克輔
研究期間 開始年月日 2018/4/1
研究期間 終了年度 2022
研究ステータス 完了 (2022/4/1)
配分額(合計) 4,030,000 (直接経費 :3,100,000、間接経費 :930,000)
配分額(履歴) 2021年度:780,000 (直接経費 :600,000、間接経費 :180,000)
2020年度:650,000 (直接経費 :500,000、間接経費 :150,000)
2019年度:780,000 (直接経費 :600,000、間接経費 :180,000)
2018年度:1,820,000 (直接経費 :1,400,000、間接経費 :420,000)
キーワード 包括的グレブナー基底系
ネター作用素
代数的局所コホモロジー
Bernstein-佐藤多項式
超曲面孤立特異点
半擬斉次特異点
パラメトリックシステム
特異点変形
対数的ベクトル場
包括的スタンダード基底系
計算機代数
特異点
b-関数
グレブナー基底
半擬斉次孤立特異点
integral dependence
イデアル所属問題
D加群

研究成果

[学会発表] Yano-Kato method for computing s-parametric annihilators using modern computer algebra techniques

鍋島克輔, 田島慎一 2023

[雑誌論文] An effective method for computing Grothendieck point residue mappings

Tajima Shinichi、Nabeshima Katsusuke 2022

[学会発表] 代数的局所コホモロジーを用いた準素イデアル分解について

鍋島克輔 2022

[学会発表] ゼロ次元イデアルのネター作用素について

鍋島克輔 , 田島慎一 2022

[学会発表] デアル商を用いた包括的グレブナー基底系計算について

鍋島克輔 2022

[学会発表] Noetherian operators of positive dimensional ideals and hypersurface singularities

鍋島克輔 , 田島慎一 2022

[雑誌論文] An effective method for computing Grothendieck point residue mappings

Tajima Shinichi、Nabeshima Katsusuke 2022

[学会発表] Computer algebra techniques for analyzing parametric polynomial systems

Nabeshima Katsusuke 2022

[学会発表] A deterministic method for computing Bertini type invariants of parametric ideals

Tajima Shinichi、Nabeshima Katsusuke 2022

[学会発表] 多変数函数のbifurcation set の計算法

田島慎一, 鍋島克輔 2022

[学会発表] Effective computational method of Noetherian operators and its application to several invariants of singularities

Nabeshima Katsusuke 2022

[学会発表] Generic Groebner basis of a parametric ideal and its application to a comprehensive Groebner system

Nabeshima Katsusuke 2022

[雑誌論文] グレブナ―基底の安定条件を求める新たな戦略

鍋島克輔 2022

[雑誌論文] CSSg method for several genericities of deformations of hypersurface singularities

鍋島克輔, 田島慎一 2022

[学会発表] 特異平面代数曲線に沿う対数的ベクトル場とCamacho-Sad-Suwa 指数について

鍋島克輔, 田島慎一 2021

[学会発表] 特異点変形に付随したk-不変量の計算

鍋島克輔, 田島慎一 2021

[雑誌論文] A new algorithm for computing logarithmic vector fields along an isolated singularity and Bruce-Roberts Milnor ideals

Nabeshima Katsusuke、Tajima Shinichi 2021

[雑誌論文] Computing Regular Meromorphic Differential Forms via Saito's Logarithmic Residues

Tajima Shinichi、Nabeshima Katsusuke 2021

[雑誌論文] METHODS FOR COMPUTING <i>b</i>-FUNCTIONS ASSOCIATED WITH <i>µ</i>-CONSTANT DEFORMATIONS: CASE OF INNER MODALITY TWO

Katsusuke Nabeshima、Shinichi Tajima 2021

[学会発表] Noetherian representations for zero-dimensional ideals

Tajima Shinichi、Nabeshima Katsusuke 2021

[学会発表] ネター作用素を用いた零次元イデアルの準素イデアル分解と復元

鍋島克輔、 田島慎一 2021

[学会発表] CSSg method for several genericities of deformation of hypersurface singularities

鍋島克輔, 田島慎一 2021

[学会発表] Computing holonomic D-modules associated to a family of non-isolated hypersurface singularities via comprehensive Groebner systems of PBW algebra

Tajima Shinichi、Ohara Katsuyoshi、Nabeshima Katsusuke 2021

[学会発表] 孤立特異点を持つcomplete intersectionのMilnor数のdeterministicな計算法について---auxiliary indeterminatesの利用---

鍋島克輔、 田島慎一 2021

[雑誌論文] 零次元準素イデアルのネター作用素の計算と応用 --- 新たなる数式処理をめざして ---

鍋島克輔、 田島慎一 2021

[学会発表] グレブナー基底の安定条件を求める新たな戦

鍋島克輔 2021

[雑誌論文] On parametric border bases

Yosuke Sato, Hiroshi Sekigawa, Ryoya Fukasaku, Katsusuke Nabeshima 2020

[雑誌論文] Generalized integral dependence relations

Katsusuke Nabeshima, Shinichi Tajima 2020

[学会発表] 立特異点を持つ complete intersection に沿う対数的ベクトル場の構成法

田島慎一, 渋田敬史, 鍋島克輔 2020

[雑誌論文] Moving curve ideal, Rees algebra and local cohomology

田島慎一、鍋島克輔 2020

[学会発表] Computation of κ-invariants associated to deformations of isolated hypersurface singularities

Katsusuke Nabeshima, Shinichi Tajima 2020

[学会発表] Versal unfoldings of singular holomorphic foliations --諏訪アルゴリズムの実装--

鍋島克輔、田島慎一 2020

[学会発表] 有理関数体上の包括的スタンダード基底系を用いた特異点変形による不変量の計算について

鍋島克輔、田島慎一 2020

[雑誌論文] 半擬斉次特異点の性質を利用したAnn(f^s)とb-関数の計算

鍋島克輔、田島慎一 2020

[学会発表] ネター作用素を用いた零次元準素イデアル成分の表現法と計算

鍋島克輔, 田島慎一 2020

[雑誌論文] Parametric standard system for mixed module and its application to singularity theory

Teramoto Hiroshi、Nabeshima Katsusuke 2020

[雑誌論文] Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality

Tajima Shinichi、Shibuta Takafumi、Nabeshima Katsusuke 2020

[雑誌論文] Standard Basis for Mixed Module, Computational Algorithm and Application to Classification Problems in Singularity Theory

Hiroshi Taramoto、Katsusuke Nabeshima 2020

[雑誌論文] Testing Zero-Dimensionality of Varieties at a Point

Nabeshima Katsusuke、Tajima Shinichi 2020

[雑誌論文] 孤立特異点を持つcomplete intersection に沿う対数的ベクトル場の計算法について

田島慎一、渋田敬史、 鍋島克輔 2020

[雑誌論文] Computing Parametric Standard Bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities

Nabeshima Katsusuke 2020

[学会発表] D. Barlet のregular meromorphic differential forms とK. Saito のlogarithmic residues

鍋島克輔、田島慎一 2020

[学会発表] イデアル商を用いた点での多様体の次元判定

鍋島 克輔, 田島 慎一 2019

[学会発表] ジェネリックな一次関数のブルース・ロバート・ミルナー数について

鍋島 克輔, 田島 慎一 2019

[学会発表] Computing parametric systems

鍋島克輔 2019

[学会発表] Chern-Schwartz-MacPherson class の計算法について

鍋島 克輔, 田島 慎一 2019

[学会発表] 孤立特異点を持つ超曲面のTorsion微分形式について

鍋島克輔, 田島慎一 2019

[学会発表] Computing logarithmic vector fields along an ICIS via Matlis duality

田島慎一, 渋田敬史, 鍋島克輔 2019

[学会発表] パラメトリックな代数方程式の根の連続性とBorder Basisとの関係

佐藤洋祐,関川浩,深作亮也, 鍋島克輔 2019

[雑誌論文] Alternative algorithms for computing generic μ*-sequences and local Euler obstructions of isolated hypersurface singularities

Katsusuke Nabeshima, Shinichi Tajima 2019

[雑誌論文] An implementation of the Le-Teissier method for computing local Euler obstructions

Shinichi Tajima, Katsusuke Nabeshima 2019

[雑誌論文] Solving parametric ideal membership problems and computing integral numbers in a ring of convergent power series via comprehensive Groebner systems

Katsusuke Nabeshima, Shinichi Tajima 2019

[学会発表] Standard Basis for Mixed Module, Computational Algorithm and Application to Classification Problems in Singularity Theory

寺本央, 鍋島克輔 2019

[学会発表] An algorithm for computing torsion differential forms associated with an isolated hypersurface singularity

Shinichi Tajima, Katsusuke Nabeshima 2019

[雑誌論文] 収束冪級数環における generalized integral dependence relation の計算について

鍋島克輔, 田島慎一 2019

[学会発表] An implementation of the Suwa method for computing versal unfoldings of holomorphic foliations

Shinichi Tajima, Katsusuke Nabeshima 2019

[学会発表] Computation methods of Ann(f^s) and local b-functions using properties of semi-quasi-homogeneous singularities

Katsusuke Nabeshima 2019

[学会発表] パラメトリックな連立代数方程式の根の連続性とBorderBasisとの関係II

佐藤洋祐,関川浩,深作亮也, 鍋島克輔 2019

[学会発表] Testing zero-dimensionality of an variety at a point

Katsusuke Nabeshima, Shinichi Tajima 2019

[雑誌論文] Computing logarithmic vector fields and Bruce-Roberts Milnor numbers via local cohomology classes

Katsusuke Nabeshima, Shinichi Tajima 2019

[学会発表] 半擬斉次特異点の性質を利用したAnn(f^s)とb-関数の計算について

鍋島克輔, 田島慎一 2019

[学会発表] Moving curve ideal, Rees algebra and local cohomology

田島慎一, 鍋島克輔 2019

[学会発表] Testing zero-dimensionality at a point of varieties defined by a parametric ideal

鍋島克輔, 田島慎一 2018

[学会発表] 超曲面の孤立特異点に沿った対数的ベクトル場と応用

鍋島克輔, 田島慎一 2018

[学会発表] An effective method for computing Grothendieck point residues

Shinichi Tajima and Katsusuke Nabeshima 2018

[学会発表] On applications of technology to understanding hierarchies of elementary geometry

Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima 2018

[学会発表] ボーダー基底とスタンダード基底の関係性について

鍋島克輔 2018

[学会発表] 包括的グレブナー基底系とμ-constant deformation に付随したb-関数の計算

鍋島克輔 2018

[学会発表] Computation methods of b-functions associated with -constant deformations -- Case of inner modality 2 --

Katsusuke Nabeshima and Shinichi Tajima 2018