ホーム > 田島 慎一/ Tajima, Shinichi
田島 慎一
ALUMNI
2025年8月現在、筑波大学が主たる所属機関ではありません
Tajima, Shinichi
新潟大学 , 自然科学系 , フェロー Niigata University
関連記事はまだありません。
オープンアクセス版の論文は「つくばリポジトリ」で読むことができます。
-
1.
A Deterministic Method for Computing Bertini Type Invariants of Parametric Ideals.
Shinichi Tajima; Katsusuke Nabeshima
Mathematics in Computer Science 18: 14 (2024)
-
2.
An implementation of the Suwa method for computing first order infinitesimal versal unfoldings of codimension one complex analytic singular foliations
Shinichi Tajima; Katsusuke Nabeshima
Journal of Computational Algebra 10: 100015 (2024)
-
3.
Effective Algorithm for Computing Noetherian Operators of Positive Dimensional Ideals
Katsusuke Nabeshima; Shinichi Tajima
Computer Algebra in Scientific Computing 272 (2023) Semantic Scholar
-
4.
Computing holonomic D-modules associated to a family of non-isolated hypersurface singularities via comprehensive Gröbner systems of PBW algebra
Shinichi Tajima; Katsusuke Nabeshima; Katsuyoshi Ohara; Yoko Umeta
Mathematics in Computer Science 17: (2023)
-
5.
CSSg method for several genericities of parametric systems
Katsusuke Nabeshima; Shinichi Tajima
Japan Journal of Industrial and Applied Mathematics (2022) Semantic Scholar
-
6.
An effective method for computing Grothendieck point residue mappings
Shinichi Tajima; Katsusuke Nabeshima
Journal of Algebra 593: 568 (2022) Semantic Scholar
-
7.
Computing Grothendieck Point Residues via Solving Holonomic Systems of First Order Partial Differential Equations
Shinichi Tajima; Katsusuke Nabeshima
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 361 (2021) Semantic Scholar
-
8.
Computing Regular Meromorphic Differential Forms via Saito's Logarithmic Residues
Shinichi Tajima; Katsusuke Nabeshima
Symmetry, Integrability and Geometry: Methods and Applications (2021) Semantic Scholar
-
9.
A New Deterministic Method for Computing Milnor Number of an ICIS
Shinichi Tajima; Katsusuke Nabeshima
Computer Algebra in Scientific Computing 391 (2021) Semantic Scholar
-
10.
零次元準素イデアルのネター作用素の計算と応用
鍋島 克輔; 田島 慎一
京都大学数理解析研究所講究録 2185: 1 (2021)
-
11.
An Algorithm for Computing Torsion Differential Forms Associated with an Isolated Hypersurface Singularity
Shinichi Tajima; Katsusuke Nabeshima
Mathematics in Computer Science (2020) Semantic Scholar
-
12.
Testing Zero-Dimensionality of Varieties at a Point
Katsusuke Nabeshima; Shinichi Tajima
Mathematics in Computer Science (2020) Semantic Scholar
-
13.
An Algorithm for Computing Grothendieck Local Residues II: General Case
Katsuyoshi Ohara; Shinichi Tajima
Mathematics in Computer Science 14: 483 (2020) Semantic Scholar
-
14.
An algorithm for computing the Hilbert-Samuel multiplicities and reductions of zero-dimensional ideals of Cohen-Macaulay local rings.
Takafumi Shibuta; Shinichi Tajima
J. Symb. Comput. 96: 108 (2020) Semantic Scholar
-
15.
Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality.
Shinichi Tajima; Takafumi Shibuta; Katsusuke Nabeshima
Computer Algebra in Scientific Computing - 22nd International Workshop(CASC) 543 (2020) Semantic Scholar
-
16.
Moving curve ideals, Rees algebra and parametric local cohomology systems
田島 慎一; 鍋島 克輔
京都大学数理解析研究所講究録 2159: 179 (2020)
-
17.
Computing logarithmic vector fields and Bruce-Roberts Milnor numbers via local cohomology classes
Katsusuke Nabeshima; Shinichi Tajima
Revue Roumaine Mathematiques Pures et Appliquees 64: 521 (2019)
-
18.
Alternative algorithms for computing generic μ ∗ -sequences and local Euler obstructions of isolated hypersurface singularities
Katsusuke Nabeshima; Shinichi Tajima
Journal of Algebra and its Applications 18: (2019) Semantic Scholar
-
19.
An Implementation of the Lê–Teissier Method for Computing Local Euler Obstructions
Shinichi Tajima; Katsusuke Nabeshima
Mathematics in Computer Science 13: 273 (2019) Semantic Scholar
-
20.
Solving Parametric Ideal Membership Problems and Computing Integral Numbers in a Ring of Convergent Power Series Via Comprehensive Gröbner Systems
Katsusuke Nabeshima; Shinichi Tajima
Mathematics in Computer Science 13: 185 (2019) Semantic Scholar
-
1.
SINGULARITIES IN GEOMETRY AND TOPOLOGY 2011
Nabeshima, Katsusuke; Tajima, Shinichi
MATH SOC JAPAN 2015年 (ISBN: 9784864970266)
-
2.
Analyse microlocale sur les varietes de Cauchy-Riemann et problemes du prolongement des solutions holomorphes des equations aux derivees partielles
田島, 慎一
1981年3月
-
1.
Integral dependence relation と半擬斉次孤立特異点の $b$-関数
Tajima, Shinichi; 鍋島克輔
日本数学会函数論分科会 2017年9月11日
-
2.
収束冪級数環でのintegral numberの計算 グレブナー基底 vs 代数的局所コホモ ロジー類
Tajima, Shinichi; 加藤満生; 鍋島克輔
日本数学会函数論分科会 2017年9月11日
-
3.
Transformation law による Grothendieck local residue の計算
Tajima, Shinichi; 鍋島克輔
日本数学会函数論分科会 2017年9月11日
-
4.
b-関数の根に付随したホロノミー系の局所コホモロジー解の計算
Tajima, Shinichi; 鍋島克輔
数式処理の新たな発展--その最新研究 2017年9月6日
-
5.
Local cohomology, Grothendieck local residues and algorithms,
Tajima,Shinichi
Workshop on Rresidues, dynamics and hyperfunctions 2017年7月24日 招待有り
-
6.
An algorithm for computing Grothendieck local residues I -- shape basis case --
Tajima, Shinichi; Ohara, K
Applications of Computer Algebra 2017 2017年7月16日
-
7.
Computing integral numbers for a parametric ideal in a ring of convergent power s eries via comprehensive Gr\"obner systems
Tajima, Shinichi; Nabeshima, Katsusuke
Applications of Computer Algebra 2017 2017年7月16日
-
8.
An implementation of the L\^e -Teissier method for computing local Euler obstructions
Tajima, Shinichi; Nabeshima, Katsusuke
Applications of Computer Algebra 2017 2017年7月16日
-
9.
Local Euler obstruction の計算法について
Tajima,Shinichi
日本数式処理学会 2017年6月9日
-
10.
収束冪級数環における integral number の計算法について
Tajima, Shinichi; 鍋島克輔
日本数式処理学会 2017年6月9日
-
11.
Generic L\^e numbers の計算アルゴリズムとホロノミーD-加群
Tajima,Shinichi
微分幾何学と特異点論の応用 2017年6月1日
-
12.
包括的グレブナー基底系を用いた$\mu$-stratification と$\mu^{\ast}$列の計算法について
Tajima, Shinichi; 鍋島克輔
Risa/Asir Conference 2017年3月28日
-
13.
マトリス双対を用いた孤立特異点の不変量の計算
Tajima, Shinichi; 渋田敬史
日本数学会, 函数論分科会 2017年3月24日
-
14.
パラメータ付きBernstein-SatoイデアルとホロノミーD加群の計算
Tajima, Shinichi; 鍋島克輔; 小原功任
日本数学会, 函数論分科会 2017年3月24日
-
15.
多変数留数の計算アルゴリズム II (一般の場合)
Tajima, Shinichi; 小原功任
日本数学会, 函数論分科会 2017年3月24日
-
16.
Computation method for $ \mu^{\ast} $-sequences of hypersurface isolated singularities
Tajima, Shinichi; Nabeshima, Katsusuke
Topology of Singularity in Hanoi 2017年2月21日
-
17.
Tangent cone を用いた局所環でのパラメトリックイデアルの次元判定
Tajima, Shinichi; 鍋島克輔
数式処理学会合同分科会 2017年1月21日
-
18.
特異点の計算複素解析 -- 留数, Samuel multiplicity, Chern-Schwartz-MacPherson class --
Tajima,Shinichi
多変数関数論冬セミナ 2016年12月15日
-
19.
多変数留数の計算アルゴリズム II (一般の場合)
Tajima, Shinichi; 小原功任
数式処理とその周辺分野の研究 2016年12月7日
-
20.
b-関数の因子チェックを用いたパラメータ付きb-関数の計算 -$\mu$-constant deformation の場合-
Tajima, Shinichi; 鍋島克輔
数式処理とその周辺分野の研究 2016年12月7日
知財情報はまだありません。
2,278 total views