Search:
Tokushima University > Graduate School of Technology, Industrial and Social Sciences > Division of Science and Technology > Mathematical Science > Mathematics and Computer Sciences >
Tokushima University > Faculty of Science and Technology > Department of Science and Technology > Mathematical and Natural Sciences > Mathematics and Computer Sciences >
Tokushima University > Graduate School of Integrated Arts and Sciences > Regional Science > Advanced Studies in Arts and Sciences >
Tokushima University > Research Clusters > Research Clusters (Registered) > 1704076 自然史・人類史から読み解く巨大地震災害の数学的具象化とコンテンツ発信 >
Tokushima University > Research Clusters > Research Clusters (Registered) > 1704010 種々の構造の決定に対する幾何学的アプローチ >
Tokushima University > Faculty of Integrated Arts and Sciences > Department of Mathematical and Material Sciences > Mathematics and Computer Science Studies >
(CSV files for researchmap) [PDF manual]

Research Activity

Field of Study

Mathematics

Subject of Study

Computer Algebra

Book / Paper

Book:

1. 長坂 耕作, 岩根 秀直, 北本 卓也, 讃岐 勝, 照井 章 and Katsusuke Nabeshima :
計算機代数の基礎理論,
KYORITSU SHUPPAN.CO.,LTD, Mar. 2019.
2. Katsusuke Nabeshima :
Proc. the 39th International Symposium on Symbolilc and Algebraic Computation,
Association for Computing Machinery, Jul. 2014.

Academic Paper (Judged Full Paper):

