Nabeshima Katsusuke 鍋島克輔

… Alternative Names

NABESHIMA Katsusuke 鍋島克輔

Less

Researcher Number	00572629
Other IDs
Affiliation (Current)	2025: 東京理科大学, 理学部第一部応用数学科, 教授
Affiliation (based on the past Project Information) *help	2021 – 2023: 東京理科大学, 理学部第一部応用数学科, 准教授 2017 – 2021: 徳島大学, 大学院社会産業理工学研究部(理工学域), 准教授 2016: 徳島大学, 大学院理工学研究部, 准教授 2015: 徳島大学, ソシオ・アーツ・アンド・サイエンス研究部, 准教授 2015: 徳島大学, 大学院ソシオ・アーツ・アンド・サイエンス研究部, 准教授 … More 2014: 徳島大学, ソシオ・アーツ・アンド・サイエンス部, 准教授 2014: 徳島大学, ソシオアーツ・アンド・サイエンス研究部, 准教授 2013: 徳島大学, 大学院, ソシオアーツ・アンド・サイエンス研究部, 准教授 2012: 徳島大学, ソシオアーツ・アンド・サイエンス研究部, 准教授 2012: 徳島大学, 大学院ソシオ・アーツ・アンド・サイエンス研究部, 准教授 2010 – 2012: 徳島大学, 大学院・ソシオ・アーツ・アンド・サイエンス研究部, 准教授 Less
Review Section/Research Field	Principal Investigator Basic Section 11010:Algebra-related / Algebra / General mathematics (including Probability theory/Statistical mathematics) Except Principal Investigator Basic Section 12010:Basic analysis-related / Basic analysis / Basic Section 11020:Geometry-related
Keywords	Principal Investigator グレブナー基底 / 代数的局所コホモロジー / 特異点 / 計算機代数 / 特異点変形 / ネター作用素 / 対数的ベクトル場 / 局所コホモロジー / D加群 / b-関数 … More / Bernstein-佐藤多項式 / 包括的グレブナー基底系 / 包括的グレブナー基底 / アルゴリズム / 双対空間 / イデアル所属問題 / integral dependence / 半擬斉次孤立特異点 / 包括的スタンダード基底系 / パラメトリックシステム / 半擬斉次特異点 / 超曲面孤立特異点 / パラメータ付きシステム / ミルナー数 / チュリナ数 / limiting tangent space / ミルナー数の列 / 代数的局所コホモロジー類 / 特異点変形アルゴリズム / グロタンディーク留数 / 対数的ベクトル場の計算 / local Euler obstruction / 変形チュリナ数 / Limiting tangnet space / 孤立特異点 / 記号計算 / 標準基底 / パラメータ / 代数計算 / 数式処理 / 代数学 / 情報基礎 / 関数論 … More Except Principal Investigator 特異点 / 局所コホモロジー / ホロノミーD-加群 / アルゴリズム / 代数解析 / 対数的ベクトル場 / 複素解析 / local cohomology / ネター作用素 / b-関数 / 特異点変形 / 変形族 / 非孤立特異点 / 応用特異点論 / 包括的グレブナー系 / 発散図式 / 計算代数 / 実限量化子消去 / グレブナー基底 / 多目的最適化 / 包括的標準系 / 混合加群 / 特異点論 / algorithm / holonomic D-module / Bruce-Roberts-MIlnor数 / torsion微分形式 / 特異点変形族 / 多変数留数 / Le numbers / integral number / スタンダード基底 / D-加群 / 国際情報交換 / 広義固有ベクトル / 最小消去多項式 / モノドロミー / Tjurina数 Less

Creating a new theory of computer algebra with duality spacesPrincipal Investigator
- Principal Investigator
  
  鍋島克輔
- Project Period (FY)
  2023 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 11010:Algebra-related
- Research Institution
  Tokyo University of Science
Algebraic analysis of deformations of non-isolated singularities, computational complex analysis and algorithms
- Principal Investigator
  
  田島慎一
- Project Period (FY)
  2022 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12010:Basic analysis-related
- Research Institution
  Niigata University
Automation of Classification of Singularity by using Comprehensive Groebner Systems
- Principal Investigator
  
  Teramoto Hiroshi
- Project Period (FY)
  2019 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 11020:Geometry-related
- Research Institution
  Kansai University
  Hokkaido University
Efficient algorithms in computational algebraic analysis and deformations of singularitiesPrincipal Investigator
- Principal Investigator
  
  Katsusuke Naeshima
- Project Period (FY)
  2018 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 11010:Algebra-related
- Research Institution
  Tokyo University of Science
  The University of Tokushima
Algebraic aanalysis of non-isolated singularities and computational complex analysis algorithms
- Principal Investigator
  
  Tajima Shinichi
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12010:Basic analysis-related
- Research Institution
  Niigata University
Computational complex analysis and algebraic analysis of singularities
- Principal Investigator
  
  Tajima Shinichi
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Basic analysis
- Research Institution
  University of Tsukuba
Applications of algebraic local cohomology to hypersurface singularitiesPrincipal Investigator
- Principal Investigator
  
  Nabeshima Katsusuke
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Algebra
- Research Institution
  The University of Tokushima
Computational Complex Analysis of logarithmic vector fields, singular varieties and Algebraic Analysis Algorithms
- Principal Investigator
  
  TAJIMA Shinichi
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Basic analysis
- Research Institution
  University of Tsukuba
Algorithms for systems of parametric polynomialsPrincipal Investigator
- Principal Investigator
  
  NABESHIMA Katsusuke
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  The University of Tokushima

All 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 Other

All Journal Article Presentation

[Journal Article] 多項式函数のbifurcation setの計算法I2023
- Author(s)
  田島慎一、鍋島克輔
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2255 Pages: 88-95
- Data Source
  KAKENHI-PROJECT-22K03334
[Journal Article] Comprehensive standard system for generalized mixed module and its application to singularity theory2023
- Author(s)
  Teramoto Hiroshi、Nabeshima Katsusuke
- Journal Title
  
  Journal of Algebra and Its Applications
  
  Volume: 0 Issue: 13 Pages: 2450221-2450221
- DOI
  10.1142/s0219498824502219
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K03123, KAKENHI-PROJECT-19K03484
[Journal Article] Computing holonomic D-modules associated to a family of non-isolated hypersurface singularities via comprehensive Groebner systems of PBW algebra2023
- Author(s)
  S. Tajima, K. Nabeshima, K. Ohara, Y. Umeta
- Journal Title
  
  Mathematics in Computer Science
  
  Volume: 17 Issue: 1
- DOI
  10.1007/s11786-022-00553-4
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K03291, KAKENHI-PROJECT-22K03334, KAKENHI-PROJECT-18K03214
[Journal Article] CSSg method for several genericities of parametric systems2023
- Author(s)
  K. Nabeshima and S. Tajima
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 40 Issue: 1 Pages: 315-337
- DOI
  10.1007/s13160-022-00520-3
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22K03334, KAKENHI-PROJECT-18K03214
[Journal Article] Generic Groebner basis of a parametric ideal and its application to a comprehensive Groebner system2023
- Author(s)
  Nabeshima Katsusuke
- Journal Title
  
  Applicable Algebra in Engineering, Communication and Computing
  
  Volume: 35 Issue: 1 Pages: 55-70
- DOI
  10.1007/s00200-023-00620-8
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K03076
[Journal Article] 正次元イデアルのネター作用素の計算と特異点2023
- Author(s)
  鍋島克輔、田島慎一
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2255 Pages: 75-87
- Open Access
- Data Source
  KAKENHI-PROJECT-22K03334
[Journal Article] Effective algorithms for computing Noetherian representations of zero-dimensional ideals2023
- Author(s)
  K. Nabeshima and S. Tajima
- Journal Title
  
  Aplicable Algebra in Engineering, Computation and Computing
  
  Volume: 33 Issue: 6 Pages: 867-899
- DOI
  10.1007/s00200-022-00570-7
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22K03334, KAKENHI-PROJECT-18K03214
[Journal Article] Effective algorithm for computing Noetherian operators of positive dimensional ideals2023
- Author(s)
  K. Nabeshima and S. Tajima
- Journal Title
  
  Lecture Notes in Computer Scineces
  
  Volume: 14139 Pages: 272-291
- DOI
  10.1007/978-3-031-41724-5_15
- ISBN
  9783031417238, 9783031417245
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22K03334, KAKENHI-PROJECT-23K03076
[Journal Article] CSSg method for several genericities of deformations of hypersurface singularities2022
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2226 Pages: 1-15
- Open Access
- Data Source
  KAKENHI-PROJECT-22K03334
[Journal Article] グレブナ―基底の安定条件を求める新たな戦略2022
- Author(s)
  鍋島克輔
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2224 Pages: 59-69
- Open Access
- Data Source
  KAKENHI-PROJECT-18K03214
[Journal Article] An effective method for computing Grothendieck point residue mappings2022
- Author(s)
  Tajima Shinichi、Nabeshima Katsusuke
- Journal Title
  
  Journal of Algebra
  
  Volume: 593 Pages: 568-588
- DOI
  10.1016/j.jalgebra.2021.11.013
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03214
[Journal Article] An effective method for computing Grothendieck point residue mappings2022
- Author(s)
  S. Tajima and K. Nabeshima
- Journal Title
  
  Journal of Algebra
  
  Volume: 593 Pages: 568-588
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03320
[Journal Article] CSSg method for several genericities of deformations of hypersurface singularities2022
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2226 Pages: 1-15
- Open Access
- Data Source
  KAKENHI-PROJECT-18K03214
[Journal Article] 零次元準素イデアルのネター作用素の計算と応用2021
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2185 Pages: 1-15
- Open Access
- Data Source
  KAKENHI-PROJECT-18K03320
[Journal Article] A new deterministic method for computing Milnor number of an ICIS2021
- Author(s)
  S. Tajima and K. Nabeshima,
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 12865 Pages: 391-408
- DOI
  10.1007/978-3-030-85165-1_22
- ISBN
  9783030851644, 9783030851651
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03320, KAKENHI-PROJECT-18K03214
[Journal Article] 零次元準素イデアルのネター作用素の計算と応用 --- 新たなる数式処理をめざして ---2021
- Author(s)
  鍋島克輔、田島慎一
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2185 Pages: 1-15
- NAID
  120007141778
- Open Access
- Data Source
  KAKENHI-PROJECT-18K03214
[Journal Article] Computation methods of b-functions associated with $\mu$-constant deformations -case of inner modality 2 --2021
- Author(s)
  K. Nabeshima and S. Tajima
- Journal Title
  
  Kyushu J. of Mathematics
  
  Volume: 75 Pages: 55-76
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03320
[Journal Article] METHODS FOR COMPUTING <i>b</i>-FUNCTIONS ASSOCIATED WITH <i>µ</i>-CONSTANT DEFORMATIONS: CASE OF INNER MODALITY TWO2021
- Author(s)
  Katsusuke Nabeshima、Shinichi Tajima
