数理情報講座 (詳細)

期間: 2016.4〜2022.3

2016年度(平成28年度)

article.{@.date="20160400 20170399" @.organization=\E{309424}}

2016年度(平成28年度) / 著書

(なし)

2016年度(平成28年度) / 学術論文 (審査論文)

1)	2,016	学術論文 (審査論文)	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. [EdbClient \| EDB]
2)	2,016	学術論文 (審査論文)	Shin-ichi Nakayama and Shigeru MASUYAMA : A linear time algorithm for finding a spanning tree with non-terminal set $V_{NT}$ on cographs., IEICE Transactions on Information and Systems, Vol.E99-D, No.10, 2574-2584, 2016. [EdbClient \| EDB]
3)	2,016	学術論文 (審査論文)	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. [EdbClient \| EDB]
4)	2,016	学術論文 (審査論文)	Yosuke Sato, Ryoya Fukasaku and Katsusuke Nabeshima : On simple representation of locally closed sets, Proc. Asian Technology Conference in Mathematics 2016, 190-199, 2016. [EdbClient \| EDB]
5)	2,016	学術論文 (審査論文)	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. [EdbClient \| EDB]
6)	2,016	学術論文 (審査論文)	Shin-ichi Nakayama and Shigeru MASUYAMA : A linear time algorithm for finding a minimum spanning tree with non-terminal set V_NT on outerplanar graphs., IEICE Transactions on Information and Systems, Vol.E100-D, No.3, 434-443, 2017. [EdbClient \| EDB]
7)	2,016	学術論文 (審査論文)	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. [EdbClient \| EDB]

2016年度(平成28年度) / 学術論文 (紀要その他)

1)	2,016	学術論文 (紀要その他)	鍋島克輔, 田島慎一 : 代数的局所コホモロジーを用いた Limiting Tangent Space の計算法, 数理解析研究所講究録, Vol.2019, 53-63, 2017年. [EdbClient \| EDB]
2)	2,016	学術論文 (紀要その他)	伊澤毅, 鍋島克輔, 田島慎一 : Computer algebra and Bruce-Roberts Milnor number, 数理解析研究所講究録, Vol.2019, 64-79, 2017年. [EdbClient \| EDB]

2016年度(平成28年度) / 学術レター

(なし)

2016年度(平成28年度) / 総説・解説

(なし)

2016年度(平成28年度) / 国際会議

1)	2,016	国際会議	Toru Hasunuma : Constructions of universalized Sierpinski graphs based on labeling manipulations, Proceedings of the 9th International Workshop on Graph Labeling (July 7-9, 2016), Electronic Notes in Discrete Mathematics, Vol. 60, 47-54, Krakow, Poland, Jul. 2016. [EdbClient \| EDB]
2)	2,016	国際会議	Katsuyoshi Ohara, Katsusuke Nabeshima and Shinichi Tajima : Comprehensive Gröbner systems for parametric Poincare-Birkhoff-Witt ideals, Algebraic Statistics and Symbolic Computation, Jul. 2016. [EdbClient \| EDB]
3)	2,016	国際会議	Toru Hasunuma : Two generalized variants of dominating sets in subdivided-line graphs, Abstracts of International Symposium on Combinatorial Optimisation 2016 (Sep. 1-3, 2016), 27, Canterbury, UK, Sep. 2016. [EdbClient \| EDB]
4)	2,016	国際会議	Toru Hasunuma : Completely independent spanning trees in the powers of sparse graphs, Abstracts of the 40th Australasian Conference on Combinatorial Mathematics and Combinatorial Computing (Dec. 12-16, 2016), 23, Newcastle, Australia, Dec. 2016. [EdbClient \| EDB]
5)	2,016	国際会議	Katsusuke Nabeshima : Computation method for mu*-sequences of hypersurface isolated singularities, Topology of Singularity in Hanoi 2017, Feb. 2017. [EdbClient \| EDB]

2016年度(平成28年度) / 国内講演発表

