• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

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

研究課題

研究課題/領域番号 18K03214
研究種目

基盤研究(C)

配分区分基金
応募区分一般
審査区分 小区分11010:代数学関連
研究機関東京理科大学 (2021-2022)
徳島大学 (2018-2020)

研究代表者

鍋島 克輔  東京理科大学, 理学部第一部応用数学科, 准教授 (00572629)

研究期間 (年度) 2018-04-01 – 2023-03-31
研究課題ステータス 完了 (2022年度)
配分額 *注記
4,030千円 (直接経費: 3,100千円、間接経費: 930千円)
2021年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2020年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2019年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2018年度: 1,820千円 (直接経費: 1,400千円、間接経費: 420千円)
キーワード包括的グレブナー基底系 / ネター作用素 / 代数的局所コホモロジー / Bernstein-佐藤多項式 / 超曲面孤立特異点 / 半擬斉次特異点 / パラメトリックシステム / 特異点変形 / 対数的ベクトル場 / 包括的スタンダード基底系 / 計算機代数 / 特異点 / b-関数 / グレブナー基底 / 半擬斉次孤立特異点 / integral dependence / イデアル所属問題 / D加群
研究成果の概要

超曲面の孤立特異点を解析するための多くの計算アルゴリズムを得ることができた。当初の目的であった、半擬斉次孤立特異点の変形により、『どのように特異点の解析的不変量であるBernstein-佐藤多項式が変化するのか』を自動的に計算するアルゴリズムの研究とプログラムの開発を、PBW代数上の包括的グレブナー基底系を用いて行った。この方法ではinner modality2の特異点は計算できるが、更に複雑な特異点の計算はできなかったので,他の方法として矢野-加藤の計算法を現在の技術で現実化することができた。
また、世界最速のネター作用素計算アルゴリズムの導出とプログラムの開発も行った。

研究成果の学術的意義や社会的意義

特異点は,数学の多くの分野で研究されている重要なテーマである。本研究では、この特異点の性質を解析するための計算法の研究を行い、多くの成果が得られた。自動的に特異点変形を計算するアルゴリズムの研究を主テーマとしたが,そのテーマに付随した数多くの性質の計算法も本研究では得られている。計算機代数学、特異点論、計算機科学を融合したユニークな研究であり、この研究により今まで計算できなかったものが数多く計算できるようになった。実際、計算により多くの特異点を解析することができるようなっている。また、プログラムは公開されているので他の多くの研究者も容易に使うことができ、今後の研究に役立ち意義が大いにある。

報告書

(6件)
  • 2022 実績報告書   研究成果報告書 ( PDF )
  • 2021 実施状況報告書
  • 2020 実施状況報告書
  • 2019 実施状況報告書
  • 2018 実施状況報告書
  • 研究成果

    (74件)

すべて 2023 2022 2021 2020 2019 2018

