鈴木晃 SUZUKI Akira

研究者番号	50330519
その他のID
外部サイト
所属 (過去の研究課題情報に基づく) *注記	2010年度: 名古屋大学, 情報科学研究科, 共同研究員 2010年度: 名古屋大学, 情報科学研究科, 研究員 2007年度 – 2009年度: 神戸大学, 情報管理室, 助教 2005年度 – 2006年度: 神戸大学, 情報管理室, 助手 2005年度 – 2006年度: 神戸大学, 自然科学研究科, 助手 2003年度 – 2004年度: 神戸大学, 大学院・自然科学研究科, 助手
審査区分/研究分野	研究代表者情報学基礎研究代表者以外数学一般(含確率論・統計数学)
キーワード	研究代表者代数学 / グレブナー基底 / 媒介変数 / アルゴリズム / アルゴリズム理論研究代表者以外 CGB / modular computation / polynomial system / Hvnereeometric equation / Mathematical Software … もっと見る / Algebraic extension / F4 algorithm / Groebner Basis / dynamic evaluation / パラメタ / 計算代数 / 数式処理 / 斉次化 / F_4 / modular計算 / 代数方程式 / 超幾何方程式 / 数学ソフトウェア / 代数拡大 / F4アルゴリズム / グレブナー基底 / Cardinal Invariants of the Continuum / Descriptive Set Theory / Infinitary Combinatorics / Forcing Theory / Set Theory / Topology / Foundations of Mathematics / 実数上の集合論 / 無限組み合わせ論 / 連続体の基数不変量 / 記述集合論 / 無限組合せ論 / 強制法の理論 / 集合論 / トポロジー / 数学基礎論隠す

媒介変数を含む多項式系を解く実用的アルゴリズムの開発研究代表者
- 研究代表者
  
  鈴木晃
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  名古屋大学
媒介変数を伴うグレブナー基底を計算する実用的アルゴリズムの開発研究代表者
- 研究代表者
  
  鈴木晃
- 研究期間 (年度)
  2005 – 2007
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  神戸大学
パラメタを含む系の数式処理の実用化
- 研究代表者
  
  野呂正行
- 研究期間 (年度)
  2005 – 2007
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  神戸大学
強制法の新しい反復法の開発
- 研究代表者
  
  BRENDLE JORG
- 研究期間 (年度)
  2003 – 2004
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  神戸大学

すべて 2011 2010 2009 2008 2007 2006 2005 2004 2003

すべて雑誌論文学会発表

[雑誌論文] パラメーターを含む多項式剰余環における逆元の計算について2008
- 著者名/発表者名
  佐藤洋祐, 向田康平, 井上秀太郎, 鈴木晃
- 雑誌名
  
  数式処理Bulletin of JSSAC (2008) 15-2
  
  ページ: 132-134
- NAID
  10023902629
- データソース
  KAKENHI-PROJECT-20500013
[雑誌論文] グレブナー基底を用いた包括的グレブナー基底計算2007
- 著者名/発表者名
  鈴木晃
- 雑誌名
  
  数式処理J.JSSAC 14(1)
  
  ページ: 17-23
- NAID
  10019840464
- 査読あり
- データソース
  KAKENHI-PROJECT-17700017
[雑誌論文] グレブナー基底を用いた包括グーレブナー基底計算2006
- 著者名/発表者名
  鈴木晃
- 雑誌名
  
  CA-ALIAS 2005(京大数理解析研究所講究録) 1514
  
  ページ: 132-137
- データソース
  KAKENHI-PROJECT-17700017
[雑誌論文] A Simple Algorithm to compute Comprehensive Groebner Bases using Groebner Bases2006
- 著者名/発表者名
  Akira Suzuki
- 雑誌名
  
  Proceedings of ISSAC 2006
  
  ページ: 326-331
- データソース
  KAKENHI-PROJECT-17700017
[雑誌論文] A Simple Algorithm to compute Comprehensive Groebner Bases using Groebner Bases2006
- 著者名/発表者名
  A. Suzuki, Y. Sato
- 雑誌名
  
  Proc. ISSAC2006(ACM Press)
  
  ページ: 326-331
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17340028
[雑誌論文] A Simple Algorithm to compute Comprehensive Groebner Bases using Groebner Bases2006
- 著者名/発表者名
  A.Suzuki
- 雑誌名
  
  Proceedings of ISSAC2006
  
  ページ: 326-331
- データソース
  KAKENHI-PROJECT-17340028
[雑誌論文] Full Comprehensive Groebner Bases (extended abstract)2005
- 著者名/発表者名
  Akira Suzuki
- 雑誌名
  
  Proceedings of the A3L 2005
  
  ページ: 249-252
- データソース
  KAKENHI-PROJECT-17700017
[雑誌論文] Computation of Full Comprehensive Groebner Bases2005
- 著者名/発表者名
  A.Suzuki
- 雑誌名
  
  Lecture Notes in Computer Science 3718
  
  ページ: 431-444
- データソース
  KAKENHI-PROJECT-17340028
[雑誌論文] Computation of Comprehensive Groebner Systems using Groebner Bases and Prime Ideal Decompositions2005
- 著者名/発表者名
  Akira Suzuki
- 雑誌名
  
  Proceedings of the Seventh Asian Symposium on Computer Mathematics (ASCM 2005)
  
  ページ: 149-152
- データソース
  KAKENHI-PROJECT-17700017
[雑誌論文] Computation of Full Comprehensive Groebner Bases2005
- 著者名/発表者名
  Akira Suzuki
- 雑誌名
  
  Lecture Notes in Computer Science 3718
  
  ページ: 431-444
- データソース
  KAKENHI-PROJECT-17700017
[雑誌論文] Comprehensive Groebner bases via ACGB2004
- 著者名/発表者名
  AKIRA SUZUKI
- 雑誌名
  
  Proceedings of the 10^<th> International Conference on Applications of Computer Algebra
  
  ページ: 65-73
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15540120
[雑誌論文] Comprehensive Gwobner bases via ACGB2004
- 著者名/発表者名
  AKIRA SUZUKI
- 雑誌名
  
  Proceedings of the 10th International Conference on Applications of Computer Algebra
  
  ページ: 65-73
- データソース
  KAKENHI-PROJECT-15540120
[雑誌論文] Comprehensive Groebner bases via ACGB2004
- 著者名/発表者名
  Akira Suzuki
- 雑誌名
  
  Proceedings of the 10^<th> International Conference on Applications of Computer Algebra
  
  ページ: 65-73
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15540120
[雑誌論文] An alternative approach to comprehensive Groebner bases2003
- 著者名/発表者名
  AKIRA SUZUKI
- 雑誌名
  
  Journal of Symbolic Computation 36
  
  ページ: 649-667
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15540120
[雑誌論文] An alternative approach to comprehensive Groebner bases2003
- 著者名/発表者名
  Akira Suzuki
- 雑誌名
  
  Journal of Symbolic Computation 36
  
  ページ: 649-667
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15540120
[学会発表] グラフ表示を行うモバイルアプリのマルチプラットフォーム化2011
- 著者名/発表者名
  鈴木晃
- 学会等名
  日本数式処理学会システム分科会
- 発表場所
  福岡大学
- 年月日
  2011-01-23
- データソース
  KAKENHI-PROJECT-20500013
[学会発表] グラフ表示を行なうモバイルアプリのマルチプラットフォーム化2011
- 著者名/発表者名
  鈴木晃
- 学会等名
  第3回日本数式処理学会システム分科会研究会
- 発表場所
  福岡大学理学部
- 年月日
  2011-01-23
- データソース
  KAKENHI-PROJECT-20500013
[学会発表] スマートフォンならではのグラフ表示2010
- 著者名/発表者名
  鈴木晃
- 学会等名
  数学ソフトウェアとフリードキュメント10
- 発表場所
  慶應大学日吉キャンパス
- 年月日
  2010-03-23
- データソース
  KAKENHI-PROJECT-20500013
[学会発表] Computing Gr obner Bases within Linear Algebra and Its Implementation2009
- 著者名/発表者名
  Akira Suzuki
- 学会等名
  ISSAC 2009(Poster)
- 発表場所
  ソウル(韓国)
- 年月日
  2009-07-30
- データソース
  KAKENHI-PROJECT-20500013
[学会発表] Computing Gr obner Bases within Linear Algebra2009
- 著者名/発表者名
  Akira Suzuki
- 学会等名
  CASC 2009
- 発表場所
  神戸大学(兵庫県)
- 年月日
  2009-09-15
- データソース
  KAKENHI-PROJECT-20500013
[学会発表] Groebner bases computation within linear algebra and its application to comprehensive Groebner systems2009
- 著者名/発表者名
  鈴木晃
- 学会等名
  Application of Computer Algebra (ACA2009)
- 発表場所
  Montreal (Canada)
- 年月日
  2009-06-25
- データソース
  KAKENHI-PROJECT-20500013
[学会発表] Computing Groenber Bases within Linear Algebra and Its Implementation2009
- 著者名/発表者名
  鈴木晃
- 学会等名
  International Symposium on Symbolic and Algebraic Computation (ISSAC 2009; Poster)
- 発表場所
  Seoul (Korea)
- 年月日
  2009-07-30
- データソース
  KAKENHI-PROJECT-20500013
[学会発表] Computation of Inverses in Residue Class Rings of Parametric Polynomial Ideals2009
- 著者名/発表者名
  Yosuke Sato, Akira Suzuki
- 学会等名
  ISSAC 2009
- 発表場所
  ソウル(韓国)
- 年月日
  2009-07-29
- データソース
  KAKENHI-PROJECT-20500013
[学会発表] Computing Groenber Bases within Linear Algebra2009
- 著者名/発表者名
  鈴木晃
- 学会等名
  Computer Algebra in Scientific Computing (CASC 2009)
- 発表場所
  Kobe (Japan)
- 年月日
  2009-09-15