1)	2,016	国内講演発表	鍋島克輔 : A computation method for algebraic local cohomology classes and its applications, 東京大学数理「複素解析幾何セミナー」, 2016年5月. [EdbClient \| EDB]
2)	2,016	国内講演発表	鍋島克輔, 田島慎一 : パラメトリック局所コホモロジーを用いたμ*の計算, 第25回日本数式処理学会大会,福岡大学, 2016年6月. [EdbClient \| EDB]
3)	2,016	国内講演発表	鍋島克輔 : グレブナー基底の安定性とパラメトリック・システム, 埼玉大学数学談話会, 2016年7月. [EdbClient \| EDB]
4)	2,016	国内講演発表	伊澤毅, 鍋島克輔, 田島慎一 : Computer algebra and Bruce-Roberts Milnor numbers, 数理解析研究所共同研究「数式処理の新たな発展-その最新研究と基礎理論の再構成-],, 2016年9月. [EdbClient \| EDB]
5)	2,016	国内講演発表	鍋島克輔, 田島慎一 : 代数的局所コホモロジーを用いた Limiting Tangent Spaceの計算法と比較, 数理解析研究所共同集会「数式処理の新たな発展-その最新研究と基礎理論の再構成-」,, 2016年9月. [EdbClient \| EDB]
6)	2,016	国内講演発表	小原功任, 鍋島克輔, 田島慎一 : 包括的グレブナー基底とパラメータつきb-関数の計算, 第10回玉原特殊多様体研究集会,玉原国際セミナーハウス, 2016年9月. [EdbClient \| EDB]
7)	2,016	国内講演発表	鍋島克輔, 田島慎一 : パラメータ付きホロノミーD加群とb-関数 -μ-constant deformation の場合-, 日本数学学会総合分科会 (函数論), 関西大学, 2016年9月. [EdbClient \| EDB]
8)	2,016	国内講演発表	鍋島克輔, 田島慎一 : 局所コホモロジーを用いたμ*列の計算法について, 日本数学会総合分科会(函数論), 関西大学, 2016年9月. [EdbClient \| EDB]
9)	2,016	国内講演発表	小原功任, 鍋島克輔, 田島慎一 : Comprehensive Gröbner systems in Poincare-Birkhoff-Witt algebra and Bernstein-Sato ideals, 数理解析研究所研究集会「超局所解析と特異摂動論の新展開」, 2016年10月. [EdbClient \| EDB]
10)	2,016	国内講演発表	田島慎一, 鍋島克輔 : Base change formula によるパラメータ付き多変数留数計算アルゴリズム, 数理解析研究所共同研究「数式処理とその周辺分野の研究」, 2016年12月. [EdbClient \| EDB]
11)	2,016	国内講演発表	鍋島克輔, 田島慎一 : b-関数の因子チェックを用いたパラメトリックb-関数の計算 - mu-constant deformation の場合-, 数理解析研究所共同研究「数式処理とその周辺分野の研究」, 2016年12月. [EdbClient \| EDB]
12)	2,016	国内講演発表	鍋島克輔, 田島慎一 : Tangent coneを用いた局所環でのパラメトリック・イデアルの次元判定, 日本数式処理学会合同分科会, 京都大学東京オフィス, 2017年1月. [EdbClient \| EDB]
13)	2,016	国内講演発表	鍋島克輔, 小原功任, 田島慎一 : パラメータ付きBernstein-Sato イデアルとホロノミーD 加群の計算, 日本数学会年会(函数論), 首都大学東京,, 2017年3月. [EdbClient \| EDB]
14)	2,016	国内講演発表	鍋島克輔, 田島慎一 : 包括的グレブナー基底系を用いたmu-stratificationとmu*列の計算法について, Risa/Asir conference 2017, 金沢大学, 2017年3月. [EdbClient \| EDB]

2016年度(平成28年度) / 作品等

(なし)

2016年度(平成28年度) / その他・研究会

(なし)

2016年度(平成28年度) / 報告書

(なし)

2017年度(平成29年度)

article.{@.date="20170400 20180399" @.organization=\E{309424}}

2017年度(平成29年度) / 著書

1)	2,017	著書	石丸善康, 伊藤伸一, 宇野剛史, 岡村康弘, 大平健司, 小野公輔, 掛井秀一, 金西計英, 澤田麻衣子, 蓮沼徹, 古屋 S. 玲, 松浦健二, 松本和幸, 土岐順子, 阿部香織, 山﨑紅, 辰巳丈夫, 勝村幸博 : 情報科学入門, 日経BP社, 東京, 2017年4月. [EdbClient \| EDB]
2)	2,017	著書	小野公輔, 蓮沼徹 : 新しく始める線形代数, サイエンス社, 東京, 2017年11月. [EdbClient \| EDB]

2017年度(平成29年度) / 学術論文 (審査論文)

1)	2,017	学術論文 (審査論文)	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. [EdbClient \| EDB]
2)	2,017	学術論文 (審査論文)	Akira Ohbuchi and Jiryo Komeda : γ-Hyperelliptic Weierstrass Semigroups of Genus 6γ + 1 and 6γ, Bulletin of the Brazilian Mathematical Society, Vol.48, No.2, 209-218, 2017. [EdbClient \| EDB]

2017年度(平成29年度) / 学術論文 (紀要その他)

2,017

学術論文 (紀要その他)

鍋島克輔, 田島慎一 : グレブナー基底を用いた収束冪級数環での拡張イデアル所属アルゴリズムについて, 数理解析研究所講究録, Vol.2054, 118-125, 2017年. [EdbClient | EDB]

2017年度(平成29年度) / 学術レター

(なし)

2017年度(平成29年度) / 総説・解説

(なし)