すべて 雑誌論文 (28件) (うち査読あり 20件、 オープンアクセス 9件) 学会発表 (46件) (うち国際学会 14件、 招待講演 3件)

  • [雑誌論文] 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

    • 関連する報告書
      2022 実績報告書
    • 査読あり
  • [雑誌論文] 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

    • 関連する報告書
      2022 実績報告書
    • 査読あり
  • [雑誌論文] 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

    • 関連する報告書
      2022 実績報告書
    • 査読あり
  • [雑誌論文] 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

    • 関連する報告書
      2022 実績報告書 2021 実施状況報告書
    • 査読あり
  • [雑誌論文] CSSg method for several genericities of deformations of hypersurface singularities2022

    • 著者名/発表者名
      鍋島克輔, 田島慎一
    • 雑誌名

      数理解析研究所講究録

      巻: 2226 ページ: 1-15

    • 関連する報告書
      2022 実績報告書
    • オープンアクセス
  • [雑誌論文] グレブナ―基底の安定条件を求める新たな戦略2022

    • 著者名/発表者名
      鍋島克輔
    • 雑誌名

      数理解析研究所講究録

      巻: 2224 ページ: 59-69

    • 関連する報告書
      2022 実績報告書
    • オープンアクセス
  • [雑誌論文] 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
    • 関連する報告書
      2021 実施状況報告書
    • 査読あり
  • [雑誌論文] 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

    • 関連する報告書
      2021 実施状況報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] 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

    • 関連する報告書
      2021 実施状況報告書 2020 実施状況報告書
    • 査読あり
  • [雑誌論文] 零次元準素イデアルのネター作用素の計算と応用 --- 新たなる数式処理をめざして ---2021

    • 著者名/発表者名
      鍋島克輔、 田島慎一
    • 雑誌名

      数理解析研究所講究録

      巻: 2185 ページ: 1-15

    • NAID

      120007141778

    • 関連する報告書
      2021 実施状況報告書
    • オープンアクセス
  • [雑誌論文] 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

    • 関連する報告書
      2020 実施状況報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] 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
    • 関連する報告書
      2020 実施状況報告書
    • 査読あり
  • [雑誌論文] 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

    • 関連する報告書
      2020 実施状況報告書
    • 査読あり
  • [雑誌論文] 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

    • 関連する報告書
      2021 実施状況報告書 2020 実施状況報告書
    • 査読あり
  • [雑誌論文] 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
    • 関連する報告書
      2020 実施状況報告書
    • 査読あり
  • [雑誌論文] 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
    • 関連する報告書
      2020 実施状況報告書
    • 査読あり
  • [雑誌論文] 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

    • 関連する報告書
      2020 実施状況報告書
    • 査読あり
  • [雑誌論文] Standard Basis for Mixed Module, Computational Algorithm and Application to Classification Problems in Singularity Theory2020

    • 著者名/発表者名
      Hiroshi Taramoto、Katsusuke Nabeshima
    • 雑誌名

      数理解析研究所講究録

      巻: 2156 ページ: 16-32

    • NAID

      120006956700

    • 関連する報告書
      2020 実施状況報告書
    • オープンアクセス
  • [雑誌論文] 孤立特異点を持つcomplete intersection に沿う対数的ベクトル場の計算法について2020

    • 著者名/発表者名
      田島慎一、渋田敬史、 鍋島克輔
    • 雑誌名

      数理解析研究所講究録

      巻: 2156 ページ: 1-15

    • 関連する報告書
      2020 実施状況報告書
    • オープンアクセス
  • [雑誌論文] Moving curve ideal, Rees algebra and local cohomology2020

    • 著者名/発表者名
      田島慎一、鍋島克輔
    • 雑誌名

      数理解析研究所講究録

      巻: 2159 ページ: 179-187

    • 関連する報告書
      2020 実施状況報告書
    • オープンアクセス
  • [雑誌論文] 半擬斉次特異点の性質を利用したAnn(f^s)とb-関数の計算2020

    • 著者名/発表者名
      鍋島克輔、田島慎一
    • 雑誌名

      数理解析研究所講究録

      巻: 2159 ページ: 188-199

    • 関連する報告書
      2020 実施状況報告書
    • オープンアクセス
  • [雑誌論文] 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
    • 関連する報告書
      2019 実施状況報告書
    • 査読あり
  • [雑誌論文] 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
    • 関連する報告書
      2019 実施状況報告書
    • 査読あり
  • [雑誌論文] 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

    • 関連する報告書
      2019 実施状況報告書
    • 査読あり
  • [雑誌論文] 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

    • 関連する報告書
      2019 実施状況報告書
    • 査読あり
  • [雑誌論文] 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

    • 関連する報告書
      2019 実施状況報告書
    • 査読あり
  • [雑誌論文] 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

    • 関連する報告書
      2019 実施状況報告書
    • 査読あり
  • [雑誌論文] 収束冪級数環における generalized integral dependence relation の計算について2019

    • 著者名/発表者名
      鍋島克輔, 田島慎一
    • 雑誌名

      数理解析研究所講究録

      巻: 2104 ページ: 78-85

    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] Yano-Kato method for computing s-parametric annihilators using modern computer algebra techniques2023

    • 著者名/発表者名
      鍋島克輔, 田島慎一
    • 学会等名
      Risa/Asir conference 2023
    • 関連する報告書
      2022 実績報告書
  • [学会発表] デアル商を用いた包括的グレブナー基底系計算について2022

    • 著者名/発表者名
      鍋島克輔
    • 学会等名
      第31回日本数式処理学会大会
    • 関連する報告書
      2022 実績報告書
  • [学会発表] A deterministic method for computing Bertini type invariants of parametric ideals2022

    • 著者名/発表者名
      Tajima Shinichi、Nabeshima Katsusuke
    • 学会等名
      International Conference on Applications of Computer Algebra (ACA’2023)
    • 関連する報告書
      2022 実績報告書
    • 国際学会
  • [学会発表] 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)
    • 関連する報告書
      2022 実績報告書
    • 国際学会
  • [学会発表] ゼロ次元イデアルのネター作用素について2022

    • 著者名/発表者名
      鍋島克輔 , 田島慎一
    • 学会等名
      日本数学会秋季総合分科会(代数学)
    • 関連する報告書
      2022 実績報告書
  • [学会発表] 多変数函数のbifurcation set の計算法2022

    • 著者名/発表者名
      田島慎一, 鍋島克輔
    • 学会等名
      数理解析研究所共同研究(公開型)「Computer Algebra -Foundations and Applications」
    • 関連する報告書
      2022 実績報告書
  • [学会発表] Noetherian operators of positive dimensional ideals and hypersurface singularities2022

    • 著者名/発表者名
      鍋島克輔 , 田島慎一
    • 学会等名
      数理解析研究所共同研究(公開型)「Computer Algebra -Foundations and Applications」
    • 関連する報告書
      2022 実績報告書
  • [学会発表] 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
    • 関連する報告書
      2022 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] Computer algebra techniques for analyzing parametric polynomial systems2022

    • 著者名/発表者名
      Nabeshima Katsusuke
    • 学会等名
      RISM-Sing 4 Workshop, Classification problems in singularity theory and their applications
    • 関連する報告書
      2022 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] 代数的局所コホモロジーを用いた準素イデアル分解について2022

    • 著者名/発表者名
      鍋島克輔
    • 学会等名
      Risa/Asir Conference 2022
    • 関連する報告書
      2021 実施状況報告書
  • [学会発表] グレブナー基底の安定条件を求める新たな戦2021

    • 著者名/発表者名
      鍋島克輔
    • 学会等名
      京都大学数理解析研究所共同研究,「Computer Algebra -- Theory and its Applications」
    • 関連する報告書
      2021 実施状況報告書
  • [学会発表] CSSg method for several genericities of deformation of hypersurface singularities2021

    • 著者名/発表者名
      鍋島克輔, 田島慎一
    • 学会等名
      京都大学数理解析研究所共同研究,「可微分写像の特異点論とその応用 」
    • 関連する報告書
      2021 実施状況報告書
  • [学会発表] 孤立特異点を持つcomplete intersectionのMilnor数のdeterministicな計算法について---auxiliary indeterminatesの利用---2021

    • 著者名/発表者名
      鍋島克輔、 田島慎一
    • 学会等名
      日本数学会秋季総合分科会(函数論)
    • 関連する報告書
      2021 実施状況報告書
  • [学会発表] Noetherian representations for zero-dimensional ideals2021

    • 著者名/発表者名
      Tajima Shinichi、Nabeshima Katsusuke
    • 学会等名
      International Conference on Applications of Computer Algebra
    • 関連する報告書
      2021 実施状況報告書
    • 国際学会
  • [学会発表] 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
    • 関連する報告書
      2021 実施状況報告書
    • 国際学会
  • [学会発表] ネター作用素を用いた零次元イデアルの準素イデアル分解と復元2021

    • 著者名/発表者名
      鍋島克輔、 田島慎一
    • 学会等名
      日本数式処理学会大会
    • 関連する報告書
      2021 実施状況報告書
  • [学会発表] 特異平面代数曲線に沿う対数的ベクトル場とCamacho-Sad-Suwa 指数について2021

    • 著者名/発表者名
      鍋島克輔, 田島慎一
    • 学会等名
      日本数学会年会(函数論),
    • 関連する報告書
      2020 実施状況報告書
  • [学会発表] 特異点変形に付随したk-不変量の計算2021

    • 著者名/発表者名
      鍋島克輔, 田島慎一
    • 学会等名
      日本数学会年会(函数論),
    • 関連する報告書
      2020 実施状況報告書
  • [学会発表] Versal unfoldings of singular holomorphic foliations --諏訪アルゴリズムの実装--2020

    • 著者名/発表者名
      鍋島克輔、田島慎一
    • 学会等名
      日本数学会秋季総合分科会(函数論)
    • 関連する報告書
      2020 実施状況報告書
  • [学会発表] D. Barlet のregular meromorphic differential forms とK. Saito のlogarithmic residues2020

    • 著者名/発表者名
      鍋島克輔、田島慎一
    • 学会等名
      日本数学会秋季総合分科会(函数論)
    • 関連する報告書
      2020 実施状況報告書
  • [学会発表] Computation of κ-invariants associated to deformations of isolated hypersurface singularities2020

    • 著者名/発表者名
      Katsusuke Nabeshima, Shinichi Tajima
    • 学会等名
      The 22nd International Workshop on Computer Algebra in Scientific Computing
    • 関連する報告書
      2020 実施状況報告書
    • 国際学会
  • [学会発表] 有理関数体上の包括的スタンダード基底系を用いた特異点変形による不変量の計算について2020

    • 著者名/発表者名
      鍋島克輔、田島慎一
    • 学会等名
      日本数式処理学会第29回大会
    • 関連する報告書
      2020 実施状況報告書
  • [学会発表] ネター作用素を用いた零次元準素イデアル成分の表現法と計算2020

    • 著者名/発表者名
      鍋島克輔, 田島慎一
    • 学会等名
      京都大学数理解析研究所共同研究,「Computer Algebra -- Theory and its Applications」
    • 関連する報告書
      2020 実施状況報告書
  • [学会発表] 立特異点を持つ complete intersection に沿う対数的ベクトル場の構成法2020

    • 著者名/発表者名
      田島慎一, 渋田敬史, 鍋島克輔
    • 学会等名
      日本数学会年会(函数論)
    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] 半擬斉次特異点の性質を利用したAnn(f^s)とb-関数の計算について2019

    • 著者名/発表者名
      鍋島克輔, 田島慎一
    • 学会等名
      京都大学数理解析研究所共同研究,「Computer Algebra -- Theory and its Applications」
    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] Moving curve ideal, Rees algebra and local cohomology2019

    • 著者名/発表者名
      田島慎一, 鍋島克輔
    • 学会等名
      京都大学数理解析研究所共同研究,「Computer Algebra -- Theory and its Applications」
    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] Computing logarithmic vector fields along an ICIS via Matlis duality2019

    • 著者名/発表者名
      田島慎一, 渋田敬史, 鍋島克輔
    • 学会等名
      京都大学数理解析研究所共同研究,「可微分写像の特異点論とその応用 」
    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] Standard Basis for Mixed Module, Computational Algorithm and Application to Classification Problems in Singularity Theory2019

    • 著者名/発表者名
      寺本央, 鍋島克輔
    • 学会等名
      京都大学数理解析研究所共同研究,「可微分写像の特異点論とその応用 」
    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] 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
    • 関連する報告書
      2019 実施状況報告書
    • 国際学会
  • [学会発表] 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
    • 関連する報告書
      2019 実施状況報告書
    • 国際学会
  • [学会発表] パラメトリックな連立代数方程式の根の連続性とBorderBasisとの関係II2019

    • 著者名/発表者名
      佐藤洋祐,関川浩,深作亮也, 鍋島克輔
    • 学会等名
      日本数式処理学会 理論分科会&システム分科会合同研究会
    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] 孤立特異点を持つ超曲面のTorsion微分形式について2019

    • 著者名/発表者名
      鍋島克輔, 田島慎一
    • 学会等名
      日本数学会秋季総合分科会(函数論)
    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] Testing zero-dimensionality of an variety at a point2019

    • 著者名/発表者名
      Katsusuke Nabeshima, Shinichi Tajima
    • 学会等名
      The 21st International Workshop on Computer Algebra in Scientific Computing
    • 関連する報告書
      2019 実施状況報告書
    • 国際学会
  • [学会発表] 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
    • 関連する報告書
      2019 実施状況報告書
    • 国際学会
  • [学会発表] パラメトリックな代数方程式の根の連続性とBorder Basisとの関係2019

    • 著者名/発表者名
      佐藤洋祐,関川浩,深作亮也, 鍋島克輔
    • 学会等名
      日本数式処理学会大会
    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] Computing parametric systems2019

    • 著者名/発表者名
      鍋島克輔
    • 学会等名
      Quantum Math
    • 関連する報告書
      2018 実施状況報告書
  • [学会発表] Chern-Schwartz-MacPherson class の計算法について2019

    • 著者名/発表者名
      鍋島 克輔, 田島 慎一
    • 学会等名
      日本数学年会(函数論)
    • 関連する報告書
      2018 実施状況報告書
  • [学会発表] ジェネリックな一次関数のブルース・ロバート・ミルナー数について2019

    • 著者名/発表者名
      鍋島 克輔, 田島 慎一
    • 学会等名
      日本数学年会(函数論)
    • 関連する報告書
      2018 実施状況報告書
  • [学会発表] イデアル商を用いた点での多様体の次元判定2019

    • 著者名/発表者名
      鍋島 克輔, 田島 慎一
    • 学会等名
      Risa/Asir conference 2019
    • 関連する報告書
      2018 実施状況報告書
  • [学会発表] 超曲面の孤立特異点に沿った対数的ベクトル場と応用2018

    • 著者名/発表者名
      鍋島克輔, 田島慎一
    • 学会等名
      第27回日本数式処理学会大会
    • 関連する報告書
      2018 実施状況報告書
  • [学会発表] ボーダー基底とスタンダード基底の関係性について2018

    • 著者名/発表者名
      鍋島克輔
    • 学会等名
      日本数式処理学会 理論分科会&システム分科会合同研究会,
    • 関連する報告書
      2018 実施状況報告書
  • [学会発表] 包括的グレブナー基底系とμ-constant deformation に付随したb-関数の計算2018

    • 著者名/発表者名
      鍋島克輔
    • 学会等名
      北海道大学応用特異点ラボセミナー
    • 関連する報告書
      2018 実施状況報告書
    • 招待講演
  • [学会発表] Testing zero-dimensionality at a point of varieties defined by a parametric ideal2018

    • 著者名/発表者名
      鍋島克輔, 田島慎一
    • 学会等名
      数理解析研究所共同研究「Computer Algebra - Theory and its Applications」,
    • 関連する報告書
      2018 実施状況報告書
  • [学会発表] 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
    • 関連する報告書
      2018 実施状況報告書
    • 国際学会
  • [学会発表] An effective method for computing Grothendieck point residues2018

    • 著者名/発表者名
      Shinichi Tajima and Katsusuke Nabeshima
    • 学会等名
      24th Conference on Applications of Computer Algebra
    • 関連する報告書
      2018 実施状況報告書
    • 国際学会
  • [学会発表] On applications of technology to understanding hierarchies of elementary geometry2018

    • 著者名/発表者名
      Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima
    • 学会等名
      The 23rd Asian Technology Conference in Mathematics
    • 関連する報告書
      2018 実施状況報告書
    • 国際学会

URL: 

公開日: 2018-04-23   更新日: 2024-01-30  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi