| 研究課題/領域番号 |
20500013
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 名古屋大学 |
|---|
研究代表者 |
鈴木 晃 名古屋大学, 情報科学研究科, 研究員 (50330519)
|
|---|
| 連携研究者 |
佐藤 洋祐 東京理科大学, 理学部・第一部, 教授 (50257820)
|
|---|
| 研究期間 (年度) |
2008 – 2010
|
| 研究課題ステータス |
完了 (2010年度)
|
| 配分額 *注記 |
4,290千円 (直接経費: 3,300千円、間接経費: 990千円)
2010年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2009年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2008年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
|
|---|
| キーワード | アルゴリズム理論 / グレブナー基底 / アルゴリズム / 媒介変数 / 代数学 |
|---|
| 研究概要 |
線形とは限らない一般の多項式系を解く為にはグレブナー基底の利用が有用であるが、そこに媒介変数が介入すると問題は複雑になる。このような問題を解くための実用的なアルゴリズムの開発を目指し、そのための道具の整備を進めることに成功した。
|
