鍋島克輔 (Kasusuke Nabeshima) - マイポータル

基本情報

所属: 東京理科大学理学部第一部応用数学科准教授

学位: Ph.D.(Johannes Kepler University)

J-GLOBAL ID: 201901019968932495
researchmap会員ID: B000381057

研究キーワード

研究分野

自然科学一般 / 代数学 / 計算機代数

経歴

2021年4月 - 現在

東京理科大学, 理学部第一部応用数学科, 准教授
2017年4月 - 2021年3月

徳島大学, 大学院社会産業理工学研究部, 准教授
2016年4月 - 2017年3月

徳島大学, 大学院理工学研究部, 准教授
2010年4月 - 2016年3月

徳島大学, 大学院ソシオ・アーツ・アンド・サイエンス研究部, 准教授
2009年4月 - 2010年3月

大阪大学, 大学院情報科学研究科, 特任助教
2008年4月 - 2009年3月

高知学芸高等学校, 教諭
2007年10月 - 2008年3月

東京大学, 大学院情報理工学系研究科, 博士研究員
2006年3月 - 2007年3月

Johannes Kepler 大学, 記号計算研究所, 研究助手

学歴

2003年10月 - 2007年9月

Johannes Kepler 大学, 応用数学科博士課程

委員歴

受賞

論文

Computing holonomic D-modules associated to a family of non-isolated hypersurface singularities via comprehensive Gröbner systems of PBW algebra

17(1) 2023年3月査読有り
CSSg method for several genericities of parametric systems

40(1) 315-337 2023年1月20日査読有り筆頭著者
An effective method for computing Grothendieck point residue mappings

Shinichi Tajima, Katsusuke Nabeshima

Journal of Algebra 593 568-588 2022年3月査読有り最終著者
A New Deterministic Method for Computing Milnor Number of an ICIS

Lecture Notes in Computer Science 12865 391-408 2021年9月査読有り最終著者責任著者
Computing Grothendieck point residues via solving holonomic systems of first order partial differential equations

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 361-368 2021年7月査読有り最終著者責任著者
Testing Zero-Dimensionality of Varieties at a Point

Katsusuke Nabeshima, Shinichi Tajima

Mathematics in Computer Science 15 317-331 2021年4月5日査読有り筆頭著者
An Algorithm for Computing Torsion Differential Forms Associated with an Isolated Hypersurface Singularity

Shinichi Tajima, Katsusuke Nabeshima

Mathematics in Computer Science 15 353-367 2021年4月5日査読有り最終著者
Methods for computing b-functions associated with μ-constant deformations -- Case of inner modality two --.

Katsusuke Nabeshima, Shinichi Tajima

Kyushu Journal of Mathematics 75 55-76 2021年4月査読有り筆頭著者
A new algorithm for computing logarithmic vector fields along an isolated singularity and Bruce-Roberts Milnor ideals

Katsusuke Nabeshima, Shinichi Tajima

Journal of symbolic computation 107(4) 190-208 2021年4月査読有り筆頭著者
Computing Regular Meromorphic Differential Forms via Saito's Logarithmic Residues

Shinichi Tajima, Katsusuke Nabeshima

Symmetry, Integrability and Geometry: Methods and Applications 2021年2月27日査読有り
Parametric standard system for mixed module and its application to singularity theory

Hiroshi Teramoto, Katsusuke Nabeshima

Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation 426-433 2020年7月20日査読有り最終著者
On parametric border bases

Yosuke Sato, Hiroshi Sekigawa, Ryoya Fukasaku, Katsusuke Nabeshima

Lecture Notes in Computer Science 11989 10-15 2020年3月査読有り最終著者
Generalized integral dependence relations

Katsusuke Nabeshima and Shinichi Tajima

Lecture Notes in Computer Science 11989 48-63 2020年3月査読有り筆頭著者
Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality

Shinichi Tajima, Takafumi Shibuta, Katsusuke Nabeshima

Lecture Notes in Computer Science 12291 543-562 2020年査読有り
Computing Parametric Standard Bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities

Katsusuke Nabeshima

Lecture Notes in Computer Science, 12291 447-460 2020年査読有り
Computing logarithmic vector fields and Bruce-Roberts Milnor numbers via local cohomology classes

Katsusuke Nabeshima, Shinichi Tajima

Revue Roumaine Mathematiques Pures et Appliquees 64(4) 521-538 2019年12月査読有り
Alternative algorithms for computing generic μ ∗ -sequences and local Euler obstructions of isolated hypersurface singularities

Katsusuke Nabeshima, Shinichi Tajima

Journal of Algebra and its Applications 18(8) 2019年8月査読有り
An Implementation of the Lê–Teissier Method for Computing Local Euler Obstructions

Shinichi Tajima, Katsusuke Nabeshima

Mathematics in Computer Science 13(1) 273-280 2019年6月査読有り
Solving Parametric Ideal Membership Problems and Computing Integral Numbers in a Ring of Convergent Power Series Via Comprehensive Gröbner Systems

Katsusuke Nabeshima, Shinichi Tajima

Mathematics in Computer Science 13(1) 185-194 2019年6月査読有り
On applications of technology to understanding hierarchies of elementary geometry

Yosuke Sato, Ryoya Fukasaku, Katsusuke Nabeshima

Proc. Asian Technology Conference in Mathematics 2018 176-185 2018年12月査読有り

もっとみる

MISC

孤立特異点を持つcomplete intersectionに沿う対数的ベクトル場の計算法について (可微分写像の特異点論とその応用)

田島慎一, 渋田敬史, 鍋島克輔

数理解析研究所講究録 (2156) 1-15 2020年5月
収束冪級数環におけるgeneralized integral dependence relationの計算について (Computer Algebra : Theory and its Applications)

