差分
このページの2つのバージョン間の差分を表示します。
両方とも前のリビジョン 前のリビジョン 次のリビジョン | 前のリビジョン | ||
projects [2009/11/19 23:31] – 近似代数計算を用いた代数関数の陰関数描画算法および実装 aterui | projects [2024/04/06 22:13] (現在) – [語の組み合わせ構造による代数的計算法] aterui | ||
---|---|---|---|
行 5: | 行 5: | ||
===== 現在進行中の研究課題 ===== | ===== 現在進行中の研究課題 ===== | ||
+ | |||
+ | ==== 数式処理によるマニピュレータ(腕型ロボット)の逆運動学問題,軌道計画問題の解法 ==== | ||
+ | * 研究期間:2018年〜現在 | ||
+ | * 共同研究者:三河正彦氏,筑波大学ソーシャルロボット研究室 https:// | ||
+ | 数式処理のグレブナー基底計算を用いて、マニピュレータ(腕型ロボット)の逆運動学問題や軌道計画問題を解く手法を研究しています。逆運動学問題の解の存在を厳密に保証しつつ、逆運動学問題を効率的に解く解法の開発に取り組んでいます。 | ||
+ | |||
+ | ==== 小惑星探査ローバの位置推定手法 ==== | ||
+ | * 研究期間:2018年〜現在 | ||
+ | * 共同研究者:三河正彦氏,筑波大学ソーシャルロボット研究室 https:// | ||
+ | 小惑星探査を行う小型の群ロボットが互いに発信する電波の強度を測定して互いの相対位置を推定するための手法を研究しています。非線形の連立方程式を変数変換によって連立1次方程式に帰着させることで、方程式を効率的に解くとともに誤差を評価する手法に取り組んでいます。 | ||
+ | |||
+ | ==== 行列に対する厳密な線形計算のアルゴリズム ==== | ||
+ | * 研究期間:2010年〜現在 | ||
+ | * 共同研究者:田島慎一氏,小原功任氏 | ||
+ | 成分が整数や有理数で与えられる行列に対し、レゾルベントの留数解析に基づき、行列の最小消去多項式や最小消去多項式候補を用いて一般固有空間やJordan鎖を効率的に計算するアルゴリズムの開発に取り組んでいます。 | ||
+ | |||
==== 1変数多項式の近似GCDの反復算法 ==== | ==== 1変数多項式の近似GCDの反復算法 ==== | ||
* 研究期間:2005年〜現在 | * 研究期間:2005年〜現在 | ||
- | 近似公約子(GCD)の研究は、数式・数値融合計算の中でも古くから行われている研究の一つです。解法にはさまざまなアプローチがありますが、私の研究では、制約つき最適化法に帰着させた反復算法の研究を行っています。 | + | * 共同研究者:池泊明氏 |
+ | 近似公約子(GCD)の研究は、数式・数値融合計算の中でも古くから行われている研究の一つです。解法にはさまざまなアプローチがありますが、私の研究では、制約つき最適化法に帰着させた反復算法の研究を行っています。本研究では、これまでの最適化法に基づく算法と同程度の精度で、これまでよりも極めて効率的(最大約30倍の速さ)で計算する算法の開発に成功しました。 | ||
+ | |||
+ | ==== 語の代数構造と組み合わせ構造に関する研究 ==== | ||
+ | * 参加期間:2007年〜現在 | ||
+ | * 共同研究者:森田純氏 | ||
+ | 語(文字列)の代数構造組み合わせ構造の特徴づけとして、形式的べき級数などによる特徴づけに取り組んでいます。 | ||
+ | |||
+ | |||
+ | ===== 過去に実施または参加した研究課題 ===== | ||
+ | |||
+ | ==== リーディングスキルテストによる読解力の分析 ==== | ||
+ | * 参加期間:2016年〜2020年 | ||
+ | * 参加プロジェクト:リーディングスキルプロジェクト https:// | ||
+ | 標記プロジェクトにおいて、中学校および高等学校数学科の教科書の定義文読み取りの能力と他の読解力の一部の間の相関や、文章題の読み取りと図との対応づけによる読解力の差に関する調査、分析を行いました。 | ||
+ | |||
+ | ==== 計算機代数および記号計算による自動推論 ==== | ||
+ | * 参加期間:2014年〜2016年 | ||
+ | * 参加プロジェクト:人工知能プロジェクト「ロボットは東大に入れるか」 http:// | ||
+ | 標記プロジェクトの理数系チームにて、数学の問題を自動推論で解く研究に参加しました。私達のグループでは、大学入試センター試験の数列の問題を自動推論で解くアルゴリズムと実装を作り、模試の成績向上に貢献しました。 | ||
- | ===== これまでに終了した研究課題 ===== | ||
==== 1変数多項式の「再帰的な」多項式剰余列とその部分終結式 ==== | ==== 1変数多項式の「再帰的な」多項式剰余列とその部分終結式 ==== | ||
* 研究期間:2002年〜2008年 | * 研究期間:2002年〜2008年 | ||
行 16: | 行 50: | ||
==== 1変数代数方程式の近接根クラスタの計算 ==== | ==== 1変数代数方程式の近接根クラスタの計算 ==== | ||
* 研究期間:2004年〜2007年 | * 研究期間:2004年〜2007年 | ||
- | * 共同研究者:佐々木建昭教授 | + | * 共同研究者:佐々木建昭氏 |
1変数代数方程式の根を数値算法で計算する場合、重根や近接根の計算は、精度が落ちるので困難が生じます。そこで、1つの近接根の集まり(クラスタ)に着目し、近似無平方分解等であらかじめクラスタの位置と多重度が求まっていることを前提に、クラスタ内の近接根を、高精度かつ高い効率で計算する算法を開発しました。 | 1変数代数方程式の根を数値算法で計算する場合、重根や近接根の計算は、精度が落ちるので困難が生じます。そこで、1つの近接根の集まり(クラスタ)に着目し、近似無平方分解等であらかじめクラスタの位置と多重度が求まっていることを前提に、クラスタ内の近接根を、高精度かつ高い効率で計算する算法を開発しました。 | ||
==== 係数が誤差をもつような1変数代数方程式の実根の個数の計算 ==== | ==== 係数が誤差をもつような1変数代数方程式の実根の個数の計算 ==== | ||
* 研究期間:1997年〜1999年 | * 研究期間:1997年〜1999年 | ||
- | * 共同研究者:佐々木建昭教授 | + | * 共同研究者:佐々木建昭氏 |
与えられた係数が誤差をもつような1変数代数方程式の実根の個数は、係数の条件によって変化する場合があります。係数の誤差範囲が与えられたもとで、実根の個数の範囲を見積もる1つの方法を与えました。 | 与えられた係数が誤差をもつような1変数代数方程式の実根の個数は、係数の条件によって変化する場合があります。係数の誤差範囲が与えられたもとで、実根の個数の範囲を見積もる1つの方法を与えました。 | ||
行 28: | 行 62: | ||
==== 1変数代数方程式の実根を計算する反復算法 ==== | ==== 1変数代数方程式の実根を計算する反復算法 ==== | ||
* 研究期間:1995年〜1997年 | * 研究期間:1995年〜1997年 | ||
- | * 共同研究者:佐々木建昭教授 | + | * 共同研究者:佐々木建昭氏 |
1変数代数方程式のすべての根を同時に計算する反復算法として、Durand-Kerner法が知られています。本研究では、D-K法の拡張の一つとして | 1変数代数方程式のすべての根を同時に計算する反復算法として、Durand-Kerner法が知られています。本研究では、D-K法の拡張の一つとして | ||
- あらかじめ実根の個数を計算し、初期値を適切に与えることにより、実根と複素根を常に区別して計算する算法 | - あらかじめ実根の個数を計算し、初期値を適切に与えることにより、実根と複素根を常に区別して計算する算法 | ||
行 34: | 行 68: | ||
を与えました。 | を与えました。 | ||
- | ==== 近似代数計算を用いた代数関数の特異点の算法 ==== | + | ==== 数式・数値融合計算を用いた代数関数の特異点の計算法 ==== |
* 研究期間:1995年〜1997年 | * 研究期間:1995年〜1997年 | ||
- | * 共同研究者:佐々木建昭教授 | + | * 共同研究者:佐々木建昭氏 |
実平面上で, | 実平面上で, | ||
- | ==== 近似代数計算を用いた代数関数の陰関数描画算法および実装 ==== | + | ==== 数式・数値融合計算を用いた代数関数の陰関数描画算法および実装 ==== |
* 研究期間:1995年〜1997年 | * 研究期間:1995年〜1997年 | ||
- | * 共同研究者:佐々木建昭教授 | + | * 共同研究者:佐々木建昭氏 |
実平面上で、2変数多項式の零点の集合として与えられる代数関数を、効率的かつ精確に描画する算法の研究を行いました。実平面上の零点の計算を、1変数代数方程式の数値解法に帰着させ、実根のみを計算するD-K法(上記参照)を応用し、特異点の計算を効率的に行うことにより(上記参照)、代数関数の特異点等の幾何学的特徴を精確にとらえながら効率的に描画する算法を開発し、国産の数式処理システムGAL上に実装しました。 | 実平面上で、2変数多項式の零点の集合として与えられる代数関数を、効率的かつ精確に描画する算法の研究を行いました。実平面上の零点の計算を、1変数代数方程式の数値解法に帰着させ、実根のみを計算するD-K法(上記参照)を応用し、特異点の計算を効率的に行うことにより(上記参照)、代数関数の特異点等の幾何学的特徴を精確にとらえながら効率的に描画する算法を開発し、国産の数式処理システムGAL上に実装しました。 |