鍋島克輔 Nabeshima Katsusuke

研究者番号	00572629
その他のID
所属 (現在)	2025年度: 東京理科大学, 理学部第一部応用数学科, 教授
所属 (過去の研究課題情報に基づく) *注記	2021年度 – 2023年度: 東京理科大学, 理学部第一部応用数学科, 准教授 2017年度 – 2021年度: 徳島大学, 大学院社会産業理工学研究部(理工学域), 准教授 2016年度: 徳島大学, 大学院理工学研究部, 准教授 2015年度: 徳島大学, ソシオ・アーツ・アンド・サイエンス研究部, 准教授 2015年度: 徳島大学, 大学院ソシオ・アーツ・アンド・サイエンス研究部, 准教授 … もっと見る 2014年度: 徳島大学, ソシオ・アーツ・アンド・サイエンス部, 准教授 2014年度: 徳島大学, ソシオアーツ・アンド・サイエンス研究部, 准教授 2013年度: 徳島大学, 大学院, ソシオアーツ・アンド・サイエンス研究部, 准教授 2012年度: 徳島大学, ソシオアーツ・アンド・サイエンス研究部, 准教授 2012年度: 徳島大学, 大学院ソシオ・アーツ・アンド・サイエンス研究部, 准教授 2010年度 – 2012年度: 徳島大学, 大学院・ソシオ・アーツ・アンド・サイエンス研究部, 准教授隠す
審査区分/研究分野	研究代表者小区分11010:代数学関連 / 代数学 / 数学一般(含確率論・統計数学) 研究代表者以外小区分12010:基礎解析学関連 / 小区分11020:幾何学関連 / 解析学基礎 / 基礎解析学
キーワード	研究代表者グレブナー基底 / 代数的局所コホモロジー / 特異点 / 計算機代数 / 特異点変形 / ネター作用素 / 対数的ベクトル場 / 局所コホモロジー / D加群 / b-関数 … もっと見る / Bernstein-佐藤多項式 / 包括的グレブナー基底系 / 包括的グレブナー基底 / アルゴリズム / 双対空間 / イデアル所属問題 / integral dependence / 半擬斉次孤立特異点 / 包括的スタンダード基底系 / パラメトリックシステム / 半擬斉次特異点 / 超曲面孤立特異点 / パラメータ付きシステム / ミルナー数 / チュリナ数 / limiting tangent space / ミルナー数の列 / 代数的局所コホモロジー類 / 特異点変形アルゴリズム / グロタンディーク留数 / 対数的ベクトル場の計算 / local Euler obstruction / 変形チュリナ数 / Limiting tangnet space / 孤立特異点 / 記号計算 / 標準基底 / パラメータ / 代数計算 / 数式処理 / 代数学 / 情報基礎 / 関数論 … もっと見る研究代表者以外特異点 / 局所コホモロジー / ホロノミーD-加群 / アルゴリズム / 代数解析 / 対数的ベクトル場 / 複素解析 / local cohomology / ネター作用素 / b-関数 / 特異点変形 / 変形族 / 非孤立特異点 / 応用特異点論 / 包括的グレブナー系 / 発散図式 / 計算代数 / 実限量化子消去 / グレブナー基底 / 多目的最適化 / 包括的標準系 / 混合加群 / 特異点論 / algorithm / holonomic D-module / Bruce-Roberts-MIlnor数 / torsion微分形式 / 特異点変形族 / 多変数留数 / Le numbers / integral number / スタンダード基底 / D-加群 / 国際情報交換 / 広義固有ベクトル / 最小消去多項式 / モノドロミー / Tjurina数隠す

双対空間を利用した新たな計算機代数学の構築研究代表者
- 研究代表者
  
  鍋島克輔
- 研究期間 (年度)
  2023 – 2026
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分11010:代数学関連
- 研究機関
  東京理科大学
非孤立特異点変形族の代数解析と計算複素解析アルゴリズム
- 研究代表者
  
  田島慎一
