研究業績

これまでの研究業績の一覧です。以下の項目に分類してあります。

• 論文
• 国際会議：口頭発表
• 国際会議：ポスター発表
• 国内口頭発表

研究業績は、できる限り、論文本体や発表資料をオンラインに載せ、原データへのリンクを掲載しています。

• DOI (デジタルオブジェクト識別子): インターネット上の文書に対し、恒久的に与えられる識別子。原則として原論文へのリンクで、原論文のダウンロードは、出版者との購読契約により、制限されている場合があります。
• プレプリントサーバ: 原則として、査読つき学術論文を掲載前に公開するのに使用されるアーカイブ。各論文誌の著作権条項に基づき、なるべく最終版に近い形の原稿を掲載しています。arXivは、プレプリントサーバの中でも代表的なものの1つです。
• 機関リポジトリ: 大学等の研究機関が、自組織発の研究成果を蓄積するアーカイブです。会議予稿や日本語の文献などを掲載しています。
• その他: 各種インターネット上のファイルがあれば、リンクを掲載しています。

インターネット上のリンクがない資料をご希望の場合は、直接私までご連絡ください。ご要望に応じて、ファイルや紙などの形態で提供します。

• 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:10.1007/978-3-032-09645-6_17 arXiv:10.48550/arXiv.2509.00828
• 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:10.1007/978-3-032-09645-6_18 arXiv:10.48550/arXiv.2509.00823
• 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. Proceedings of the 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), Work-in-progress workshop. 105-112, 2024. https://ceur-ws.org/Vol-3754/paper16.pdf
• 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. Proceedings of the 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), Work-in-progress workshop. 84-91, 2024. https://ceur-ws.org/Vol-3754/paper13.pdf
• R. Hatakeyama, A. Terui, M. Mikawa. Towards Trajectory Planning of a Robot Manipulator with Computer Algebra using Bézier Curves for Obstacle Avoidance. Proceedings of the 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), Work-in-progress workshop. 21-27, 2024. https://ceur-ws.org/Vol-3754/paper05.pdf
• K. Kuramochi, A. Terui, M. Mikawa. Solving Estimation Problems Using Minimax Polynomials and Gröbner Bases. Proceedings of the 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), Work-in-progress workshop. 57-62, 2024. https://ceur-ws.org/Vol-3754/paper10.pdf
• 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:10.1007/978-3-031-41724-5_21 arXiv: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: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:10.1007/978-3-030-52200-1_1
• Y. Wada, T. Matsuzaki, A. Terui, N.H. Arai. An automated deduction and its implementation for solving problem of sequence at university entrance examination. Proceedings of the 5th International Congress on Mathematical Software (ICMS 2016). Lecture Notes in Computer Science 9725, Springer, 2016, 82–89. doi:10.1007/978-3-319-42432-3_11
• K. Ohara, S. Tajima, A. Terui. Developing Linear Algebra Packages on Risa/Asir for Eigenproblems (Extended abstract). Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014). Lecture Notes in Computer Science 8592, Springer, 2014, 321–324. doi:10.1007/978-3-662-44199-2_50
• S. Tajima, K. Ohara, A. Terui. An Extension and Efficient Calculation of the Horner's Rule for Matrices (Extended abstract). Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014). Lecture Notes in Computer Science 8592, Springer, 2014, 346–351. doi:10.1007/978-3-662-44199-2_54
• A. Terui. GPGCD: An iterative method for calculating approximate GCD of univariate polynomials. Theor. Comput. Sci. 2013, 479, 127–149. doi:10.1016/j.tcs.2012.10.023 arXiv:1207.0630
• A. Terui. “GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials.” Proceedings of the 12th International Workshop on Computer Algebra in Scientific Computing: CASC 2010, Lecture Notes in Computer Science, Springer, 6244, 2010, 238–249. doi:10.1007/978-3-642-15274-0_22 arXiv:1007.1836
• A. Terui. “GPGCD, an Iterative Method for Calculating Approximate GCD of Univariate Polynomials, with the Complex Coefficients.” Proceedings of the Joint Conference of ASCM 2009 and MACIS 2009, COE Lecture Note Vol. 22. Faculty of Mathematics, Kyushu University, 2009, 212–221. arXiv:1007.1834 http://hdl.handle.net/2324/16844
• T. Sasaki and A. Terui. “Computing Clustered Close-Roots of Univariate Polynomials.” Proceedings of The 3rd International Workshop on Symbolic-Numeric Computation (SNC 2009). ACM, 2009, 177–184. doi:10.1145/1577190.1577217
• A. Terui. “An Iterative Method for Calculating Approximate GCD of Univariate Polynomials.” Proceedings of 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009). ACM, 2009, 351–358. doi:10.1145/1576702.1576750 http://hdl.handle.net/2241/103423
• J. Morita and A. Terui. Words, tilings and combinatorial spectra. Hiroshima Math. J. 2009, 39 (1), 37–60. http://projecteuclid.org/euclid.hmj/1237392379
• A. Terui. Recursive Polynomial Remainder Sequence and its Subresultants. J. Algebra. 2008, 320, 633–659. doi:10.1016/j.jalgebra.2007.12.023 arXiv:0806.0495
• A. Terui. “Recursive Polynomial Remainder Sequence and the Nested Subresultants.” Proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing (CASC 2005), Lecture Notes in Computer Science 3718. Springer, 2005, 445–456. doi:10.1007/11555964_38 arXiv:0806.0488
• A. Terui. “Subresultants in Recursive Polynomial Remainder Sequence.” Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing CASC 2003. Technische Universität Munchen, Germany, 2003, 363–375. arXiv:0806.0478
• A. Terui and T. Sasaki. Durand-Kerner method for the real roots. Japan J. Indust. Appl. Math. 2002, 19 (1), 19–38. doi:10.1007/BF03167446
• A. Terui and T. Sasaki. “Approximate zero-points” of real univariate polynomial with large error terms. IPSJ J. 2000, 41 (4), 974–989. http://hdl.handle.net/2241/00134886 http://id.nii.ac.jp/1001/00012339/ http://ci.nii.ac.jp/naid/110002725305/en/