2017年度(平成29年度) / 国際会議

1)	2,017	国際会議	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. [EdbClient \| EDB]
2)	2,017	国際会議	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. [EdbClient \| EDB]
3)	2,017	国際会議	Katsusuke Nabeshima : Computing Bruce-Roberts Milnor numbers, Australian-Japanese Workshop on Real and Complex Singularities, The University of Sydney, Australia, Sep. 2017. [EdbClient \| EDB]
4)	2,017	国際会議	Toru Hasunuma : Augmenting a tree to a k-arbor-connected graph with pagenumber k, Extended abstracts of 34th European Workshop on Computational Geometry (March 21-23, 2018), 27:1-6, Berlin, Germany, Mar. 2018. [EdbClient \| EDB]

2017年度(平成29年度) / 国内講演発表

1)	2,017	国内講演発表	鍋島克輔, 田島慎一 : 収束冪級数環における integral numberの計算法について, 第26回日本数式処理学会大会, 2017年6月. [EdbClient \| EDB]
2)	2,017	国内講演発表	鍋島克輔, 田島慎一 : b-関数の根に付随したホロノミー系の局所コホモロジー解の計算, 京都大学数理解析研究所共同研究,「数式処理の新たな発展, 京都大学,, 2017年9月. [EdbClient \| EDB]
3)	2,017	国内講演発表	鍋島克輔, 田島慎一 : 収束冪級数環でのintegral numberの計算 -- グレブナー基底 vs 代数的局所コホモロジー類 --, 日本数学会秋季総合分科会(函数論), 山形大学, 2017年9月. [EdbClient \| EDB]
4)	2,017	国内講演発表	田島慎一, 鍋島克輔 : Transformation law によるGrothendieck local residue の計算, 日本数学会秋季総合分科会(函数論), 山形大学, 2017年9月. [EdbClient \| EDB]
5)	2,017	国内講演発表	田島慎一, 加藤満生, 鍋島克輔 : Integral dependence relation と半擬斉次孤立特異点の b-関数, 日本数学会秋季総合分科会(函数論), 山形大学, 2017年9月. [EdbClient \| EDB]
6)	2,017	国内講演発表	塚本淳, 中山慎一 : 非端末節点集合を伴う全域木問題を解くアルゴリズム開発, 中国・四国地区SSOR, 18-19, 2017年9月. [EdbClient \| EDB]
7)	2,017	国内講演発表	鍋島克輔, 田島慎一 : 収束冪級数環におけるgeneralized integral dependence relation の計算について, 京都大学数理解析研究所共同研究,「Computer Algebra – Theory and its Applications」, 京都大学, 2017年12月. [EdbClient \| EDB]
8)	2,017	国内講演発表	鍋島克輔, 田島慎一 : 収束冪級数環でのintegral number の計算II, 2018年度日本数学会年会(函数論),東京大学, 2018年3月. [EdbClient \| EDB]
9)	2,017	国内講演発表	鍋島克輔 : パラメトリックイデアル所属問題の解き方について, Risa/Asir Conference 2018, 金沢大学, 2018年3月. [EdbClient \| EDB]

2017年度(平成29年度) / 作品等

(なし)

2017年度(平成29年度) / その他・研究会

2,017

その他・研究会

鍋島克輔 : パラメトリック・システムの数式処理と理工学への応用, 社会産業理工学研究交流会2017, 2017年9月. [EdbClient | EDB]

2017年度(平成29年度) / 報告書

(なし)

2018年度(平成30年度)

article.{@.date="20180400 20190399" @.organization=\E{309424}}

2018年度(平成30年度) / 著書

1)	2,018	著書	石丸善康, 伊藤伸一, 宇野剛史, 岡村康弘, 大平健司, 小野公輔, 掛井秀一, 金西計英, 澤田麻衣子, 蓮沼徹, 古屋 S. 玲, 松浦健二, 松本和幸, 土岐順子, 阿部香織, 山﨑紅, 辰巳丈夫, 勝村幸博 : 情報科学入門, 日経BP社, 東京, 2018年4月. [EdbClient \| EDB]
2)	2,018	著書	長坂耕作, 岩根秀直, 北本卓也, 讃岐勝, 照井章, 鍋島克輔 : 計算機代数の基礎理論, 共立出版株式会社, 2019年3月. [EdbClient \| EDB]

2018年度(平成30年度) / 学術論文 (審査論文)