鍋島克輔, 田島慎一

数理解析研究所講究録 (2104) 78-85 2019年2月
超曲面の孤立特異点に沿った対数的ベクトル場と応用 (第27回日本数式処理学会大会報告)

鍋島克輔, 田島慎一

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 25(1) 83-86 2019年1月
収束冪級数環におけるintegral numberの計算法 (第26回日本数式処理学会大会報告)

鍋島克輔, 田島慎一

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 24(2) 13-16 2018年5月
Tangent coneを用いた局所環でのパラメトリック・イデアルの次元判定 (合同分科会報告)

鍋島克輔, 田島慎一

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 24(1) 50-53 2018年1月
グレブナー基底を用いた収束冪級数環での拡張イデアル所属アルゴリズムについて (数式処理とその周辺分野の研究)

鍋島克輔, 田島慎一

数理解析研究所講究録 (2054) 118-125 2017年10月
パラメトリック局所コホモロジーを用いたμ[*]の計算 (第25回日本数式処理学会大会報告)

鍋島克輔, 田島慎一

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 23(2) 89-91 2017年5月
代数的局所コホモロジーを用いた Limiting Tangent Space の計算法 (数式処理の新たな発展 : その最新研究と基礎理論の再構成)

鍋島克輔, 田島慎一

数理解析研究所講究録 (2019) 53-63 2017年4月
Computer algebra and Bruce-Roberts Milnor number (数式処理の新たな発展 : その最新研究と基礎理論の再構成)

伊澤毅, 鍋島克輔, 田島慎一

数理解析研究所講究録 (2019) 64-79 2017年4月
代数的局所コホモロジーを用いたLimiting Tangent Spaceの計算法 (数式処理の新たな発展 : その最新研究と基礎理論の再構成)

鍋島克輔, 田島慎一

数理解析研究所講究録 (2019) 53-63 2017年4月
代数的局所コホモロジーを用いたスタンダード基底の項順序変換について(2) (第24回日本数式処理学会大会報告)

鍋島克輔, 田島慎一

数式処理 22(2) 59-62 2016年5月
合同分科会報告初等幾何の定理自動発見と包括的グレブナー基底 : 具体例を通して

杉原彩, 鍋島克輔

数式処理 22(1) 51-54 2016年3月
合同分科会報告包括的グレブナー基底について

鍋島克輔

数式処理 22(1) 55-58 2016年3月
Bruce-Robertsミルナー数の計算アルゴリズム (数式処理研究の新たな発展 : RIMS共同研究報告集)

田島慎一, 鍋島克輔

数理解析研究所講究録 1976(1976) 91-99 2015年12月
偏微分作用素環での包括的グレブナー基底系とホロノミーD-加群,b-関数 (数式処理研究の新たな発展 : RIMS共同研究報告集)

鍋島克輔, 田島慎一

数理解析研究所講究録 1976(1976) 100-116 2015年12月
代数的局所コホモロジーを用いたスタンダード基底の項順序変換について (第23回日本数式処理学会大会報告)

鍋島克輔, 田島慎一

数式処理 21(2) 56-59 2015年8月
代数的局所コホモロジーを用いたパラメータ付き拡張ideal membershipアルゴリズムについて (数式処理とその周辺分野の研究 : RIMS研究集会報告集)

鍋島克輔, 田島慎一

数理解析研究所講究録 1955(1955) 180-187 2015年7月
パラメータ付き対数的ベクトル場と局所コホモロジーについて (数式処理研究の新たな発展 : RIMS共同研究報告集)

鍋島克輔, 田島慎一

数理解析研究所講究録 1927(1927) 55-65 2014年12月
パラメータ付き対数的ベクトル場と局所コホモロジーについて (数式処理研究の新たな発展)

鍋島克輔, 田島慎一

数理解析研究所講究録 (1927) 55-65 2014年12月
ブーリアン・グレブナー基底を用いたグラフ3彩色問題へのアプローチについて (数式処理とその周辺分野の研究)

鍋島克輔, 杉原彩

数理解析研究所講究録 1907 116-121 2014年7月

もっとみる

書籍等出版物

計算機代数の基礎理論

長坂耕作, 岩根秀直, 北本卓也, 讃岐勝, 照井章, 鍋島克輔

共立出版 2019年 (ISBN: 9784320113732)
Proc. the 39th International Symposium on Symbolilc and Algebraic Computation

Katsusuke Nabeshima (担当:編者(編著者))

Association for Computing Machinery 2014年7月 (ISBN: 9781450325011)

担当経験のある科目(授業)

もっとみる

所属学協会

共同研究・競争的資金等の研究課題

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

日本学術振興会科研費基盤(C) 2019年4月 - 2023年3月

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

日本学術振興会科学研究費基盤(C) 2018年4月 - 2023年3月

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

日本学術振興会科学研究費基盤(C) 2018年4月 - 2022年3月

田島慎一
日本学術振興会科学研究費基盤(C)

2015年4月 - 2018年3月

田島慎一
代数的局所コホモロジーを利用した特異点解析プログラムの構築

日本学術振興会科学研究費若手(B) 2015年4月 - 2018年3月

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

日本学術振興会科学研究費基盤(C) 2012年4月 - 2015年3月

田島慎一
パラメータ付き多項式の数式処理とその応用

日本学術振興会科学研究費若手(B) 2010年4月 - 2013年3月

鍋島克輔

鍋島克輔

基本情報

研究キーワード

研究分野

経歴

学歴

委員歴

受賞

論文

MISC

書籍等出版物

担当経験のある科目(授業)

所属学協会

共同研究・競争的資金等の研究課題

メニュー

共著者の一覧