TERUI Akira
- Affiliation
- Institute of Pure and Applied Sciences
- Official title
- Associate Professor
- ORCID
- 0000-0003-0846-3643
- Sex
- Male
- Birth date
- 1971-09
- KAKEN ID
- 80323260
- URL
- C1"/2&F|1F*|1%I102(2}|I| I'-V
- Phone
- 029-853-4235（事務室）
- Fax
- 029-853-6501
- Research fields
Theory of informatics Software - Research keywords
computer algebra symbolic-numeric computation numeric computation robotics approximate greatest common divisor Groebner basis quantifier elimination inverse kinematics - Research projects
Development of a Control System for Robot Manipulators Based on Robust and Efficient Motion Planning Using Computer Algebra 2025 -- 2027 照井 章 Japan Society for the Promotion of Science/Grant-in-Aid for Scientific Research(C) 4,680,000Yen An implementation and applications of a robust platform for motion planning in robotics using symbolic-numeric computation 2020-04 -- 2023-03 Akira TERUI Japan Society for the Promotion of Science/Grant-in-Aid for Scientific Research (C) 4,290,000Yen Calculation of blending surfaces with approximate Syzygies 2016-04 -- 2019-03 Akira TERUI Japan Society for the Promotion of Science/Grant-in-Aid for Scientific Research (C) 4,810,000Yen A grant-in-aid for research in computer algebra 2014-04 -- 2015-03 Akira TERUI Nikon Corporation/Commissioned research 1,000,000Yen Study on Calculating Power-series Roots of Multivariate Algebraic Equations 2007-04 -- 2010-03 Akira TERUI Japan Society for the Promotion of Science/Grant-in-Aid for Young Scientists (B) 3,380,000Yen A Study on Classification and Strategy of Misere Impartial Games 2005-04 -- 2008-03 SAKAI Ko Japan Society for the Promotion of Science/Grant-in-Aid for Scientific Research (C) Study of Algorithms and Applications of Approximate Algebra 2003-04 -- 2007-03 Tateaki SASAKI Japan Society for the Promotion of Science/Grant-in-Aid for Scientific Research (B) 近似的代数計算を用いた代数方程式の数値解法の研究 2002-04 -- 2004-03 Akira TERUI Japan Society for the Promotion of Science/Grant-in-Aid for Young Scientists (B) 3,500,000Yen Study of Algorithms and Applications of Approximate Algebra 2000-04 -- 2003-03 Tateaki SASAKI Japan Society for the Promotion of Science/Grant-in-Aid for Scientific Research (B) Developments of Accurate Estimation Procedures in the Statistical Region Estimation and Attempt of Practicability 2000 -- 2004-03 AKIHIRA Masafumi Japan Society for the Promotion of Science (JSPS)/Grant-in-Aid for Scientific Research (B) - Career history
2017-04 -- (current) Center for Artificial Intelligence Research, University of Tsukuba 2011-12 -- (current) University of TsukubaFaculty of Pure and Applied SciencesAssociate Professor 2011-10 -- 2011-11 University of TsukubaFaculty of Pure and Applied SciencesResearch Associate 2007-04 -- 2011-09 University of TsukubaGraduate School of Pure and Applied SciencesResearch Associate 2004-04 -- 2007-03 University of TsukubaGraduate School of Pure and Applied SciencesResearch Associate 1999-10 -- 2004-03 University of TsukubaInstitute of MathematicsResearch Associate - Academic background
1995-04 -- 1999-09 University of Tsukuba Doctral Program in Mathematics Mathematics 1991-04 -- 1995-03 University of Tsukuba First Cluster of Colleges College of Natural Sciences - Degree
2010-03 Ph.D in Science University of Tsukuba 1997-03 Master of Science University of Tsukuba - Academic societies
1998 -- (current) Information Processing Society of Japan 1997 -- (current) The Japan Society for Industrial and Applied Mathematics 2003 -- (current) The Mathematical Society of Japan 1998 -- (current) JAPAN SOCIETY OF SYMBOLIC AND ALGEBRAIC COMPUTATIONS 2001 -- (current) Association for Computing Machinery - Honors & Awards
2019-10 筑波大学永年勤続者表彰 永年勤続し、かつ勤務成績が良好であったため - Articles
- Prime decomposition of the radical of zero-dimensional ideals and symbolic eigenvalue method
照井 章; 石原侑樹; 小原功任; 田島慎一
RIMS Kokyuroku/2342/pp.147-155, 2026-04 - Solving 3D Speech Direction Estimation Problem via System of Nonlinear Equations
清水 啓; 照井 章; 三河 正彦
RIMS Kokyuroku/2342/pp.156-169, 2026-04 - Inverse Kinematics for a 6-Degree-of-Freedom Robot Manipulator Using Comprehensive Gröbner Systems
Okazaki Takumu; Terui Akira; Mikawa Masahiko
Computer Algebra in Scientific Computing (CASC 2025), Lecture Notes in Computer Science/pp.336-359, 2025-11 - An Effective Trajectory Planning and an Optimized Path Planning for a 6-Degree-of-Freedom Robot Manipulator
Okazaki Takumu; Terui Akira; Mikawa Masahiko
Computer Algebra in Scientific Computing (CASC 2025), Lecture Notes in Computer Science/pp.312-335, 2025-11 - 数式処理によるロボットマニピュレータの動作計画
照井 章
Proceedings of the 43rd Annual Conference of the Robotics Society of Japan, 2025-09-02 - 包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学計算および経路計画の最適化
岡 夏未; 白戸 祐輔; 照井 章; 三河 正彦
Bulletin of JSSAC（日本数式処理学会誌）/31(1)/pp.16-19, 2025-01 - 連立方程式の求解と遺伝的アルゴリズムを組み合わせた小惑星探査ローバの位置決定問題の解法
倉持 研汰; 照井 章; 三河 正彦
RIMS Kokyuroku/2320/pp.132-144, 2025-05 - ベジェ曲線を用いたマニピュレータの軌道計画
畠山 諒; 照井 章; 三河 正彦
RIMS Kokyuroku/2320/pp.119-131, 2025-05 - 包括的Gröbner基底系を用いた6自由度ロボットマニピュレータの逆運動学問題の解法
岡﨑 拓夢; 照井 章; 三河 正彦
RIMS Kokyuroku/2320/pp.106-118, 2025-05 - 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 — Work in Progress Workshop/3754/pp.105-112, 2024-08 - 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 — Work in Progress Workshop/3754/pp.84-91, 2024-08 - Solving estimation problems using minimax polynomials and Gröbner bases
倉持研汰; 照井 章; 三河正彦
Proceedings of the 10th International Symposium on Symbolic Computation in Software Science — Work in Progress Workshop/3754/pp.57-62, 2024-08 - 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 — Work in Progress Workshop/3754/pp.21-27, 2024-08 - 包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題および経路計画問題の解法と実装
吉澤瑞輝; 照井 章; 三河正彦
数式処理/30(1)/pp.37-40, 2024-01 - 最小消去多項式を用いた Jordan 細胞の構造の効率的な計算
田島慎一; 小原功任; 照井 章
RIMS Kokyuroku/2280/pp.186-195, 2024-05 - Jordan鎖の構造の厳密で効率的な計算
田島 慎一; 小原 功任; 照井 章
日本数学会2024年度年会代数学分科会講演アブストラクト/pp.1-2, 2024-03 - Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems
Yoshizawa Mizuki; Terui Akira; Mikawa Masahiko
Computer Algebra in Scientific Computing (CASC 2023), Lecture Notes in Computer Science/14139/pp.393-419, 2023-08-28 - コロナ禍の計算機演習 : 数学科における数式処理を用いた計算機実習の遠隔授業による取り組み
照井 章
数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation/28(2)/pp.53-79, 2022-07 - The GPGCD Algorithm with the Bézout Matrix
Chi Boming; Terui Akira
Lecture Notes in Computer Science/12291/pp.170-187, 2020-10 - A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases
Horigome Noriyuki; Terui Akira; Mikawa Masahiko
Mathematical Software – ICMS 2020: Proceedings of the 7th International Congress on Mathematical Software/12097/pp.3-13, 2020-07 - An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination
Wada Yumi; Matsuzaki Takuya; Terui Akira; Arai Noriko H.
Mathematical Software – ICMS 2016/9725/pp.82-89, 2016-07 - Developing Linear Algebra Packages on Risa/Asir for Eigenproblems
Katsuyoshi Ohara; Shinichi Tajima; Terui Akira
Mathematical Software – ICMS 2014/pp.321-324, 2014-07 - An Extension and Efficient Calculation of the Horner’s Rule for Matrices
Shinichi Tajima; Katsuyoshi Ohara; Terui Akira
Mathematical Software – ICMS 2014/8592/pp.346-351, 2014-07 - GPGCD: an iterative method for calculating approximate GCD of univariate polynomials
Akira Terui
Theoretical Computer Science/479/pp.127-149, 2013-04 - GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials
Terui Akira
Lecture Notes in Computer Science/6244/pp.238-249, 2010-01 - more...
- Prime decomposition of the radical of zero-dimensional ideals and symbolic eigenvalue method
- Books
- 計算機代数の基礎理論
長坂耕作; 岩根秀直; 北本卓也; 讃岐 勝; 照井章; 鍋島克輔
計算機代数の基礎理論/共立出版, 2019-03 - Symbolic-Numeric Algorithms for Univariate Polynomials
照井 章
2010-03 - Drawing Implicit Algebraic Functions on the Real Plane
照井 章
1997-03
- 計算機代数の基礎理論
- Conference, etc.
- Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems
NAKAI Yu; TERUI Akira; MIKAWA Masahiko
International Symposium on Mathematical Software (ICMS 2026)/2026-07-20--2026-07-23 - Inverse Kinematics and an Optimized Path Planning for a 6-Degree-of-Freedom Robot Manipulator
Takumu OKAZAKI; TERUI Akira; Masahiko MIKAWA
The 51st International Symposium on Symbolic and Algebraic Computation (ISSAC 2026)/2026-07-13--2026-07-17 - Solving estimation problems using minimax polynomials and Gröbner bases
TERUI Akira; KURAMOCHI Kenta; SHIMIZU Kei; MIKAWA Mas...
Dagstuhl Seminar 25281 “From Sparse Interpolation to Signal Processing: New Synergies”/2025-07-06--2025-07-11 - Solving the Three-Dimensional Speech Direction Estimation Problem via a System of Nonlinear Equations
Terui Akira; Shimizu Kei; MIKAWA Masahiko
Orthogonal Polynomials, Exponential Analysis, Rational Approximation, with applications (OPERA 2026)/2026-06-22--2026-06-26 - 零次元イデアルの根基の素イデアル分解と記号的固有値法 II
照井 章; 石原侑樹; 小原功任; 田島慎一
日本数式処理学会第35回大会/2026-06-13--2026-06-14 - 零次元イデアルの根基の素イデアル分解と記号的固有値法
照井 章; 石原侑樹; 小原功任; 田島慎一
Computer Algebra - Foundations and Applications/2025-11-17--2025-11-20 - 多項式近似を用いた 3 次元空間における発話方向推定問題の解法
清水 啓; 照井 章; 三河 正彦
Computer Algebra - Foundations and Applications/2025-11-17--2025-11-20 - 数式処理によるロボットマニピュレータの動作計画
照井 章
The 43rd Annual Conference of the Robotics Society of Japan/2025-09-02--2025-09-05 - 零次元根基イデアルの素イデアル分解と記号的固有値法
照井 章; 石原侑樹; 小原功任; 田島慎一
日本数式処理学会第34回大会/2025-06-06--2025-06-08 - 数式処理による6自由度ロボットマニピュレータの軌道計画問題および経路最適化問題
岡﨑 拓夢; 照井 章; 三河 正彦
Risa/Asir Conference 2025/2025-03-25--2025-03-27 - 零次元根基イデアルの素イデアル分解と記号的固有値法
照井 章; 石原侑樹; 小原功任; 田島慎一
Risa/Asir Conference 2025/2025-03-25--2025-03-27 - ロボットマニピュレータの制御における問題解決への数式処理の応用
照井 章
『数理アルゴリズムにおける不確実性に対する統計的アプローチの展開』研究集会/2025-01-27--2025-01-27 - 連立方程式の求解と遺伝的アルゴリズムを組み合わせた小惑星探査ローバの位置決定問題の解法
倉持 研汰; 照井 章; 三河 正彦
Computer Algebra - Foundations and Applications/2024-12-18--2024-12-20 - ベジェ曲線を用いたマニピュレータの軌道計画
畠山 諒; 照井 章; 三河 正彦
Computer Algebra - Foundations and Applications/2024-12-18--2024-12-20 - 包括的Gröbner基底系を用いた6自由度ロボットマニピュレータの逆運動学問題の解法
岡﨑 拓夢; 照井 章; 三河 正彦
Computer Algebra - Foundations and Applications/2024-12-18--2024-12-20 - Inverse Kinematics and Optimized Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems
SHIRATO Yusuke; OKA Natsumi; TERUI Akira; MIKAWA Masa...
The 26th International Workshop on Computer Algebra in Scientific Computing: CASC 2024/2024-09-02--2024-09-06 - 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 — Work in Progress Workshop/2024-08-28--2024-08-30 - 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 — Work in Progress Workshop/2024-08-28--2024-08-30 - Solving estimation problems using minimax polynomials and Gröbner bases
倉持研汰; 照井 章; 三河正彦
The 10th International Symposium on Symbolic Computation in Software Science — Work in Progress Workshop/2024-08-28--2024-08-30 - 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 — Work in Progress Workshop/2024-08-28--2024-08-30 - 包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学計算および経路計画の最適化
岡 夏未; 白戸 祐輔; 照井 章; 三河 正彦
日本数式処理学会第33回大会/2024-06-14--2024-06-16 - 最小消去多項式を用いたJordan細胞の構造の効率的な計算
田島慎一; 小原功任; 照井 章
Risa/Asir Conference 2024/2024-03-26--2024-03-28 - 数式処理によるロボットの動作計画
照井 章
第5回筑波大学産学連携シンポジウム/2023-10-25--2023-10-25 - 最小消去多項式を用いた Jordan 細胞の構造の効率的な計算
田島慎一; 小原功任; 照井 章
Computer Algebra – Foundations and Applications/2023-12-18--2023-12-20 - Jordan鎖の構造の厳密で効率的な計算
田島 慎一; 小原 功任; 照井 章
日本数学会2024年度年会/2024-03-17--2024-03-20 - more...
- Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems
- Intellectural property rights
- A device for measuring inside of caves with a laser probe device
森田純; 照井章; 小副川健; 清水健一; 岡本弘仁; 末久高平
- A device for measuring inside of caves with a laser probe device
- Teaching
2025-10 -- 2025-12 Calculus II University of Tsukuba. 2025-10 -- 2025-12 Calculus 2 University of Tsukuba. 2026-01 -- 2026-02 Interdisciplinary Mathematics C University of Tsukuba. 2025-11 -- 2025-12 Interdisciplinary Mathematics B University of Tsukuba. 2025-10 -- 2025-11 Interdisciplinary Mathematics A University of Tsukuba. 2025-10 -- 2026-02 Research on Mathematics Education III University of Tsukuba. 2025-04 -- 2025-08 Research on Mathematics Education III University of Tsukuba. 2025-10 -- 2026-02 Seminar on Mathematics University of Tsukuba. 2025-04 -- 2025-08 Seminar on Mathematics University of Tsukuba. 2025-10 -- 2026-02 Research in Mathematics of Information VB University of Tsukuba. more... - Other educational activities
2024-12 -- 2024-12 附属駒場高等学校大学訪問 筑波大学 2023-04 -- (current) 筑波大学ピアノ愛好会：顧問教員 筑波大学ピアノ愛好会 2023-04 -- (current) 項目反応理論に関する調査・研究 筑波大学数理物質系数学域 2023-04 -- (current) 筑波大学エクステンションプログラム「数学学び直し講座」 筑波大学数理物質系数学域 2024-07 -- 2024-08 女子中高生夏の学校2024 NPO法人女子中高生理工系キャリアパスプロジェクト 2024-06 -- 2024-06 附属高等学校大学訪問 筑波大学 2024-06 -- 2024-08 茨城県高校生公開講座 オンライン 2023-07 -- 2023-08 女子中高生夏の学校2023 NPO法人女子中高生理工系キャリアパスプロジェクト 2022-09 -- 2022-09 栃木県数学専門研修（高等学校） 栃木県教育委員会 2022-07 -- 2022-08 女子中高生夏の学校2022 NPO法人女子中高生理工系キャリアパスプロジェクト more... - Talks
- 数式処理によるロボットマニピュレータの動作計画
照井 章
理科大計算機代数セミナー/2025-06-26--2025-06-26 - 数理でものづくり：数式処理によるロボティクスの展開
照井 章
数学界・経団連 第11回 数理活用産学連携イニシアティブ/2024-10-02--2024-10-02 - 「ユークリッドの互除法」でアルゴリズムを体験しよう
照井 章
愛知県立明和高等学校 令和6年度SSH事業「数学 夏の学校」/2024-07-30--2024-07-30 - 数式処理でロボティクス
照井 章
幾何構造と可積分系セミナー/2024-11-05--2024-11-05 - ロボットは数学の大学入試問題をどうやって解くか？
照井 章
愛知県立明和高等学校 令和5年度SSH事業「数学 夏の学校」/2023-08-02--2023-08-02 - ロボットは数学の大学入試問題をどうやって解くか？
照井 章
愛知県立明和高等学校 令和4年度SSH事業「数学 夏の学校」/2022-08-02--2022-08-02 - CoCalc, an integrated web application for computational mathematics, and its usage in online classes
照井 章
Mathematical Software And Free Documents 34/2023-03-14--2023-03-14 - 高校数学の数列問題を解く自動推論アルゴリズム
照井 章
金沢数理データサイエンス研究会/2021-11-26--2021-11-26 - ロボットは数学の大学入試問題をどうやって解くか？
照井 章
愛知県立明和高等学校 令和3年度SSH事業「数学 夏の学校」/2021-07-29--2021-07-29 - 数式処理によるロボットの運動計画：概要と課題
照井 章
第7回筑波大学RCMSサロン「ロボティクスの数理」/2020-12-11--2020-12-11 - 数式処理によるロボットマニピュレータの動作計画
照井 章
第2回筑波大学産学連携シンポジウム/2020-11-13--2020-11-13 - ロボットは数学の大学入試問題をどうやって解くか？
照井 章
城西大学理学部・経済学部合同FD研修会/2020-02-28--2020-02-28 - ロボットは数学の大学入試問題をどうやって解くか?
照井 章
一関第一高等学校平成30年度理数セミナー/2018-09-25--2018-09-25 - ロボットは数学の大学入試問題をどうやって解くか？
照井 章
船橋高等学校SSH講演会/2017-09-28--2017-09-28 - ロボットは数学の入試問題をどうやって解くのか？
照井 章
平成２９年度千葉県教育研究会数学部会総会・春季研究大会/2017-06-07--2017-06-07 - 大学入試の数列問題を解く自動推論アルゴリズム
照井 章
筑波大学数理物質融合科学センター 第6回数理連携サロン/2016-12-05--2016-12-05 - 数学で世界に挑む
照井 章
花巻市立若葉小学校 総合学習/2016-02-22--2016-02-22
- 数式処理によるロボットマニピュレータの動作計画
- Professional activities
2024-12 -- (current) JAPAN SOCIETY OF SYMBOLIC AND ALGEBRAIC COMPUTATIONS 広報委員会/委員 2024-07 -- (current) The Mathematical Society of Japan 男女共同参画社会推進委員会/委員 2023-09 -- 2024-08 国際会議 SCSS 2024 (International Symposium on Symbolic Computation in Software Science) 現地調整委員会/委員 2022-11 -- 2023-09 国際会議 CASC 2023 (Computer Algebra in Scientific Computing) プログラム委員会/委員 2021-11 -- 2022-09 国際会議 CASC 2022 (Computer Algebra in Scientific Computing) プログラム委員会/委員 2020-11 -- 2021-09 国際会議 CASC 2021 (Computer Algebra in Scientific Computing) プログラム委員会/委員 2020-06 -- (current) JAPAN SOCIETY OF SYMBOLIC AND ALGEBRAIC COMPUTATIONS Director 2019-11 -- 2020-09 国際会議 CASC 2020 (Computer Algebra in Scientific Computing) プログラム委員会/委員 2018-11 -- 2019-09 国際会議 CASC 2019 (Computer Algebra in Scientific Computing) プログラム委員会/委員 2018-07 -- 2024-06 JAPAN SOCIETY OF SYMBOLIC AND ALGEBRAIC COMPUTATIONS "Bulletin of Japan Society of Symbolic and Algebraic Computations" Editorial Committee/Chair more... - University Management
2020-04 -- (current) 数理科学研究コア 融合研究企画調整室長 2020-04 -- (current) 数理科学研究コア 副コア長 2017-10 -- (current) 数理科学研究コア 運営委員 2013-04 -- (current) 数理物質系情報環境委員会 委員 2018-04 -- 2020-03 教育研究科広報委員会 委員 2016-04 -- 2017-09 数理物質融合科学センター 数理科学研究推進室 構成教員 2016-04 -- 2017-03 学生担当教員会議 委員 2016-04 -- 2017-03 数学類運営委員会 委員 2015-06 -- 2016-03 The 18th Homecoming Day Organizing Committee Member 2013-04 -- 2015-03 Sports Day Steering Committee Member more... - Other activities
2019-02 -- 2020-02 ソースコードホスティングサービス GitHub, Inc. と筑波大学間のGitHub Campus Program（大学向け包括的サービスプログラム）を締結 2009 -- (current) GPGCD: an approximate polynomial GCD library https://github.com/atelieraterui/gpgcd
(Last updated: 2026-08-02)