- Journal Title
  
  Kyushu Journal of Mathematics
  
  Volume: 75 Issue: 1 Pages: 55-76
- DOI
  10.2206/kyushujm.75.55
- NAID
  130008049824
- ISSN
  1340-6116, 1883-2032
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03214
[Journal Article] Computing regular meromorphic differential forms via Saito's logarithmic residues2021
- Author(s)
  S. Tajima and K. Nabeshima
- Journal Title
  
  Symmetry, Integrability and Geometry: Methods and Applications
  
  Volume: 17 Pages: 019-019
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03320
[Journal Article] Computing Grothendieck point residues via solving holonomic systems of first order linear partial differential equations2021
- Author(s)
  S. Tajima and K. Nabeshima
- Journal Title
  
  Proceedings of the International Symposium on Symbolic and Algebraic Computation 2021
  
  Volume: 2021 Pages: 361-368
- DOI
  10.1145/3452143.3465526
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K03320, KAKENHI-PROJECT-18K03214
[Journal Article] A new algorithm for computing logarithmic vector fields along an isolated singularity and Bruce-Roberts Milnor ideals2021
- Author(s)
  Nabeshima Katsusuke、Tajima Shinichi
- Journal Title
  
  Journal of Symbolic Computation
  
  Volume: 107 Pages: 190-208
- DOI
  10.1016/j.jsc.2021.03.003
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03214
[Journal Article] Computing Regular Meromorphic Differential Forms via Saito's Logarithmic Residues2021
- Author(s)
  Tajima Shinichi、Nabeshima Katsusuke
- Journal Title
  
  Symmetry, Integrability and Geometry: Methods and Applications
  
  Volume: 17
- DOI
  10.3842/sigma.2021.019
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K03214, KAKENHI-PROJECT-18K03320
[Journal Article] Testing zero-dimensionality of varieties at a point2021
- Author(s)
  K. Nabeshima and S. Tajima
- Journal Title
  
  Mathematics in Computer Science
  
  Volume: 15 Issue: 2 Pages: 317-331
- DOI
  10.1007/s11786-020-00484-y
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03320, KAKENHI-PROJECT-18K03214
[Journal Article] A new algorithm for computing logarithmic vector fields along an isolated singularity and Bruce-Roberts Milnor ideals2021
- Author(s)
  K. Nabeshima and S. Tajima
- Journal Title
  
  Journal of Symbolic Computation
  
  Volume: 107 Pages: 190-208
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-18K03320
[Journal Article] Testing zero-dimensionality of varieties at a point2020
- Author(s)
  K. Nabeshima, S. Tajima
- Journal Title
  
  Mathematics in Computer Sciences
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03320
[Journal Article] Computing logarithmic vector fields along an ICIS germ via Matlis duality2020
- Author(s)
  S. Tajima, T. Shibuta and K. Nabeshima,
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 12291 Pages: 543-562
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03320
[Journal Article] Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality2020
- Author(s)
  Tajima Shinichi、Shibuta Takafumi、Nabeshima Katsusuke
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 12291 Pages: 543-562
- DOI
  10.1007/978-3-030-60026-6_32
- ISBN
  9783030600259, 9783030600266
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03214
[Journal Article] 半擬斉次孤立特異点の性質を利用した局所b-関数の計算2020
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  京都大学数理解析研究所講究
  
  Volume: 2159 Pages: 188-199
- NAID
  120006956641
- Open Access
- Data Source
  KAKENHI-PROJECT-18K03320
[Journal Article] Moving curve ideals, Rees algebra and parametric local cohomology systems2020
- Author(s)
  田島慎一, 鍋島克輔
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2159 Pages: 179-187
- Open Access
- Data Source
  KAKENHI-PROJECT-18K03320
[Journal Article] Moving curve ideal, Rees algebra and local cohomology2020
- Author(s)
  田島慎一、鍋島克輔
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2159 Pages: 179-187
- Open Access
- Data Source
  KAKENHI-PROJECT-18K03214
[Journal Article] On parametric border bases2020
- Author(s)
  Yosuke Sato, Hiroshi Sekigawa, Ryoya Fukasaku, Katsusuke Nabeshima
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 11989 Pages: 10-15
- DOI
  10.1007/978-3-030-43120-4_2
- ISBN
  9783030431198, 9783030431204
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03214, KAKENHI-PROJECT-18K03426, KAKENHI-PROJECT-18K11172, KAKENHI-PROJECT-17K12642
[Journal Article] Parametric standard system for mixed module and its application to singularity theory2020
- Author(s)
  Teramoto Hiroshi、Nabeshima Katsusuke
- Journal Title
  
  Proc. International Symposium on Symbolic and Algebraic Computation
  
  Volume: － Pages: 426-433
- DOI
  10.1145/3373207.3404027
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03214, KAKENHI-PROJECT-19K03484
[Journal Article] Generalized integral dependence relations2020
- Author(s)
  Katsusuke Nabeshima, Shinichi Tajima
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 11989 Pages: 48-63
- DOI
  10.1007/978-3-030-43120-4_6
- ISBN
  9783030431198, 9783030431204
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03214, KAKENHI-PROJECT-18K03320
[Journal Article] Standard Basis for Mixed Module, Computational Algorithm and Application to Classification Problems in Singularity Theory2020
- Author(s)
  Hiroshi Taramoto、Katsusuke Nabeshima
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2156 Pages: 16-32
- NAID
  120006956700
- Open Access
- Data Source
  KAKENHI-PROJECT-18K03214
[Journal Article] Computing Parametric Standard Bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities2020
- Author(s)
  Nabeshima Katsusuke
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 12291 Pages: 447-460
- DOI
  10.1007/978-3-030-60026-6_26
- ISBN
  9783030600259, 9783030600266
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03214
[Journal Article] 半擬斉次特異点の性質を利用したAnn(f^s)とb-関数の計算2020
- Author(s)
  鍋島克輔、田島慎一
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2159 Pages: 188-199
- Open Access
- Data Source
  KAKENHI-PROJECT-18K03214
[Journal Article] An algorithm for computing torsion differential forms associated to an isolated hypersurface singularity2020
- Author(s)
  S. Tajima, K. Nabeshima
- Journal Title
  
  Mathematics in Computer Sciences
  
  Volume: - Issue: 2 Pages: 353-367
- DOI
  10.1007/s11786-020-00486-w
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03320, KAKENHI-PROJECT-18K03214
[Journal Article] 孤立特異点を持つcomplete intersection に沿う対数的ベクトル場の計算法について2020
- Author(s)
  田島慎一、渋田敬史、鍋島克輔
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2156 Pages: 1-15
- Open Access
- Data Source
  KAKENHI-PROJECT-18K03214
[Journal Article] 孤立特異点を持つcomplete intersectionに沿う対数的ベクトル場の計算法について,2020
- Author(s)
  田島慎一, 渋田敬史, 鍋島克輔
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2156 Pages: 1-15
- Open Access
- Data Source
  KAKENHI-PROJECT-18K03320
[Journal Article] Alternative algorithms for computing generic \mu^{ast}-sequences and local Euler obstructions of isolated hypersurface isolated singularities2019
- Author(s)
  K. Nabeshima, S. Tajima
- Journal Title
  
  J. Algebra and its Applications
  
  Volume: 18 Pages: 1950159-1950159
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03320
[Journal Article] An implementation of the Le-Teissier method for computing local Euler obstructions2019
- Author(s)
  Shinichi Tajima, Katsusuke Nabeshima
- Journal Title
  
  Mathematics in Computer Science
  
  Volume: 13 Issue: 1-2 Pages: 273-280
- DOI
  10.1007/s11786-018-0366-0
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03214, KAKENHI-PROJECT-18K03320
[Journal Article] Computing logarithmic vector fields and Bruce-Roberts Milnor numbers via local cohomology classes2019
- Author(s)
  K. Nabeshima and S. Tajima
- Journal Title
  
  Proc. Australian-Japanese workshop on real and complex singularities
  
  Volume: 印刷中
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03320
[Journal Article] 収束冪級数環における generalized integral dependence relation の計算について2019
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2104 Pages: 78-85
- Data Source
  KAKENHI-PROJECT-18K03214
[Journal Article] Computing logarithmic vector fields and Bruce-Roberts Milnor numbers via local cohomology classes2019
- Author(s)
  Katsusuke Nabeshima, Shinichi Tajima
- Journal Title
  
  Revue Roumaine Mathematiques Pures et Appliquees
  
  Volume: 64 Pages: 521-538
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03214
[Journal Article] Alternative algorithms for computing generic mu^ast-sequences and local Euler obstructions of isolated hypersurface singularities2019
- Author(s)
  K. Nabeshima and S. Tajima
- Journal Title
  
  Journal of Algebra and its Applications
  
  Volume: 印刷中
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03320
[Journal Article] Alternative algorithms for computing generic μ*-sequences and local Euler obstructions of isolated hypersurface singularities2019
- Author(s)
  Katsusuke Nabeshima, Shinichi Tajima
- Journal Title
  
  Journal of algebra and its applications
  
  Volume: 18 Issue: 08 Pages: 1950156-1950156
- DOI
  10.1142/s0219498819501561
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03214
[Journal Article] パラメータ付きイデアルで定義された多様体の点でのゼロ次元性判定2019
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2138 Pages: 130-137
- Data Source
  KAKENHI-PROJECT-18K03320
[Journal Article] Solving parametric ideal membership problems and computing integral numbers in a ring of convergent power series via comprehensive Groebner systems2019
- Author(s)
  Katsusuke Nabeshima, Shinichi Tajima
- Journal Title
  
  Mathematics in Computer Science
  
  Volume: 13 Issue: 1-2 Pages: 185-194
- DOI
  10.1007/s11786-018-0354-4
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03214, KAKENHI-PROJECT-18K03320
[Journal Article] 収束冪級数環におけるgeneralized integral dependence relationの計算について2019
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2014 Pages: 78-85
- Open Access
- Data Source
  KAKENHI-PROJECT-18K03320
[Journal Article] Computing logarithmic vector fields and Bruce-Roberts Milnor numbers via local cohomology classes2019
- Author(s)
  K. Nabeshima, S. Tajima
- Journal Title
  
  Revue Roumaine Math. PUres et Appl.
  
  Volume: 64 Pages: 521-538
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03320
[Journal Article] b-関数の根に付随したホロノミー系の局所コホモロジー解の計算法について2018
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 印刷中
- Data Source
  KAKENHI-PROJECT-15K17513
[Journal Article] 収束冪級数環における generalized integral dependence relation の計算について2018
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 印刷中
- Data Source
  KAKENHI-PROJECT-15K17513
[Journal Article] Computation methods of logarithmic vector fields associated with semi-weighted homogeneous isolated hypersurface singularities2018
- Author(s)
  K. Nabeshima, S. Tajima
- Journal Title
  
  Tsukuba Journal of Mathematics
  
  Volume: 42 Pages: 191-231
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03320
[Journal Article] μ-constant deformation に付随したb-関数の計算-- 因子チェックの利用--2018
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 印刷中
- Data Source
  KAKENHI-PROJECT-15K17513
