publications

差分

このページの2つのバージョン間の差分を表示します。

この比較画面へのリンク

両方とも前のリビジョン 前のリビジョン
次のリビジョン		 前のリビジョン
publications [2021/10/01 10:46] – [国際会議：口頭発表] ateruipublications [2024/11/05 12:15] (現在) – [2024] aterui
行 13: 行 13:
  
 ===== 論文（査読つき） ===== ===== 論文（査読つき） =====
 +  * 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:[[doi>10.1007/978-3-031-41724-5_21]] arXiv:[[doi>10.48550/arXiv.2305.12451]]
 +  * 照井章. コロナ禍の計算機演習 : 数学科における数式処理を用いた計算機実習の遠隔授業による取り組み. 数式処理, **28** (2), 53–79, 2022. http://www.jssac.org/Editor/Suushiki/V28/V282.html
   * 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:[[doi>10.1007/978-3-030-60026-6_10]]   * 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:[[doi>10.1007/978-3-030-60026-6_10]]
   * 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:[[doi>10.1007/978-3-030-52200-1_1]]   * 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:[[doi>10.1007/978-3-030-52200-1_1]]
行 34: 行 36:
  
 ===== 国際会議：口頭発表 ===== ===== 国際会議：口頭発表 =====
 +  * 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.