1)	2,018	学術論文 (審査論文)	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. [EdbClient \| EDB]
2)	2,018	学術論文 (審査論文)	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. [EdbClient \| EDB]
3)	2,018	学術論文 (審査論文)	Akira Ohbuchi, Kei Miura and Takeshi Harui : Automorphism group of plane curve computed by Galois points, II, Proceedings of the Japan Academy. Series A, Mathematical Sciences, Vol.94, No.6, 59-63, 2018. [EdbClient \| EDB]
4)	2,018	学術論文 (審査論文)	Shin-ichi Nakayama and Shigeru Masuyama : A linear-time algorithm for finding a spanning tree with non-terminal set `V_NT` on interval graphs, IEICE Transactions on Information and Systems, Vol.E101-D, No.9, 2235-2246, 2018. [EdbClient \| EDB]
5)	2,018	学術論文 (審査論文)	Taketo Shirane : Connected numbers and the embedded topology of plane curves, Canadian Mathematical Bulletin, Vol.61, No.3, 650-658, 2018. [EdbClient \| EDB]
6)	2,018	学術論文 (審査論文)	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. [EdbClient \| EDB]
7)	2,018	学術論文 (審査論文)	Kazumine Moriyasu, Sakai Kazuhiro and Sumi Naoya : Diffeomorphisms with Shadowable Measures, Axioms, Vol.93, No.7(4), 2018. [EdbClient \| EDB]
8)	2,018	学術論文 (審査論文)	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. [EdbClient \| EDB]
9)	2,018	学術論文 (審査論文)	Taketo Shirane : Galois covers of graphs and embedded topology of plane curves, Topology and its Applications, Vol.257, 122-143, 2019. [EdbClient \| EDB]

2018年度(平成30年度) / 学術論文 (紀要その他)

2,018

学術論文 (紀要その他)

鍋島克輔, 田島慎一 : 収束冪級数環における generalized integral dependence relation の計算について, 数理解析研究所講究録, Vol.2104, 78-85, 2019年. [EdbClient | EDB]

2018年度(平成30年度) / 学術レター

(なし)

2018年度(平成30年度) / 総説・解説

(なし)

2018年度(平成30年度) / 国際会議

1)	2,018	国際会議	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. [EdbClient \| EDB]
2)	2,018	国際会議	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. [EdbClient \| EDB]
3)	2,018	国際会議	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. [EdbClient \| EDB]
4)	2,018	国際会議	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. [EdbClient \| EDB]
5)	2,018	国際会議	Taketo Shirane : Galois covers of graphs and embedded topology of plane curves, Fifteenth International Conference Zaragoza-Pau on Mathematics and its Applications, Jaca in Spain, Sep. 2018. [EdbClient \| EDB]
6)	2,018	国際会議	白根竹人 : Galois covers of graphs and embedded topology of plane curves, 第16回代数曲線論シンポジウム, 神奈川工科大学, 2018年12月. [EdbClient \| EDB]

2018年度(平成30年度) / 国内講演発表

1)	2,018	国内講演発表	鍋島克輔 : 包括的グレブナー基底系とμ-constant deformation に付随したb-関数の計算, 北海道大学応用特異点ラボセミナー, 2018年5月. [EdbClient \| EDB]
2)	2,018	国内講演発表	鍋島克輔, 田島慎一 : 超曲面の孤立特異点に沿った対数的ベクトル場と応用, 第27回日本数式処理学会大会, 福岡教育大学, 2018年6月. [EdbClient \| EDB]
3)	2,018	国内講演発表	白根竹人 : Galois covers of graphs and embedded topology of plane curves, 幾何学コロキウム, 2018年6月. [EdbClient \| EDB]
4)	2,018	国内講演発表	白根竹人 : Graphs and the embedded topology of plane curves, 第18回代数曲面ワークショップ at 秋葉原, 2018年7月. [EdbClient \| EDB]
5)	2,018	国内講演発表	鍋島克輔 : ボーダー基底とスタンダード基底の関係性について, 日本数式処理学会理論分科会&システム分科会合同研究会, 東京理科大, 2018年9月. [EdbClient \| EDB]
6)	2,018	国内講演発表	塚本淳, 中山慎一 : 非端末節点集合を伴う最小全域木問題を解くプログラム開発, 日本OR学会中四国支部SSOR, 15-16, 2018年9月. [EdbClient \| EDB]
7)	2,018	国内講演発表	白根竹人 : Galois covers of graphs and embedded topology or plane curves, 射影多様体の幾何とその周辺2018, 2018年10月. [EdbClient \| EDB]
8)	2,018	国内講演発表	白根竹人 : グラフの巡回被覆と平面曲線の埋込位相について, 平成30年度第1回徳島数学談話会(冬の会), 2018年12月. [EdbClient \| EDB]
9)	2,018	国内講演発表	鍋島克輔, 田島慎一 : Testing zero-dimensionality at a point of varieties defined by a parametric ideal, 数理解析研究所共同研究「Computer Algebra - Theory and its Applications」,京都大学, 2018年12月. [EdbClient \| EDB]
10)	2,018	国内講演発表	鍋島克輔 : Computing parametric systems, Quantum Math, 沖縄科学技術大学院大学, 2019年3月. [EdbClient \| EDB]
11)	2,018	国内講演発表	鍋島克輔, 田島慎一 : Chern-Schwartz-MacPherson class の計算法について, 日本数学年会(函数論), 東京工業大学, 2019年3月. [EdbClient \| EDB]
12)	2,018	国内講演発表	鍋島克輔, 田島慎一 : ジェネリックな一次関数のブルース・ロバート・ミルナー数について, 日本数学年会(函数論), 東京工業大学, 2019年3月. [EdbClient \| EDB]
13)	2,018	国内講演発表	鍋島克輔, 田島慎一 : イデアル商を用いた点での多様体の次元判定, Risa/Asir conference 2019, 金沢大学, 2019年3月. [EdbClient \| EDB]
14)	2,018	国内講演発表	中山慎一 : 最小全域木に関する問題の解法について, 日本オペレーションズ・リサーチ学会中国・四国支部講演会, 2019年3月. [EdbClient \| EDB]

2018年度(平成30年度) / 作品等

(なし)

2018年度(平成30年度) / その他・研究会

(なし)

2018年度(平成30年度) / 報告書

(なし)

2019年度(平成31(令和元)年度)

article.{@.date="20190400 20200399" @.organization=\E{309424}}

2019年度(平成31(令和元)年度) / 著書

2,019

著書

石丸善康, 伊藤伸一, 宇野剛史, 岡村康弘, 大平健司, 小野公輔, 掛井秀一, 金西計英, 澤田麻衣子, 蓮沼徹, 古屋 S. 玲, 松浦健二, 松本和幸, 土岐順子, 阿部香織, 山﨑紅, 辰巳丈夫, 勝村幸博 : 情報科学入門, 日経BP社, 東京, 2019年4月. [EdbClient | EDB]

2019年度(平成31(令和元)年度) / 学術論文 (審査論文)

1)	2,019	学術論文 (審査論文)	Shin-ichi Nakayama and Shigeru MASUYAMA : A Linear Time Algorithm for Finding a Minimum Spanning Tree with Non-Terminal Set `V_NT` on Series-Parallel Graphs, IEICE Transactions on Information and Systems, Vol.E102-D, No.4, 826-835, 2019. [EdbClient \| EDB]
2)	2,019	学術論文 (審査論文)	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. [EdbClient \| EDB]
3)	2,019	学術論文 (審査論文)	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. [EdbClient \| EDB]
4)	2,019	学術論文 (審査論文)	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. [EdbClient \| EDB]
5)	2,019	学術論文 (審査論文)	Taketo Shirane and Shinzo Bannai : Nodal curves with a contact-conic and Zariski pairs, Advances in Geometry, Vol.19, No.4, 555-572, 2019. [EdbClient \| EDB]
6)	2,019	学術論文 (審査論文)	Katsusuke Nabeshima and Shinichi Tajima : Computing logarithmic vector fields and Bruce-Roberts Milnor numbers via local cohomology classes, Revue Roumaine de Mathematiques Pures et Appliquees, Vol.64, No.4, 521-538, 2019. [EdbClient \| EDB]
7)	2,019	学術論文 (審査論文)	Yosuke Sato, Hiroshi Sekigawa, Ryoya Fukasaku and Katsusuke Nabeshima : On Parametric Border Bases, Lecture Notes in Computer Science, Vol.11989, 10-15, 2020. [EdbClient \| EDB]
8)	2,019	学術論文 (審査論文)	Katsusuke Nabeshima and Shinichi Tajima : Generalized Integral Dependence Relations, Lecture Notes in Computer Science, Vol.11989, 48-63, 2020. [EdbClient \| EDB]

2019年度(平成31(令和元)年度) / 学術論文 (紀要その他)

(なし)

2019年度(平成31(令和元)年度) / 学術レター

(なし)

2019年度(平成31(令和元)年度) / 総説・解説

(なし)

2019年度(平成31(令和元)年度) / 国際会議

1)	2,019	国際会議	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. [EdbClient \| EDB]
2)	2,019	国際会議	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. [EdbClient \| EDB]
3)	2,019	国際会議	Taketo Shirane : A construction of line bundles of double covers and splitting curves, Geometry in Pyrenees, Pau, France, Sep. 2019. [EdbClient \| EDB]
4)	2,019	国際会議	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, Tokyo, Dec. 2019. [EdbClient \| EDB]
5)	2,019	国際会議	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. [EdbClient \| EDB]
6)	2,019	国際会議	Taketo Shirane : A construction of line bundles on double covers and splitting curves, Degenerations, algebraic surfaces and related topics, Kobe, Dec. 2019. [EdbClient \| EDB]

2019年度(平成31(令和元)年度) / 国内講演発表

