差分
このページの2つのバージョン間の差分を表示します。
両方とも前のリビジョン 前のリビジョン | |||
projects [2009/11/19 23:33] – 1変数多項式の近似GCDの反復算法 aterui | projects [2016/10/20 12:45] (現在) – [計算代数および記号計算による自動推論] 新規作成 aterui | ||
---|---|---|---|
行 5: | 行 5: | ||
===== 現在進行中の研究課題 ===== | ===== 現在進行中の研究課題 ===== | ||
+ | ==== 計算代数および記号計算による自動推論 ==== | ||
+ | * 研究期間:2014年〜現在 | ||
+ | * 参加プロジェクト:人工知能プロジェクト「ロボットは東大に入れるか」 http:// | ||
+ | 標記プロジェクトの理数系チームにて、数学の問題を自動推論で解く研究に参加しています。私達のグループでは、大学入試センター試験の数列の問題を自動推論で解くアルゴリズムと実装を作り、模試の成績向上に貢献しました。 | ||
+ | |||
==== 1変数多項式の近似GCDの反復算法 ==== | ==== 1変数多項式の近似GCDの反復算法 ==== | ||
* 研究期間:2005年〜現在 | * 研究期間:2005年〜現在 |