publications

差分

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

この比較画面へのリンク

両方とも前のリビジョン 前のリビジョン
次のリビジョン		 前のリビジョン
publications [2021/10/01 10:46] – [国際会議：口頭発表] ateruipublications [2024/03/17 09:54] (現在) – [2023] 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:
  
 ===== 国際会議：口頭発表 ===== ===== 国際会議：口頭発表 =====
 +  * 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: 行 62:
   * 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 ====
 +  * 田島慎一，小原功任，照井章．最小消去多項式を用いたJordan細胞の構造の効率的な計算．[[http://www.jssac.org/Joint/Conf/jssac_joint_2023_revised.html|日本数式処理学会2023年度合同分科会]]，オンライン，2024年1月27日．
 +
 +==== 2023 ====
 +  * 吉澤瑞輝，照井 章，三河正彦．包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題および経路計画問題の解法と実装．[[http://www.jssac.org/Conference/Tai/jssac2023.html|日本数式処理学会第32回大会]]，順天堂大学，2023年6月10日．
 +  * 金泉拓真，照井章，三河正彦．非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法の拡張．[[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日．
  • publications.1633052780.txt.gz
  • 最終更新: 2022/08/24 22:37
  • (外部編集)