研究者
J-GLOBAL ID:201901019968932495   更新日: 2025年02月25日

鍋島 克輔

ナベシマ カツスケ | Nabeshima Katsusuke
所属機関・部署:
職名: 准教授
研究分野 (1件): 代数学
研究キーワード (5件): 特異点変形の計算 ,  b-関数 ,  局所コホモロジー ,  包括的グレブナー基底 ,  グレブナー基底
競争的資金等の研究課題 (9件):
  • 2023 - 2027 双対空間を利用した新たな計算機代数学の構築
  • 2022 - 2027 非孤立特異点変形族の代数解析と計算複素解析アルゴリズム
  • 2019 - 2023 包括的グレブナー基底系を用いた特異点分類の自動化
  • 2018 - 2023 計算代数解析アルゴリズムの効率化と特異点変形への応用
  • 2018 - 2022 非孤立特異点の代数解析と計算複素解析アルゴリズム
全件表示
論文 (61件):
  • Hiroshi Teramoto, Katsusuke Nabeshima. Comprehensive standard system for generalized mixed module and its application to singularity theory. Journal of Algebra and Its Applications. 2024. 23. 13
  • Shinichi Tajima, Katsusuke Nabeshima. A Deterministic Method for Computing Bertini Type Invariants of Parametric Ideals. Mathematics in Computer Science. 2024. 18. 3. 14-14
  • Shinichi Tajima, Katsusuke Nabeshima. An implementation of the Suwa method for computing first order infinitesimal versal unfoldings of codimension one complex analytic singular foliations. Journal of Computational Algebra. 2024. 10. 100015-100015
  • Katsusuke Nabeshima. Generic Gröbner basis of a parametric ideal and its application to a comprehensive Gröbner system. Applicable Algebra in Engineering, Communication and Computing. 2024. 35. 1. 55-70
  • Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), Tokyo, Japan, Aug 28-30, 2024. SCSS (Work in Progress). 2024. 3754
もっと見る
MISC (55件):
  • 田島 慎一, 鍋島 克輔. 多項式函数のbifurcation setの計算法(1)-Methods for computing the bifurcation set of a polynomial function(1)-Computer Algebra : Foundations and Applications. 数理解析研究所講究録. 2023. 2255. 88-95
  • 鍋島 克輔, 田島 慎一. 正次元イデアルのネター作用素の計算と特異点-Noetherian operators of positive dimensional ideals and hypersurface singularities-Computer Algebra : Foundations and Applications. 数理解析研究所講究録. 2023. 2255. 75-87
  • 鍋島 克輔. イデアル商を用いた包括的グレブナー基底系計算について-日本数式処理学会第31回大会報告. 数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation. 2023. 29. 1. 13-16
  • 鍋島 克輔, 田島 慎一. CSSg method for several genericities of deformations of hypersurface singularities-可微分写像の特異点論及びその応用. 数理解析研究所講究録. 2022. 2226. 1-15
  • 鍋島, 克輔. グレブナー基底の安定条件を求める新たな戦略. 数理解析研究所講究録. 2022. 2224. 59-69
もっと見る
書籍 (2件):
  • 計算機代数の基礎理論
    共立出版 2019 ISBN:9784320113732
  • Proc. the 39th International Symposium on Symbolilc and Algebraic Computation
    Association for Computing Machinery 2014 ISBN:9781450325011
学歴 (1件):
  • 2003 - 2007 Johannes Kepler 大学 応用数学科博士課程
学位 (1件):
  • Ph.D. (Johannes Kepler University)
経歴 (8件):
  • 2021/04 - 現在 東京理科大学 理学部第一部応用数学科 准教授
  • 2017/04 - 2021/03 徳島大学 大学院社会産業理工学研究部 准教授
  • 2016/04 - 2017/03 徳島大学 大学院理工学研究部 准教授
  • 2010/04 - 2016/03 徳島大学 大学院ソシオ・アーツ・アンド・サイエンス研究部 准教授
  • 2009/04 - 2010/03 大阪大学 大学院情報科学研究科 特任助教
全件表示
委員歴 (7件):
  • 2022/06 - 現在 日本数式処理学会 副会長
  • International Symposium on Symbolic and Algebraic Computation 2022 Program Committee
  • 日本数式処理学会 英論文誌(CJSSAC) 編集委員長
  • 日本数式処理学会 理事
  • International Symposium on Symbolic and Algebraic Computation 2021 Poster Committee
全件表示
受賞 (4件):
  • 2021/03 - 徳島大学理工学部 優秀教員賞
  • 2013/04 - 徳島大学全学共通教育センター 共通教育賞
  • 2009/06 - 日本数式処理学会 最優秀奨励賞
  • 2007/06 - 日本数式処理学会 奨励賞
所属学会 (3件):
日本応用数理学会 ,  日本数式処理学会 ,  日本数学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る