1. Katsusuke Nabeshima and Shinichi Tajima :
Testing zero-dimensionality of a variety at a point,,
Mathematics in Computer Science, to appear, 2020.
2. Shinichi Tajima and Katsusuke Nabeshima :
An algorithm for computing torsion differential forms associated to an isolated hypersurface singularity,
Mathematics in Computer Science, to appear, 2020.
3. Yosuke Sato, Hiroshi Sekigawa, Ryoya Fukasaku and Katsusuke Nabeshima :
On parametric border bases,
Lecture Notes in Computer Science, 2020.
4. Katsusuke Nabeshima and Shinichi Tajima :
Generalized integral dependence relations,
Lecture Notes in Computer Science, 2020.
5. Katsusuke Nabeshima and Shinichi Tajima :
Computing logarithmic vector fields and Bruce-Roberts Milnor numbers via local cohomology classes,
Revue Roumaine Mathematiques Pures et Appliquees, Vol.64, No.4, 521-538, 2019.
6. Katsusuke Nabeshima and Shinichi Tajima :
Alternative algorithms for computing generic mu*-sequences and local Euler obstructions of isolated hypersurface singularities.,
Journal of Algebra and its Applications, Vol.18, No.08, 2019.
(DOI: 10.1142/S0219498819501561)
7. Shinichi Tajima and Katsusuke Nabeshima :
An implementation of the Lê-Teissier method for computing local Euler obstructions,
Mathematics in Computer Science, Vol.13, No.1, 273-280, 2019.
(DOI: 10.1007/s11786-018-0366-0)
8. Katsusuke Nabeshima and Shinichi Tajima :
Solving parametric ideal membership problems and computing integral numbers in a ring of convergent power series via comprehensive Gröbner systems,
Mathematics in Computer Science, Vol.13, No.1, 185-194, 2019.
(DOI: 10.1007/s11786-018-0354-4)
9. Katsusuke Nabeshima and Shinichi Tjiam :
Computation methods of logarithmic vector fields associated with semi-weighted homogeneous isolated hypersurface singularities,
Tsukuba Journal of Mathematics, Vol.42, No.2, 191-231, 2018.
(DOI: 10.21099/tkbjm/1554170422)
10. Yosuke Sato, Ryoya Fukasaku and Katsusuke Nabeshima :
On applications of technology to understanding hierarchies of elementary geometry,
Proc. Asian Technology Conference in Mathematics 2018, 176-185, 2018.
11. Katsusuke Nabeshima and Shinichi Tajima :
A new method for computing the limiting tangent space of an isolated hypersurface singularity via algebraic local cohomology,
Advanced Studies in Pure Mathematics, Vol.78, 331-344, 2018.
(DOI: 10.2969/aspm/07810331)
12. Katsusuke Nabeshima, Katsuyoshi Ohara and Shinichi Tajima :
Comprehensive Groebner systems in PBW algebras, Bernstein-Sato ideals and holonomic D-modules,
Journal of Symbolic Computation, Vol.89, 146-170, 2018.
(DOI: 10.1016/j.jsc.2017.11.010)
13. Katsusuke Nabeshima and Shinichi Tajima :
Comprehensive Gröbner systems aprroach to b-functions of mu-constant deformations.,
Saitama Mathematical Journal, Vol.31, 115-136, 2017.
14. Katsusuke Nabeshima and Shinichi Tajima :
Computing μ*-sequences of hypersurface isolated singularities via parametric local cohomology systems,
Acta Mathematica Vietnamica, Vol.42, No.2, 279-288, 2017.
(DOI: 10.1007/s40306-016-0198-4)
15. Katsusuke Nabeshima and Shinichi Tajima :
Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals,
Journal of Symbolic Computation, Vol.82, 91-122, 2017.
(DOI: 10.1016/j.jsc.2017.01.003)
16. Yosuke Sato, Ryoya Fukasaku and Katsusuke Nabeshima :
On simple representation of locally closed sets,
Proc. Asian Technology Conference in Mathematics 2016, 190-199, 2016.
17. Katsusuke Nabeshima and Shinichi Tajima :
Computing Tjurina stratifications of mu-constant deformations via parametric local cohomology systems,
Applicable Algebra in Engineering, Communication and Computing, Vol.27, No.6, 451-467, 2016.
(DOI: 10.1007/s00200-016-0289-4)
18. Katsusuke Nabeshima, Katsuyoshi Ohara and Shinichi Tajima :
Comprehensive Gröbner systems in rings of differential operators, holonomic D-modules and b-functions,
Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC' 2016), 349-356, 2016.
(DOI: 10.1145/2930889.2930918)
19. Katsusuke Nabeshima and Shinichi Tajima :
Solving extended ideal membership problems in rings of convergent power series via Gröbner bases,
Lecture Notes in Computer Science, Vol.9582, 252-267, 2016.
(DOI: 10.1007/978-3-319-32859-1_22,   Elsevier: Scopus)
20. Katsusuke Nabeshima and Shinichi Tajima :
Efficient computation of algebraic local cohomology classes and change of ordering for zero-dimensional standard bases,
Lecture Notes in Computer Science, Vol.9301, 334-348, 2015.
(DOI: 10.1007/978-3-319-24021-3_25,   Elsevier: Scopus)
21. Katsusuke Nabeshima and Shinichi Tajima :
Computing logarithmic vector fields associated with parametric semi-quasihomogeneous hypersurface isolated singularities,
Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC' 2015),, 291-298, 2015.
(DOI: 10.1145/2755996.2756641)
22. Katsusuke Nabeshima and Shinichi Tajima :
On the computation of algebraic local cohomology classes associated with semi-quasihomogeneous singularities,
Advanced Studies in Pure Mathematics, Vol.66, 143-159, 2015.
(DOI: 10.2969/aspm/06610143)
23. Katsusuke Nabeshima and Shinichi Tajima :
An algorithm for computing Tjurina Stratifications of mu-constant deformations by using local cohomology classes with parameters,
Lecture Notes in Computer Science, Vol.8592, 523-530, 2014.
(DOI: 10.1007/978-3-662-44199-2_79,   Elsevier: Scopus)
24. Katsusuke Nabeshima and Shinichi Tajima :
An algorithm for computing standard bases by change of ordering via algebraic local cohomology,
Lecture Notes in Computer Science, Vol.8592, 414-418, 2014.
(DOI: 10.1007/978-3-662-44199-2_63,   Elsevier: Scopus)
25. Aya Sugihara, 田辺 康範 and Katsusuke Nabeshima :
グレブナー基底はどの程度のパズルを解くことができるのか?,
Bulletin of Jssac, Vol.20, No.2, 3-22, 2014.
(CiNii: 40020151228)
26. Katsusuke Nabeshima and Shinichi Tajima :
On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases,
Proc. International Symposium on Symbolic and Algebraic Computation, 351-358, 2014.
(DOI: 10.1145/2608628.2608639,   Elsevier: Scopus)
27. Katsusuke Nabeshima :
Stability Conditions of Monomial Bases and Comprehensive Gröbner systems,
Lecture Notes in Computer Science, Vol.7442, 248-259, 2012.
(DOI: 10.1007/978-3-642-32973-9_21,   Elsevier: Scopus)
28. Katsusuke Nabeshima :
On an Implementation of Standard Bases, Gröbner Bases and Normal-form Using Algebraic Local Cohomology,
Communications of Jssac, Vol.1, 1-25, 2012.
29. Yosuke Sato, Shutaro Inoue, Akira Suzuki, Katsusuke Nabeshima and Ko Sakai :
Boolean Gröbner Bases,
Journal of Symbolic Computation, Vol.46, No.5, 622-632, 2011.
(DOI: 10.1016/j.jsc.2010.10.011)
30. Katsusuke Nabeshima :
On the computation of parametric Gröbner baes for modules and syzygies,
Japan Journal of Industrial and Applied Mathematics, Vol.27, No.2, 217-238, 2010.
(DOI: 10.1007/s13160-010-0003-z)
31. Katsusuke Nabeshima :
PGB: A package for computing parametric polynomial systems,
MI Lecture Note Series (The Joint Conference of ASCM2009 and MACIS2009), Vol.22, 587-599, 2009.
32. Katsusuke Nabeshima :
Reduced Gröbner Bases in Polynomial Rings over a Polynomial Ring,
Mathematics in Computer Science, Vol.2, No.4, 587-599, 2009.
(DOI: 10.1007/s11786-008-0060-8)
33. Shinichi Tajima, Yayoi Nakamura and Katsusuke Nabeshima :
Standard Bases and Algebraic Local Cohomology for Zero Dimensional Ideals,
Advanced Studies in Pure Mathematics, Vol.56, 341-361, 2009.
(DOI: 10.2969/aspm/05610341)
34. Katsusuke Nabeshima :
効率的なパラメトリック・グレブナ基底計算のテクニック,
日本数式処理学会論文誌「数式処理」, Vol.15, No.1, 2-24, 2008.
35. Katsusuke Nabeshima :
Comprehensive Gröbner Bases and von Neumann regualr rings,
Journal of Japan Society for Symbolic and Algebraic Computation, Vol.14, No.1, 41-65, 2007.
(CiNii: 10019840492)
36. Katsusuke Nabeshima :
A Speed-Up of the Algorithm for Computing Comprehensive Gröbner Systems,
Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC07), 299-306, 2007.
(DOI: 10.1145/1277548.1277589,   Elsevier: Scopus)
37. Katsusuke Nabeshima :
A Direct Products of Fields Approach to Comprehensive Gröbner Bases over Finite Fields,
Proceedings of the 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05), IEEE Computer Society, 39-47, 2005.
(DOI: 10.1109/SYNASC.2005.3)
38. Yosuke Sato, Akira Suzuki and Katsusuke Nabeshima :
Discrete Comprehensive Gröbner Bases II,
Computer Mathematics III, Lecture Notes Series on Computing, World Scientific, 240-247, 2003.
(DOI: 10.1142/9789812704436_0019)
39. Yosuke Sato, Akira Suzuki and Katsusuke Nabeshima :
ACGB on Varieties,
Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, Universität München, 313-318, 2003.