• T. Sasaki and A. Terui. A formula for separating small roots of a polynomial. ACM SIGSAM Bulletin. 2002, 36 (3), 19–23. [doi:10.1145/603273.603277]

• 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.
• 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.
• 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.
• R. Koshikawa, A. Terui, M. Mikawa. Solving System of Nonlinear Equations with the Genetic Algorithm and Newton’s Method. The 7th International Congress on Mathematical Software (ICMS 2020), Braunschweig, Germany (Online), July 17, 2020. doi:10.5446/47899
• N. Horigome, A. Terui, M. Mikawa. A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases. The 7th International Congress on Mathematical Software (ICMS 2020), Braunschweig, Germany (Online), July 13, 2020. doi:10.5446/47898
• Y. Wada, T. Matsuzaki, A. Terui, N.H. Arai. An automated deduction and its implementation for solving problem of sequence at university entrance examination. The 5th International Congress on Mathematical Software (ICMS 2016), Berlin, Germany, July 11, 2016.
• A. Terui. Towards simplified construction of subresultant matrix of multiple univariate polynomials. Dagstuhl Seminar 15251: Sparse modelling and multi-exponential analysis. Schloss Dagstuhl, June 18, 2015. doi:10.4230/DagRep.5.6.48
• K. Ohara, S. Tajima, A. Terui. Developing Linear Algebra Packages on Risa/Asir for Eigenproblems. The 4th International Congress on Mathematical Software (ICMS 2014). Seoul, Korea, August 9, 2014.
• S. Tajima, K. Ohara, A. Terui. An Extension and Efficient Calculation of the Horner's Rule for Matrices. The 4th International Congress on Mathematical Software (ICMS 2014). Seoul, Korea, August 9, 2014.
• A. Terui. GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials. The 12th International Workshop on Computer Algebra in Scientific Computing (CASC 2010), Tsakhkadzor, Armenia, September 9, 2010.
• A. Terui. GPGCD, an Iterative Method for Calculating Approximate GCD of Univariate Polynomials, with the Complex Coefficients. The Joint Conference of ASCM 2009 and MACIS 2009, Fukuoka, Japan, December 14, 2009.
• T. Sasaki and A. Terui. Computing Clustered Close-Roots of Univariate Polynomials. The 3rd International Workshop on Symbolic-Numeric Computation (SNC 2009), Kyoto, Japan, August 5, 2009.
• A. Terui. An Iterative Method for Calculating Approximate GCD of Univariate Polynomials. The 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), Seoul, Republic of Korea, July 31, 2009.
• T. Sasaki and A. Terui. Computing Close Roots in a Cluster of Univariate Polynomial. The 12th International Conference on Applications of Computer Algebra (ACA 2006), Varna, Bulgaria, June 27, 2006.
• A. Terui. “Recursive Polynomial Remainder Sequence and the Nested Subresultants.” The 8th International Workshop on Computer Algebra in Scientific Computing (CASC 2005), Kalamata, Greece, September 13, 2005.
• A. Terui. “Subresultants in Recursive Polynomial Remainder Sequence.” The 6th International Workshop on Computer Algebra in Scientific Computing (CASC 2003), Passau, Germany, September 21, 2003.
• T. Sasaki and A. Terui. A Formula for Separating Small Close Roots from Others. The 8th International Conference on Applications of Computer Algebra (ACA 2002), Volos, Greece, June 26, 2002.
• A. Terui and T. Sasaki. “Approximate Zero-points” of Real Univariate Polynomial with Large Error Terms. The 4th International IMACS Conference on Applications of Computer Algebra (IMACS-ACA 1998), Prague, Czech Republic, August 10, 1998.