1)	2,019	国内講演発表	佐藤洋祐, 関川浩, 深作亮也, 鍋島克輔 : パラメトリックな代数方程式の根の連続性とBorder Basisとの関係, 第28回日本数式処理学会大会, 立教大学, 2019年5月. [EdbClient \| EDB]
2)	2,019	国内講演発表	鍋島克輔, 田島慎一 : 孤立特異点を持つ超曲面のTorsion微分形式について, 日本数学会秋季総合分科会(函数論), 金沢大学, 2019年9月. [EdbClient \| EDB]
3)	2,019	国内講演発表	佐藤洋祐, 関川浩, 深作亮也, 鍋島克輔 : パラメトリックな連立代数方程式の根の連続性とBorderBasisとの関係II, 日本数式処理学会理論分科会&システム分科会合同研究会, 九州大学, 2019年10月. [EdbClient \| EDB]
4)	2,019	国内講演発表	塚本淳, 中山慎一 : 非端末節点集合を伴う最小全域木問題を解く各種メタヒューリスティクスについて, 日本オペレーションズ・リサーチ学会中国・四国地区 SSOR, 2019年11月. [EdbClient \| EDB]
5)	2,019	国内講演発表	近藤亨一, 中山慎一 : クラス編成問題を解くプログラム開発, 日本オペレーションズ・リサーチ学会中国・四国地区 SSOR, 2019年11月. [EdbClient \| EDB]
6)	2,019	国内講演発表	田島慎一, 渋田敬史, 鍋島克輔 : Computing logarithmic vector fields along an ICIS via Matlis duality, 京都大学数理解析研究所共同研究,「可微分写像の特異点論とその応用」, 京都大学, 2019年12月. [EdbClient \| EDB]
7)	2,019	国内講演発表	Hiroshi Teramoto and Katsusuke Nabeshima : Standard Basis for Mixed Module, Computational Algorithm and Application to Classification Problems in Singularity Theory, 京都大学数理解析研究所共同研究,「可微分写像の特異点論とその応用」, 京都大学, Dec. 2019. [EdbClient \| EDB]
8)	2,019	国内講演発表	鍋島克輔, 田島慎一 : 半擬斉次特異点の性質を利用したAnn(f^s)とb-関数の計算について, 京都大学数理解析研究所共同研究,「Computer Algebra -- Theory and its Applications」, 京都大学, 2019年12月. [EdbClient \| EDB]
9)	2,019	国内講演発表	田島慎一, 鍋島克輔 : Moving curve ideal, Rees algebra and local cohomology, RIMS 共同研究(公開型) 「Computer Algebra Theory and its Applications」, 京都大学, 2019年12月. [EdbClient \| EDB]
10)	2,019	国内講演発表	森下敦, 大渕朗, 岡本敏弘, 原口雅宣 : コホモロジーを用いた局在型表面プラズモンとドレスト光子の機能モデル, 第67回応用物理学会春季学術講演会, 15a-PA4-3, 2020年3月. [EdbClient \| EDB]
11)	2,019	国内講演発表	田島慎一, 渋田敬史, 鍋島克輔 : 孤立特異点を持つ complete intersection に沿う対数的ベクトル場の構成法, 日本数学会年会(函数論), 日本大学, 2020年3月. [EdbClient \| EDB]

2019年度(平成31(令和元)年度) / 作品等

(なし)

2019年度(平成31(令和元)年度) / その他・研究会

(なし)

2019年度(平成31(令和元)年度) / 報告書

(なし)

2020年度(令和2年度)

article.{@.date="20200400 20210399" @.organization=\E{309424}}

2020年度(令和2年度) / 著書

2,020

著書

石田基広, 大薮進喜, 上田哲史, 掛井秀一, 金西計英, 谷岡広樹, 中山慎一, 芳賀昭弘 : 情報科学入門統計・データサイエンス・AI, 技術評論社, 2021年3月. [EdbClient | EDB]

2020年度(令和2年度) / 学術論文 (審査論文)

