| 研究課題/領域番号 |
19204008
|
|---|
| 研究種目 |
基盤研究(A)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
数学一般(含確率論・統計数学)
|
|---|
| 研究機関 | 神戸大学 |
|---|
研究代表者 |
高山 信毅 神戸大学, 理学研究科, 教授 (30188099)
|
|---|
| 研究分担者 |
BRENDLE Joerg (BRENDLE Jorg) 神戸大学, システム情報学研究科, 准教授 (70301851)
淵野 昌 神戸大学, システム情報学研究科, 教授 (30292098)
福山 克司 神戸大学, 理学研究科, 教授 (60218956)
垣内 逸郎 神戸大学, システム情報学研究科, 准教授 (90091248)
野呂 正行 神戸大学, 理学研究科, 教授 (50332755)
野海 正俊 神戸大学, 自然科学系先端融合環重点研究部, 教授 (80164672)
ROSSMAN Wayne 神戸大学, 理学研究科, 教授 (50284485)
新井 敏康 神戸大学, 工学研究科, 教授 (40193049)
|
|---|
| 連携研究者 |
新井 敏康 千葉大学, 理学研究科, 教授 (40193049)
|
|---|
| 研究期間 (年度) |
2007 – 2011
|
| 研究課題ステータス |
完了 (2010年度)
|
| 配分額 *注記 |
42,380千円 (直接経費: 32,600千円、間接経費: 9,780千円)
2010年度: 11,180千円 (直接経費: 8,600千円、間接経費: 2,580千円)
2009年度: 10,270千円 (直接経費: 7,900千円、間接経費: 2,370千円)
2008年度: 9,880千円 (直接経費: 7,600千円、間接経費: 2,280千円)
2007年度: 11,050千円 (直接経費: 8,500千円、間接経費: 2,550千円)
|
|---|
| キーワード | グレブナ基底 / 推定 / 数学ソフトウエア / 特殊関数 / 組み合わせ論的集合論 / 重複対数の法則 / 中心極限定理 / 極小曲面 / ホロノミック勾配降下法 / 数学ソフトエウア / Fisher-Bingham分布 / 超幾何関数 / logarithmic cohomology / Sparse SDP / 離散極小曲面 / 無矛盾性 / 特異基数 / ノンパラメトリック推測法 |
|---|
| 研究概要 |
第10回 Asian Logic Conference および 第3回国際数学ソフトウエア会議を開催し, 計算と数理科学に関係する研究コミュニティに広く寄与した. 多くの研究成果が得られたが, ホロノミック系に対する計算代数アルゴリズムおよび数値解析法の研究を基礎としてホロノミック関数の局所最小値を求めるアルゴリズムを得たことはこのプロジェクトがなかったら生まれなかったといえる特筆すべき結果である. 統計的推定問題への応用が見込まれており新プロジェクトで研究が進行している.
|