• B. Chi and A. Terui. The GPGCD Algorithm with the Bezout Matrix. The 44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019), Beijing, Chine, July 15–18, 2019.
• 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. An Iterative Method for Calculating Approximate GCD of Univariate Polynomials. The 11th International Workshop on Computer Algebra in Scientific Computing (CASC 2009), Kobe, Japan, September 13–17, 2009.
• 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:10.1145/271130.271184]

• 照井章，石原侑樹，小原功任，田島慎一．零次元イデアルの根基の素イデアル分解と記号的固有値法 II．日本数式処理学会第35回大会, 日本大学湘南キャンパス, 2026年6月13日．

• 照井章，ロボットマニピュレータの動作計画と数式処理．『統計的アプローチに基づく数理アルゴリズムのチューニングと最適化』研究集会，統計数理研究所，2025年12月22日．
• 照井章，石原侑樹，小原功任，田島慎一．零次元イデアルの根基の素イデアル分解と記号的固有値法．RIMS共同研究（公開型）Computer Algebra – Foundations and Applications, 京都大学数理解析研究所，2025年11月20日．
• 照井章，数式処理によるロボットマニピュレータの動作計画【招待講演】．第43回日本ロボット学会学術講演会, 東京科学大学, 2025年9月5日．第43回日本ロボット学会学術講演会講演予稿集，RSJ2025AC3A1-01/招待講演, 4p.
• 照井章，数式処理によるロボットマニピュレータの動作計画．理科大計算機代数セミナー，東京理科大学，2025年6月26日．
• 照井章，石原侑樹，小原功任，田島慎一．零次元根基イデアルの素イデアル分解と記号的固有値法．日本数式処理学会第34回大会，福井大学，2025年6月7日．
• 照井章，石原侑樹，小原功任，田島慎一．零次元根基イデアルの素イデアル分解と記号的固有値法．Risa/Asir Conference 2025, 金沢大学金沢駅前サテライト，2025年3月27日．
• 岡崎拓夢，照井章，三河正彦．数式処理による6自由度ロボットマニピュレータの軌道計画問題および経路最適化問題．Risa/Asir Conference 2025, 金沢大学金沢駅前サテライト，2025年3月26日．
• 照井章．ロボットマニピュレータの制御における問題解決への数式処理の応用．『数理アルゴリズムにおける不確実性に対する統計的アプローチの展開』研究集会，統計数理研究所，2025年1月27日．

• 倉持研汰，照井章，三河正彦．連立方程式の求解と遺伝的アルゴリズムを組み合わせた小惑星探査ローバの位置決定問題の解法．Computer Algebra - Foundations and Applications，京都大学数理解析研究所，2024年12月19日．数理解析研究所講究録 2320 “Computer Algebra – Foundations and Applications”, 132–144, 京都大学数理解析研究所, 2025年5月.
• 畠山諒，照井章，三河正彦．ベジェ曲線を用いたマニピュレータの軌道計画．Computer Algebra - Foundations and Applications，京都大学数理解析研究所，2024年12月19日．数理解析研究所講究録 2320 “Computer Algebra – Foundations and Applications”, 119–131, 京都大学数理解析研究所, 2025年5月.
• 岡﨑拓夢，照井章，三河正彦．包括的Gröbner基底系を用いた6自由度ロボットマニピュレータの逆運動学問題の解法．Computer Algebra - Foundations and Applications，京都大学数理解析研究所，2024年12月19日．数理解析研究所講究録 2320 “Computer Algebra – Foundations and Applications”, 106–118, 京都大学数理解析研究所, 2025年5月.
• 岡夏未，白戸祐輔，照井章，三河正彦．包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学計算および経路計画の最適化．日本数式処理学会第33回大会，愛媛大学，2024年6月15日．数式処理，Vol. 31, No.1, 16–19, 2025.
• 田島慎一，小原功任，照井章．最小消去多項式を用いたJordan細胞の構造の効率的な計算．Risa/Asir Conference 2024, 石川県政記念しいのき迎賓館/オンライン, 2024年3月28日．
• 田島慎一，小原功任，照井章．Jordan鎖の構造の厳密で効率的な計算．日本数学会2024年度年会代数学分科会, 大阪公立大学, 2024年3月17日. 日本数学会2024年度年会代数学分科会アブストラクト, 1–2.
• 照井章．包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題および経路計画問題の解法と実装．『数理アルゴリズムにおける不確実性に対する統計的アプローチの展開』研究集会，統計数理研究所，2024年2月9日．
• 田島慎一，小原功任，照井章．最小消去多項式を用いたJordan細胞の構造の効率的な計算．日本数式処理学会2023年度合同分科会，オンライン，2024年1月27日．