Academic Paper (Unrefereed Paper):

1. Katsusuke Nabeshima and 田島 慎一 :
収束冪級数環における generalized integral dependence relation の計算について,
RIMS Kokyuroku, Vol.2104, 78-85, 2019.
2. Katsusuke Nabeshima and 田島 慎一 :
グレブナー基底を用いた収束冪級数環での拡張イデアル所属アルゴリズムについて,
RIMS Kokyuroku, Vol.2054, 118-125, 2017.
3. 伊澤 毅, Katsusuke Nabeshima and 田島 慎一 :
Computer algebra and Bruce-Roberts Milnor number,
RIMS Kokyuroku, Vol.2019, 64-79, 2017.
4. Katsusuke Nabeshima and 田島 慎一 :
代数的局所コホモロジーを用いた Limiting Tangent Space の計算法,
RIMS Kokyuroku, Vol.2019, 53-63, 2017.
5. Katsusuke Nabeshima and 田島 慎一 :
偏微分作用素環での包括的グレブナー 基底とホロノミD-加群,b-関数,
RIMS Kokyuroku, Vol.1976, 100-116, 2015.
6. 田島 慎一 and Katsusuke Nabeshima :
Bruce-Roberts ミルナー数の計算アルゴリズム,
RIMS Kokyuroku, Vol.1976, 91-99, 2015.
7. Katsusuke Nabeshima and 田島 慎一 :
代数的局所コホモロジーを用いたパラメータ付き拡張ideal membership アルゴリズムについて,
RIMS Kokyuroku, Vol.1955, 180-187, 2015.
8. Katsusuke Nabeshima and Shinichi Tajima :
パラメータ付き対数的ベクトル場と局所コホモロジーについて,
RIMS Kokyuroku, Vol.1927, 55-65, 2014.
9. Katsusuke Nabeshima and Aya Sugihara :
ブーリアン・グレブナー基底を用いたグラフ3彩色問題へのアプローチについて,
RIMS Kokyuroku, Vol.1907, 116-121, 2014.
10. Katsusuke Nabeshima and 田島 慎一 :
μ-constant deformation に対する代数的局所コホモロジーとTjurina stratification,
RIMS Kokyuroku, Vol.1843, 56-65, 2013.
(CiNii: 110009605412)
11. Katsusuke Nabeshima and 田島 慎一 :
パラメータ付き代数的局所コホモロジーの計算について--半擬斉次孤立特異点の場合--,
数理解析研究所講究録, Vol.1785, 111-122, 2012.
(CiNii: 110009322410)
12. Katsusuke Nabeshima :
CGS計算アルゴリズムのさらなる改良'',
RIMS Kokyuroku, Vol.1815, 29-40, 2011.
(CiNii: 110009492016)
13. Katsusuke Nabeshima, 中村 弥生 and 田島 慎一 :
代数的局所コホモロジーの計算法とそれを用いたスタンダード基底・グレブナー基底について,
数理解析研究所講究録, Vol.1764, 102-125, 2011.
(CiNii: 110008671976)
14. Katsusuke Nabeshima, 中村 弥生 and 田島 慎一 :
パラメータ付き零次元代数的局所コホモロジーを用いたパラメトリック・スタンダード基底計算について,
RIMS Kokyuroku, Vol.1814, No.0, 43-53, 2010.
(CiNii: 110009491240)
15. 井上 秀太郎, 佐藤 洋祐, 鈴木 晃 and Katsusuke Nabeshima :
ブーリアン・グレブナ基底を使った数独の解法,
RIMS Kokyuroku, Vol.1666, 1-5, 2009.
(CiNii: 110007389544)
16. Katsusuke Nabeshima :
係数ドメインと多項式環とする多項式環の簡約グレブナ基底について,
RIMS Kokyuroku, No.1652, 1-10, 2009.
(CiNii: 110007128792)
17. 倉田 陽介, 鈴木 晃 and Katsusuke Nabeshima :
Risa/Asir CGB関連パッケージの整備,
RIMS Kokyuroku, Vol.1572, 131-141, 2007.
(CiNii: 110006435830)
18. Yosuke Sato, Akira Suzuki and Katsusuke Nabeshima :
Generalized Discrete Comprehensive Gröbner Bases,
RIMS Kokyuroku, Vol.1335, 105-110, 2003.

Academic Letter:

1. Katsusuke Nabeshima :
PGB: A package for computing Parametric Gröbner Bases and Related Objects,
ACM Communications in Computer Algebra, Vol.41, No.3, 104-105, 2007.
(DOI: 10.1145/1358190.1358198)
2. Katsusuke Nabeshima :
A Computation Method for ACGB-V,
Proceedings of the A3L 2005, conference in Honor of the 60th Birthday of Volker Weispfenning, BON Norderstedt, 172-180, 2005.