[Journal Article] グレブナ基底を用いた収束冪級数環での拡張イデアル所属アルゴリズムについて2018
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2054 Pages: 118-125
- Open Access
- Data Source
  KAKENHI-PROJECT-18K03320
[Journal Article] グレブナ基底を用いた収束冪級数環での拡張イデアル所属アルゴリズムについて2018
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2054 Pages: 118-125
- Open Access
- Data Source
  KAKENHI-PROJECT-15K04891
[Journal Article] Solving parametric ideal membership problems and computing integral numbers in a ring of convergent power series via comprehensive Groebner systems2018
- Author(s)
  Katsusuke Nabeshima, Shinichi Tajima
- Journal Title
  
  Mathematics in Computer Science
  
  Volume: 印刷中
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K17513
[Journal Article] Comprehensive Groebner systems approach to b-functions of \mu-constant deformations2018
- Author(s)
  K. Nabeshima, S. Tajima
- Journal Title
  
  Saitama Journal of Mathematics
  
  Volume: 31 Pages: 115-136
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K04891
[Journal Article] An implementation of the Le-Teissier method for computing local Euler obstructions2018
- Author(s)
  Shinichi Tajima, Katsusuke Nabeshima
- Journal Title
  
  Mathematics in Computer Science
  
  Volume: 印刷中
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K17513
[Journal Article] Transformation law を用いた多変数留数計算アルゴリズム2018
- Author(s)
  田島慎一, 鍋島克輔
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 印刷中
- Data Source
  KAKENHI-PROJECT-15K17513
[Journal Article] A new method for computing limiting tangent spaces of isolated hypersurface singularity via algebraic local cohomology2018
- Author(s)
  K. Nabeshima and S. Tajima
- Journal Title
  
  Advanced Studies in Pure Mathematics
  
  Volume: 78 Pages: 331-344
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03320
[Journal Article] Comprehensive Groebner systems in PBW algebras, Bernstein-Sato ideals and holonomic D-modules2018
- Author(s)
  Katsusuke Nabeshima, Katsuyoshi Ohara, Shinichi Tajima
- Journal Title
  
  Journal of Symbolic Computation
  
  Volume: 印刷中 Pages: 146-170
- DOI
  10.1016/j.jsc.2017.11.010
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15K17513, KAKENHI-PROJECT-18K03320
[Journal Article] 代数的局所コホモロジーを用いた limiting tangent space の計算法と比較2017
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2019 Pages: 53-63
- Open Access
- Data Source
  KAKENHI-PROJECT-15K04891
[Journal Article] Computer algebra and Bruce-Roberts-Milnor number2017
- Author(s)
  伊澤毅, 鍋島克輔, 田島慎一
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2019 Pages: 64-79
- Open Access
- Data Source
  KAKENHI-PROJECT-15K04891
[Journal Article] 代数的局所コホモロジーを用いた Limiting Tangent Spaceの計算法と比較2017
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2019 Pages: 53-63
- Open Access
- Data Source
  KAKENHI-PROJECT-15K04891
[Journal Article] Comprehensive Groebner systems approach to b-functions of mu-constant deformations2017
- Author(s)
  K. Nabeshima, S. Tajima
- Journal Title
  
  Saitama Journal of Mathematics
  
  Volume: 31 Pages: 1-12
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K04891
[Journal Article] グレブナー基底を用いた収束冪級数環での拡張イデアル所属アルゴリズムについて2017
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2054 Pages: 118-125
- Data Source
  KAKENHI-PROJECT-15K17513
[Journal Article] Computing mu*-sequences of hypersurface isolated singularities via parametric local cohomology systems2017
- Author(s)
  K. Nabeshima, S. Tajima,
- Journal Title
  
  Acta Mathematica Vietnamica
  
  Volume: 42 Issue: 2 Pages: 279-288
- DOI
  10.1007/s40306-016-0198-4
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15K04891, KAKENHI-PROJECT-15K17513
[Journal Article] Computer algebra and Bruce-Roberts Milnor number2017
- Author(s)
  伊澤毅, 鍋島克輔, 田島慎一
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2019 Pages: 64-79
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K17513
[Journal Article] Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals2017
- Author(s)
  Katsusuke Nabeshima, Shinichi Tajima
- Journal Title
  
  Journal of Symbolic Computation
  
  Volume: 82 Pages: 91-122
- DOI
  10.1016/j.jsc.2017.01.003
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15K17513, KAKENHI-PROJECT-15K04891
[Journal Article] 代数的局所コホモロジーを用いた Limiting Tangent Space の計算法2017
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2019 Pages: 53-63
- Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K17513
[Journal Article] A new method for computing the limiting tangent space of an isolated hypersurface singularity via algebraic local cohomology2017
- Author(s)
  Katsusuke Nabeshima, Shinichi Tajima
- Journal Title
  
  Advanced Studies in Pure Mathematics
  
  Volume: 印刷中
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K17513
[Journal Article] Comprehensive Groebner systems aprroach to b-functions of mu-constant deformations2017
- Author(s)
  Katsusuke Nabeshima, Shinichi Tajima
- Journal Title
  
  Saitama Mathematical Journal
  
  Volume: 印刷中
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K17513
[Journal Article] Computing Tjurina stratifications of μ-constant deformations via parametric local cohomology systems2016
- Author(s)
  Katsusuke Nabeshima, Shinichi Tajima
- Journal Title
  
  Applicable Algebra in Engineering, Communication and Computing
  
  Volume: - Issue: 6 Pages: 451-467
- DOI
  10.1007/s00200-016-0289-4
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15K17513, KAKENHI-PROJECT-15K04891
[Journal Article] Comprehensive Gr\"obner systems in rings of differential operators, holonomic D-modules and b-functions2016
- Author(s)
  K. Nabeshima, K. Ohara, S. Tajima
- Journal Title
  
  Proceedings of the International Symposium on Symbolic and Algebraic Computation
  
  Volume: 2016 Pages: 349-356
- DOI
  10.1145/2930889.2930918
- NAID
  110010006773
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15KT0102, KAKENHI-PROJECT-15K17513
[Journal Article] Solving extended ideal membership problems in rings of convergent power series via Grebner bases,2016
- Author(s)
  K. Nabeshima, S. Tajima
- Journal Title
  
  Lecture Notes in Computer Sciences
  
  Volume: 9582 Pages: 252-267
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15K04891
[Journal Article] On simple representation of locally closed sets2016
- Author(s)
  Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima
- Journal Title
  
  Proc. Asian Technology Conference in Mathematics 2016
  
  Volume: - Pages: 190-199
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K17513
[Journal Article] Solving extended ideal membership problems in rings of convergent power series via Gröbner bases2016
- Author(s)
  Katsusuke Nabeshima, Shinichi Tajima
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 9582 Pages: 252-267
- DOI
  10.1007/978-3-319-32859-1_22
- ISBN
  9783319328584, 9783319328591
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K17513
[Journal Article] Efficient computation of algebraic local cohomology classes and change of ordering for zero-dimensional standard bases2015
- Author(s)
  K. Nabeshima and S. Tajima
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 9301
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K04891
[Journal Article] On the computation of algebraic local cohomology classes associated with semi-quasihomogeneous singularities2015
- Author(s)
  K. Nabeshima and S. Tajima
- Journal Title
  
  Advanced Studies in Pure Mathematics
  
  Volume: 66
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K04891
[Journal Article] 偏微分作用素環での包括的グレブナー基底とホロノミD-加群，b-関数2015
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 1976 Pages: 100-116
- Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15K17513
[Journal Article] Bruce-Roberts ミルナー数の計算アルゴリズム2015
- Author(s)
  田島慎一, 鍋島克輔
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 1976
- Open Access
- Data Source
  KAKENHI-PROJECT-15K04891
[Journal Article] Bruce-Roberts ミルナー数の計算アルゴリズム2015
- Author(s)
  田島慎一, 鍋島克輔
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 1976 Pages: 91-99
- Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15K17513
[Journal Article] 偏微分作用素環での包括的グレブナー基底系とホロノミーD-加群, b-関数2015
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 1976
- Open Access
- Data Source
  KAKENHI-PROJECT-15K04891
[Journal Article] 代数的局所コホモロジーを用いたパラメータ付き拡張ideal membership アルゴリズム2015
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 1955
- Open Access
- Data Source
  KAKENHI-PROJECT-15K04891
[Journal Article] Efficient computation of algebraic local cohomology classes and change of ordering for zero-dimensional standard bases2015
- Author(s)
  Katsusuke Nabeshima, Shinichi Tajima
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 9301 Pages: 334-348
- DOI
  10.1007/978-3-319-24021-3_25
- ISBN
  9783319240206, 9783319240213
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K17513
[Journal Article] Computing logarithmic vector fields associated with parametric semi-quasihomogeneous hypersurface isolated singularities2015
- Author(s)
  K. Nabeshima and S. Tajima
- Journal Title
  
  Proceedings of the International Symposium on Symbolic and Algebraic Computation
  
  Volume: 2015 Pages: 291-298
- DOI
  10.1145/2755996.2756641
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K04891, KAKENHI-PROJECT-15K17513
[Journal Article] パラメータ付き対数的ベクトル場と局所コホモロジーについて2014
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 1927
- Open Access
- Data Source
  KAKENHI-PROJECT-24540162
[Journal Article] An algorithm for computing standard bases by change of ordering via algebraic local cohomology2014
- Author(s)
  K. Nabeshima and S. Tajima
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 8592
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24540162
[Journal Article] An algorithm for computing Tjurina stratifications of $\mu$-constant deformations using algebraic local cohomology2014
- Author(s)
  K. Nabeshima and S. Tajima
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 8592
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24540162
[Journal Article] On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases2014
- Author(s)
  K. Nabeshima and S. Tajima
- Journal Title
  
  ISSAC
  
  Volume: 2014
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24540162
[Journal Article] On the computation of algebraic local cohomology classes associated with semi-quasihomogeneous singularities2013
- Author(s)
  Katsusuke Nabeshima, Tajima Shinichi
- Journal Title
  
  Advanced studies in pure mathematics
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22740065
[Journal Article] mu-constant deformation に対する代数的局所コホモロジーとTjurina stratification2013
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 1843 Pages: 56-65
- Data Source
  KAKENHI-PROJECT-24540162
[Journal Article] μ -constant deformation に対する代数的局所コホモロジーと Tjurina stratification2013
- Author(s)
  鍋島克輔 , 田島慎一
- Journal Title
  
  数理解析研究所講究録
- Data Source
  KAKENHI-PROJECT-22740065
[Journal Article] パラメータ付き代数的局所コホモロジーの計算について2012
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 1785
- Data Source
  KAKENHI-PROJECT-24540162
[Journal Article] On an implementation of standard bases, Grobner bases and normal-form using algebraic local cohomology2012
- Author(s)
  Katsusuke Nabeshima
- Journal Title
  
  Communications of Japan Society of Symbolic and Algebraic Computations
  
  Volume: Vol.1 Pages: 1-25
- URL
  http://www.jssac.org/Editor/CJssac/V01/index.html
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22740065
[Journal Article] パラメータ付零次元代数的局所コホモロジーを用いたパラメトリック・スタンダード基底計算について2012
- Author(s)
  鍋島克輔, 中村弥生, 田島慎一
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 1814
- Data Source
  KAKENHI-PROJECT-24540162
[Journal Article] パラメータ付き代数的局所コホモロジーの計算について--半擬斉次孤立特異点の場合--2012
- Author(s)
  鍋島克輔
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 1785 Pages: 111-122
- Data Source
  KAKENHI-PROJECT-22740065
[Journal Article] Stability conditions of monomial bases and Comprehensive Grobner systems2012
- Author(s)
  Katsusuke Nabeshima
- Journal Title
  
  Proc. CASC 2012, Lecture Notes in Computer Science (Springer)
  
  Volume: Vol.7442 Pages: 248-259
- URL
  http://www.springer.com/computer/theoretical+computer+science/book/978-3-642-32972-2
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22740065
[Journal Article] On an implementation of standard bases, Groebner bases and normal-form using algebraic local cohomology2012
- Author(s)
  Katsusuke Nabeshima
- Journal Title
  
  Communications of Japan Society of Symbolic and Algebraic Computations
  
  Volume: 1 Pages: 1-25
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22740065
[Journal Article] パラメータ付き代数的局所コホモロジーの計算について--半擬斉次孤立特異点の場合--2012
- Author(s)
  鍋島克輔, 田島慎一
- Journal Title
  
  数理解析研究所講究録
  
  Volume: Vol.1785 Pages: 111-122
- URL
  http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/1785.html
- Data Source
  KAKENHI-PROJECT-22740065
[Journal Article] Stability conditions of monomial bases and Comprehensive Groebner systems2012
- Author(s)
  Katsusuke Nabeshima
- Journal Title
  
  Proc. International Workshop on Computer Algebra 2012, Lecture Notes in Computer Science (Springer)
  
  Volume: 7442 Pages: 248-259
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22740065
[Journal Article] 代数的局所コホモロジーの計算法とそれを用いたスタンダード基底・グレブナー基底計算について2011
- Author(s)
  鍋島克輔
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 1764号 Pages: 102-125
- Data Source
  KAKENHI-PROJECT-22740065
[Journal Article] 代数的局所コホモロジーの計算法とそれを用いたスタンダード基底・グレブナー基底について2011
- Author(s)
  鍋島克輔, 中村弥生, 田島慎一
- Journal Title
  
  数理解析研究所講究録
  
  Volume: Vol.1764 Pages: 102-125
- URL
  http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/1785.html
- Data Source
  KAKENHI-PROJECT-22740065
[Journal Article] CGS 計算アルゴリズムのさらなる改良2011
- Author(s)
  鍋島克輔
- Journal Title
  
  数理解析研究所講究録
  
  Volume: Vol.1815 Pages: 29-40
- URL
  http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/1815.html
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] Testing tameness of a complex polynomial map via comprehensive Groebner systems2023
- Author(s)
  Tajima Shinichi、Nabeshima Katsusuke
- Organizer
  Applications of Computer Algebra 2023 (ACA 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K03076
[Presentation] 多項式函数のbifurcation setの計算II2023
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  特異点論展開, 京都大学数理解析研究所
- Data Source
  KAKENHI-PROJECT-22K03334
[Presentation] 並列処理を活用した複数の包括的グレブナ基底系アルゴリズムの融合について2023
- Author(s)
  和田夏, 鍋島克輔
- Organizer
  京都大学数理解析研究所共同研究（公開型）「Computer Algebra -Foundations and Applications」
- Data Source
  KAKENHI-PROJECT-23K03076
[Presentation] Testing tameness of a complex polynomial map via comprehensive Groebner systems2023
- Author(s)
  S. Tajima and K. Nabeshima
- Organizer
  Aplications of Computer Algebra 2023
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03334
[Presentation] Primary decomposition via algebraic local cohomology with tag variables2023
- Author(s)
  Nabeshima Katsusuke、Tajima Shinichi
- Organizer
  Applications of Computer Algebra 2023 (ACA 2023),
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K03076
[Presentation] ネター作用素を用いた準素イデアル成分のグレブナー基底の求め方2023
- Author(s)
  鍋島克輔
- Organizer
  第32回日本数式処理学会大会
- Data Source
  KAKENHI-PROJECT-23K03076
[Presentation] パラメータ付きイデアルの根基計算の実装2023
- Author(s)
  倉持玲介, 鍋島克輔
- Organizer
  京都大学数理解析研究所共同研究（公開型）「Computer Algebra -Foundations and Applications」
- Data Source
  KAKENHI-PROJECT-23K03076
[Presentation] 多項式函数のbifurcation set の計算法II2023
- Author(s)
  田島慎一、鍋島克輔
- Organizer
  京都大学数理解析研究所共同研究（公開型）「特異点論の展開」
- Data Source
  KAKENHI-PROJECT-23K03076
[Presentation] 多項式函数のtame性の判定 -- 包括的グレブナー基底系の利用 --2023
- Author(s)
  田島慎一、鍋島克輔
- Organizer
  日本数学会秋季総合分科会(函数論)
- Data Source
  KAKENHI-PROJECT-23K03076
[Presentation] A new look at Yano-Kato method for computing s-parametric annihilators2023
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学会函数論分科会, 東北大学
- Data Source
  KAKENHI-PROJECT-22K03334
[Presentation] Yano-Kato method for computing s-parametric annihilators using modern computer algebra techniques2023
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  Risa/Asir conference 2023
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] Algorithms for classification of real singularities2023
- Author(s)
  Teramoto Hiroshi、Nabeshima Katsusuke、Fukasaku Ryoya
- Organizer
  WORKSHOP on Algebraic and Analytic Singularities 2023
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K03076
[Presentation] Prmary decomposition via algebraic local cohomology with tag variables2023
- Author(s)
  K. Nabeshima and S. Tajima
- Organizer
  Aplications of Computer Algebra 2023
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03334
[Presentation] Effective algorithm for computing Noetherian operators of positive dimensional ideals2023
- Author(s)
  K. Nabeshima and S. Tajima
- Organizer
  Computer Algebra in Scinetific Computating, Havana
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03334
[Presentation] 多項式函数のtame性の判定--包括的グレブナ-基底系の利用--2023
- Author(s)
  田島慎一、鍋島克輔
- Organizer
  日本数学会函数論分科会, 東北大学
- Data Source
  KAKENHI-PROJECT-22K03334
[Presentation] パラメータ付きイデアルに関する最小多項式の実装と応用2023
- Author(s)
  蒋云, 鍋島克輔
- Organizer
  京都大学数理解析研究所共同研究（公開型）「Computer Algebra -Foundations and Applications」
- Data Source
  KAKENHI-PROJECT-23K03076
[Presentation] A new look at Yano-Kato method for computing s-parametric annihilators2023
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学会秋季総合分科会(函数論)
- Data Source
  KAKENHI-PROJECT-23K03076
[Presentation] Yano-Kato method for computing s-parametric annihilators using modern computer algebra techniques2023
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  Risa/Asir Conference
- Data Source
  KAKENHI-PROJECT-22K03334
[Presentation] 多項式函数のbifurcation setの計算法 I2022
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  Computer Algebra- Foundations and Applications
- Data Source
  KAKENHI-PROJECT-22K03334
[Presentation] デアル商を用いた包括的グレブナー基底系計算について2022
- Author(s)
  鍋島克輔
- Organizer
  第31回日本数式処理学会大会
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] ゼロ次元イデアルのネター作用素について2022
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学会代数学分科会
- Data Source
  KAKENHI-PROJECT-22K03334
[Presentation] A deterministic method for computing Bertini type invariants of parametric ideals2022
- Author(s)
  S. Tajima and K. Nabeshima
- Organizer
  Applications of Computer Algebra
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03334
[Presentation] Computer algebra techniques for analyzing parametric polynomial systems2022
- Author(s)
  Nabeshima Katsusuke
- Organizer
  RISM-Sing 4 Workshop, Classification problems in singularity theory and their applications
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] A deterministic method for computing Bertini type invariants of parametric ideals2022
- Author(s)
  Tajima Shinichi、Nabeshima Katsusuke
- Organizer
  International Conference on Applications of Computer Algebra (ACA’2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] Effective computational method of Noetherian operators and its application to several invariants of singularities2022
- Author(s)
  Nabeshima Katsusuke
- Organizer
  the 15th Mathematical Society of Japan-Seasonal Institute, Deepening and evolution of applied singularity theory
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] Noetherian operators of positive dimensional ideals and hypersurface singularities2022
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  Computer Algebra-Foundations and Applications
- Data Source
  KAKENHI-PROJECT-22K03334
[Presentation] Generic Groebner basis of a parametric ideal and its application to a comprehensive Groebner system2022
- Author(s)
  Nabeshima Katsusuke
- Organizer
  International Conference on Applications of Computer Algebra (ACA’2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] A deterministic method for computing Chern-Schwartz-MacPherson classes of a family of projective varieties2022
- Author(s)
  S. Tajima and K. Nabeshima
- Organizer
  Singularity I
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03334
[Presentation] ゼロ次元イデアルのネター作用素について2022
- Author(s)
  鍋島克輔 , 田島慎一
- Organizer
  日本数学会秋季総合分科会(代数学)
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] Noetherian operators of positive dimensional ideals and hypersurface singularities2022
- Author(s)
  鍋島克輔 , 田島慎一
- Organizer
  数理解析研究所共同研究（公開型）「Computer Algebra -Foundations and Applications」
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] 代数的局所コホモロジーを用いた準素イデアル分解について2022
- Author(s)
  鍋島克輔
- Organizer
  Risa/Asir Conference 2022
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] 多変数函数のbifurcation set の計算法2022
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  数理解析研究所共同研究（公開型）「Computer Algebra -Foundations and Applications」
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] Noetherian representations for zero-dimensional ideals2021
- Author(s)
  Tajima Shinichi、Nabeshima Katsusuke
- Organizer
  International Conference on Applications of Computer Algebra
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] A new deterministic method for computing Milnor number of an ICIS2021
- Author(s)
  S. Tajima and K. Nabeshima
- Organizer
  Computer Algebra in Scinetific Computing
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] 特異点変形に付随した$\kappa$-不変量の計算2021
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学会函数論分科会
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] 特異点変形に付随したk-不変量の計算2021
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学会年会(函数論),
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] CSSg method for several genericities of deformation of hypersurface singularities2021
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  京都大学数理解析研究所共同研究,「可微分写像の特異点論とその応用」
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] 孤立特異点を持つ complete intersection の Milnor 数の deterministic な計算法について2021
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  日本数学会函数論分科会
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] 特異平面代数曲線に沿う対数的ベクトル場とCamacho-Sad-Suwa指数について2021
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  日本数学会函数論分科会
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] 特異平面代数曲線に沿う対数的ベクトル場とCamacho-Sad-Suwa 指数について2021
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学会年会(函数論),
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] ネター作用素を用いた零次元イデアルの準素イデアル分解と復元2021
- Author(s)
  鍋島克輔、田島慎一
- Organizer
  日本数式処理学会大会
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] Computing holonomic D-modules associated to a family of non-isolated hypersurface singularities via comprehensive Groebner systems of PBW algebra2021
- Author(s)
  Tajima Shinichi、Ohara Katsuyoshi、Nabeshima Katsusuke
- Organizer
  International Conference on Applications of Computer Algebra
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] Computing Grothendieck point residues via solving holonomic systems of first oeder partial differential equations2021
- Author(s)
  S. Tajima and K. Nabeshima
- Organizer
  International Symposium on Symbolic and Algebraic Computation
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] Noetherina representations for zero-dimensional ideals2021
- Author(s)
  K. Nabeshima and S. Tajima
- Organizer
  International Conference on Applications of Computer Algebra
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] Computing holonomic D-modules associated to a family of non-isolated hypersurface singularities via comprehensive Greobner systems in PBW algebra2021
- Author(s)
  S. Tajima and K. Nabeshima
- Organizer
  International Conference on Applications of Computer Algebra,
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] CSSg method for several genericities of deformations of hypersurface singularities2021
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  可微分写像の特異点論及びその応用
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] 孤立特異点を持つcomplete intersectionのMilnor数のdeterministicな計算法について---auxiliary indeterminatesの利用---2021
- Author(s)
  鍋島克輔、田島慎一
- Organizer
  日本数学会秋季総合分科会(函数論)
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] ネター作用素を用いた零次元イデアルの準素イデアル分解と復元2021
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数式処理学会
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] グレブナー基底の安定条件を求める新たな戦2021
- Author(s)
  鍋島克輔
- Organizer
  京都大学数理解析研究所共同研究,「Computer Algebra -- Theory and its Applications」
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] Versal unfoldings of singular holomorphic foliations --諏訪アルゴリズムの実装-2020
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  日本数学会関数論分科会
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] ネター作用素を用いた零次元準素イデアル成分の表現法と計算2020
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  Computer Algebra - Theory and its Applications
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] D. Barlet のregular meromorphic differential forms とK. Saito のlogarithmic residues2020
- Author(s)
  鍋島克輔、田島慎一
- Organizer
  日本数学会秋季総合分科会(函数論)
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] Computation of κ-invariants associated to deformations of isolated hypersurface singularities2020
- Author(s)
  Katsusuke Nabeshima, Shinichi Tajima
- Organizer
  The 22nd International Workshop on Computer Algebra in Scientific Computing
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] ネター作用素を用いた零次元準素イデアル成分の表現法と計算2020
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  京都大学数理解析研究所共同研究,「Computer Algebra -- Theory and its Applications」
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] D. Barletのregular meromorphic differential formsとK. Saitoのlogarithmic residues2020
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  日本数学会関数論分科会
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] Parametric Standard System for Mixed Module and its Application to Singularity Theory2020
- Author(s)
  Hiroshi Teramoto, and Katsusuke Nabeshima
- Organizer
  The International Symposium on Symbolic and Algebraic Computation (ISSAC)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K03484
[Presentation] 立特異点を持つ complete intersection に沿う対数的ベクトル場の構成法2020
- Author(s)
  田島慎一, 渋田敬史, 鍋島克輔
- Organizer
  日本数学会年会(函数論)
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] 孤立特異点を持つcomplete intersectionに沿う対数的ベクトル場の構成2020
- Author(s)
  田島慎一, 渋田敬史, 鍋島克輔
- Organizer
  日本数学会函数論分科会
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] Versal unfoldings of singular holomorphic foliations --諏訪アルゴリズムの実装--2020
- Author(s)
  鍋島克輔、田島慎一
- Organizer
  日本数学会秋季総合分科会(函数論)
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] 有理関数体上の包括的スタンダード基底系を用いた特異点変形による不変量の計算について2020
- Author(s)
  鍋島克輔、田島慎一
- Organizer
  日本数式処理学会第29回大会
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] Computing logarithmic vector fields along an ICIS germ via Matlis duality2020
- Author(s)
  S. Tajima. T. Shibuta and K. Nabeshima
- Organizer
  Computer Algebra in Scientific Computing
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] 有理関数体上の包括的スタンダード基底系を用いた特異点変形における不変量計算について2020
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数式処理学会
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] Computation of $\kappa$-invariants associated to deformations of isolated hypersurface singularities2020
- Author(s)
  K. Nabeshima and S. Tajima
- Organizer
  Computer Algebra in Scientific Computing
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] 孤立特異点を持つ超曲面のTorsion微分形式について2019
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学会秋季総合分科会(函数論)
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] イデアル商を用いた点での多様体の次元判定2019
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  Risa/Asir conference 2019
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] Standard Basis for Mixed Module, Computational Algorithm and Application to Classification Problems in Singularity Theory2019
- Author(s)
  Hiroshi Teramoto and Katsusuke Nabeshima
- Organizer
  研究集会「可微分写像の特異点論とその応用」
- Data Source
  KAKENHI-PROJECT-19K03484
[Presentation] Computing logarithmic vector fields along ICIS via Matlis duality2019
- Author(s)
  田島慎一, 渋田敬史, 鍋島克輔
- Organizer
  可微分写像の特異点とその応用
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] An implementation of the Suwa method for computing versal unfoldings of holomorphic foliations2019
- Author(s)
  Shinichi Tajima, Katsusuke Nabeshima
- Organizer
  Hyperplane Arrangements and Japanese-Australian Workshop on Real and Complex Singularities
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] パラメトリックな連立代数方程式の根の連続性とBorderBasisとの関係II2019
- Author(s)
  佐藤洋祐，関川浩，深作亮也，鍋島克輔
- Organizer
  日本数式処理学会理論分科会＆システム分科会合同研究会
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] イデアル商を用いた点での多様体の次元判定2019
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  Risa/Asir Conference
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] Testing zero-dimensionality of an variety at a point2019
- Author(s)
  Katsusuke Nabeshima, Shinichi Tajima
- Organizer
  The 21st International Workshop on Computer Algebra in Scientific Computing
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] Computing logarithmic vector fields along an ICIS via Matlis duality2019
- Author(s)
  田島慎一, 渋田敬史, 鍋島克輔
- Organizer
  京都大学数理解析研究所共同研究,「可微分写像の特異点論とその応用」
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] パラメトリックな代数方程式の根の連続性とBorder Basisとの関係2019
- Author(s)
  佐藤洋祐，関川浩，深作亮也, 鍋島克輔
- Organizer
  日本数式処理学会大会
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] ジェネリックな一次関数のブルース・ロバート・ミルナー数について2019
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学年会(函数論)
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] An algorithm for computing torsion differential forms associated with an isolated hypersurface singularity2019
- Author(s)
  Shinichi Tajima, Katsusuke Nabeshima
- Organizer
  The 21st International Workshop on Computer Algebra in Scientific Computing
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] Computation methods of Ann(f^s) and local b-functions using properties of semi-quasi-homogeneous singularities2019
- Author(s)
  Katsusuke Nabeshima
- Organizer
  Workshop on Differential systems: from theory to computer mathematics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] 代数曲線に付随するRees代数とパラメータ付き局所コホモロジー系2019
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  Computer Algebra
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] Standard Basis for Mixed Module, Computational Algorithm and Application to Classification Problems in Singularity Theory2019
- Author(s)
  寺本央, 鍋島克輔
- Organizer
  京都大学数理解析研究所共同研究,「可微分写像の特異点論とその応用」
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] Computing parametric systems2019
- Author(s)
  鍋島克輔
- Organizer
  Quantum Math
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] Chern-Schwartz-MacPherson classの計算法について2019
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学会
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] Generalized integral dependence relations2019
- Author(s)
  K. Nabeshima, S. Tajima
- Organizer
  Mathematical Aspects of Computer and Information Sciences
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] 半擬斉次特異点の性質を利用したAnn(f^s)とb-関数の計算について2019
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  京都大学数理解析研究所共同研究,「Computer Algebra -- Theory and its Applications」
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] Moving curve ideal, Rees algebra and local cohomology2019
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  京都大学数理解析研究所共同研究,「Computer Algebra -- Theory and its Applications」
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] Computation methods of Ann(f^s) and local b-functions using properties of semi-quasihomogeneous singularities2019
- Author(s)
  K. Nabeshima, S. Tajima
- Organizer
  Differential Systems: from theory to computer mathematics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] 半擬斉次特異点の性質を利用したAnn(f^s)とb-関数の計算について2019
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  Computer Algebra
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] Testing zero-dimensionality of varieties at a point2019
- Author(s)
  K. Nabeshima, S. Tajima
- Organizer
  Computer Algebra in Scinetific Computing
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] 孤立特異点を持つ超曲面のtorsion微分形式について2019
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  日本数学会函数論分科会
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] An algorithm for computing torsion differential forms associated to an isolated hypersurface singularity2019
- Author(s)
  S. Tajima, K. Nabeshima
- Organizer
  Computer Algebra in Scientific Computating
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] genericな一次関数のブルース・ロバート・ミルナー数について2019
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学会
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] Chern-Schwartz-MacPherson class の計算法について2019
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学年会(函数論)
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] An effective method for computing Grothendieck point residues2018
- Author(s)
  S. Tajima and K. Nabeshima
- Organizer
  Applications of Computer Algebra 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] 収束冪級数環でのintegral number の計算II2018
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学年会(函数論)
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] An effective method for computing Grothendieck point residues2018
- Author(s)
  Shinichi Tajima and Katsusuke Nabeshima
- Organizer
  24th Conference on Applications of Computer Algebra
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] ボーダー基底とスタンダード基底の関係性について2018
- Author(s)
  鍋島克輔
- Organizer
  日本数式処理学会理論分科会&システム分科会合同研究会,
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] パラメトリックイデアル所属問題の解き方について2018
- Author(s)
  鍋島克輔
- Organizer
  Risa/Asir conference 2018
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] Testing zero-dimensionality at a point of varieties defined by a parametric ideal2018
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  数理解析研究所共同研究「Computer Algebra - Theory and its Applications」,
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] Computation methods of b-functions associated with -constant deformations -- Case of inner modality 2 --2018
- Author(s)
  Katsusuke Nabeshima and Shinichi Tajima
- Organizer
  24th Conference on Applications of Computer Algebra
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] Computation methods of b-functions associated with mu-constant deformations -case of inner modality 2-2018
- Author(s)
  K. Nabeshima and S. Tajima
- Organizer
  Applications of Computer Algebra 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] On applications of technology to understanding hierarchies of elementary geometry2018
- Author(s)
  Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima
- Organizer
  The 23rd Asian Technology Conference in Mathematics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] 超曲面の孤立特異点に沿った対数的ベクトル場と応用2018
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数式処理学会
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] 超曲面の孤立特異点に沿った対数的ベクトル場と応用2018
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  第27回日本数式処理学会大会
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] Testing zero-dimensionality of a parametric ideal in a local ring2018
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  Computer Algebra - Theory and its Applications
- Data Source
  KAKENHI-PROJECT-18K03320
[Presentation] 包括的グレブナー基底系とμ-constant deformation に付随したb-関数の計算2018
- Author(s)
  鍋島克輔
- Organizer
  北海道大学応用特異点ラボセミナー
- Invited
- Data Source
  KAKENHI-PROJECT-18K03214
[Presentation] Computing Bruce-Roberts Milnor numbers2017
- Author(s)
  鍋島克輔
- Organizer
  Australian-Japanese Workshop on Real and Complex Singularities
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] Computing integral numbers for a parametric ideal in a ring of convergent power series via comprehensive Groebner systems2017
- Author(s)
  K. Nabeshima, S. Tajima
- Organizer
  Applications of Computer Algebra
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] 収束冪級数環でのintegral numberの計算2017
- Author(s)
  加藤満生, 鍋島克輔, 田島慎一
- Organizer
  日本数学会
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] An implementation of the Le -Teissier method for computing local Euler obstructions2017
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  Conferences on Applications of Computer Algebra 2017
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] Integral dependence relation と半擬斉次孤立特異点のb-関数2017
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学会
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] Integral dependence relation と半擬斉次孤立特異点の b-関数2017
- Author(s)
  田島慎一, 加藤満生, 鍋島克輔
- Organizer
  日本数学会秋季総合分科会
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] b-関数の根に付随したホロノミー系の局所コホモロジー解の計算2017
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  京都大学数理解析研究所共同研究「数式処理の新たな発展」
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] Computation method for μ*-sequences of hypersurface isolated singularities,2017
- Author(s)
  Katsusuke Nabeshima
- Organizer
  Topology of Singularity in Hanoi
- Place of Presentation
  Vietnam institute for advanced study in mathematicas (ベトナム・ハノイ市)
- Year and Date
  2017-02-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] パラメータ付きBernstein-SatoイデアルとホロノミーD加群の計算2017
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学会, 函数論分科会
- Place of Presentation
  首都大学東京, 東京都八王子市
- Year and Date
  2017-03-24
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] 収束冪級数環におけるgeneralized integral dependence relation の計算について2017
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  京都大学数理解析研究所共同研究「Computer Algebra -- Theory and its Applications」
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] パラメータ付きBernstein-Sato イデアルとホロノミーD 加群の計算2017
- Author(s)
  鍋島克輔, 小原功任, 田島慎一
- Organizer
  日本数学会年会(函数論)
- Place of Presentation
  首都大学東京(東京都・八王子市)
- Year and Date
  2017-03-24
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] Computation method for mu*-sequences of hypersurface isolated singularities,2017
- Author(s)
  K. Nabeshima, S. Tajima
- Organizer
  Topology of Singularity in Hanoi
- Place of Presentation
  VIASM, Hanoi, Vietnum
- Year and Date
  2017-02-20
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] Tangent coneを用いた局所環でのパラメトリック・イデアルの次元判定2017
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数式処理学会合同分科会
- Place of Presentation
  京都大学東京オフィス(東京都・千代田区）
- Year and Date
  2017-01-21
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] 収束冪級数環における generalized integral dependence relation の計算法について2017
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  Computer Algebra
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] Transformation law によるGrothendieck local residue の計算2017
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  日本数学会秋季総合分科会
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] 収束冪級数環におけるintegral numberの計算法について2017
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数式処理学会
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] Computing Bruce-Roberts MIlnor numbers2017
- Author(s)
  K. Nabeshima, S. Tajima
- Organizer
  Australian-Japanese Workshop on Real and Complex Singularities
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] Transformation lawによるGrothendieck local residue の計算2017
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  日本数学会
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] Computing integral numbers for a parametric ideal in a ring of convergent power series via comprehensive Groebner systems2017
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  Conferences on Applications of Computer Algebra 2017
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] Tangent cone を用いた局所環でのパラメトリックイデアルの次元判定2017
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  数式処理学会合同分科会
- Place of Presentation
  京都大学産学連携本部　東京サテライトオフィス、東京都中央区
- Year and Date
  2017-01-21
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] 包括的グレブナー基底系を用いたμ-stratificationとμ*列の計算法について2017
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  Risa/Asir conference 2017
- Place of Presentation
  金沢大学（石川県・金沢市）
- Year and Date
  2017-03-28
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] 収束冪級数環でのintegral numberの計算 -- グレブナー基底 vs 代数的局所コホモロジー類 --2017
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学会秋季総合分科会
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] 収束冪級数環における integral numberの計算法について2017
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  第26回日本数式処理学会大会
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] b-関数の根に付随したホロノミー系の局所コホモロジー解の計算2017
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  数式処理の新たな発展
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] 包括的グレブナー基底系を用いた mu-stratification と mu* 列の計算法について2017
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  Risa/Asir Conference
- Place of Presentation
  金沢大学, 石川県金沢市
- Year and Date
  2017-03-28
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] b-関数の因子チェックを用いたパラメータ付きb-関数の計算2016
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  数式処理とその周辺分野の研究
- Place of Presentation
  京都大学数理解析研究所, 京都府京都市
- Year and Date
  2016-12-07
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] Comprehensive Groebner systems for parametric Poincare-Birkhoff-Witt ideals2016
- Author(s)
  Katsuyoshi Ohara, Katsusuke Nabeshima, Shinichi Tajima
- Organizer
  Algebraic Statistics and Symbolic Computation
- Place of Presentation
  京都大学（京都府・京都市）
- Year and Date
  2016-07-25
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] パラメータ付きホロノミーD-加群とb-関数--mu-constant deformation の場合2016
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学会関数論分科会
- Place of Presentation
  関西大学, 大阪府吹田市
- Year and Date
  2016-09-15
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] パラメータ付き代数的局所コホモロジーとその応用2016
- Author(s)
  鍋島克輔
- Organizer
  Encounter with Mathematics
- Place of Presentation
  中央大学（東京都・文京区）
- Year and Date
  2016-02-20
- Invited
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] パラメトリック局所コホモロジーを用いたμ*の計算2016
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数式処理学会大会
- Place of Presentation
  福岡大学（福岡県・福岡市）
- Year and Date
  2016-06-03
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] Computer algebra and Bruce-Roberts Milnor numbers2016
- Author(s)
  伊澤毅, 鍋島克輔, 田島慎一
- Organizer
  数理解析研究所共同研究「数式処理の新たな発展-その最新研究と基礎理論の再構成-」
- Place of Presentation
  京都大学（京都府・京都市）
- Year and Date
  2016-09-07
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] 代数的局所コホモロジーを用いたlimiting tangent space の計算法と比較2016
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  数式処理の新たな発展
- Place of Presentation
  京都大学数理解析研究所, 京都府京都市
- Year and Date
  2016-09-07
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] b-関数の因子チェックを用いたパラメトリックb-関数の計算 - μ-constant deformation の場合-2016
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  数理解析研究所共研究「数式処理とその周辺分野の研究」
- Place of Presentation
  京都大学（京都府・京都市）
- Year and Date
  2016-12-07
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] Comprehensive Groebner systems in Poincare-Birkhoff-Witt algebra and Bernstein-Sato ideals2016
- Author(s)
  小原功任, 鍋島克輔, 田島慎一
- Organizer
  数理解析研究所研究集会「超局所解析と特異摂動論の新展開」
- Place of Presentation
  京都大学（京都府・京都市）
- Year and Date
  2016-10-03
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] 包括的グレブナー基底とパラメータつきb-関数の計算2016
- Author(s)
  小原功任, 鍋島克輔, 田島慎一
- Organizer
  第10回玉原特殊多様体研究集会
- Place of Presentation
  東京大学玉原国際セミナーハウス(群馬県・沼田市)
- Year and Date
  2016-09-26
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] パラメトリック局所コホモロジーを用いた mu* の計算2016
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数式処理学会
- Place of Presentation
  福岡大学, 福岡県福岡市
- Year and Date
  2016-06-03
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] Base change formula によるパラメータ付き多変数留数計算アルゴリズム2016
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  数理解析研究所共同研究「数式処理とその周辺分野の研究」
- Place of Presentation
  京都大学（京都府・京都市）
- Year and Date
  2016-12-07
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] 局所コホモロジーを用いたμ*列の計算法について2016
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学会総合分科会(函数論)
- Place of Presentation
  関西大学（大阪府・吹田市）
- Year and Date
  2016-09-15
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] パラメータ付き対数的ベクトル場と Bruce-Roberts ミルナー数の計算2016
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学会, 函数論分科会
- Place of Presentation
  筑波大学, 茨城県つくば市
- Year and Date
  2016-03-16
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] Transformation law によるパラメータ付き多変数留数計算アルゴリズム2016
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  数式処理とその周辺分野の研究
- Place of Presentation
  京都大学数理解析研究所, 京都府京都市
- Year and Date
  2016-12-07
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] Limiting tangent spaces と local cohomology2016
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  日本数学会, 函数論分科会
- Place of Presentation
  筑波大学, 茨城県つくば市
- Year and Date
  2016-03-16
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] 代数的局所コホモロジーを用いた Limiting Tangent Spaceの計算法と比較2016
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  数理解析研究所共同集会「数式処理の新たな発展-その最新研究と基礎理論の再構成-」
- Place of Presentation
  京都大学（京都府・京都市）
- Year and Date
  2016-09-07
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] パラメータ付きホロノミーD加群とb-関数 -μ-constant deformation の場合-2016
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学学会総合分科会 (函数論)
- Place of Presentation
  関西大学（大阪府・吹田市）
- Year and Date
  2016-09-15
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] 変形パラメータ付きホロノミーD-加群の計算法 -parametric Poincare Birkhoff-Witt 代数の利用-2016
- Author(s)
  鍋島克輔, 小原功任, 田島慎一
- Organizer
  日本数学会年会(函数論)
- Place of Presentation
  筑波大学（茨城県・つくば市）
- Year and Date
  2016-03-16
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] Comprehensive Groebner systems in rings of differential operators, holonomic D-modules and b-functions2016
- Author(s)
  Katsusuke Nabeshima, Katsuyoshi Ohara, Shinichi Tajima
- Organizer
  International Symposium on Symbolic and Algebraic Computation 2016
- Place of Presentation
  Wilfrid Laurier University (カナダ，Waterloo市)
- Year and Date
  2016-07-19
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] Computer algebra and Bruce-Roberts-Milnor numbers2016
- Author(s)
  伊澤毅, 鍋島克輔, 田島慎一
- Organizer
  数式処理の新たな発展
- Place of Presentation
  京都大学数理解析研究所, 京都府京都市
- Year and Date
  2016-09-07
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] パラメータ付き対数的ベクトル場とBruce-Roberts ミルナー数の計算2016
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学会年会(函数論)
- Place of Presentation
  筑波大学（茨城県・つくば市）
