Terui Akira

Affiliation: Faculty of Pure and Applied Sciences
Official title: Associate Professor
Sex: Male
Birth date: 1971-09
KAKEN ID: 80323260
URL: https://www.math.tsukuba.ac.jp/~terui/
https://researchmap.jp/aterui
Email: 1"/2&@MK|1@MK*|1%I102(2}|I| I'-
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 Tsukuba Faculty of Pure and Applied Sciences Associate Professor
2011-10 -- 2011-11	University of Tsukuba Faculty of Pure and Applied Sciences Research Associate
2007-04 -- 2011-09	University of Tsukuba Graduate School of Pure and Applied Sciences Research Associate
2004-04 -- 2007-03	University of Tsukuba Graduate School of Pure and Applied Sciences Research Associate
1999-10 -- 2004-03	University of Tsukuba Institute of Mathematics Research Associate

Academic background

1995-04 -- 1999-09	University of Tsukuba Doctral Program in Mathematics Mathematics	Unfinished
1991-04 -- 1995-03	University of Tsukuba First Cluster of Colleges College of Natural Sciences	Graduated

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

グレブナー基底計算を用いたロボットの逆運動学問題の解法と実装
堀込紀行; 照井章; 三河正彦
Bulletin of JSSAC（日本数式処理学会誌）/27(2)/pp.9-12, 2021-08
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
CiNii
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
数式処理と画像処理を用いたロボットアーム制御系の実装
照井章; 堀込紀行; 越川竜士; 大瀧修人; 三河正彦
Bulletin of JSSAC（日本数式処理学会誌）/26(2)/pp.34-37, 2020-08
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
Algorithm for Calculating Approximate GCD of Univariate Polynomials with the Bezout Resultant Matrix II
池泊明; 照井章
RIMS Kokyuroku/2159/pp.75-85, 2020-06
Algorithm for Calculating Approximate GCD of Univariate Polynomials with the Bezout Resultant Matrix
池泊明; 照井章
RIMS Kokyuroku/2104/pp.8-13, 2019-02
Calculating matrix inverse with pseudo annihilating polynomials and solving a system of linear equations
田島慎一; 小原功任; 照井章
RIMS Kokyuroku/2038/pp.171-175, 2019-12
行列の最小多項式候補と拡張Horner法を用いた逆行列計算について
田島慎一; 小原功任; 照井章
日本数学会2017年度年会代数学分科会アブストラクト, 2017-03

Books

計算機代数の基礎理論
長坂耕作; 岩根秀直; 北本卓也; 讃岐勝; 照井章; 鍋島克輔
計算機代数の基礎理論, 共立出版, 2019-03
Symbolic-Numeric Algorithms for Univariate Polynomials
照井章
2010-03
Drawing Implicit Algebraic Functions on the Real Plane
照井章
1997-03

Conference, etc.

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
コロナ禍の計算機演習：数学科におけるオンライン授業による計算機実習
照井章
日本数式処理学会第15期第1回教育分科会/2021-02-23--2021-02-23
数式処理と画像処理を用いたロボットアーム制御系の実装
照井章
『統計的データ解析による数理アルゴリズムの展開』研究集会/2021-01-15--2021-01-15
グレブナー基底計算を用いたロボットの逆運動学問題の解法と実装
堀込紀行; 照井章; 三河正彦
日本数式処理学会第29回大会/2020-10-31--2020-11-01
LEGO3DモデルのURDFへの変換ツールとGrobner基底に基づくマニピュレータの逆運動学解法の可視化
三河正彦; 照井章; 堀込紀行
第38回日本ロボット学会学術講演会/2020-10-09--2020-10-11
The GPGCD Algorithm with the Bézout Matix
池泊明; 照井章
ワークショップ「GCD and related topics, GCDART 2020」/2020-09-22--2020-09-22
The GPGCD Algorithm with the Bézout Matrix
Chi Boming; Terui Akira
The 22nd International Workshop on Computer Algebra in Scientific Computing (CASC 2020)/2020-09-14--2020-09-18
Relative Distance Estimation Among Rovers Using Evolutionary Algorithm for Exploration System Consisting of Multiple Small Rovers
Saito Shu; Mikawa Masahiko; Terui Akira; Fujisawa Makoto
The 30th Workshop on Astrodynamics and Flight Mechanics/2020-07-20--2020-07-21
Solving System of Nonlinear Equations with the Genetic Algorithm and Newton’s Method
Koshikawa Ryuji; Terui Akira; Mikawa Masahiko
The 7th International Congress on Mathematical Software (ICMS 2020)/2020-07-13--2020-07-16
A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases
Horigome Noriyuki; Terui Akira; Mikawa Masahiko
The 7th International Congress on Mathematical Software (ICMS 2020)/2020-07-13--2020-07-16
Algorithm for Calculating Approximate GCD of Univariate Polynomials with the Bezout Resultant Matrix II
池泊明; 照井章
Computer Algebra – Theory and Applications/2019-12-16--2019-12-18
算数・数学の文章問題の読み取りから図の対応づけに関する能力のリーディングスキルテスト（項目反応理論）による分析
照井章
「統計的データ解析による数理アルゴリズムの展開」研究集会/2019-11-28--2019-11-29
数式処理と画像処理を用いたロボットアーム制御系の実装
照井章; 堀込紀行; 越川竜士; 大瀧修人; 三河正彦
2019年度日本数式処理学会理論分科会&システム分科会合同研究会/2019-10-19--2019-10-20
進化計算アルゴリズムによる小惑星探査ローバ群の相対距離推定
三河正彦; 田中祥太; 照井章
筑波大学計算機数学グループ春の合宿 2019/2019-03-02--2019-03-04
The GPGCD Algorithm with the Bezout Matrix
Chi Boming; Terui Akira
The 44th International Symposium on Symbolic and Algebraic Computation/2019-07-15--2019-07-18
Calculating matrix inverse with pseudo annihilating polynomials
田島慎一; 小原功任; 照井章
Computer Algebra – Theory and Applications/2018-12-17--2018-12-20
Bezoutの終結式行列を用いたGPGCD法による1変数多項式の近似GCDの計算
池泊明; 照井章
Computer Algebra – Theory and Applications/2017-12-20--2017-12-22
行列Horner法の並列化による行列の固有ベクトル計算の効率化について
田島慎一; 小原功任; 照井章
日本数学会2017年度年会代数学分科会/2017-03-24--2017-03-27
行列の最小多項式候補と拡張Horner法を用いた逆行列計算について
田島慎一; 小原功任; 照井章
日本数学会2017年度年会代数学分科会/2017-03-24--2017-03-27
大学入試における数列の問題を解くための自動推論とその実装について
和田優未; 松崎拓也; 照井章; 新井紀子
RIMS研究集会 "数学ソフトウェアとその効果的教育利用に関する研究"/2016-09-28--2016-09-30
行列の最小多項式候補と拡張Horner法を用いた逆行列計算について II
田島慎一; 小原功任; 照井章
RIMS共同研究 "数式処理研究の新たな発展"/2016-09-07--2016-09-09
An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination
Wada Yumi; Matsuzaki Takuya; Terui Akira; Arai Noriko H.
The 5th International Congress on Mathematical Software/2016-07-11--2016-07-14
大学入試における数列の問題を解くための自動推論とその実装について
和田優未; 松崎拓也; 照井章; 新井紀子
日本数式処理学会合同分科会/2016-01-23--2016-01-24