Proceeding of International Conference:

1. Shinichi Tajima and Katsusuke Nabeshima :
An implementation of the Suwa method for computing versal unfoldings of holomorphic foliations,
Hyperplane Arrangements and Japanese-Australian Workshop on Real and Complex Singularities, the University of Tokyo, Dec. 2019.
2. Katsusuke Nabeshima and Shinichi Tajima :
Testing zero-dimensionality of an variety at a point,
The 21st International Workshop on Computer Algebra in Scientific Computing, Plekhanov Russian University of Economics, Moscow, Russia, Aug. 2019.
3. Shinichi Tajima and Katsusuke Nabeshima :
An algorithm for computing torsion differential forms associated with an isolated hypersurface singularity,
The 21st International Workshop on Computer Algebra in Scientific Computing, Plekhanov Russian University of Economics, Moscow, Russia, Aug. 2019.
4. Hiroshi Teramoto, Tsuchida Asahi, Yutaro Kabata, Kenji Kondo, Shyuichi Izumiya, Katsusuke Nabeshima and Tamiki Komatsuzaki :
Normal Forms in Singularity Theory for Geometric Classifications of Band Structures,
Dynamics Days Europe 2018, London, UK, Sep. 2018.
5. Shinichi Tajima and Katsusuke Nabeshima :
An effective method for computing Grothendieck point residues,
24th Conference on Applications of Computer Algebra, Santiago de Compostela, Spain, Jun. 2018.
6. Katsusuke Nabeshima and Shinichi Tajima :
Computation methods of b-functions associated with -constant deformations -- Case of inner modality 2 --,
24th Conference on Applications of Computer Algebra, Santiago de Compostela, Spain, Jun. 2018.
7. Teramoto Hiroshi, Tsuchida Asahi, Kabata Yutaro, Kondo Kenji, Izumiya Shyuichi, Katsusuke Nabeshima and Komatsuzaki Tamiki :
Normal forms in singularity theory for geometric classifications of band structure,
TraX international conference 2018, May 2018.
8. Katsusuke Nabeshima :
Computing Bruce-Roberts Milnor numbers,
Australian-Japanese Workshop on Real and Complex Singularities, The University of Sydney, Australia, Sep. 2017.
9. Shinichi Tajima and Katsusuke Nabeshima :
An implementation of the Lê -Teissier method for computing local Euler obstructions,
23rd Conference on Applications of Computer Algebra, Jerusalem, Jul. 2017.
(DOI: 10.1007/s11786-018-0366-0,   Elsevier: Scopus)
10. Katsusuke Nabeshima and Shinichi Tajima :
Computing integral numbers for a parametric ideal in a ring of convergent power series via comprehensive Gröbner systems,
23rd Conference on Applications of Computer Algebra, Jerusalem, Jul. 2017.
11. Katsusuke Nabeshima :
Computation method for mu*-sequences of hypersurface isolated singularities,
Topology of Singularity in Hanoi 2017, Feb. 2017.
12. Katsuyoshi Ohara, Katsusuke Nabeshima and Shinichi Tajima :
Comprehensive Gröbner systems for parametric Poincare-Birkhoff-Witt ideals,
Algebraic Statistics and Symbolic Computation, Jul. 2016.
13. Shinichi Tajima and Katsusuke Nabeshima :
Limiting tangent spaces, Teissier sequences mu* and parametric local cohomology,
The sixth Japanese-Australian Workshop on Real and Complex Singularities, Nov. 2015.
14. Katsusuke Nabeshima and Shinichi Tajima :
Logarithmic vector felds associated with hypersurface isolated singularities and local cohomology,
Singularities in Generic Geometry and its Applications -Kobe-Kyoto 2015 (Valencia IV)-, Jun. 2015.
15. Katsusuke Nabeshima :
Applications of Comprehensive Gröbner Bases,
RISC/Linz and Kobe University joint computer algebra seminar, Mar. 2015.
16. Katsusuke Nabeshima and Shinichi Tajima :
On the computation of Tjurina stratifications using algebraic local cohomology classes associated with semi-quasihomogeneous singularities,
The Asian Mathematical Conference 2013, Jul. 2013.
17. Katsusuke Nabeshima and Shinichi Tajima :
Algebraic Local Cohomology Classes Associated with Semi-quasihomogeneous Singularities,
The Asian Symposium on Computer Mathematics, Acamedy of Mathematics and Systems Science, Oct. 2012.
18. Katsusuke Nabeshima and Shinichi Tajima :
On the computation for algebraic local cohomogies associated with semi-quasihomogeneous singularities,
The 6th Franco-Japan Symposium on Singularities, Sep. 2011.
19. Katsusuke Nabeshima, Yayoi Nakamura and Shinichi Tajima :
Using Algebraic Local Cohomology with Parameters,
International Conference on Applications of Computer Algebra (ACA 10), Volore, Albania, Jun. 2010.
20. Katsusuke Nabeshima and Hiroshi Yoshida :
Derivation of resonant conditions with CGS,
International Conference on Applications of Computer Algebra (ACA10), Volore, Albania, Jun. 2010.
21. Yosuke Sato, Shutaro Inoue, Akira Suzuki and Katsusuke Nabeshima :
Boolean Gröbner Bases and SUDOKU,
International Conference on Applications of Computer Algebra (ACA 08), Linz, Austria, Jul. 2008.
22. Katsusuke Nabeshima :
Comprehensive Gröbner Bases for modules,
KIAS-RIMS Joint Workshop on Computer Algebra, Seoul, South Korea, Jul. 2006.
23. Katsusuke Nabeshima :
Comprehensive Gröbner Bases for modules,
International Conference on Applications of Computer Algebra (ACA 06), Varna, Bulgaria, Jun. 2006.
24. Katsusuke Nabeshima :
A Direct Products of Fields Approach to Comprehensive Gröbner Bases over Finite Fields,
International Conference on Applications of Computer Algebra (ACA 05), Nara, JAPAN, Aug. 2005.
25. Yosuke Sato, Akira Suzuki and Katsusuke Nabeshima :
ACGB on Varieties,
International Conference on Applications of Computer Algebra (ACA 03), North Carolina, USA, Jul. 2003.