• 田島慎一，小原功任，照井章．最小消去多項式を用いた Jordan 細胞の構造の効率的な計算．RIMS共同研究（公開型）Computer Algebra – Foundations and Applications, 京都大学数理解析研究所, 2023年12月20日. 数理解析研究所講究録 2280 “Computer Algebra – Foundations and Applications”, 186–195, 京都大学数理解析研究所, 2024年5月.
• 吉澤瑞輝，照井 章，三河正彦．包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題および経路計画問題の解法と実装．日本数式処理学会第32回大会，順天堂大学，2023年6月10日．数式処理, 30 (1), 37–40, 2024.
• 金泉拓真，照井章，三河正彦．非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法の拡張．Risa/Asir Conference 2023, 石川県政記念しいのき迎賓館，2023年3月27日．
• 照井章．非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法．『数理アルゴリズムにおける不確実性に対する統計的アプローチの展開』研究集会，統計数理研究所，2023年1月11日．

• 田島慎一，小原功任，照井章．一般固有空間とJordan鎖の厳密で効率的な計算 (2). 日本数学会2022年度秋季合同分科会，北海道大学，2022年9月13日．
• 田島慎一，小原功任，照井章．一般固有空間とJordan鎖の厳密で効率的な計算 (1). 日本数学会2022年度秋季合同分科会，北海道大学，2022年9月13日．
• 池泊明，照井章．Bezout行列に基づく近似GCD計算アルゴリズムGPGCDの複数多項式への拡張．日本数式処理学会第31回大会，山陽小野田市立山口東京理科大学，2022年6月18日．
• 葛西剛史，照井章，三河正彦．非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法．Risa/Asir Conference 2022，石川県政記念しいのき迎賓館/オンライン，2022年3月21日．
• 伊藤綾音，照井章，三河正彦．CGS-QE アルゴリズムの応用について．Risa/Asir Conference 2022，石川県政記念しいのき迎賓館/オンライン，2022年3月20日．
• 三河正彦，照井章，藤澤誠．積雪寒冷地における遠隔操作移動ロボットを利用した取り組み．第13回日本ロボット学会北海道ロボット技術研究専門委員会学術講演会 (RSJ-HRT 2022)，オンライン，2022年3月6日．
• 葛西剛史，照井章．Wu’s Methodを用いた「刈屋の定理」の証明．日本数式処理学会2021年度合同分科会，オンライン，2022年1月29日．数式処理，Vol. 28, No. 2, 115–118, 2022.
• 伊藤綾音，照井章．Gröbner基底を用いた「刈屋の定理」の証明．日本数式処理学会2021年度合同分科会，オンライン，2022年1月29日．数式処理，Vol. 28, No. 2, 111–114, 2022.
• 照井章．包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題の解法と実装．『統計的データ解析による数理アルゴリズムの展開』研究集会，統計数理研究所，2022年1月14日．

• 三河正彦，照井章．LEGO 3D CGモデルのジョイントを考慮したURDF変換ツール．ROSConJP 2021, 国際ファッションセンター, 2021年9月16日．
• 大瀧脩人，照井章，三河正彦．包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題の解法と実装．日本数式処理学会第30回大会，東海大学（オンライン），2021年6月5日．数式処理, Vol. 28, No. 1, 36–39, 2022.
• 田島慎一，小原功任，照井章．最小消去多項式を用いた一般固有ベクトル空間の構成．日本数式処理学会第30回大会，東海大学（オンライン），2021年6月5日．数式処理, Vol. 28, No. 1, 32–35, 2022.
• 照井章．コロナ禍の計算機演習：数学科におけるオンライン授業による計算機実習．日本数式処理学会第15期第1回教育分科会，神戸大学（オンライン），2021年2月23日．
• 照井章．数式処理と画像処理を用いたロボットアーム制御系の実装．『統計的データ解析による数理アルゴリズムの展開』研究集会，統計数理研究所（オンライン），2021年1月15日．

• 照井章．数式処理によるロボットの運動計画：概要と課題．第7回筑波大学RCMSサロン「ロボティクスの数理」，筑波大学（オンライン），2020年12月11日．
• 照井章．数式処理によるロボットマニピュレータの動作計画．第2回筑波大学産学連携シンポジウム，筑波大学（オンライン），2020年11月13日．
• 堀込紀行，照井章，三河正彦．グレブナー基底計算を用いたロボットの逆運動学問題の解法と実装．日本数式処理学会第29回大会，甲南大学（オンライン），2020年11月1日．数式処理, Vol. 27, No. 2, 9–12, 2021.
• 三河正彦，照井章，堀込紀行．LEGO3DモデルのURDFへの変換ツールとGröbner基底に基づくマニピュレータの逆運動学解法の可視化．第38回日本ロボット学会学術講演会，オンライン，2020年10月10日．
• 池泊明，照井章．The GPGCD Algorithm with the Bézout Matix. ワークショップ「GCD and related topics, GCDART 2020」，神戸大学（オンライン），2020年9月22日．
• S. Saito, M. Mikawa, A. Terui, M. Fujisawa. Relative Distance Estimation Among Rovers Using Evolutionary Algorithm for Exploration System Consisting of Multiple Small Rovers. The 30th Workshop on Astrodynamics and Flight Mechanics. 2020年7月20日．

