差分
このページの2つのバージョン間の差分を表示します。
| 両方とも前のリビジョン 前のリビジョン 次のリビジョン | 前のリビジョン | ||
| publications [2021/10/01 10:46] – [国際会議:口頭発表] aterui | publications [2026/09/12 14:07] (現在) – [国際会議:ポスター発表] aterui | ||
|---|---|---|---|
| 行 13: | 行 13: | ||
| ===== 論文(査読つき) ===== | ===== 論文(査読つき) ===== | ||
| + | * R. Koshikawa, A. Terui, M. Mikawa. Solving System of Nonlinear Equations with the Genetic Algorithm and Newton’s Method. Proceedings of the SICE Festival 2026 with Annual Conference, 470–475, 2026. | ||
| + | * R. Komatsuzaki, | ||
| + | * T. Okazaki, A. Terui, M. Mikawa. An Effective Trajectory Planning and an Optimized Path Planning for a 6-Degree-of-Freedom Robot Manipulator. Proceedings of the 27th International Workshop on Computer Algebra in Scientific Computing: CASC 2025, Lecture Notes in Computer Science **16235**, Springer, 2025, 312–335. doi: | ||
| + | * T. Okazaki, A. Terui, M. Mikawa. Inverse Kinematics for a 6-Degree-of-Freedom Robot Manipulator Using Comprehensive Gröbner Systems. Proceedings of the 27th International Workshop on Computer Algebra in Scientific Computing: CASC 2025, Lecture Notes in Computer Science **16235**, Springer, 2025, 336–359. doi: | ||
| + | * Y. Shirato, N. Oka, A. Terui, M. Mikawa. An Optimized Path Planning of Manipulator with Spline Curves Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems. [[https:// | ||
| + | * T. Okazaki, A. Terui, M. Mikawa. Towards Trajectory Planning for a 6-Degree-of-Freedom Robot Manipulator Considering the Orientation of the End-effector Using Computer Algebra. [[https:// | ||
| + | * R. Hatakeyama, A. Terui, M. Mikawa. Towards Trajectory Planning of a Robot Manipulator with Computer Algebra using Bézier Curves for Obstacle Avoidance. [[https:// | ||
| + | * K. Kuramochi, A. Terui, M. Mikawa. Solving Estimation Problems Using Minimax Polynomials and Gröbner Bases. [[https:// | ||
| + | * M. Yoshizawa, A. Terui, M. Mikawa. Inverse kinematics and path planning of manipulator using real quantifier elimination based on Comprehensive Gröbner Systems. Proceedings of the 24th International Workshop on Computer Algebra in Scientific Computing: CASC 2023, Lecture Notes in Computer Science **14139**, Springer, 2023, 393–419. doi: | ||
| + | * 照井章. コロナ禍の計算機演習 : 数学科における数式処理を用いた計算機実習の遠隔授業による取り組み. 数式処理, | ||
| * B. Chi, A. Terui. The GPGCD Algorithm with the Bézout Matrix. Proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing: CASC 2020, Lecture Notes in Computer Science **12291**, Springer, 2020, 170–187. doi: | * B. Chi, A. Terui. The GPGCD Algorithm with the Bézout Matrix. Proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing: CASC 2020, Lecture Notes in Computer Science **12291**, Springer, 2020, 170–187. doi: | ||
| * N. Horigome, A. Terui, M. Mikawa. A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases. Proceedings of the 7th International Congress on Mathematical Software (ICMS 2020). Lecture Notes in Computer Science **12097**, Springer, 2020, 3--13. doi: | * N. Horigome, A. Terui, M. Mikawa. A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases. Proceedings of the 7th International Congress on Mathematical Software (ICMS 2020). Lecture Notes in Computer Science **12097**, Springer, 2020, 3--13. doi: | ||
| 行 34: | 行 44: | ||
| ===== 国際会議:口頭発表 ===== | ===== 国際会議:口頭発表 ===== | ||
| + | * R. Komatsuzaki, | ||
| + | * Y. Nakai, A. Terui, M. Mikawa. Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems. International Symposium on Mathematical Software (ICMS 2026). Waterloo, Canada, July 20, 2026. | ||
| + | * K. Shimizu, A. Terui, M. Mikawa. Solving the Three-Dimensional Speech Direction Estimation Problem via a System of Nonlinear Equations. [[https:// | ||
| + | * T. Okazaki, A. Terui, M. Mikawa. An Effective Trajectory Planning and an Optimized Path Planning for a 6-Degree-of-Freedom Robot Manipulator. The 27th International Workshop on Computer Algebra in Scientific Computing (CASC 2025). Dubai, United Arab Emirates, November 28, 2025. | ||
| + | * T. Okazaki, A. Terui, M. Mikawa. Inverse Kinematics for a 6-Degree-of-Freedom Robot Manipulator Using Comprehensive Gröbner Systems. The 27th International Workshop on Computer Algebra in Scientific Computing (CASC 2025). Dubai, United Arab Emirates, November 28, 2025. | ||
| + | * K. Kuramochi, K. Shimizu, A. Terui, M. Mikawa. Solving Estimation Problems Using Minimax Polynomials and Gröbner Bases. Dagstuhl Seminar 25281 "From Sparse Interpolation to Signal Processing: New Synergies" | ||
| + | * Y. Shirato, N. Oka, A. Terui, M. Mikawa. Inverse Kinematics and Optimized Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems. The 26th International Workshop on Computer Algebra in Scientific Computing (CASC 2024). Rennes, France, September 5, 2024. | ||
| + | * Y. Shirato, N. Oka, A. Terui, M. Mikawa. An Optimized Path Planning of Manipulator with Spline Curves Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems. The 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), Work-in-progress workshop. Tokyo, Japan, August 30, 2024. | ||
| + | * T. Okazaki, A. Terui, M. Mikawa. Towards Trajectory Planning for a 6-Degree-of-Freedom Robot Manipulator Considering the Orientation of the End-effector Using Computer Algebra. The 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), Work-in-progress workshop. Tokyo, Japan, August 30, 2024. | ||
| + | * R. Hatakeyama, A. Terui, M. Mikawa. Towards Trajectory Planning of a Robot Manipulator with Computer Algebra using Bézier Curves for Obstacle Avoidance. The 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), Work-in-progress workshop. Tokyo, Japan, August 28, 2024. | ||
| + | * K. Kuramochi, A. Terui, M. Mikawa. Solving Estimation Problems Using Minimax Polynomials and Gröbner Bases. The 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), Work-in-progress workshop. Tokyo, Japan, August 28, 2024. | ||
| + | * T. Kasai, A. Terui, M. Mikawa. Estimating the Relative Position of Small Multiple Rovers for an Asteroid Wide-area Exploration System. International Congress on Mathematical Software (ICMS 2024), Durham, United Kingdom, July 23, 2024. | ||
| + | * M. Yoshizawa, A. Terui, M. Mikawa. Inverse kinematics and path planning of manipulator using real quantifier elimination based on Comprehensive Gröbner Systems. The 25th International Workshop on Computer Algebra in Scientific Computing (CASC 2023), Havana, Cuba, September 1, 2023. | ||
| + | * B. Chi, A. Terui. The GPGCD Algorithm with the Bézout Matrix for Multiple Univariate Polynomials. The 24th International Workshop on Computer Algebra in Scientific Computing (CASC 2022), Gebze, Turkey (Online), August 25, 2022. | ||
| * S. Otaki, A. Terui, M. Mikawa. A design and an implementation of an inverse kinematics computation in robotics using real quantifier elimination based on comprehensive Gröbner systems. The 23rd International Workshop on Computer Algebra in Scientific Computing (CASC 2021), Sochi, Russia (Online), September 13, 2021. | * S. Otaki, A. Terui, M. Mikawa. A design and an implementation of an inverse kinematics computation in robotics using real quantifier elimination based on comprehensive Gröbner systems. The 23rd International Workshop on Computer Algebra in Scientific Computing (CASC 2021), Sochi, Russia (Online), September 13, 2021. | ||
| * B. Chi, A. Terui. The GPGCD Algorithm with the Bézout Matrix. The 22nd International Workshop on Computer Algebra in Scientific Computing (CASC 2020), Linz, Austria (Online), September 17, 2020. | * B. Chi, A. Terui. The GPGCD Algorithm with the Bézout Matrix. The 22nd International Workshop on Computer Algebra in Scientific Computing (CASC 2020), Linz, Austria (Online), September 17, 2020. | ||
| 行 52: | 行 76: | ||
| * A. Terui and T. Sasaki. " | * A. Terui and T. Sasaki. " | ||
| ===== 国際会議:ポスター発表 ===== | ===== 国際会議:ポスター発表 ===== | ||
| - | * B. Chi and A. Terui. The GPGCD Algorithm with the Bezout Matrix. The 44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019), Beijing, | + | |
| + | * T. Okazaki, A. Terui, M. Mikawa. Inverse Kinematics and an Optimized Path Planning for a 6-Degree-of-Freedom Robot Manipulator. The 51st International Symposium on Symbolic and Algebraic Computation (ISSAC 2026). Oldenburg, Germany, July 13--17, 2026. | ||
| + | | ||
| * A. Terui. Calculating Approximate GCD of Multiple Univariate Polynomials using Approximate Syzygies. The 38th International Symposium on Symbolic and Algebraic Computation (ISSAC 2013), Boston, USA, June 26–29, 2013. | * A. Terui. Calculating Approximate GCD of Multiple Univariate Polynomials using Approximate Syzygies. The 38th International Symposium on Symbolic and Algebraic Computation (ISSAC 2013), Boston, USA, June 26–29, 2013. | ||
| * A. Terui. GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials (Poster presentation). The 2010 International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), Munich, Germany, July 25--28, 2010. | * A. Terui. GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials (Poster presentation). The 2010 International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), Munich, Germany, July 25--28, 2010. | ||
| 行 58: | 行 84: | ||
| * T. Sasaki, K. Shihara, A. Terui, Y. Ozaki, F. Kako. Approximate Algebraic Computation: | * T. Sasaki, K. Shihara, A. Terui, Y. Ozaki, F. Kako. Approximate Algebraic Computation: | ||
| ===== 国内口頭発表 ===== | ===== 国内口頭発表 ===== | ||
| + | ==== 2026 ==== | ||
| + | * 照井章,石原侑樹,小原功任,田島慎一.零次元イデアルの根基の素イデアル分解と記号的固有値法 II.[[https:// | ||
| + | |||
| + | |||
| + | ==== 2025 ==== | ||
| + | * 照井章,ロボットマニピュレータの動作計画と数式処理.『統計的アプローチに基づく数理アルゴリズムのチューニングと最適化』研究集会,統計数理研究所,2025年12月22日. | ||
| + | * 清水啓,照井章,三河正彦.多項式近似を用いた 3 次元空間における発話方向推定問題の解法.[[https:// | ||
| + | * 照井章,石原侑樹,小原功任,田島慎一.零次元イデアルの根基の素イデアル分解と記号的固有値法.[[https:// | ||
| + | * 照井章,数式処理によるロボットマニピュレータの動作計画【招待講演】.[[https:// | ||
| + | * 照井章,数式処理によるロボットマニピュレータの動作計画.[[https:// | ||
| + | * 照井章,石原侑樹,小原功任,田島慎一.零次元根基イデアルの素イデアル分解と記号的固有値法.[[https:// | ||
| + | * 照井章,石原侑樹,小原功任,田島慎一.零次元根基イデアルの素イデアル分解と記号的固有値法.[[http:// | ||
| + | * 岡崎拓夢,照井章,三河正彦.数式処理による6自由度ロボットマニピュレータの軌道計画問題および経路最適化問題.[[http:// | ||
| + | * 照井章.ロボットマニピュレータの制御における問題解決への数式処理の応用.『数理アルゴリズムにおける不確実性に対する統計的アプローチの展開』研究集会,統計数理研究所,2025年1月27日. | ||
| + | |||
| + | ==== 2024 ==== | ||
| + | * 倉持研汰,照井章,三河正彦.連立方程式の求解と遺伝的アルゴリズムを組み合わせた小惑星探査ローバの位置決定問題の解法.[[https:// | ||
| + | * 畠山諒,照井章,三河正彦.ベジェ曲線を用いたマニピュレータの軌道計画.[[https:// | ||
| + | * 岡﨑拓夢,照井章,三河正彦.包括的Gröbner基底系を用いた6自由度ロボットマニピュレータの逆運動学問題の解法.[[https:// | ||
| + | * 岡夏未,白戸祐輔,照井章,三河正彦.包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学計算および経路計画の最適化.[[http:// | ||
| + | * 田島慎一,小原功任,照井章.最小消去多項式を用いたJordan細胞の構造の効率的な計算.[[http:// | ||
| + | * 田島慎一,小原功任,照井章.Jordan鎖の構造の厳密で効率的な計算.[[https:// | ||
| + | * 照井章.包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題および経路計画問題の解法と実装.『数理アルゴリズムにおける不確実性に対する統計的アプローチの展開』研究集会,統計数理研究所,2024年2月9日. | ||
| + | * 田島慎一,小原功任,照井章.最小消去多項式を用いたJordan細胞の構造の効率的な計算.[[http:// | ||
| + | |||
| + | ==== 2023 ==== | ||
| + | * 田島慎一,小原功任,照井章.最小消去多項式を用いた Jordan 細胞の構造の効率的な計算.RIMS共同研究(公開型)[[https:// | ||
| + | * 吉澤瑞輝,照井 章,三河正彦.包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題および経路計画問題の解法と実装.[[http:// | ||
| + | * 金泉拓真,照井章,三河正彦.非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法の拡張.[[http:// | ||
| + | * 照井章.非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法.『数理アルゴリズムにおける不確実性に対する統計的アプローチの展開』研究集会,統計数理研究所,2023年1月11日. | ||
| + | |||
| + | ==== 2022 ==== | ||
| + | * 田島慎一,小原功任,照井章.一般固有空間とJordan鎖の厳密で効率的な計算 (2). [[https:// | ||
| + | * 田島慎一,小原功任,照井章.一般固有空間とJordan鎖の厳密で効率的な計算 (1). [[https:// | ||
| + | * 池泊明,照井章.Bezout行列に基づく近似GCD計算アルゴリズムGPGCDの複数多項式への拡張.[[http:// | ||
| + | * 葛西剛史,照井章,三河正彦.非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法.[[http:// | ||
| + | * 伊藤綾音,照井章,三河正彦.CGS-QE アルゴリズムの応用について.[[http:// | ||
| + | * 三河正彦,照井章,藤澤誠.積雪寒冷地における遠隔操作移動ロボットを利用した取り組み.第13回日本ロボット学会北海道ロボット技術研究専門委員会学術講演会 (RSJ-HRT 2022),オンライン,2022年3月6日. | ||
| + | * 葛西剛史,照井章.Wu’s Methodを用いた「刈屋の定理」の証明.[[http:// | ||
| + | * 伊藤綾音,照井章.Gröbner基底を用いた「刈屋の定理」の証明.[[http:// | ||
| + | * 照井章.包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題の解法と実装.『統計的データ解析による数理アルゴリズムの展開』研究集会,統計数理研究所,2022年1月14日. | ||
| ==== 2021 ==== | ==== 2021 ==== | ||
| * 三河正彦,照井章.LEGO 3D CGモデルのジョイントを考慮したURDF変換ツール.[[https:// | * 三河正彦,照井章.LEGO 3D CGモデルのジョイントを考慮したURDF変換ツール.[[https:// | ||
| - | * 大瀧脩人,照井章,三河正彦.包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題の解法と実装.[[http:// | + | * 大瀧脩人,照井章,三河正彦.包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題の解法と実装.[[http:// |
| - | * 田島慎一,小原功任,照井章.最小消去多項式を用いた一般固有ベクトル空間の構成.[[http:// | + | * 田島慎一,小原功任,照井章.最小消去多項式を用いた一般固有ベクトル空間の構成.[[http:// |
| * 照井章.コロナ禍の計算機演習:数学科におけるオンライン授業による計算機実習.[[http:// | * 照井章.コロナ禍の計算機演習:数学科におけるオンライン授業による計算機実習.[[http:// | ||
| * 照井章.数式処理と画像処理を用いたロボットアーム制御系の実装.『統計的データ解析による数理アルゴリズムの展開』研究集会,統計数理研究所(オンライン),2021年1月15日. | * 照井章.数式処理と画像処理を用いたロボットアーム制御系の実装.『統計的データ解析による数理アルゴリズムの展開』研究集会,統計数理研究所(オンライン),2021年1月15日. | ||
| 行 84: | 行 151: | ||
| ==== 2017 ==== | ==== 2017 ==== | ||
| - | * 池泊明,照井章.Bezoutの終結式行列を用いたGPGCD法による1変数多項式の近似GCDの計算.[[https:// | + | * 池泊明,照井章.Bezoutの終結式行列を用いたGPGCD法による1変数多項式の近似GCDの計算.[[https:// |
| * 田島慎一, | * 田島慎一, | ||
| * 田島慎一, | * 田島慎一, | ||