差分
このページの2つのバージョン間の差分を表示します。
| 両方とも前のリビジョン 前のリビジョン 次のリビジョン | 前のリビジョン 次のリビジョン両方とも次のリビジョン | ||
| projects [2009/11/19 23:33] – 1変数多項式の近似GCDの反復算法 aterui | projects [2024/04/05 22:13] – [これまでに終了した研究課題] aterui | ||
|---|---|---|---|
| 行 5: | 行 5: | ||
| ===== 現在進行中の研究課題 ===== | ===== 現在進行中の研究課題 ===== | ||
| + | ==== 計算代数および記号計算による自動推論 ==== | ||
| + | * 研究期間：2014年〜現在 | ||
| + | * 参加プロジェクト：人工知能プロジェクト「ロボットは東大に入れるか」 http:// | ||
| + | 標記プロジェクトの理数系チームにて、数学の問題を自動推論で解く研究に参加しています。私達のグループでは、大学入試センター試験の数列の問題を自動推論で解くアルゴリズムと実装を作り、模試の成績向上に貢献しました。 | ||
| + | |||
| ==== 1変数多項式の近似GCDの反復算法 ==== | ==== 1変数多項式の近似GCDの反復算法 ==== | ||
| * 研究期間：2005年〜現在 | * 研究期間：2005年〜現在 | ||
| 近似公約子(GCD)の研究は、数式・数値融合計算の中でも古くから行われている研究の一つです。解法にはさまざまなアプローチがありますが、私の研究では、制約つき最適化法に帰着させた反復算法の研究を行っています。本研究では、これまでの最適化法に基づく算法と同程度の精度で、これまでよりも極めて効率的（最大約30倍の速さ）で計算する算法の開発に成功しました。 | 近似公約子(GCD)の研究は、数式・数値融合計算の中でも古くから行われている研究の一つです。解法にはさまざまなアプローチがありますが、私の研究では、制約つき最適化法に帰着させた反復算法の研究を行っています。本研究では、これまでの最適化法に基づく算法と同程度の精度で、これまでよりも極めて効率的（最大約30倍の速さ）で計算する算法の開発に成功しました。 | ||
| - | ===== これまでに終了した研究課題 ===== | + | ===== 過去に実施または参加した研究課題 ===== |
| ==== 1変数多項式の「再帰的な」多項式剰余列とその部分終結式 ==== | ==== 1変数多項式の「再帰的な」多項式剰余列とその部分終結式 ==== | ||
| * 研究期間：2002年〜2008年 | * 研究期間：2002年〜2008年 | ||