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
- G-|+."Bx-B&x-!E-,.$.yxExzE#)R
- 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
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 of for the Promotion of Science/Grant-in-Aid for Scientific Research(C) 4,290,000Yen 近似Syzygyによる代数曲面の融合計算の研究 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/奨学寄付金 1,000,000Yen Study on Calculating Power-series Roots of Multivariate Algebraic Equations 2007-04 -- 2009-03 Akira Terui Japan Society of for the Promotion of Science/Grant-in-Aid for Young Scientists (B) 3,380,000Yen Researches on classification and strategies of impartial games 2005-04 -- 2008-03 Ko Sakai Japan Society of for the Promotion of Science/Grant-in-Aid for Scientific Research(C) Researches on algorithms and applications of approximate algebra 2003-04 -- 2007-03 Tateaki Sasaki Japan Society of for the Promotion of Science/Grant-in-Aid for Scientific Research (B) 近似的代数計算を用いた代数方程式の数値解法の研究 2002-04 -- 2004-03 Akira Terui Japan Society of for the Promotion of Science/Grant-in-Aid for Young Scientists (B) 3,500,000Yen Researches on algorithms and applications of approximate algebra 2000-04 -- 2003-03 Tateaki Sasaki Japan Society of for the Promotion of Science/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
- 包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題および経路計画問題の解法と実装
吉澤瑞輝; 照井 章; 三河正彦
数式処理/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 - GPGCD, an Iterative Method for Calculating Approximate GCD of Univariate Polynomials, with the Complex Coefficients
Akira Terui
Proceedings of the Joint Conference of ASCM 2009 and MACIS 2009, COE Lecture Note Vol. 22/p.212-221, 2009-12 - An Iterative Method for Calculating Approximate GCD of Univariate Polynomials
Akira Terui
Proceedings of 2009 International Symposium on Symbolic and Algebraic Computations/p.351-358, 2009-07 - Words, tilings and combinatorial spectra
Morita Jun; Terui Akira
Hiroshima mathematical journal/39(1)/pp.37-60, 2009-03 - Recursive Polynomial Remainder Sequence and its Subresultants
Akira Terui
Journal of Algebra/320(2)/pp.633-659, 2008-07 - Subresultants in Recursive Polynomial Remainder Sequence
Akira Terui
CASC 2003: Proceedings of the Sixth International Workshop on Compuer Algebra in Scientific Computing/p.363-375, 2003-09 - Recursive Polynomial Remainder Sequence and the Nested Subresultants
Akira Terui
Proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing: CASC 2005, Lecture Notes in Computer Science 3718/3718/pp.445-456, 2005-09 - Durand-Kerner Method for the Real Roots
Akira Terui; Tateaki Sasaki
Japan Journal of Industorial and Applied Mathematics/19(1)/p.19-38, 2002-01 - "Approximate zero-points" of Real Univariate Polynomial with Large Error Terms
Akira Terui; Tateaki Sasaki
IPSJ Journal/41(4)/p.974-989, 2000-04 - The GPGCD Algorithm with the Bezout Matrix
Chi Boming; Terui Akira
ACM COMMUNICATIONS IN COMPUTER ALGEBRA/53(3)/pp.99-102, 2019-09 - Computing Clustered Close-Roots of Univariate Polynomials
Tateaki Sasaki; Akira Terui
Proceedings of The 3rd International Workshop on Symbolic-Numeric Computation/p.177-184, 2009-07 - Towards simplified construction of subresultant matrix of multiple univariate polynomials
照井 章
Dagstuhl Reports/5(6)/pp.65-65, 2015-06 - A formula for separating small roots of a polynomial
Tateaki Sasaki; Akira Terui
ACM SIGSAM Bulletin/36(3)/p.19-23, 2002-03 - Computer-assisted proofs of "Kariya's theorem" with computer algebra
Ayane Ito; Takefumi Kasai; Akira Terui
arXiv:2304.07491, 2023-04 - more...
- 包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題および経路計画問題の解法と実装
- Books
- 計算機代数の基礎理論
長坂耕作; 岩根秀直; 北本卓也; 讃岐 勝; 照井章; 鍋島克輔
計算機代数の基礎理論/共立出版, 2019-03 - Symbolic-Numeric Algorithms for Univariate Polynomials
照井 章
2010-03 - Drawing Implicit Algebraic Functions on the Real Plane
照井 章
1997-03
- 計算機代数の基礎理論
- Conference, etc.
- 包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学計算および経路計画の最適化
岡 夏未; 白戸 祐輔; 照井 章; 三河 正彦
日本数式処理学会第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 - 包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題および経路計画問題の解法と実装
照井 章
『数理アルゴリズムにおける不確実性に対する統計的アプローチの展開』研究集会/2024-02-09--2024-02-09 - 最小消去多項式を用いたJordan細胞の構造の効率的な計算
田島 慎一; 小原 功任; 照井 章
日本数式処理学会2023年度合同分科会/2024-01-27--2024-01-27 - Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems
Yoshizawa Mizuki; Terui Akira; Mikawa Masahiko
International Workshop on Computer Algebra in Scientific Computing (CASC 2023)/2023-08-28--2023-09-01 - 包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題および経路計画問題の解法と実装
吉澤瑞輝; 照井 章; 三河正彦
日本数式処理学会第32回大会/2023-06-09--2023-06-11 - 非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法の拡張
金泉 拓真; 照井 章; 三河 正彦
Risa/Asir Conference 2023/2023-03-27--2023-03-29 - 非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法
照井 章
『数理アルゴリズムにおける不確実性に対する統計的アプローチの展開』研究集会/2023-01-11--2023-01-11 - 一般固有空間とJordan鎖の厳密で効率的な計算 (2)
田島 慎一; 小原 功任; 照井 章
日本数学会2022年度秋季合同分科会/2022-09-13--2022-09-16 - 一般固有空間とJordan鎖の厳密で効率的な計算 (1)
田島 慎一; 小原 功任; 照井 章
日本数学会2022年度秋季合同分科会/2022-09-13--2022-09-16 - The GPGCD Algorithm with the Bézout Matrix for Multiple Univariate Polynomials
Chi Boming; Terui Akira
The 24th International Workshop on Computer Algebra in Scientific Computing (CASC 2022)/2022-08-22--2022-08-26 - Bezout行列に基づく近似GCD計算アルゴリズムGPGCDの複数多項式への拡張
池 泊明; 照井 章
日本数式処理学会第31回大会/2022-06-17--2022-06-19 - 非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法
葛西剛史; 照井 章; 三河正彦
Risa/Asir Conference 2022/2022-03-20--2022-03-22 - CGS-QE アルゴリズムの応用について
伊藤綾音; 照井 章; 三河正彦
Risa/Asir Conference 2022/2022-03-20--2022-03-22 - Wu's Methodを用いた「刈屋の定理」の証明
葛西剛史; 照井 章
日本数式処理学会2021年度合同分科会/2022-01-29--2022-01-30 - Gröbner基底を用いた「刈屋の定理」の証明
伊藤綾音; 照井 章
日本数式処理学会2021年度合同分科会/2022-01-29--2022-01-30 - 積雪寒冷地における遠隔操作移動ロボットを利用した取り組み
三河 正彦; 照井 章; 藤澤 誠
第13回日本ロボット学会北海道ロボット技術研究専門委員会学術講演会 (RSJ-HRT 2022)/2022-03-06--2022-03-07 - グレブナー基底を用いた画像スティッチング
大橋 侑汰; 三河 正彦; 照井 章; 藤澤 誠
Tsukuba Computer Mathematics Seminar 2022/2022-03-05--2022-03-06 - 包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題の解法と実装
照井 章
『数理アルゴリズムにおける不確実性に対する統計的アプローチの展開』研究集会/2022-01-14--2022-01-14 - LEGO 3D CGモデルのジョイントを考慮したURDF変換ツール
三河正彦; 照井 章
ROSCon JP 2021/2021-09-16--2021-09-16 - 包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題の解法と実装
大瀧脩人; 照井 章; 三河正彦
日本数式処理学会第30回大会/2021-06-05--2021-06-06 - 最小消去多項式を用いた一般固有ベクトル空間の構成
田島慎一; 小原功任; 照井 章
日本数式処理学会第30回大会/2021-06-05--2021-06-06 - more...
- 包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学計算および経路計画の最適化
- 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
2024-04 -- 2024-08 Research in Information Mathematics VA University of Tsukuba. 2024-04 -- 2024-08 Research in Information Mathematics IIIA University of Tsukuba. 2024-10 -- 2025-02 Research in Information Mathematics IVB University of Tsukuba. 2024-10 -- 2025-02 Research in Mathematics of Information IIA University of Tsukuba. 2024-10 -- 2025-02 Research in Mathematics of Information IA University of Tsukuba. 2024-10 -- 2025-02 Research in Information Mathematics VA University of Tsukuba. 2024-04 -- 2024-08 Research in Mathematics of Information IIB University of Tsukuba. 2024-10 -- 2025-02 Research in Mathematics of Information IVB University of Tsukuba. 2024-04 -- 2024-08 Seminar on Mathematics University of Tsukuba. 2024-10 -- 2025-02 Seminar on Mathematics University of Tsukuba. more... - Other educational activities
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法人女子中高生理工系キャリアパスプロジェクト 2021-11 -- 2021-11 中高連携数学学力向上推進事業「課題別サミットⅠ(オンライン)」 岩手県教育委員会 more... - Talks
- 数理でものづくり:数式処理によるロボティクスの展開
照井 章
数学界・経団連 第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 - ロボットは数学の入試問題をどうやって解くのか?
照井 章
平成29年度千葉県教育研究会数学部会総会・春季研究大会/2017-06-07--2017-06-07 - 大学入試の数列問題を解く自動推論アルゴリズム
照井 章
筑波大学数理物質融合科学センター 第6回数理連携サロン/2016-12-05--2016-12-05 - 数学で世界に挑む
照井 章
花巻市立若葉小学校 総合学習/2016-02-22--2016-02-22
- 数理でものづくり:数式処理によるロボティクスの展開
- Professional activities
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 -- (current) JAPAN SOCIETY OF SYMBOLIC AND ALGEBRAIC COMPUTATIONS "Bulletin of Japan Society of Symbolic and Algebraic Computations" Editorial Committee/Chair 2017-11 -- 2018-09 国際会議 CASC 2018 (Computer Algebra in Scientific Computing) プログラム委員会/委員 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: 2024-11-06)