Intellectural property rights

A device for measuring inside of caves with a laser probe device
森田純; 照井章; 小副川健; 清水健一; 岡本弘仁; 末久高平

Teaching

2021-10 -- 2022-02	Special Research on Mathematics IIIB	University of Tsukuba.
2021-04 -- 2021-08	Research in Information Mathematics IIA	University of Tsukuba.
2021-10 -- 2022-02	Research in Information Mathematics IA	University of Tsukuba.
2021-04 -- 2021-08	Research in Information Mathematics IIIA	University of Tsukuba.
2021-10 -- 2022-02	Special Research on Mathematics IB	University of Tsukuba.
2021-04 -- 2021-08	Research in Information Mathematics IA	University of Tsukuba.
2021-04 -- 2021-08	Research in Information Mathematics IIB	University of Tsukuba.
2021-10 -- 2022-02	Seminar on Special Research on Mathematics IIIB	University of Tsukuba.
2021-04 -- 2021-08	Special Research on Mathematics IIA	University of Tsukuba.
2021-10 -- 2022-02	Research in Information Mathematics IIIA	University of Tsukuba.

Other educational activities

2020-07 -- 2020-08	夏学2020オンライン	NPO法人女子中高生理工系キャリアパスプロジェクト
2019-07 -- 2019-08	女子中高生夏の学校2019	国立女性教育会館
2018-09 -- 2018-09	一関第一高等学校平成30年度理数セミナー	岩手県立一関第一高等学校
2018-07 -- 2018-08	女子中高生夏の学校2018	国立女性教育会館
2018-07 -- 2018-07	茨城県立竹園高等学校平成30年度筑波大学研究室体験学習	茨城県立竹園高等学校
2018-07 -- 2018-07	附属駒場高等学校大学訪問	University of Tsukuba
2017-07 -- 2017-08	女子中高生夏の学校2017	国立女性教育会館
2017-06 -- 2017-07	未来を創る科学技術人材育成プログラム筑波大学GFEST 分野別特別実習	筑波大学
2014-09 -- 2016-08	未来を創る科学技術人材育成プログラム筑波大学GFEST	University of Tsukuba
2013-02 -- 2013-02	茨城県立並木中等教育学校 SSH 講座『数学入門セミナー』講師	茨城県立並木中等教育学校

Talks

ロボットは数学の大学入試問題をどうやって解くか？
照井章
愛知県立明和高等学校令和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

2020-11 -- (current)		国際会議 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) プログラム委員会/委員
2016-11 -- 2018-12	Kyoto University	RIMS Symposium "Computer Algebra – Theory and its Applications"/Organizer
2016-11 -- 2017-09		国際会議 CASC 2017 (Computer Algebra in Scientific Computing) プログラム委員会/委員
2016-06 -- (current)	JAPAN SOCIETY OF SYMBOLIC AND ALGEBRAIC COMPUTATIONS	Executive Committee/Member
2016-06 -- 2018-06	JAPAN SOCIETY OF SYMBOLIC AND ALGEBRAIC COMPUTATIONS	"Communications of the Japan Society for Symbolic and Algebraic Computation" Editorial Committee/Editor-in-chief

University Management

2020-04 -- (current)	数理科学研究コア	融合研究企画調整室長
2020-04 -- (current)	数理科学研究コア	副コア長
2019-12 -- (current)	数理物質系グループウェア管理者	委員
2018-12 -- (current)	数理物質系ISIRT（情報セキュリティインシデントレスポンスチーム）	セキュリティ対応リーダ
2017-10 -- (current)	数理科学研究コア	運営委員
2013-04 -- (current)	数理物質系情報環境委員会	委員
2018-04 -- 2020-03	教育研究科広報委員会	委員
2018-04 -- 2020-03	教育研究科入試委員会	委員
2016-04 -- 2017-09	数理物質融合科学センター数理科学研究推進室	構成教員
2016-04 -- 2017-03	学生担当教員会議	委員

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: 2021-10-01)

Researchers list

You are here