• 池泊明，照井章．Bezoutの終結式行列を用いたGPGCD法による1変数多項式の近似GCDの計算 II．RIMS共同研究（公開型） "Computer Algebra --- Theory and Applications", 京都大学数理解析研究所，2019年12月17日．
• 照井章．算数・数学の文章問題の読み取りから図の対応づけに関する能力のリーディングスキルテスト（項目反応理論）による分析．『統計的データ解析による数理アルゴリズムの展開』研究集会，統計数理研究所，2019年11月28日．
• 照井章，堀込紀行，越川竜士，大瀧修人，三河正彦．数式処理と画像処理を用いたロボットアーム制御系の実装．日本数式処理学会2019年度理論分科会&システム分科会合同研究会，九州大学伊都キャンパス，2019年10月20日．数式処理, Vol. 26, No. 2, 34–37, 2020.

• 田島慎一，小原功任，照井章．最小消去多項式候補を用いた逆行列の計算．RIMS共同研究（公開型） "Computer Algebra --- Theory and Applications", 京都大学数理解析研究所，2018年12月17日．
• 照井章．数式処理における最適化と統計的データ解析の応用．『統計的データ解析による数理アルゴリズムの展開』研究集会，統計数理研究所，2018年12月11日．
• 照井章．数式・数値融合計算による混合代数曲面の計算に向けて．ワークショップ「GCD and related topics」，愛媛県松山市，2018年9月11日．

• 池泊明，照井章．Bezoutの終結式行列を用いたGPGCD法による1変数多項式の近似GCDの計算．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日.

• 照井章. 大学入試の数列問題を解く自動推論アルゴリズム. 筑波大学数理物質融合科学センター 第6回数理連携サロン, 筑波大学, 2016年12月5日.
• 和田優未, 松崎拓也, 照井章, 新井紀子. 大学入試における数列の問題を解くための自動推論とその実装について. RIMS研究集会 "数学ソフトウェアとその効果的教育利用に関する研究", 京都大学数理解析研究所, 2016年9月29日. 数理解析研究所講究録 2022 “数学ソフトウェアとその効果的教育利用に関する研究”, 100–111, 京都大学数理解析研究所, 2017年4月. http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/2022.html https://hdl.handle.net/2433/231770
• 田島慎一, 小原功任, 照井章. 行列の最小多項式候補と拡張Horner法を用いた逆行列計算について II. RIMS共同研究 "数式処理の新たな発展", 京都大学数理解析研究所, 2016年9月7日. 数理解析研究所講究録 2019 “数式処理の新たな発展—その最新研究と基礎理論の再構成—”, 28–38, 京都大学数理解析研究所, 2017年4月. http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/2019.html https://hdl.handle.net/2433/231722
• 田島慎一, 小原功任, 照井章. 行列の最小多項式候補と拡張Horner法を用いた逆行列計算について. 日本数式処理学会2015年度合同分科会, 名古屋大学, 2016年1月24日.
• 和田優未, 松崎拓也, 照井章, 新井紀子. 大学入試における数列の問題を解くための自動推論とその実装について. 日本数式処理学会2015年度合同分科会, 名古屋大学, 2016年1月24日.
• 照井章. 計算数学で大学入試に挑む (逆問題研究推進室 成果報告). 筑波大学数理物質融合科学センター 第2回CiRfSEワークショップ, 筑波大学, 2016年1月19日.

• 國廣尭之, 岩根秀直, 和田優未, 照井章. 限量子消去におけるWhite-Boxアルゴリズムの拡張と実装. RIMS研究集会 "数式処理とその周辺分野の研究", 京都大学北部総合教育研究棟 益川ホール, 2015年12月3日. 数理解析研究所講究録 2054 “数式処理研究の新たな発展”, 77–95, 京都大学数理解析研究所, 2017年10月. http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/2054.html https://hdl.handle.net/2433/237149
• 小原功任, 田島慎一, 照井章. 最小消去多項式を用いた一般固有ベクトル空間の基底計算. 日本数学会2015年度秋季総合分科会, 代数学セッション, 京都産業大学, 2015年9月13日.
• 田島慎一, 小原功任，照井章. 行列の固有ベクトル計算のさらなる効率化について. RIMS共同研究 "数式処理研究の新たな発展", 京都大学数理解析研究所, 2015年8月21日. 数理解析研究所講究録 1976 “数式処理研究の新たな発展”, 81–90, 京都大学数理解析研究所, 2015年12月. http://hdl.handle.net/2433/224371
• 照井章．複数個の1変数多項式に対する簡約された部分終結式行列の構成について．日本数式処理学会第24回大会, 筑波大学, 2015年6月5日.
• 照井章．最適化問題としての数式・数値融合計算．ワークショップ "Intersection of Pure Mathematics and Applied Mathematics VIII: Special", 九州大学伊都キャンパス，2015年2月20日．