行 58: 行 68:
   * T. Sasaki, K. Shihara, A. Terui, Y. Ozaki, F. Kako.  Approximate Algebraic Computation: Practice and Problems.  The 1997 International Symposium on Symbolic and Algebraic Computation (ISSAC 1997), Maui, Hawaii, USA, July 21--23, 1997.  ACM SIGSAM Bulletin. 1997, **31** (3), 32.  [doi:[[doi>10.1145/271130.271184]]]   * T. Sasaki, K. Shihara, A. Terui, Y. Ozaki, F. Kako.  Approximate Algebraic Computation: Practice and Problems.  The 1997 International Symposium on Symbolic and Algebraic Computation (ISSAC 1997), Maui, Hawaii, USA, July 21--23, 1997.  ACM SIGSAM Bulletin. 1997, **31** (3), 32.  [doi:[[doi>10.1145/271130.271184]]]
 ===== 国内口頭発表 ===== ===== 国内口頭発表 =====
 +==== 2024 ====
 +  * 岡夏未，白戸祐輔，照井章，三河正彦．包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学計算および経路計画の最適化．[[http://www.jssac.org/Conference/Tai/jssac2024-2.html|日本数式処理学会第33回大会]]，愛媛大学，2024年6月15日．
 +  * 田島慎一，小原功任，照井章．最小消去多項式を用いたJordan細胞の構造の効率的な計算．[[http://air.s.kanazawa-u.ac.jp/~ohara/risacon24.html|Risa/Asir Conference 2024]], 石川県政記念しいのき迎賓館/オンライン, 2024年3月28日．
 +  * 田島慎一，小原功任，照井章．Jordan鎖の構造の厳密で効率的な計算．[[https://www.mathsoc.jp/activity/meeting/omu24mar/index.html|日本数学会2024年度年会]]代数学分科会, 大阪公立大学, 2024年3月17日. 日本数学会2024年度年会代数学分科会アブストラクト, 1--2.
 +  * 照井章．包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題および経路計画問題の解法と実装．『数理アルゴリズムにおける不確実性に対する統計的アプローチの展開』研究集会，統計数理研究所，2024年2月9日．
 +  * 田島慎一，小原功任，照井章．最小消去多項式を用いたJordan細胞の構造の効率的な計算．[[http://www.jssac.org/Joint/Conf/jssac_joint_2023_revised.html|日本数式処理学会2023年度合同分科会]]，オンライン，2024年1月27日．
 +
 +==== 2023 ====
 +  * 田島慎一，小原功任，照井章．最小消去多項式を用いた Jordan 細胞の構造の効率的な計算．RIMS共同研究（公開型）[[https://sites.google.com/view/cafa2023/|Computer Algebra – Foundations and Applications]], 京都大学数理解析研究所, 2023年12月20日. 数理解析研究所講究録 2280 “Computer Algebra – Foundations and Applications”, 186–195, 京都大学数理解析研究所, 2024年5月.
 +  * 吉澤瑞輝，照井 章，三河正彦．包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題および経路計画問題の解法と実装．[[http://www.jssac.org/Conference/Tai/jssac2023.html|日本数式処理学会第32回大会]]，順天堂大学，2023年6月10日．数式処理, 30 (1), 37–40, 2024.
 +  * 金泉拓真，照井章，三河正彦．非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法の拡張．[[http://air.s.kanazawa-u.ac.jp/~ohara/risacon23.html|Risa/Asir Conference 2023]], 石川県政記念しいのき迎賓館，2023年3月27日．
 +  * 照井章．非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法．『数理アルゴリズムにおける不確実性に対する統計的アプローチの展開』研究集会，統計数理研究所，2023年1月11日．
 +
 +==== 2022 ====
 +  * 田島慎一，小原功任，照井章．一般固有空間とJordan鎖の厳密で効率的な計算 (2). [[https://www.mathsoc.jp/activity/meeting/hokudai22sept/|日本数学会2022年度秋季合同分科会]]，北海道大学，2022年9月13日．
 +  * 田島慎一，小原功任，照井章．一般固有空間とJordan鎖の厳密で効率的な計算 (1). [[https://www.mathsoc.jp/activity/meeting/hokudai22sept/|日本数学会2022年度秋季合同分科会]]，北海道大学，2022年9月13日．
 +  * 池泊明，照井章．Bezout行列に基づく近似GCD計算アルゴリズムGPGCDの複数多項式への拡張．[[http://www.jssac.org/Conference/Tai/jssac2022.html|日本数式処理学会第31回大会]]，山陽小野田市立山口東京理科大学，2022年6月18日．
 +  * 葛西剛史，照井章，三河正彦．非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法．[[http://air.s.kanazawa-u.ac.jp/~ohara/risacon22.html|Risa/Asir Conference 2022]]，石川県政記念しいのき迎賓館/オンライン，2022年3月21日．
 +  * 伊藤綾音，照井章，三河正彦．CGS-QE アルゴリズムの応用について．[[http://air.s.kanazawa-u.ac.jp/~ohara/risacon22.html|Risa/Asir Conference 2022]]，石川県政記念しいのき迎賓館/オンライン，2022年3月20日．
 +  * 三河正彦，照井章，藤澤誠．積雪寒冷地における遠隔操作移動ロボットを利用した取り組み．第13回日本ロボット学会北海道ロボット技術研究専門委員会学術講演会 (RSJ-HRT 2022)，オンライン，2022年3月6日．
 +  * 葛西剛史，照井章．Wu’s Methodを用いた「刈屋の定理」の証明．[[http://www.jssac.org/Joint/Conf/jssac_joint_2021.html|日本数式処理学会2021年度合同分科会]]，オンライン，2022年1月29日．数式処理，Vol. 28, No. 2, 115–118, 2022.
 +  * 伊藤綾音，照井章．Gröbner基底を用いた「刈屋の定理」の証明．[[http://www.jssac.org/Joint/Conf/jssac_joint_2021.html|日本数式処理学会2021年度合同分科会]]，オンライン，2022年1月29日．数式処理，Vol. 28, No. 2, 111–114, 2022.
 +  * 照井章．包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題の解法と実装．『統計的データ解析による数理アルゴリズムの展開』研究集会，統計数理研究所，2022年1月14日．
 ==== 2021 ==== ==== 2021 ====
   * 三河正彦，照井章．LEGO 3D CGモデルのジョイントを考慮したURDF変換ツール．[[https://roscon.jp/|ROSConJP 2021]], 国際ファッションセンター, 2021年9月16日．   * 三河正彦，照井章．LEGO 3D CGモデルのジョイントを考慮したURDF変換ツール．[[https://roscon.jp/|ROSConJP 2021]], 国際ファッションセンター, 2021年9月16日．
-  * 大瀧脩人，照井章，三河正彦．包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題の解法と実装．[[http://www.jssac.org/Conference/Tai/jssac2021.html|日本数式処理学会第30回大会]]，東海大学（オンライン），2021年6月5日． +  * 大瀧脩人，照井章，三河正彦．包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題の解法と実装．[[http://www.jssac.org/Conference/Tai/jssac2021.html|日本数式処理学会第30回大会]]，東海大学（オンライン），2021年6月5日．数式処理, Vol. 28, No. 1, 36–39, 2022. 
-  * 田島慎一，小原功任，照井章．最小消去多項式を用いた一般固有ベクトル空間の構成．[[http://www.jssac.org/Conference/Tai/jssac2021.html|日本数式処理学会第30回大会]]，東海大学（オンライン），2021年6月5日．+  * 田島慎一，小原功任，照井章．最小消去多項式を用いた一般固有ベクトル空間の構成．[[http://www.jssac.org/Conference/Tai/jssac2021.html|日本数式処理学会第30回大会]]，東海大学（オンライン），2021年6月5日．数式処理, Vol. 28, No. 1, 32–35, 2022.
   * 照井章．コロナ禍の計算機演習：数学科におけるオンライン授業による計算機実習．[[http://www.jssac.org/Education/Conf/edu202102_announce.html|日本数式処理学会第15期第1回教育分科会]]，神戸大学（オンライン），2021年2月23日．   * 照井章．コロナ禍の計算機演習：数学科におけるオンライン授業による計算機実習．[[http://www.jssac.org/Education/Conf/edu202102_announce.html|日本数式処理学会第15期第1回教育分科会]]，神戸大学（オンライン），2021年2月23日．
   * 照井章．数式処理と画像処理を用いたロボットアーム制御系の実装．『統計的データ解析による数理アルゴリズムの展開』研究集会，統計数理研究所（オンライン），2021年1月15日．   * 照井章．数式処理と画像処理を用いたロボットアーム制御系の実装．『統計的データ解析による数理アルゴリズムの展開』研究集会，統計数理研究所（オンライン），2021年1月15日．
行 84: 行 117:
  
 ==== 2017 ==== ==== 2017 ====
-  * 池泊明，照井章．Bezoutの終結式行列を用いたGPGCD法による1変数多項式の近似GCDの計算．[[https://sites.google.com/a/math.tsukuba.ac.jp/rimsca17/|RIMS共同研究（公開型）"Computer Algebra – Theory and Applications"]], 京都大学数理解析研究所，2017年12月20日．+  * 池泊明，照井章．Bezoutの終結式行列を用いたGPGCD法による1変数多項式の近似GCDの計算．[[https://sites.google.com/a/math.tsukuba.ac.jp/rimsca17/|RIMS共同研究（公開型）"Computer Algebra – Theory and Applications"]], 京都大学数理解析研究所，2017年12月20日．数理解析研究所講究録 2104 ``Computer Algebra – Theory and Applications'', 8–13, 京都大学数理解析研究所, 2019年2月. https://hdl.handle.net/2433/251850
   * 田島慎一, 小原功任, 照井章. 行列Horner法の並列化による行列の固有ベクトル計算の効率化について. 日本数学会2017年度年会 代数学分科会, 首都大学東京, 2017年3月27日.   * 田島慎一, 小原功任, 照井章. 行列Horner法の並列化による行列の固有ベクトル計算の効率化について. 日本数学会2017年度年会 代数学分科会, 首都大学東京, 2017年3月27日.
   * 田島慎一, 小原功任, 照井章. 行列の最小多項式候補と拡張Horner法を用いた逆行列計算について. 日本数学会2017年度年会 代数学分科会, 首都大学東京, 2017年3月27日.   * 田島慎一, 小原功任, 照井章. 行列の最小多項式候補と拡張Horner法を用いた逆行列計算について. 日本数学会2017年度年会 代数学分科会, 首都大学東京, 2017年3月27日.
  • publications.1633052780.txt.gz
  • 最終更新: 2022/08/24 22:37
  • (外部編集)