Excel(xlsx) for Microsoft Excel, CSV(UTF-8) for Apple Numbers, TEXT for Text Editor, DOCX for Microsoft Word
期間: 2016.4〜2017.3

2016年度(平成28年度)

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

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 VNT 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年度) / 報告書

(なし)