• 田島慎一，照井章．行列の最小消去多項式候補を用いた固有ベクトル計算 (IV). RIMS 研究集会 "数式処理とその周辺分野の研究", 京都大学数理解析研究所，2014年12月26日. 数理解析研究所講究録 1955 “数式処理とその周辺分野の研究”, 188–197, 京都大学数理解析研究所, 2015年7月. http://hdl.handle.net/2433/224029
• 照井章. 最適化問題としての近似GCD：過去，現在，未来．ワークショップ: 近似代数とその周辺領域, Kobe Studio Seminar for Design, 神戸大学大学院人間発達環境学研究科，2014年11月23日．
• 照井章. 複数個の1変数多項式の部分終結式行列のより簡約化した構成について. RIMS共同研究 “数式処理研究の新たな発展”，京都大学数理解析研究所，2014年8月22日. 数理解析研究所講究録 1927 “数式処理研究の新たな発展”, 106–114, 京都大学数理解析研究所, 2014年12月. http://hdl.handle.net/2433/223517

• 田島慎一, 照井章. 行列の最小消去多項式候補を用いた固有ベクトル計算 (III). RIMS研究集会 “数式処理とその周辺分野の研究”. 京都大学数理解析研究所, 2013年12月25日. 数理解析研究所講究録 1907 “数式処理とその周辺分野の研究”, 50–61, 京都大学数理解析研究所, 2014年7月. http://hdl.handle.net/2433/223156
• 田島慎一, 照井章. 行列の最小消去多項式候補を用いた固有ベクトル計算 (II). 数式処理研究と産学連携の新たな発展. 九州大学マス・フォア・インダストリ研究所, 2013年8月23日. MIレクチャーノート 49 “数式処理研究と産学連携の新たな発展”, 119–127, 九州大学マス・フォア・インダストリ研究所, 2013年8月. http://hdl.handle.net/2324/1430855
• 照井章. Syzygyの近似計算による1変数多項式の近似GCDの計算. 日本数式処理学会第22回大会. 防衛大学校, 2013年6月8日.
• 田島慎一, 小原功任, 照井章. 行列多項式に対する記号計算の拡張Horner 法による効率化. 日本数学会2013年度年会, 代数学分科会. 京都大学, 2013年3月21日.
• 田島慎一, 小原功任, 照井章. 行列 Horner 法の並列化の実装について. Risa/Asir Conference 2013 + 第5回六甲博多計算代数会議, 神戸大学瀧川記念学術交流会館, 2013年3月18日.
• 照井章. 数式処理における近似最大公約子(GCD)計算の最近の動向. 日本数式処理学会東北地区合同分科会, 仙台青葉カルチャーセンター, 2013年1月26日.

• 照井章. Syzygyの近似計算による1変数多項式の近似 GCD の計算. 研究集会 “Computer Algebra—The Algorithms, Implementations and the Next Generation”, 京都大学数理解析研究所，2012年12月26日.
• 照井章. 近似GCD算法GPGCDの最近の進展. RIMS共同研究 “数式処理研究の新たな発展”，京都大学数理解析研究所，2012年7月4日. 数理解析研究所講究録 1930 “数式処理研究の新たな発展”, 60–72, 京都大学数理解析研究所, 2015年1月. http://hdl.handle.net/2433/223556
• 田島慎一, 小原功任, 照井章. 行列の最小消去多項式候補を利用した固有ベクトル計算の並列化. RIMS共同研究 “数式処理研究の新たな発展”，京都大学数理解析研究所，2012年7月4日. 数理解析研究所講究録 1930 “数式処理研究の新たな発展”, 51–59, 京都大学数理解析研究所, 2015年1月. http://hdl.handle.net/2433/223557
• 照井章, 田島慎一. 行列の最小消去多項式候補を利用した固有ベクトル計算. 日本数学会2012年度年会, 函数論セッション. 東京理科大学, 2012年3月26日（日本数学会2011年度年会一般講演）. 日本数学会2012年度年会, 函数論セッションアブストラクト, 日本数学会, 2012. 日本数学会2011年度年会, 函数論セッションアブストラクト, 日本数学会, 2011.

• 照井章．半正定値計画法による1変数多項式の近似GCDの計算 (Towards Calculating Approximate GCD of Univariate Polynomials with Semidefinite Programming)．RIMS共同研究 “数式処理研究の新たな発展”，京都大学数理解析研究所，2011年7月7日. 数理解析研究所講究録 1930 “数式処理研究の新たな発展”, 39–50, 京都大学数理解析研究所, 2015年1月. http://hdl.handle.net/2433/223558
• 田島慎一，小原功任，照井章．行列Horner法の拡張と効率化．RIMS共同研究 “数式処理研究の新たな発展”，京都大学数理解析研究所，2011年7月7日. 数理解析研究所講究録 1930 “数式処理研究の新たな発展”, 26–38, 京都大学数理解析研究所, 2015年1月. http://hdl.handle.net/2433/223559