- 研究期間 (年度)
  2022 – 2026
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分12010:基礎解析学関連
- 研究機関
  新潟大学
包括的グレブナー基底系を用いた特異点分類の自動化
- 研究代表者
  
  寺本央
- 研究期間 (年度)
  2019 – 2023
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分11020:幾何学関連
- 研究機関
  関西大学
   北海道大学
計算代数解析アルゴリズムの効率化と特異点変形への応用研究代表者
- 研究代表者
  
  鍋島克輔
- 研究期間 (年度)
  2018 – 2022
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分11010:代数学関連
- 研究機関
  東京理科大学
   徳島大学
非孤立特異点の代数解析と計算複素解析アルゴリズム
- 研究代表者
  
  田島慎一
- 研究期間 (年度)
  2018 – 2021
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分12010:基礎解析学関連
- 研究機関
  新潟大学
特異点の計算複素解析と代数解析アルゴリズム
- 研究代表者
  
  田島慎一
- 研究期間 (年度)
  2015 – 2017
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  解析学基礎
- 研究機関
  筑波大学
代数的局所コホモロジーを利用した特異点解析プログラムの構築研究代表者
- 研究代表者
  
  鍋島克輔
- 研究期間 (年度)
  2015 – 2017
- 研究種目
  
  若手研究(B)
- 研究分野
  
  代数学
- 研究機関
  徳島大学
対数的ベクトル場と特異多様体の計算複素解析と代数解析アルゴリズム
- 研究代表者
  
  田島慎一
- 研究期間 (年度)
  2012 – 2014
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  基礎解析学
- 研究機関
  筑波大学
パラメータ付き多項式の数式処理とその応用研究代表者
- 研究代表者
  
  鍋島克輔
- 研究期間 (年度)
  2010 – 2012
- 研究種目
  
  若手研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  徳島大学

すべて 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 その他

すべて雑誌論文学会発表

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

1. 田島慎一 (70155076)

共同の研究課題数: 6件

共同の研究成果数: 204件
2. 小原功任 (00313635)

共同の研究課題数: 3件

共同の研究成果数: 2件
3. 渋田敬史 (40648200)

共同の研究課題数: 3件

共同の研究成果数: 5件
4. 梅田陽子 (90606386)

共同の研究課題数: 3件

共同の研究成果数: 0件
5. 大阿久俊則 (60152039)

共同の研究課題数: 2件

共同の研究成果数: 0件
6. 中村弥生 (60388494)

共同の研究課題数: 1件

共同の研究成果数: 1件
7. 寺本央 (90463728)

共同の研究課題数: 1件

共同の研究成果数: 3件
8. 福井敏純 (90218892)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 山崎晋 (00349953)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 加葉田雄太朗 (40830097)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 泉屋周一 (80127422)

共同の研究課題数: 1件

共同の研究成果数: 0件

鍋島 克輔 Nabeshima Katsusuke

研究課題

研究成果

共同研究者

双対空間を利用した新たな計算機代数学の構築研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

非孤立特異点変形族の代数解析と計算複素解析アルゴリズム

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

包括的グレブナー基底系を用いた特異点分類の自動化

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

非孤立特異点の代数解析と計算複素解析アルゴリズム

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

特異点の計算複素解析と代数解析アルゴリズム

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

代数的局所コホモロジーを利用した特異点解析プログラムの構築研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

対数的ベクトル場と特異多様体の計算複素解析と代数解析アルゴリズム

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

パラメータ付き多項式の数式処理とその応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] 多項式函数のbifurcation setの計算法I2023

著者名/発表者名

雑誌名

データソース

[雑誌論文] Comprehensive standard system for generalized mixed module and its application to singularity theory2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Computing holonomic D-modules associated to a family of non-isolated hypersurface singularities via comprehensive Groebner systems of PBW algebra2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] CSSg method for several genericities of parametric systems2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Generic Groebner basis of a parametric ideal and its application to a comprehensive Groebner system2023

著者名/発表者名

雑誌名

鍋島克輔 Nabeshima Katsusuke