Proceeding of Domestic Conference:

1. 田島 慎一 and Katsusuke Nabeshima :
Moving curve ideal, Rees algebra and local cohomology,
RIMS 共同研究(公開型) 「Computer Algebra { Theory and its Applications」, 京都大学, Dec. 2019.
2. Katsusuke Nabeshima and 田島 慎一 :
半擬斉次特異点の性質を利用したAnn(f^s)とb-関数の計算について,
京都大学数理解析研究所共同研究,「Computer Algebra -- Theory and its Applications」, Dec. 2019.
3. Katsusuke Nabeshima :
Computation methods of Ann}(f^s) and local b-functions using properties of semi-quasi-homogeneous singularities,
Workshop on Differential systems: from theory to computer mathematics, The University of Tokyo, Dec. 2019.
4. 佐藤 洋祐, 関川 浩, 深作 亮也 and Katsusuke Nabeshima :
パラメトリックな連立代数方程式の根の連続性とBorderBasisとの関係II,
日本数式処理学会 理論分科会&システム分科会合同研究会, 九州大学, Oct. 2019.
5. Katsusuke Nabeshima and 田島 慎一 :
孤立特異点を持つ超曲面のTorsion微分形式について,
日本数学会秋季総合分科会(函数論), 金沢大学, Sep. 2019.
6. 佐藤 洋祐, 関川 浩, 深作 亮也 and Katsusuke Nabeshima :
パラメトリックな代数方程式の根の連続性とBorder Basisとの関係,
第28回日本数式処理学会大会, 立教大学, May 2019.
7. Katsusuke Nabeshima and 田島 慎一 :
イデアル商を用いた点での多様体の次元判定,
Risa/Asir conference 2019, 金沢大学, Mar. 2019.
8. Katsusuke Nabeshima and 田島 慎一 :
ジェネリックな一次関数のブルース・ロバート・ミルナー数について,
日本数学年会(函数論), 東京工業大学, Mar. 2019.
9. Katsusuke Nabeshima and 田島 慎一 :
Chern-Schwartz-MacPherson class の計算法について,
日本数学年会(函数論), 東京工業大学, Mar. 2019.
10. Katsusuke Nabeshima :
Computing parametric systems,
Quantum Math, 沖縄科学技術大学院大学, Mar. 2019.
11. Katsusuke Nabeshima and 田島 慎一 :
Testing zero-dimensionality at a point of varieties defined by a parametric ideal,
数理解析研究所共同研究「Computer Algebra - Theory and its Applications」,京都大学, Dec. 2018.
12. Katsusuke Nabeshima :
ボーダー基底とスタンダード基底の関係性について,
日本数式処理学会 理論分科会&システム分科会合同研究会, 東京理科大, Sep. 2018.
13. Katsusuke Nabeshima and 田島 慎一 :
超曲面の孤立特異点に沿った対数的ベクトル場と応用,
第27回日本数式処理学会大会, 福岡教育大学, Jun. 2018.
14. Katsusuke Nabeshima :
包括的グレブナー基底系とμ-constant deformation に付随したb-関数の計算,
北海道大学応用特異点ラボセミナー, May 2018.
15. Katsusuke Nabeshima :
パラメトリックイデアル所属問題の解き方について,
Risa/Asir Conference 2018, 金沢大学, Mar. 2018.
16. Katsusuke Nabeshima and 田島 慎一 :
収束冪級数環でのintegral number の計算II,
2018年度日本数学会年会(函数論),東京大学, Mar. 2018.
17. Katsusuke Nabeshima and 田島 慎一 :
収束冪級数環におけるgeneralized integral dependence relation の計算について,
京都大学数理解析研究所共同研究,「Computer Algebra – Theory and its Applications」, 京都大学, Dec. 2017.
18. 田島 慎一, 加藤 満生 and Katsusuke Nabeshima :
Integral dependence relation と半擬斉次孤立特異点の b-関数,
日本数学会秋季総合分科会(函数論), 山形大学, Sep. 2017.
19. 田島 慎一 and Katsusuke Nabeshima :
Transformation law によるGrothendieck local residue の計算,
日本数学会秋季総合分科会(函数論), 山形大学, Sep. 2017.
20. Katsusuke Nabeshima and 田島 慎一 :
収束冪級数環でのintegral numberの計算 -- グレブナー基底 vs 代数的局所コホモロジー類 --,
日本数学会秋季総合分科会(函数論), 山形大学, Sep. 2017.
21. Katsusuke Nabeshima and 田島 慎一 :
b-関数の根に付随したホロノミー系の局所コホモロジー解の計算,
京都大学数理解析研究所共同研究,「数式処理の新たな発展, 京都大学,, Sep. 2017.
22. Katsusuke Nabeshima and 田島 慎一 :
収束冪級数環における integral numberの計算法について,
第26回日本数式処理学会大会, Jun. 2017.
23. Katsusuke Nabeshima and 田島 慎一 :
包括的グレブナー基底系を用いたmu-stratificationとmu*列の計算法について,
Risa/Asir conference 2017, 金沢大学, Mar. 2017.
24. Katsusuke Nabeshima, 小原 功任 and 田島 慎一 :
パラメータ付きBernstein-Sato イデアルとホロノミーD 加群の計算,
日本数学会年会(函数論), 首都大学東京,, Mar. 2017.
25. Katsusuke Nabeshima and 田島 慎一 :
Tangent coneを用いた局所環でのパラメトリック・イデアルの次元判定,
日本数式処理学会合同分科会, 京都大学東京オフィス, Jan. 2017.
26. Katsusuke Nabeshima and 田島 慎一 :
b-関数の因子チェックを用いたパラメトリックb-関数の計算 - mu-constant deformation の場合-,
数理解析研究所共同研究「数式処理とその周辺分野の研究」, Dec. 2016.
27. 田島 慎一 and Katsusuke Nabeshima :
Base change formula によるパラメータ付き多変数留数計算アルゴリズム,
数理解析研究所共同研究「数式処理とその周辺分野の研究」, Dec. 2016.
28. 小原 功任, Katsusuke Nabeshima and 田島 慎一 :
Comprehensive Gröbner systems in Poincare-Birkhoff-Witt algebra and Bernstein-Sato ideals,
数理解析研究所研究集会「超局所解析と特異摂動論の新展開」, Oct. 2016.
29. Katsusuke Nabeshima and 田島 慎一 :
局所コホモロジーを用いたμ*列の計算法について,
日本数学会総合分科会(函数論), 関西大学, Sep. 2016.
30. Katsusuke Nabeshima and 田島 慎一 :
パラメータ付きホロノミーD加群とb-関数 -μ-constant deformation の場合-,
日本数学学会総合分科会 (函数論), 関西大学, Sep. 2016.
31. 小原 功任, Katsusuke Nabeshima and 田島 慎一 :
包括的グレブナー基底とパラメータつきb-関数の計算,
第10回玉原特殊多様体研究集会,玉原国際セミナーハウス, Sep. 2016.
32. Katsusuke Nabeshima and 田島 慎一 :
代数的局所コホモロジーを用いた Limiting Tangent Spaceの計算法と比較,
数理解析研究所共同集会「数式処理の新たな発展-その最新研究と基礎理論の再構成-」,, Sep. 2016.
33. 伊澤 毅, Katsusuke Nabeshima and 田島 慎一 :
Computer algebra and Bruce-Roberts Milnor numbers,
数理解析研究所共同研究「数式処理の新たな発展-その最新研究と基礎理論の再構成-],, Sep. 2016.
34. Katsusuke Nabeshima :
グレブナー基底の安定性とパラメトリック・システム,
埼玉大学数学談話会, Jul. 2016.
35. Katsusuke Nabeshima and 田島 慎一 :
パラメトリック局所コホモロジーを用いたμ*の計算,
第25回日本数式処理学会大会,福岡大学, Jun. 2016.
36. Katsusuke Nabeshima :
A computation method for algebraic local cohomology classes and its applications,
東京大学数理「複素解析幾何セミナー」, May 2016.
37. Katsusuke Nabeshima, 小原 功任 and 田島 慎一 :
包括的グレブナー基底とパラメータ付きb-関数の計算,
Risa/Asir conference 2016, 金沢大学, Mar. 2016.
38. Katsusuke Nabeshima and 田島 慎一 :
パラメータ付き対数的ベクトル場とBruce-Roberts ミルナー数の計算,
日本数学会年会(函数論), 筑波大学, Mar. 2016.
39. 田島 慎一 and Katsusuke Nabeshima :
Limiting tangent spaces とlocal cohomology,
日本数学会年会(函数論), 筑波大学,, Mar. 2016.
40. Katsusuke Nabeshima, 小原 功任 and 田島 慎一 :
変形パラメータ付きホロノミーD-加群の計算法 --parametric Poincare Birkhoff-Witt 代数の利用--,
2016年度日本数学会年会(函数論), 筑波大学, Mar. 2016.
41. Katsusuke Nabeshima :
パラメータ付き代数的局所コホモロジーとその応用,
Encounter with Mathematics, 中央大学, Feb. 2016.
42. Katsusuke Nabeshima :
孤立特異点に付随する代数的局所コホモロジーの計算,
Encounter with Mathematics, 中央大学, Feb. 2016.
43. Katsusuke Nabeshima and 田島 慎一 :
グレブナー基底を用いた収束べき級数環上での拡張ideal membershipアルゴリズムについて,
京都大学数理解析研究所共同研究「数式処理とその周辺分野の研究 — Computer Algebra and Related Topics」, Dec. 2015.
44. 田島 慎一 and Katsusuke Nabeshima :
特異点の複素解析と局所コホモロジー,
第 58 回函数論シンポジウム, Oct. 2015.
45. 田島 慎一 and Katsusuke Nabeshima :
超曲面に付随したホロノミーD-加群の計算アルゴリズムについてII,
2015年度日本数学会総合分科会(函数論), 京都産業大学,, Sep. 2015.
46. Katsusuke Nabeshima and 田島 慎一 :
超曲面に付随したホロノミーD-加群の計算アルゴリズムについてI,
2015年度日本数学会総合分科会(函数論), 京都産業大学,, Sep. 2015.
47. 田島 慎一 and Katsusuke Nabeshima :
局所コホモロジーを用いたBruce-Roberts ミルナー数の計算法について,
2015年度日本数学会総合分科会(函数論), 京都産業大学,, Sep. 2015.
48. 田島 慎一 and Katsusuke Nabeshima :
Bruce-Roberts ミルナー数の計算アルゴリズム,
京都大学数理解析研究所共同研究「数式処理研究の新たな発展」, Aug. 2015.
49. Katsusuke Nabeshima and 田島 慎一 :
偏微分作用素環での包括的グレブナー 基底とホロノミD-加群,b-関数,
京都大学数理解析研究所共同研究「数式処理研究の新たな発展」, Aug. 2015.
50. Katsusuke Nabeshima and 田島 慎一 :
代数的局所コホモロジーを用いたスタンダード基底の項順序変換についてII,
第24回日本数式処理学会大会, Jun. 2015.
51. Shinichi Tajima and Katsusuke Nabeshima :
収束冪級数環における integral dependence relation と局所コホモロジー,
2015年度日本数学会年会(函数論), 明治大学, Mar. 2015.
52. Katsusuke Nabeshima and Shinichi Tajima :
局所環におけるExtended Ideal Membershipアルゴリズムについて,
2015年度日本数学会年会(函数論), 明治大学, Mar. 2015.
53. Katsusuke Nabeshima :
Comprehensive Gröbner bases in rings of differential operators and their applications,
Theoretical and Computational Aspects of Algebraic Analysis, Mar. 2015.
54. Aya Sugihara and Katsusuke Nabeshima :
初等幾何の定理自動発見と包括的グレブナー基底-具体例を通して-,
日本数式処理学会合同分科会, Jan. 2015.
55. Katsusuke Nabeshima :
包括的グレブナー基底について,
日本数式処理学会合同分科会, Jan. 2015.
56. Katsusuke Nabeshima and Shinichi Tajima :
代数的局所コホモロジーを用いたパラメータ付き拡張ideal membership 判定アルゴリズム,
数理解析研究所研究集会「数式処理とその周辺分野の研究」, Dec. 2014.
57. Katsusuke Nabeshima and 田島 慎一 :
パラメータ付き対数的ベクトル場と局所コホモロジーについて,
京都大学数理解析研究所共同研究「数式処理研究の新たな発展」, Aug. 2014.
58. Katsusuke Nabeshima and 田島 慎一 :
代数的局所コホモロジーを用いたスタンダード基底の項順序変換について,
第23回日本数式処理学会, 徳島大学,, May 2014.
59. Katsusuke Nabeshima and 田島 慎一 :
パラメータ付き局所コホモロジーを利用した対数的ベクトル場の計算について,
2014年度日本数学会年会, 函数論, 学習院大学, Mar. 2014.
60. Katsusuke Nabeshima and 杉原 彩 :
ブーリアン・グレブナー基底を用いたグラフ3採色問題へのアプローチについて,
京都大学数理解析研究所研究集会 「Computer Algebra-Degign of Algorithm, Implementations and the Next Grneration」, 京都大学,, Dec. 2013.
61. Katsusuke Nabeshima and 田島 慎一 :
パラメータ付き局所コホモロジーを用いたTjurina stratification の計算,
日本数学会総合分科会 函数論, 愛媛大学, Sep. 2013.
62. Aya Sugihara and Katsusuke Nabeshima :
グレブナー基底はどの程度のパズルを解くことができるのか?,
第22回日本数式処理学会大会, 防衛大学校, Jun. 2013.
63. Katsusuke Nabeshima and 田島 慎一 :
μ-constant deformation 代数的局所コホモロジーを用いた Tjurina 数のパラメータ依存性の解析,
日本数学会 中国・四国支部例会 , 高知大学,, Jan. 2013.
64. Katsusuke Nabeshima and 田島 慎一 :
μ-constant deformation に対する代数的局所コホモロジーとTjurina stratification,
京都大学数理解析研究所研究集会 「Computer Algebra-Degign of Algorithm, Implementations and the Next Grneration」,, Dec. 2012.
65. Katsusuke Nabeshima :
CGSとminimal CGSの計算について,
第4回日本数式処理学会理論分科会&システム分科会合同研究会, Jan. 2012.
66. Katsusuke Nabeshima and 田島 慎一 :
パラメータ付き代数的局所コホモロジーの計算について--半擬斉次の場合--,
京都大学数理解析研究所研究集会「Computer Algebra-Degign of Algorithm, Implementations and the Next Grneration], Dec. 2011.
67. Katsusuke Nabeshima and 田島 慎一 :
半擬斉次孤立特異点に付随する代数的局所コホモロジーについて,
2011年度日本数学会秋季総合分科会(函数論),信州大学, Oct. 2011.
68. Katsusuke Nabeshima and 田島 慎一 :
Semi-quasihomogeneous isolated sungularityに付随する代数的局所コホモロジーについて,
第20回日本数式処理学会大会, 神戸大学, Sep. 2011.
69. Katsusuke Nabeshima :
イデアルはいつ安定か?,
JST CREST 「現代社会の産業とグレブナ-基底の調和」 若手研究集会, 山口大学, Feb. 2011.
70. Katsusuke Nabeshima :
グレブナー基底とその応用--集合制約と共振について--,
徳島数学談話会 (徳島大学), Dec. 2010.
71. Katsusuke Nabeshima, 中村 弥生 and 田島 慎一 :
On an Implementation of Standard Bases and Gröbner Bases Using Algebraic Local Cohomology,
実閉体上の幾何と特異点論への応用, Dec. 2010.
72. Katsusuke Nabeshima :
CGS計算アルゴリズムのさらなる改良,
Computer Algebra -Design of Algorithms, Implementations and Applications, Dec. 2010.
73. Katsusuke Nabeshima :
ブーリアン・グレブナー基底,
JST CREST 「現代社会の産業とグレブナ-基底の調和」 若手研究集会, 神戸大学, Sep. 2010.
74. Katsusuke Nabeshima and 吉田 寛 :
CGSを用いた共振条件導出,
第19回日本数式処理学会大会, 名古屋大学, Jun. 2010.
75. Katsusuke Nabeshima, 中村 弥生 and 田島 慎一 :
代数的局所コホモロジーを利用したパラメータ付きスタンダード基底計算について,
日本数学会年会(函数論), 慶応義塾大学, Mar. 2010.
76. Katsusuke Nabeshima :
イデアルの安定性とパラメトリック・グレブナー基底,
近畿大学数学講演会, Jan. 2010.
77. Katsusuke Nabeshima :
イデアルの安定性とパラメトリック・グレブナー基底の応用,
JST CREST 「現代社会の産業とグレブナ-基底の調和」 若手研究集会, 大阪大学, Jan. 2010.
78. Katsusuke Nabeshima, 中村 弥生 and 田島 慎一 :
パラメータ付き零次元代数的局所コホモロジーを用いたパラメトリック・スタンダード基底計算について,
Computer Algebra -Design of Algorithms, Implementations and Applications, Nov. 2009.
79. Katsusuke Nabeshima :
PGB: A package for computing parametric polynomial systems,
第2回日本数式処理学会システム分科会, Oct. 2009.
80. Katsusuke Nabeshima, 中村 弥生 and 田島 慎一 :
零次元代数的局所コホモロジーを用いた標準基底・グレブナー基底・メンバーシップ問題の実装,
第18回日本数式処理学会大会, 龍谷大学, Jun. 2009.
81. Katsusuke Nabeshima :
双対性を用いた零次元ヤコビイデアルのスタンダード基底の計算法とグレブナー基底の応用に向けて,
JST CREST 「現代社会の産業とグレブナ-基底の調和」 workshop, 大阪大学, May 2009.
82. 井上 秀太郎, 佐藤 洋祐, 鈴木 晃 and Katsusuke Nabeshima :
ブーリアン・グレブナ基底を使った数独の解法,
Computer Algebra -Design of Algorithms, Implementations and Applications, Vol.1666, 1-5, Nov. 2008.
83. Katsusuke Nabeshima :
係数ドメインと多項式環とする多項式環の簡約グレブナ基底について,
Computer Algebra -Design of Algorithms, Implementations and Applications, Vol.1652, 1-10, Nov. 2007.
84. Katsusuke Nabeshima :
効率的なパラメトリック・グレブナ基底計算のテクニック,
第16回日本数式処理学会大会, 倉敷芸術科学大学, May 2007.
85. 倉田 陽介, 鈴木 晃 and Katsusuke Nabeshima :
Risa/Asir CGB関連パッケージの整備,
数式処理研究の新たな発展, Vol.1562, 131-141, Aug. 2006.
86. 佐藤 洋祐, 鈴木 晃 and Katsusuke Nabeshima :
代数多様体上のACGBについて,
第12回日本数式処理学会大会, 九州大学, May 2003.
87. Katsusuke Nabeshima, 鈴木 晃 and 佐藤 洋祐 :
Generalized Discrete Comprehensive Gröbner Bases,
RIMS Kokyuroku, Dec. 2002.