1)	2,020	学術論文 (審査論文)	Toru Hasunuma and Kosuke Ono : Connectivity keeping trees in 2-connected graphs, Journal of Graph Theory, Vol.94, No.1, 20-29, 2020. [EdbClient \| EDB]
2)	2,020	学術論文 (審査論文)	Hiroshi Taramoto and Katsusuke Nabeshima : Parametric Standard System for Mixed Module and its Application to Singularity Theory, Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC' 2020), 426-433, 2020. [EdbClient \| EDB]
3)	2,020	学術論文 (審査論文)	Shinichi Tajima, Takafumi Shibuta and Katsusuke Nabeshima : Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality, Lecture Notes in Computer Science, Vol.12291, 543-562, 2020. [EdbClient \| EDB]
4)	2,020	学術論文 (審査論文)	Katsusuke Nabeshima : Computing Parametric Standard Bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities, Lecture Notes in Computer Science, Vol.12291, 447-460, 2020. [EdbClient \| EDB]
5)	2,020	学術論文 (審査論文)	Hideji TANAKA, Kurokawa Yohei, Masaki Takeuchi and Akira Ohbuchi : Amplitude modulated flow analysis for speciationProof of concept by quantification of Fe2+ and Fe3+ ions, Talanta Open, Vol.3, Article100031, 2021. [EdbClient \| EDB]
6)	2,020	学術論文 (審査論文)	Shinichi Tajima and Katsusuke Nabeshima : Computing regular meromorphic differential forms via Saito's logarithmic residues, Symmetry, Integrability and Geometry, Methods and Applications : SIGMA, Vol.17, No.019, 2021. [EdbClient \| EDB]
7)	2,020	学術論文 (審査論文)	Katsusuke Nabeshima and Shinichi Tajima : Testing zero-dimensionality of varieties at a point,, Mathematics in Computer Science, 2021. [EdbClient \| EDB]
8)	2,020	学術論文 (審査論文)	Shinichi Tajima and Katsusuke Nabeshima : An algorithm for computing torsion differential forms associated to an isolated hypersurface singularity, Mathematics in Computer Science, 2021. [EdbClient \| EDB]
9)	2,020	学術論文 (審査論文)	Katsusuke Nabeshima and Shinichi Tajima : Methods for computing b-functions associated with μ-constant deformations -- Case of inner modality two --, Kyushu Journal of Mathematics, Vol.75, 2021. [EdbClient \| EDB]

2020年度(令和2年度) / 学術論文 (紀要その他)

1)	2,020	学術論文 (紀要その他)	Hiroshi Teramoto and Katsusuke Nabeshima : Standard Basis for Mixed Module, Computational Algorithm and Application to Classification Problems in Singularity Theory, RIMS Kokyuroku, Vol.2156, 16-32, 2020. [EdbClient \| EDB]
2)	2,020	学術論文 (紀要その他)	田島慎一, 渋田敬史, 鍋島克輔 : 孤立特異点を持つcomplete intersection に沿う対数的ベクトル場の計算法について, 数理解析研究所講究録, Vol.2156, 1-15, 2020年. [EdbClient \| EDB]
3)	2,020	学術論文 (紀要その他)	田島慎一, 鍋島克輔 : Moving curve ideal, Rees algebra and local cohomology, 数理解析研究所講究録, Vol.2159, 179-187, 2020年. [EdbClient \| EDB]
4)	2,020	学術論文 (紀要その他)	鍋島克輔, 田島慎一 : 半擬斉次特異点の性質を利用したAnn(f^s)とb-関数の計算, 数理解析研究所講究録, Vol.2159, 188-199, 2020年. [EdbClient \| EDB]

2020年度(令和2年度) / 学術レター

(なし)

2020年度(令和2年度) / 総説・解説

(なし)

2020年度(令和2年度) / 国際会議

1)	2,020	国際会議	Toru Hasunuma : Connectivity keeping trees in 2-connected graphs with girth conditions, Proceedings of 31st International Workshop on Combinatorial Algorithms (8-10 June 2020, online), Lecture Notes in Computer Science, Vol.12126, 316-329, Bordeaux, France, Jun. 2020. [EdbClient \| EDB]
2)	2,020	国際会議	Katsusuke Nabeshima and Shinichi Tajima : Computation of $kappa$-invariants associated to deformations of isolated hypersurface singularities, The 22nd conference on Computer Algebra in Scientific Computing, Johannes Kepler University, Linz, Austria, Sep. 2020. [EdbClient \| EDB]

2020年度(令和2年度) / 国内講演発表

1)	2,020	国内講演発表	田島慎一, 鍋島克輔 : Versal unfoldings of singular holomorphic foliations --諏訪アルゴリズムの実装--, 日本数学会秋季総合分科会(函数論), 熊本大学, 2020年9月. [EdbClient \| EDB]
2)	2,020	国内講演発表	田島慎一, 鍋島克輔 : D. Barlet のregular meromorphic differential forms とK. Saito のlogarithmic residues, 日本数学会秋季総合分科会(函数論), 熊本大学, 2020年9月. [EdbClient \| EDB]
3)	2,020	国内講演発表	白根竹人 : Double covers and vector bundles of rank two, 第22回代数曲面ワークショップZoom, 2020年9月. [EdbClient \| EDB]
4)	2,020	国内講演発表	鍋島克輔, 田島慎一 : 有理関数体上の包括的スタンダード基底系を用いた特異点変形による不変量の計算について, 日本数式処理学会第29回大会, 甲南大学, 2020年10月. [EdbClient \| EDB]
5)	2,020	国内講演発表	白根竹人 : Double covers and vector bundles of rank two, 城崎代数幾何学シンポジウム2020, 2020年10月. [EdbClient \| EDB]
6)	2,020	国内講演発表	近藤亨一, 坂本彩奈, 中山慎一 : ある種のクラス編成問題を解くプログラム開発, 日本オペレーションズ・リサーチ学会中国・四国地区 SSOR, 24-25, 2020年11月. [EdbClient \| EDB]
7)	2,020	国内講演発表	鍋島克輔, 田島慎一 : ネター作用素を用いた零次元準素イデアル成分の表現法と計算, RIMS 共同研究(公開型) 「Computer Algebra Theory and its Applications」, 京都大学, 2020年12月. [EdbClient \| EDB]
8)	2,020	国内講演発表	田島慎一, 鍋島克輔 : 特異平面代数曲線に沿う対数的ベクトル場とCamacho-Sad-Suwa 指数に, 日本数学年会(函数論), 慶應義塾大学, 2021年3月. [EdbClient \| EDB]
9)	2,020	国内講演発表	鍋島克輔, 田島慎一 : 特異点変形に付随したκ-不変量の計算, 日本数学年会(函数論), 慶應義塾大学, 2021年3月. [EdbClient \| EDB]