- データソース
  KAKENHI-PROJECT-20500013
[学会発表] 行列演算によるグレブナー基底計算とその実装2009
- 著者名/発表者名
  鈴木晃
- 学会等名
  第18回日本数式処理学会大会
- 発表場所
  龍谷大学
- 年月日
  2009-06-12
- データソース
  KAKENHI-PROJECT-20500013
[学会発表] Computing Boolean Groenber Bases within Linear Algebra2009
- 著者名/発表者名
  鈴木晃
- 学会等名
  ASCM 2009, Fukuoka
- 発表場所
  Japan
- 年月日
  2009-12-14
- データソース
  KAKENHI-PROJECT-20500013
[学会発表] Implementation of CGS on small devices2008
- 著者名/発表者名
  鈴木晃
- 学会等名
  Application of Computer Algebra (ACA2008)
- 発表場所
  Linz (Austria)
- 年月日
  2008-07-29
- データソース
  KAKENHI-PROJECT-20500013
[学会発表] Computation of Inverses in Residue Class Rings with Parameters2008
- 著者名/発表者名
  S. Inoue, K. Mukaida, A. Suzuki, Y. Sato
- 学会等名
  ISSAC 2008 (Poster)
- 発表場所
  Linz (オーストリア)
- 年月日
  2008-07-22
- データソース
  KAKENHI-PROJECT-20500013
[学会発表] Implementation of CGS on small devices2008
- 著者名/発表者名
  Akira Suzuki
- 学会等名
  Applications for Computer Algebra 2008
- 発表場所
  Linz (オーストリア)
- 年月日
  2008-07-29
- データソース
  KAKENHI-PROJECT-20500013
[学会発表] Boolean Groebner Bases and Sudoku2008
- 著者名/発表者名
  Y. Sato, A. Suzuki, S. Inoue, K. Nabeshima
- 学会等名
  Applications for Computer Algebra 2008
- 発表場所
  Linz (オーストリア)
- 年月日
  2008-07-27
- データソース
  KAKENHI-PROJECT-20500013
[学会発表] Boolean Groebner Bases and Sudoku2008
- 著者名/発表者名
  Yosuke Sato, Akira Suzuki
- 学会等名
  Shutaro Inoue and Katsusuke Nabeshima
- 発表場所
  Application of Computer Algebra (ACA2008), Linz (Austria)
- 年月日
  2008-07-27
- データソース
  KAKENHI-PROJECT-20500013
[学会発表] Implementations of CGS and CGB on Risa/Asir and other computer algebra systems using Suzuki-Sato algorithm2007
- 著者名/発表者名
  Akira Suzuki
- 学会等名
  ISSAC 2007 (Software Exhibitions)
- 発表場所
  Waterloo(カナダ)
- 年月日
  2007-07-30
- データソース
  KAKENHI-PROJECT-17700017

1. 佐藤洋祐 (50257820)

共同の研究課題数: 2件

共同の研究成果数: 6件
2. BRENDLE JORG (70301851)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 渕野昌 (30292098)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 野呂正行 (50332755)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 高山信毅 (30188099)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 横山和弘 (30333454)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 小原功任 (00313635)

共同の研究課題数: 1件

共同の研究成果数: 0件

鈴木 晃 SUZUKI Akira

研究課題

研究成果

共同研究者

媒介変数を含む多項式系を解く実用的アルゴリズムの開発研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

媒介変数を伴うグレブナー基底を計算する実用的アルゴリズムの開発研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

パラメタを含む系の数式処理の実用化

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

強制法の新しい反復法の開発

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] パラメーターを含む多項式剰余環における逆元の計算について2008

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] グレブナー基底を用いた包括的グレブナー基底計算2007

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] グレブナー基底を用いた包括グーレブナー基底計算2006

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Simple Algorithm to compute Comprehensive Groebner Bases using Groebner Bases2006

著者名/発表者名

雑誌名

データソース

[雑誌論文] A Simple Algorithm to compute Comprehensive Groebner Bases using Groebner Bases2006

著者名/発表者名

雑誌名

説明

データソース

[雑誌論文] A Simple Algorithm to compute Comprehensive Groebner Bases using Groebner Bases2006

著者名/発表者名

雑誌名

データソース

[雑誌論文] Full Comprehensive Groebner Bases (extended abstract)2005

著者名/発表者名

雑誌名

データソース

[雑誌論文] Computation of Full Comprehensive Groebner Bases2005

著者名/発表者名

雑誌名

データソース

[雑誌論文] Computation of Comprehensive Groebner Systems using Groebner Bases and Prime Ideal Decompositions2005

著者名/発表者名

雑誌名

データソース

[雑誌論文] Computation of Full Comprehensive Groebner Bases2005

著者名/発表者名

雑誌名

データソース

[雑誌論文] Comprehensive Groebner bases via ACGB2004

著者名/発表者名

雑誌名

説明

データソース

[雑誌論文] Comprehensive Gwobner bases via ACGB2004

著者名/発表者名

雑誌名

データソース

鈴木晃 SUZUKI Akira