Et cetera, Workshop:

1. Katsusuke Nabeshima :
パラメトリック・システムの数式処理と理工学への応用,
社会産業理工学研究交流会2017, Sep. 2017.
2. Katsusuke Nabeshima :
私の取り組み方,
徳島大学全学共通センター・総合科学部合同FD企画「特色ある授業から見る学生に必要な教育とは?」, Feb. 2016.

Grants-in-Aid for Scientific Research (KAKEN Grants Database @ NII.ac.jp)

  • Automation of Classification of Singularity by using Comprehensive Groebner Systems (Project/Area Number: 19K03484 )
  • Algebraic aanalysis of non-isolated singularities and computational complex analysis algorithms (Project/Area Number: 18K03320 )
  • Efficient algorithms in computational algebraic analysis and deformations of singularities (Project/Area Number: 18K03214 )
  • Applications of algebraic local cohomology to hypersurface singularities (Project/Area Number: 15K17513 )
  • Computational complex analysis and algebraic analysis of singularities (Project/Area Number: 15K04891 )
  • Computational Complex Analysis of logarithmic vector fields, singular varieties and Algebraic Analysis Algorithms (Project/Area Number: 24540162 )
  • Algorithms for systems of parametric polynomials (Project/Area Number: 22740065 )
  • Search by Researcher Number (00572629)