2020年度(令和2年度) / 作品等

(なし)

2020年度(令和2年度) / その他・研究会

(なし)

2020年度(令和2年度) / 報告書

(なし)

2021年度(令和3年度)

article.{@.date="20210400 20220399" @.organization=\E{309424}}

2021年度(令和3年度) / 著書

(なし)

2021年度(令和3年度) / 学術論文 (審査論文)

1)	2,021	学術論文 (審査論文)	Toru Hasunuma : Connectivity keeping trees in 2-connected graphs with girth conditions, Algorithmica, Vol.83, No.9, 2697-2718, 2021. [EdbClient \| EDB]
2)	2,021	学術論文 (審査論文)	Hiroki Matsui : Prime thick subcategories and spectra of derived and singularity categories of noetherian schemes, Pacific Journal of Mathematics, Vol.313, No.2, 433-457, 2021. [EdbClient \| EDB]
3)	2,021	学術論文 (審査論文)	Hideji TANAKA, Riona Wada, Masatoshi Yanase, Erina Tomiyama, Akira Ohbuchi, Keiro Higuchi and Masaki Takeuchi : Triangular-wave controlled amplitude-modulated flow analysis for extending dynamic range to saturated signals, Analytical Sciences, Vol.38, No.5, 795-802, 2022. [EdbClient \| EDB]

2021年度(令和3年度) / 学術論文 (紀要その他)

(なし)

2021年度(令和3年度) / 学術レター

(なし)

2021年度(令和3年度) / 総説・解説

(なし)

2021年度(令和3年度) / 国際会議

1)	2,021	国際会議	Toru Hasunuma : Augmenting a tree to a k-arbor-connected graph with pagenumber k, Proceedings of 32nd International Workshop on Combinatorial Algorithms (5-7 July 2021, online), Lecture Notes in Computer Science, Vol.12757, 356-369, Ottawa, Canada, Jul. 2021. [EdbClient \| EDB]
2)	2,021	国際会議	Hiroki Matsui : Prime thick subcategories of derived categories associated with noetherian schemes, FD Seminar, Online, Oct. 2021. [EdbClient \| EDB]

2021年度(令和3年度) / 国内講演発表

1)	2,021	国内講演発表	中山慎一 : 非端末節点集合を伴う最小全域木問題を解くアルゴリズムについて, OR学会SSOR中部支部, 2021年8月. [EdbClient \| EDB]
2)	2,021	国内講演発表	一居航平, 中山慎一 : 多角形面積最小化問題を解くプログラム開発, 日本オペレーションズ・リサーチ学会中国・四国地区 SSOR, 31-32, 2021年11月. [EdbClient \| EDB]
3)	2,021	国内講演発表	松井紘樹 : Prime thick subcategories of derived categories associated with noetherian schemes, 第42回可換環論シンポジウム, 2021年11月. [EdbClient \| EDB]
4)	2,021	国内講演発表	松井紘樹 : 三角圏のスペクトラムとその種々の導来圏への応用, 阪大オンライン代数幾何学セミナー, 2021年11月. [EdbClient \| EDB]
5)	2,021	国内講演発表	松井紘樹 : 可換環論における部分圏の分類理論について, 令和3年度徳島数学談話会, 2021年12月. [EdbClient \| EDB]
6)	2,021	国内講演発表	松井紘樹 : ネータースキームの導来圏の素thick 部分圏, 東京可換環論セミナー, 2021年12月. [EdbClient \| EDB]
7)	2,021	国内講演発表	松井紘樹 : ネータースキームの導来圏の素thick 部分圏とスペクトラム, 可換環論の新しい融合セミナー, 2022年1月. [EdbClient \| EDB]

2021年度(令和3年度) / 作品等

(なし)

2021年度(令和3年度) / その他・研究会

(なし)

2021年度(令和3年度) / 報告書

(なし)