• 照井章, 田島慎一. 行列の最小消去多項式候補を利用した固有ベクトル計算. 研究集会 “Computer Algebra — Design of Algorithms, Implementations and Applications”. 京都大学数理解析研究所, 2010年12月1日. 数理解析研究所講究録 1815 “Computer Algebra — Design of Algorithms, Implementations and Applications”. 京都大学数理解析研究所, 2012, 13–20. http://hdl.handle.net/2433/194576
• 照井章. 近似GCD算法GPGCDの複数入力多項式への拡張. RIMS共同研究 “数式処理研究の新たな発展”, 京都大学数理解析研究所, 2010年7月7日. 数理解析研究所講究録 1759 “数式処理研究の新たな発展”. 京都大学数理解析研究所, 2011, 15–25. http://hdl.handle.net/2433/171339

• 照井章. 近似GCD算法GPGCDの複素係数多項式への拡張. 研究集会 “Computer Algebra — Design of Algorithms, Implementations and Applications”, 京都大学数理解析研究所, 2009年11月5日. 数理解析研究所講究録 1814 “Computer Algebra — Design of Algorithms, Implementations and Applications”. 京都大学数理解析研究所, 2012, 97–107. http://hdl.handle.net/2433/194547
• 照井章. 制約つき最適化に基づく1変数多項式の近似GCDの反復算法. 第38回数値解析シンポジウム (NAS2009), 熱川ハイツ, 2009年6月17日. 第38回数値解析シンポジウム講演予稿集, 2009, 95–98. http://hdl.handle.net/2241/103425
• 照井章. 制約つき最適化に基づく1変数多項式の近似GCDの反復算法. 第18回日本数式処理学会大会, 龍谷大学瀬田キャンパス, 2009年6月12日.

• 太刀川弘幸, 照井章. The presupposed 1st primitive polynomials over a finite field（有限体上の予想される第一原始多項式について）. 研究集会 “Computer Algebra — Design of Algorithms, Implementations and Applications”, 京都大学数理解析研究所, 2007年11月9日. 数理解析研究所講究録 1652 “Computer Algebra — Design of Algorithms, Implementations and Applications”. 京都大学数理解析研究所, 2009, 146–154. http://hdl.handle.net/2433/140803
• 照井章. 任意の収束次数をもつ記号的Newton法の同時反復公式. 共同研究 “数式処理研究の新たな発展”, 京都大学数理解析研究所, 2007年7月5日. 数理解析研究所講究録 1572 “数式処理研究の新たな発展”. 京都大学数理解析研究所, 2007, 82–93. http://hdl.handle.net/2433/81304

• 照井章. 1変数多項式の再帰的な多項式剰余列と入れ子部分終結式. 研究集会 “Computer Algebra — Design of Algorithms, Implementations and Applications”, 京都大学数理解析研究所, 2005年12月20日. 数理解析研究所講究録 1514 “Computer Algebra — Design of Algorithms, Implementations and Applications”. 京都大学数理解析研究所, 2006, 87–93. http://hdl.handle.net/2433/58679

• 照井章, 佐々木建昭. 1変数代数方程式の1つの近接根クラスタに含まれる近接根の計算. 研究集会 “Computer Algebra — Design of Algorithms, Implementations and Applications”, 京都大学数理解析研究所, 2004年12月13日. 数理解析研究所講究録 1456 “Computer Algebra — Design of Algorithms, Implementations and Applications”. 京都大学数理解析研究所, 2005, 27–34. http://hdl.handle.net/2433/47852
• 照井章, 佐々木建昭. 1変数代数方程式の1つの近接根クラスタに含まれる近接根の計算. 第33回数値解析シンポジウム (NAS2004), ウェルハートピア熱海, 2004年5月19日. 第33回数値解析シンポジウム講演予稿集, 2004, 49–52.
• 照井章, 佐々木建昭. 1変数代数方程式の1つの近接根クラスタに含まれる近接根の計算. Risa/Asir Conference 2004, 神戸大学瀧川記念学術交流会館, 2004年3月23日.

• 照井章. 再帰的な部分終結式と1変数多項式の実根の個数の計算. 研究集会 “Computer Algebra — Algorithms, Implementations and Applications”, 京都大学数理解析研究所, 2003年12月16日. 数理解析研究所講究録 1395 “Computer Algebra — Algorithms, Implementations and Applications”. 京都大学数理解析研究所, 2004, 97–103. http://hdl.handle.net/2433/25933
• 照井章, 再帰的なSturm列を用いた1変数代数方程式の実根の個数の計算. 第32回数値解析シンポジウム (NAS2003), 箱根ホテル小涌園, 2003年5月21日. 第32回数値解析シンポジウム講演予稿集, 2003, 13–16.
• 照井章, 再帰的な多項式剰余列における部分終結式. 第11回Risaコンソーシアム研究集会, 神戸大学瀧川記念学術交流会館, 2003年3月20日.

