Top > Back > 学会発表 の検索結果 150 件中 121‐150 件目
| 半擬斉次孤立特異点に付随する代数的局所コホモロジーについて |
| [ 共同発表者名 ] 鍋島克輔, 田島慎一 |
| [ 学会・会議名 ] 日本数学会秋季総合分科会(函数論) |
| [ 発表日付 ] 2011年9月28日 ～ 10月1日 |
| Semi-quasihomogeneous isolated sungularityに付随する代数的局所コホモロジーについて |
| [ 共同発表者名 ] 鍋島克輔, 田島慎一 |
| [ 学会・会議名 ] 第20回日本数式処理学会 |
| [ 発表日付 ] 2011年9月15日 ～ 9月17日 |
| On the computation for algebraic local cohomogies associated with semi-quasihomogeneous singularities |
| [ 共同発表者名 ] Katsusuke Nabeshima, Shinichi Tajima |
| [ 学会・会議名 ] The 6th Franco-Japan Symposium on Singularities |
| [ 発表日付 ] 2011年9月5日 ～ 9月9日 |
| イデアルはいつ安定か? |
| [ 共同発表者名 ] 鍋島克輔 |
| [ 学会・会議名 ] JST CREST 「現代社会の産業とグレブナ-基底の調和」 若手研究集会 |
| [ 発表日付 ] 2011年2月8日 ～ 2月9日 |
| CGS計算アルゴリズムのさらなる改良 |
| [ 共同発表者名 ] 鍋島克輔 |
| [ 学会・会議名 ] 京都大学数理解析研究所研究集会 「Computer Algebra -Design of Algorithms, Implementations and Applications」 |
| [ 発表日付 ] 2010年12月8日 ～ 12月10日 |
| On an Implementation of Standard Bases and Gröbner Bases Using Algebraic Local Cohomology |
| [ 共同発表者名 ] Katsusuke Nabeshima, Yayoi Nakamura, Shinichi Tajima |
| [ 学会・会議名 ] 京都大学数理解析研究所研究集会 「実閉体上の幾何と特異点論への応用」 |
| [ 発表日付 ] 2010年12月7日 ～ 12月10日 |
| ブーリアン・グレブナー基底 |
| [ 共同発表者名 ] 鍋島克輔 |
| [ 学会・会議名 ] JST CREST 「現代社会の産業とグレブナ-基底の調和」 若手研究集会 |
| [ 発表日付 ] 2010年9月22日 ～ 9月24日 |
| Using Algebraic Local Cohomology with Parameters |
| [ 共同発表者名 ] Katsusuke Nabeshima, Yayoi Nakamura, Shinichi Tajima |
| [ 学会・会議名 ] International Conference on Applications of Computer Algebra (ACA'10) |
| [ 発表日付 ] 2010年6月24日 ～ 6月27日 |
| Derivation of resonant conditions with CGS |
| [ 共同発表者名 ] Hiroshi Yoshida, Katsusuke Nabeshima, |
| [ 学会・会議名 ] International Conference on Applications of Computer Algebra (ACA'10) |
| [ 発表日付 ] 2010年6月24日 ～ 6月27日 |
| CGSを用いた共振条件導出 |
| [ 共同発表者名 ] 鍋島克輔, 吉田寛 |
| [ 学会・会議名 ] 第19回日本数式処理学会大会 |
| [ 発表日付 ] 2010年6月4日 ～ 6月6日 |
| 代数的局所コホモロジーを利用したパラメータ付きスタンダード基底計算について |
| [ 共同発表者名 ] 鍋島克輔, 中村弥生, 田島慎一 |
| [ 学会・会議名 ] 2010年日本数学会年会（函数論） |
| [ 発表日付 ] 2010年3月15日 ～ 3月19日 |
| イデアルの安定性とパラメトリック・グレブナー基底 |
| [ 共同発表者名 ] 鍋島克輔 |
| [ 学会・会議名 ] 近畿大学数学講演会 |
| [ 発表日付 ] 2010年1月18日 |
| イデアルの安定性とパラメトリック・グレブナー基底の応用 |
| [ 共同発表者名 ] 鍋島克輔 |
| [ 学会・会議名 ] JST CREST「現代社会の産業とグレブナー基底の調和」若手研究集会 |
| [ 発表日付 ] 2010年1月7日 ～ 1月8日 |
| パラメータ付き零次元代数的局所コホモロジーを用いたパラメトリック・スタンダード基底計算について |
| [ 共同発表者名 ] 鍋島克輔, 中村弥生, 田島慎一 |
| [ 学会・会議名 ] 京都大学数理解析研究所研究集会 「Computer Algebra -Design of Algorithms, Implementations and Applications」 |
| [ 発表日付 ] 2009年11月25日 ～ 11月27日 |
| PGB: A package for computing parametric polynomial systems |
| [ 共同発表者名 ] 鍋島克輔 |
| [ 学会・会議名 ] 第2回日本数式処理学会システム分科会 |
| [ 発表日付 ] 2009年10月24日 ～ 10月25日 |
| 零次元代数的局所コホモロジーを用いた標準基底・グレブナー基底・メンバーシップ問題の実装 |
| [ 共同発表者名 ] 鍋島克輔, 中村弥生, 田島慎一 |
| [ 学会・会議名 ] 第18回日本数式処理学会大会 |
| [ 発表日付 ] 2009年6月5日 ～ 6月7日 |
| 双対性を用いた零次元ヤコビイデアルのスタンダード基底の計算法とグレブナー基底の応用に向けて |
| [ 共同発表者名 ] 鍋島克輔 |
| [ 学会・会議名 ] JST CREST「現代社会の産業とグレブナー基底の調和」workshop |
| [ 発表日付 ] 2009年5月21日 ～ 5月22日 |
| ブーリアン・グレブナ基底を使った数独の解法 |
| [ 共同発表者名 ] 井上秀太郎, 佐藤洋祐, 鈴木晃, 鍋島克輔 |
| [ 学会・会議名 ] 京都大学数理解析研究所研究集会 「Computer Algebra -Design of Algorithms, Implementations and Applications」 |
| [ 発表日付 ] 2008年11月26日 ～ 11月28日 |
| Boolean Grobner Bases and SUDOKU, |
| [ 共同発表者名 ] Yosuke Sato, Shutaro Inoue, Akira Suzuki, Katsusuke Nabeshima |
| [ 学会・会議名 ] International Conference on Applications of Computer Algebra (ACA'08) |
| [ 発表日付 ] 2008年7月27日 ～ 7月30日 |
| 係数ドメインと多項式環とする多項式環の簡約グレブナ基底について |
| [ 共同発表者名 ] 鍋島克輔 |
| [ 学会・会議名 ] 京都大学数理解析研究所研究集会 「Computer Algebra -Design of Algorithms, Implementations and Applications」 |
| [ 発表日付 ] 2007年11月21日 ～ 11月23日 |
| PGB: A package for computing Parametric Grobner Bases and Related Objects |
| [ 共同発表者名 ] Katsusuke Nabeshima |
| [ 学会・会議名 ] Software Exhibits in the International Symposium on Symbolic and Algebraic Computation |
| [ 発表日付 ] 2007年7月29日 ～ 8月1日 |
| 効率的なパラメトリック・グレブナ基底計算のテクニック |
| [ 共同発表者名 ] 鍋島克輔 |
| [ 学会・会議名 ] 第16回日本数式処理学会大会 |
| [ 発表日付 ] 2007年5月18日 ～ 5月20日 |
| Risa/Asir CGB関連パッケージの整備 |
| [ 共同発表者名 ] 倉田陽介, 鈴木晃、鍋島克輔 |
| [ 学会・会議名 ] 京都大学数理解析研究所研究集会 「数式処理研究の新たな発展」 |
| [ 発表日付 ] 2006年8月20日 ～ 8月22日 |
| Comprehensive Gröbner Bases for modules |
| [ 共同発表者名 ] Katsusuke Nabeshima |
| [ 学会・会議名 ] KIAS-RIMS Joint Workshop on Computer Algebra |
| [ 発表日付 ] 2006年7月27日 ～ 7月29日 |
| Comprehensive Groebner bases for modules |
| [ 共同発表者名 ] Katsusuke Nabeshima |
| [ 学会・会議名 ] International Conference on Applications of Computer Algebra |
| [ 発表日付 ] 2006年6月26日 ～ 6月29日 |
| Reduced Groebner Bases in Polynomial Rings over a Polynomial ring |
| [ 共同発表者名 ] Katsusuke Nabeshima |
| [ 学会・会議名 ] The First International Conference on Mathematical Aspects of Computer and Information Science |
| [ 発表日付 ] 2006年6月24日 ～ 6月26日 |
| A direct products of fields approach to comprehensive Gr\"obner bases over finite fields |
| [ 共同発表者名 ] Katsusuke Nabeshima |
| [ 学会・会議名 ] International Conference on Applications of Computer Algebra |
| [ 発表日付 ] 2005年7月31日 ～ 8月3日 |
| ACGB on varieties |
| [ 共同発表者名 ] Yosuke Sato, Akira Suzuki, Katsusuke Nabeshima |
| [ 学会・会議名 ] International Conference on Applications of Computer Algebra |
| [ 発表日付 ] 2003年7月28日 ～ 7月31日 |
| 代数多様体上のACGBについて |
| [ 共同発表者名 ] 佐藤洋祐, 鈴木晃, 鍋島克輔 |
| [ 学会・会議名 ] 第12回日本数式処理学会大会 |
| [ 発表日付 ] 2003年5月30日 ～ 6月1日 |
| Generalized discrete comprehensive Groebner bases |
| [ 共同発表者名 ] 鍋島克輔、佐藤洋祐, 鈴木晃 |
| [ 学会・会議名 ] 京都大学数理解析研究所研究集会 「Computer Algebra -Design of Algorithms, Implementations and Applications」 |
| [ 発表日付 ] 2002年12月11日 ～ 12月13日 |
