差分

この文書の現在のバージョンと選択したバージョンの差分を表示します。

この比較画面にリンクする

両方とも前のリビジョン 前のリビジョン
projects [2009/11/19 23:33]
aterui 1変数多項式の近似GCDの反復算法
projects [2016/10/20 12:45] (現在)
aterui [計算代数および記号計算による自動推論] 新規作成
ライン 5: ライン 5:
  
 ===== 現在進行中の研究課題 ===== ===== 現在進行中の研究課題 =====
 +==== 計算代数および記号計算による自動推論 ====
 +  * 研究期間:2014年〜現在
 +  * 参加プロジェクト:人工知能プロジェクト「ロボットは東大に入れるか」 http://​21robot.org
 +標記プロジェクトの理数系チームにて、数学の問題を自動推論で解く研究に参加しています。私達のグループでは、大学入試センター試験の数列の問題を自動推論で解くアルゴリズムと実装を作り、模試の成績向上に貢献しました。
 +
 ==== 1変数多項式の近似GCDの反復算法 ==== ==== 1変数多項式の近似GCDの反復算法 ====
   * 研究期間:2005年〜現在   * 研究期間:2005年〜現在
projects.txt · 最終更新: 2016/10/20 12:45 by aterui
CC Attribution-Noncommercial-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0