• 照井章. 1変数代数方程式の微小根の上界を用いた近接根の計算. 研究集会 “Computer Algebra — Algorithms, Implementations and Applications”, 京都大学数理解析研究所, 2001年11月21日. 数理解析研究所講究録 1295 “Computer Algebra — Algorithms, Implementations and Applications”. 京都大学数理解析研究所, 2002, 117–122. http://hdl.handle.net/2433/42609
• 照井章, 1変数代数方程式の微小根の上界を用いた近接根の計算. 第30回数値解析シンポジウム (NAS2001), 那須ビューホテル, 2001年5月23日. 第30回数値解析シンポジウム講演予稿集, 2001, 27–30.

• 佐々木建昭, 照井章. 微小定次項を持つ代数方程式の根の大きさについて. 研究集会 “数式処理における理論と応用の研究”, 京都大学数理解析研究所, 2000年12月19日. 数理解析研究所講究録 1199 “数式処理における理論と応用の研究”. 京都大学数理解析研究所, 2001, 132–136. http://hdl.handle.net/2433/64921
• 佐々木建昭, 照井章, 微小定次項を持つ代数方程式の根の大きさについて. 第29回数値解析シンポジウム (NAS2000), 那須ビューホテル, 2000年6月9日. 第29回数値解析シンポジウム講演予稿集, 2000, 116–119.

• 照井章. 誤差項をもつ実多項式の「近似実根」の計算とその応用. 研究集会 “数式処理における理論と応用の研究”, 京都大学数理解析研究所, 1999年11月24日. 数理解析研究所講究録 1138 “数式処理における理論と応用の研究”. 京都大学数理解析研究所, 2000, 43–55. http://hdl.handle.net/2433/63827

• 照井章, 佐々木建昭. 誤差項をもつ1変数実多項式の実根の存在範囲について (Approximate Zero-points of Univariate Polynomial with Large Error Terms). 研究集会 “数式処理における理論と応用の研究”, 京都大学数理解析研究所, 1998年11月16日. 数理解析研究所講究録 1085 “数式処理における理論と応用の研究”. 京都大学数理解析研究所, 1999, 111–119. http://hdl.handle.net/2433/62801
• 照井章, 佐々木建昭. 誤差項をもつ多項式の近似実根について. 第27回数値解析シンポジウム, カリアック（商工会議所福利研修センター）, 1998年6月15日. 第27回数値解析シンポジウム講演予稿集, 1998, 38–41.
• 照井章, 佐々木建昭. 誤差項をもつ多項式の近似実根について. 第7回日本数式処理学会大会, 津田塾大学, 1998年6月11日. 数式処理. 1998, 7 (1), 23–24.

• 照井章, 佐々木建昭. 誤差項を含む1変数多項式の根の誤差上界. 研究集会 “数式処理における理論と応用の研究”, 京都大学数理解析研究所, 1997年11月18日. 数理解析研究所講究録 1038 “数式処理における理論と応用の研究”. 京都大学数理解析研究所, 1998, 106–110. http://hdl.handle.net/2433/61980
• 照井章, 佐々木建昭. 実根のみを計算するDurand-Kerner法. 第26回数値解析シンポジウム, あずまや高原ホテル, 1997年6月10日. 第26回数値解析シンポジウム講演予稿集, 1997, 59–62.

• 照井章, 佐々木建昭. 近似計算による代数関数の実特異点の検出について. 研究集会 “数式処理における理論と応用の研究”, 京都大学数理解析研究所, 1996年11月20日. 数理解析研究所講究録 986 “数式処理における理論と応用の研究”. 京都大学数理解析研究所, 1997, 92–99. http://hdl.handle.net/2433/61007
• 照井章, 佐々木建昭. 浮動小数係数の多項式の終結式計算について. 第5回日本数式処理学会大会, 岩手大学, 1996年5月31日. 数式処理. 1996, 5 (1).

• 照井章, 佐々木建昭. 代数関数の陰関数描画について. 研究集会 “数式処理における理論と応用の研究”, 京都大学数理解析研究所, 1995年11月22日. 数理解析研究所講究録 941 “数式処理における理論と応用の研究”. 京都大学数理解析研究所, 1996, 215–222. http://hdl.handle.net/2433/60117
• 照井章, 佐々木建昭. 実多項式用Durand-Kerner法—陰関数描画を目的に—. 第24回数値解析シンポジウム, 熱川ハイツ, 1995年6月14日. 第24回数値解析シンポジウム講演予稿集, 1995, 13–16.