Terui Akira

テルイアキラ | Terui Akira

Affiliation and department：
Job title： Associate Professor
Other affiliations (1)：

University of Tsukuba Center for Artificial Intelligence Research

Homepage URL (2)： https://www.math.tsukuba.ac.jp/~terui/ , https://www.math.tsukuba.ac.jp/~terui/en

Research field (3)： Applied mathematics and statistics , Basic mathematics , Information theory

Research keywords (6)： automated deduction , numeric computation , Numerical optimization , computer algebra , symbolic-numeric computation , formula manipulation

Research theme for competitive and other funds (11)：

2020 - 2023 数式・数値融合計算によるロバストなロボット動作計画プラットフォームの構築と応用
2016 - 2019 Calculation of blending surfaces with approximate Syzygies
2015 - 2018 Singular statistics and computational algebraic analysis of machine learning models
2007 - 2009 Study on Calculating Power-series Roots of Multivariate Algebraic Equations
2007 - 2009 Study of Algorithms and Applications of Approximate Algebra

Show all

Papers (18)：

Mizuki Yoshizawa, Akira Terui, Masahiko Mikawa. Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems. Computer Algebra in Scientific Computing, Lecture Notes in Computer Science 14139. 2023. 393-419
照井章. コロナ禍の計算機演習 : 数学科における数式処理を用いた計算機実習の遠隔授業による取り組み-特集論文 With/After COVID-19における数式処理の可能性. 数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation. 2022. 28. 2. 53-79
Boming Chi, Akira Terui. The GPGCD Algorithm with the Bézout Matrix. Computer Algebra in Scientific Computing: Proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020. 2020. 170-187
Noriyuki Horigome, Akira Terui, Masahiko Mikawa. A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases. Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings. 2020. 3-13
Yumi Wada, Takuya Matsuzaki, Akira Terui, Noriko H. Arai. An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination. Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. 2016. 82-89

ｍore...

MISC (49)：

池泊明, 照井章. Bezout行列に基づく近似GCD計算アルゴリズムGPGCDの複数多項式への拡張-日本数式処理学会第31回大会報告. 数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation. 2023. 29. 1. 25-28
伊藤綾音, 照井章. Grobner基底を用いた「刈屋の定理」の証明-2021年度合同分科会報告. 数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation. 2022. 28. 2. 111-114
葛西剛史, 照井章. Wu's Methodを用いた「刈屋の定理」の証明-2021年度合同分科会報告. 数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation. 2022. 28. 2. 115-118
田島慎一, 小原功任, 照井章. 最小消去多項式を用いた一般固有ベクトル空間の構成-日本数式処理学会第30回大会報告. 数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation. 2022. 28. 1. 32-35
大瀧脩人, 照井章, 三河正彦. 包括的グレブナー基底系計算に基づく限量子消去アルゴリズムを用いたロボットの逆運動学問題の解法と実装-日本数式処理学会第30回大会報告. 数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation. 2022. 28. 1. 36-39

ｍore...

Patents (1)：

空洞計測装置及びレーザプローブ装置

Books (1)：

計算機代数の基礎理論
共立出版 2019 ISBN:9784320113732

Lectures and oral presentations (20)：

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 2023)
包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題および経路計画問題の解法と実装
(日本数式処理学会第32回大会 2023)
非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法の拡張
(Risa/Asir Conference 2023 2023)
一般固有空間とJordan鎖の厳密で効率的な計算 (2)
(日本数学会2022年度秋季総合分科会 2022)
一般固有空間とJordan鎖の厳密で効率的な計算 (1)
(日本数学会2022年度秋季合同分科会 2022)

ｍore...

Professional career (2)：

Ph.D in Science (University of Tsukuba)
M.S. (University of Tsukuba)

Work history (5)：

2011/12 - 現在 Faculty of Pure and Applied Sciences, University of Tsukuba Associate Professor
2011/10 - 2011/11 Faculty of Pure and Applied Sciences, University of Tsukuba Research Associate
2007/04 - 2011/09 University of Tsukuba Graduate School of Pure and Applied Sciences
2004/04 - 2007/03 University of Tsukuba Graduate School of Pure and Applied Sciences
1999/10 - 2004/03 University of Tsukuba Institute of Mathematics

Association Membership(s) (5)：

Mathematical Society of Japan , Association for Computing Machinery , Japan Society for Symbolic and Algebraic Computation , Information Processing Society of Japan , Japan Society for Industrial and Applied Mathematics

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page