- Year and Date
  2016-03-16
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] 孤立特異点に付随する代数的局所コホモロジーの計算2016
- Author(s)
  鍋島克輔
- Organizer
  Encounter with Mathematics
- Place of Presentation
  中央大学（東京都・文京区）
- Year and Date
  2016-02-20
- Invited
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] Limiting tangent spaces とlocal cohomology2016
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  日本数学会年会(函数論)
- Place of Presentation
  筑波大学（茨城県・つくば市）
- Year and Date
  2016-03-16
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] グレブナー基底の安定性とパラメトリック・システム2016
- Author(s)
  鍋島克輔
- Organizer
  埼玉大学数学談話会
- Place of Presentation
  埼玉大学（埼玉県・さいたま市）
- Invited
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] 局所コホモロジーを用いた mu*-列の計算法について2016
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学会関数論分科会
- Place of Presentation
  関西大学, 大阪府吹田市
- Year and Date
  2016-09-15
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] On simple representation of locally closed sets2016
- Author(s)
  Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima
- Organizer
  Asian Technology Conference in Mathematics 2016
- Place of Presentation
  Suan Sunandha Rajabhat University (タイ，パッタヤ市)
- Year and Date
  2016-12-14
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] 包括的グレブナー基底とパラメータ付きb-関数の計算2016
- Author(s)
  鍋島克輔, 小原功任, 田島慎一
- Organizer
  Risa/Asir conference 2016
- Place of Presentation
  金沢大学（石川県・金沢市）
- Year and Date
  2016-03-28
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] 局所コホモロジーを用いたBruce-Roberts ミルナー数の計算法について2015
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  日本数学会函数論分科会
- Place of Presentation
  京都産業大学, 京都府京都市
- Year and Date
  2015-09-13
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] 超曲面に付随したホロノミーD-加群の計算アルゴリズムについてII2015
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  日本数学会総合分科会(函数論)
- Place of Presentation
  京都産業大学（京都府・京都市）
- Year and Date
  2015-09-13
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] 代数的局所コホモロジーを用いたスタンダード基底の項順序変換について II2015
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数式処理学会
- Place of Presentation
  筑波大学, 茨城県つくば市
- Year and Date
  2015-06-05
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] Logarithmic vector felds associated with hypersurface isolated singularities and local cohomology2015
- Author(s)
  Katsusuke Nabeshima and Shinichi Tajima
- Organizer
  Singularities in Generic Geometry and its Applications -Kobe-Kyoto 2015
- Place of Presentation
  神戸大学（兵庫県・神戸市）
- Year and Date
  2015-06-03
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] Bruce-Roberts ミルナー数の計算アルゴリズム2015
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  京都大学数理解析研究所共同研究「数式処理研究の新たな発展」
- Place of Presentation
  京都大学（京都府・京都市）
- Year and Date
  2015-08-19
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] 局所コホモロジーを用いたBruce-Roberts ミルナー数の計算法について2015
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  日本数学会総合分科会(函数論)
- Place of Presentation
  京都産業大学（京都府・京都市）
- Year and Date
  2015-09-13
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] 特異点の複素解析と局所コホモロジー2015
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  函数論シンポジウム
- Place of Presentation
  島根大学, 島根県松江市
- Year and Date
  2015-10-10
- Invited
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] グレブナー基底を用いた収束べき級数環上での拡張ideal membershipアルゴリズムについて2015
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  数式処理とその周辺分野の研究
- Place of Presentation
  京都大学数理解析研究所, 京都府京都市
- Year and Date
  2015-12-02
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] Bruce-Roberts ミルナー数の計算アルゴリズム2015
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  数式処理研究の新たな発展
- Place of Presentation
  京都大学数理解析研究所, 京都府京都市
- Year and Date
  2015-08-19
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] Solving extended ideal membership problems in rings of convergent series via Groebner bases2015
- Author(s)
  K. Nabeshima and S. Tajima
- Organizer
  Sixth International Conference on Mathematical Aspects of Computer and Information Sciences
- Place of Presentation
  Zuse Institute, Berlin, Germany
- Year and Date
  2015-11-11
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] 偏微分作用素環での包括的グレブナー基底とホロノミD-加群，b-関数2015
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  京都大学数理解析研究所共同研究「数式処理研究の新たな発展」
- Place of Presentation
  京都大学（京都府・京都市）
- Year and Date
  2015-08-19
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] 特異点の複素解析と局所コホモロジー2015
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  第 58 回日本数学会函数論シンポジウム
- Place of Presentation
  島根大学（島根県・松江市)
- Year and Date
  2015-11-10
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] 代数的局所コホモロジーを用いたスタンダード基底の項順序変換についてII2015
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  第24回日本数式処理学会大会
- Place of Presentation
  筑波大学（茨城県・つくば市）
- Year and Date
  2015-06-05
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] 偏微分作用素環での包括的グレブナー基底とホロノミーD-加群, b-関数2015
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  数式処理研究の新たな発展
- Place of Presentation
  京都大学数理解析研究所, 京都府京都市
- Year and Date
  2015-08-19
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] Computing logarithmic vector fields associated with parametric semi-quasihomogeneous hypersurface isolated singularities2015
- Author(s)
  K. Nabeshima and S. Tajima
- Organizer
  Singularities in Generic Geometry and Applications
- Place of Presentation
  Kobe Univ. 兵庫県神戸市
- Year and Date
  2015-07-06
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] Efficient computation of algebraic local cohomology classes and change of ordering for zero-dimensional standard bases,2015
- Author(s)
  K. Nabeshima and S. Tajima
- Organizer
  Computer Algebra in Scientific Computing
- Place of Presentation
  Aachen University, Aahen, Germany
- Year and Date
  2015-09-14
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K04891
[Presentation] 超曲面に付随したホロノミーD-加群の計算アルゴリズムについてI2015
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  日本数学会総合分科会(函数論)
- Place of Presentation
  京都産業大学（京都府・京都市）
- Year and Date
  2015-09-13
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] Limiting tangent spaces, Teissier sequences μ* and parametric local cohomology2015
- Author(s)
  Shinichi Tajima, Katsusuke Nabeshima
- Organizer
  The sixth Japanese-Australian Workshop on Real and Complex Singularities
- Place of Presentation
  鹿児島大学（鹿児島県・鹿児島市)
- Year and Date
  2015-11-23
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] グレブナー基底を用いた収束べき級数環上での拡張ideal membershipアルゴリズムについて2015
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  京都大学数理解析研究所共同研究「数式処理とその周辺分野の研究 — Computer Algebra and Related Topics」
- Place of Presentation
  京都大学（京都府・京都市）
- Year and Date
  2015-12-02
- Data Source
  KAKENHI-PROJECT-15K17513
[Presentation] パラメータ付き局所コホモロジーを利用した対数的ベクトル場の計算について2014
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学会函数論分科会
- Place of Presentation
  東京都, 学習院大学
- Data Source
  KAKENHI-PROJECT-24540162
[Presentation] 代数的局所コホモロジーを用いたスタンダード基底の項順序変換について2014
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数式処理学会
- Place of Presentation
  徳島大学, 徳島市
- Year and Date
  2014-05-31
- Data Source
  KAKENHI-PROJECT-24540162
[Presentation] パラメータ付き対数的ベクトル場と局所コホモロジーについて2014
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  数式処理研究の新たな発展
- Place of Presentation
  京都大学数理解析研究所, 京都市
- Year and Date
  2014-08-21
- Data Source
  KAKENHI-PROJECT-24540162
[Presentation] On the computation of Tjurina stratification using algebraic local cohomology classes associated with semiquasihomogeneous singularities2013
- Author(s)
  K. Nabeshima and S. Tajima
- Organizer
  Asian Mathematical Conference
- Place of Presentation
  Busan, Korea
- Data Source
  KAKENHI-PROJECT-24540162
[Presentation] パラメータ付き局所コホモロジーを用いたTjurina stratificationの計算2013
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学会函数論分科会
- Place of Presentation
  松山市, 愛媛大学
- Data Source
  KAKENHI-PROJECT-24540162
[Presentation] μ-constant deformation 代数的局所コホモロジーを用いた Tjurina 数のパラメータ依存性の解析2013
- Author(s)
  鍋島克輔
- Organizer
  日本数学会中国・四国支部例会
- Place of Presentation
  高知大学(高知県)
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] $\mu$-constant deformation 代数的局所コホモロジーを用いたTjurina 数のパラメータ依存性の解析2013
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学会中国・四国支部例会
- Place of Presentation
  徳島大学, 徳島県徳島市
- Data Source
  KAKENHI-PROJECT-24540162
[Presentation] μ-constant deformation 代数的局所コホモロジーを用いた Tjurina 数のパラメータ依存性の解析2013
- Author(s)
  鍋島克輔 , 田島慎一
- Organizer
  日本数学会中国・四国支部例会
- Place of Presentation
  高知大学 (高知県)
- Year and Date
  2013-01-27
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] CGS と minimal CGS の計算について2012
- Author(s)
  鍋島克輔
- Organizer
  第4回日本数式処理学会理論分科会&システム分科会合同研究会
- Place of Presentation
  仙台青葉カルチャーセンター (宮城県)
- Year and Date
  2012-01-21
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] CGSとminimal CGSの計算について2012
- Author(s)
  鍋島克輔
- Organizer
  第4回日本数式処理学会理論分科会&システム分科会合同研究会
- Place of Presentation
  仙台青葉カルチャーセンター(宮城県)
- Year and Date
  2012-01-22
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] Stability conditions of monomial bases and Comprehensive Groebner systems2012
- Author(s)
  Katsusuke Nabeshima
- Organizer
  The 14th International Workshop on Computer Algebra in Scientific Computing
- Place of Presentation
  University of Maribor（スロベニア）
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] μ-constant deformation に対する代数的局所コホモロジーとTjurina stratification2012
- Author(s)
  鍋島克輔
- Organizer
  数理解析研究所研究集会「 Computer Algebra-Degign of Algorithm, Implementations and the Next Grneration」
- Place of Presentation
  京都大学 (京都府)
- Year and Date
  2012-12-26
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] μ-constant deformation に対する代数的局所コホモロジーとTjurina stratification2012
- Author(s)
  鍋島克輔
- Organizer
  数理解析研究所研究集会「Computer Algebra-Degign of Algorithm, Implementations and the Next Grneration」
- Place of Presentation
  京都大学（京都府）
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] Algebraic local cohomology classes associated with semi-quasihomogeneous singularities2012
- Author(s)
  K. Nabeshima and S. Tajima
- Organizer
  The Tenth Asian Symposium on Computer Mathematics
- Place of Presentation
  Beijing, China
- Data Source
  KAKENHI-PROJECT-24540162
[Presentation] On the computation for algebraic local cohomogies associated with semi-quasihomogeneous singularities2011
- Author(s)
  鍋島克輔
- Organizer
  The 6th Franco-Japan Symposium on Singularities
- Place of Presentation
  九州大学(福岡県)
- Year and Date
  2011-09-05
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] 半擬斉次孤立特異点に付随する代数的局所コホモロジーについて2011
- Author(s)
  鍋島克輔
- Organizer
  2011年度日本数学会秋季総合分科会(函数論)
- Place of Presentation
  信州大学(長野県)
- Year and Date
  2011-10-01
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] Semi-quasihomogeneous isolated singularity に付随する代数的局所コホモロジーについて2011
- Author(s)
  鍋島克輔 , 田島慎一
- Organizer
  日本数式処理学会
- Place of Presentation
  神戸大学, (兵庫県)
- Year and Date
  2011-09-08
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] Semi-quasihomogeneous isolated sungularityに付随する代数的局所コホモロジーについて2011
- Author(s)
  鍋島克輔
- Organizer
  第20回日本数式処理学会
- Place of Presentation
  神戸大学(兵庫県)
- Year and Date
  2011-09-11
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] イデアルはいつ安定か?2011
- Author(s)
  鍋島克輔
- Organizer
  JST CREST 「現代社会の産業とグレブナー基底の調和」若手研究集会
- Place of Presentation
  山口大学 (山口県)
- Year and Date
  2011-02-15
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] 半擬斉次孤立特異点に付随する代数的局所コホモロジーについて2011
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学会秋季総合分科会(函数論)
- Place of Presentation
  信州大学 (長野県)
- Year and Date
  2011-09-29
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] On the computation for algebraic local cohomogies associated with semi-quasihomogeneous singularities2011
- Author(s)
  Katsusuke Nabeshima and Tajima Shinichi
- Organizer
  The 6th Franco-Japan Symposium on Singularities
- Place of Presentation
  Kyushu University (福岡県)
- Year and Date
  2011-09-05
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] パラメータ付き代数的局所コホモロジーの計算について--半擬斉次の場合--2011
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  数理解析研究所研究集会「 Computer Algebra-Degign of Algorithm, Implementations and the Next Generation]
- Place of Presentation
  京都大学 (京都府)
- Year and Date
  2011-12-08
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] パラメータ付き代数的局所コホモロジーの計算について--半擬斉次の場合--2011
- Author(s)
  鍋島克輔
- Organizer
  京都大学数理解析研究所研究集会「Computer Algebra-Degign of Algorithm, Implementations and the Next Grneration]
- Place of Presentation
  京都大学(京都府)
- Year and Date
  2011-12-08
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] イデアルはいつ安定か?---強い安定条件を探そう!---2011
- Author(s)
  鍋島克輔
- Organizer
  JST CREST「現代社会の産業とグレブナー基底の調和」若手研究集会
- Place of Presentation
  山口大学
- Year and Date
  2011-02-17
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] On an Implementation of Standard Bases and Grobner Bases Using Algebraic Local Cohomology2010
- Author(s)
  鍋島克輔, 中村弥生, 田島慎一
- Organizer
  京都大学数理解析研究所研究集会「実閉体上の幾何と特異点論への応用」
- Place of Presentation
  京都大学,数理解析研究所
- Year and Date
  2010-12-02
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] CGS を用いた共振条件導出2010
- Author(s)
  鍋島克輔, 吉田寛
- Organizer
  日本数式処理学会大会
- Place of Presentation
  名古屋大学 (愛知県)
- Year and Date
  2010-06-13
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] CGSを用いた共振条件導出2010
- Author(s)
  鍋島克輔, 吉田寛
- Organizer
  第19回日本数式処理学会大会
- Place of Presentation
  名古屋大学
- Year and Date
  2010-06-13
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] Using Algebraic Local Cohomology with Parameters2010
- Author(s)
  鍋島克輔, 中村弥生, 田島慎一
- Organizer
  International Conference on Applications of Computer Algebra
- Place of Presentation
  University of Vlore(アルバニア)
- Year and Date
  2010-06-27
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] ブーリアン・グレブナー基底2010
- Author(s)
  鍋島克輔
- Organizer
  JST CREST 「現代社会の産業とグレブナー基底の調和」若手研究集会
- Place of Presentation
  神戸大学 (兵庫県)
- Year and Date
  2010-09-09
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] On an implementation of standard bases and Grobner bases using algebraic local cohomology2010
- Author(s)
  鍋島克輔, 中村弥生, 田島慎一
- Organizer
  数理解析研究所研究集会「実閉体上の幾何と特異点論への応用」
- Place of Presentation
  京都大学 (京都府)
- Year and Date
  2010-12-02
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] Derivation of resonant conditions with CGS2010
- Author(s)
  鍋島克輔, 吉田寛
- Organizer
  International Conference on Applications of Computer Algebra
- Place of Presentation
  University of Vlore(アルバニア)
- Year and Date
  2010-06-27
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] CGS 計算アルゴリズムのさらなる改良2010
- Author(s)
  鍋島克輔
- Organizer
  数理解析研究所研究集会「Computer Algebra -Design of Algorithms, Implementations and Applications」
- Place of Presentation
  京都大学 (京都府)
- Year and Date
  2010-12-03
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] Using algebraic local cohomology with parameters2010
- Author(s)
  Katsusuke Nabeshima, Nakamura Yayoiand Tajima Shinichi
- Organizer
  International Conference on Applications of Computer Algebra (ACA 10)
- Place of Presentation
  University of Vlora (アルバニア)
- Year and Date
  2010-06-25
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] ダレブナー基底とその応用--集合制約と共振について--2010
- Author(s)
  鍋島克輔
- Organizer
  徳島数学談話会
- Place of Presentation
  徳島大学
- Year and Date
  2010-12-17
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] ブーリアン・グレブナー基底2010
- Author(s)
  鍋島克輔
- Organizer
  JST CREST「現代社会の産業とグレブナー基底の調和」若手研究集会
- Place of Presentation
  神戸大学
- Year and Date
  2010-10-10
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] グレブナー基底とその応用-- 集合制約と共振について--2010
- Author(s)
  鍋島克輔
- Organizer
  徳島数学談話会
- Place of Presentation
  徳島大学(徳島県)
- Year and Date
  2010-12-17
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] CGS計算アルゴリズムのさらなる改良2010
- Author(s)
  鍋島克輔
- Organizer
  京都大学数理解析研究所研究集会「Computer Algebra-Design of Algorithms, Implementations and Applications」
- Place of Presentation
  京都大学,数理解析研究所
- Year and Date
  2010-12-01
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] Derivation of resonant conditions with CGS2010
- Author(s)
  Katsusuke Nabeshima and Yoshida Hiroshi
- Organizer
  International Conference on Applications of Computer Algebra (ACA10)
- Place of Presentation
  University of Vlora (アルバニア)
- Year and Date
  2010-06-25
- Data Source
  KAKENHI-PROJECT-22740065
[Presentation] On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases
- Author(s)
  K. Nabeshima and S. Tajima
- Organizer
  ISSAC 2014
- Place of Presentation
  Kobe Univ. 神戸市
- Year and Date
  2014-07-23 – 2014-07-25
- Data Source
  KAKENHI-PROJECT-24540162
[Presentation] 代数的局所コホモロジーを用いたパラメータ付き拡張ideal membership判定アルゴリズム
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  数式処理とその周辺分野の研究
- Place of Presentation
  京都大学数理解析研究所, 京都市
- Year and Date
  2014-12-24 – 2014-12-26
- Data Source
  KAKENHI-PROJECT-24540162
[Presentation] 収束冪級数環におけるintegral dependence relationと局所コホモロジー
- Author(s)
  田島慎一, 鍋島克輔
- Organizer
  日本数学会函数論分科会
- Place of Presentation
  明治大学, 東京
- Year and Date
  2015-03-21 – 2015-03-24
- Data Source
  KAKENHI-PROJECT-24540162
[Presentation] An algorithm for computing standard bases by change of ordering via algebraic local cohomology
- Author(s)
  K. Nabeshima and S. Tajima
- Organizer
  The 4th International Congress on Mathematical Software
- Place of Presentation
  Hanyang Univ., Seoul, Korea
- Year and Date
  2014-08-05 – 2014-08-09
- Data Source
  KAKENHI-PROJECT-24540162
[Presentation] 局所環におけるextended ideal membershipアルゴリズムについて
- Author(s)
  鍋島克輔, 田島慎一
- Organizer
  日本数学会函数論分科会
- Place of Presentation
  明治大学, 東京
- Year and Date
  2015-03-21 – 2015-03-25
- Data Source
  KAKENHI-PROJECT-24540162
[Presentation] An algorithm for computing Tjurina stratifications of $\mu$-constant deformations using algebraic local cohomology
- Author(s)
  K. nabeshima and S. Tajima
- Organizer
  The 4th International Congress on Mathematical Software
- Place of Presentation
  Hanyang Univ., Seoul, Korea
- Year and Date
  2014-08-05 – 2014-08-09
- Data Source
  KAKENHI-PROJECT-24540162

1. TAJIMA Shinichi (70155076)

# of Collaborated Projects: 6 results

# of Collaborated Products: 204 results
2. OHARA Katsuyoshi (00313635)

# of Collaborated Projects: 3 results

# of Collaborated Products: 2 results
3. Shibuta Takafumi (40648200)

# of Collaborated Projects: 3 results

# of Collaborated Products: 5 results
4. Umeta Yoko (90606386)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
5. OAKU Toshinori (60152039)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. NAKAMURA Yayoi (60388494)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
7. Teramoto Hiroshi (90463728)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
8. 福井敏純 (90218892)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 山崎晋 (00349953)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. 加葉田雄太朗 (40830097)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. 泉屋周一 (80127422)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Nabeshima Katsusuke 鍋島 克輔

NABESHIMA Katsusuke 鍋島 克輔

Research Projects

Research Products

Co-Researchers

Creating a new theory of computer algebra with duality spacesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Algebraic analysis of deformations of non-isolated singularities, computational complex analysis and algorithms

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Automation of Classification of Singularity by using Comprehensive Groebner Systems

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Efficient algorithms in computational algebraic analysis and deformations of singularitiesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Algebraic aanalysis of non-isolated singularities and computational complex analysis algorithms

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Computational complex analysis and algebraic analysis of singularities

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Applications of algebraic local cohomology to hypersurface singularitiesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Computational Complex Analysis of logarithmic vector fields, singular varieties and Algebraic Analysis Algorithms

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Algorithms for systems of parametric polynomialsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] 多項式函数のbifurcation setの計算法I2023

Author(s)

Journal Title

Data Source

[Journal Article] Comprehensive standard system for generalized mixed module and its application to singularity theory2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Computing holonomic D-modules associated to a family of non-isolated hypersurface singularities via comprehensive Groebner systems of PBW algebra2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] CSSg method for several genericities of parametric systems2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Generic Groebner basis of a parametric ideal and its application to a comprehensive Groebner system2023

Author(s)

Nabeshima Katsusuke 鍋島克輔

NABESHIMA Katsusuke 鍋島克輔