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
Email
;9*7:.N&9N2&9-Q98:0:'&Q&(Q/5^
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 computation2020-04 -- 2023-03Akira TERUIJapan Society for the Promotion of Science/Grant-in-Aid for Scientific Research (C)4,290,000Yen
Calculation of blending surfaces with approximate Syzygies2016-04 -- 2019-03Akira TERUIJapan Society for the Promotion of Science/Grant-in-Aid for Scientific Research (C)4,810,000Yen
A grant-in-aid for research in computer algebra2014-04 -- 2015-03Akira TERUINikon Corporation/Commissioned research1,000,000Yen
Study on Calculating Power-series Roots of Multivariate Algebraic Equations2007-04 -- 2010-03Akira TERUIJapan 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 Games2005-04 -- 2008-03SAKAI KoJapan Society for the Promotion of Science/Grant-in-Aid for Scientific Research (C)
Study of Algorithms and Applications of Approximate Algebra2003-04 -- 2007-03Tateaki SASAKIJapan Society for the Promotion of Science/Grant-in-Aid for Scientific Research (B)
近似的代数計算を用いた代数方程式の数値解法の研究2002-04 -- 2004-03Akira TERUIJapan Society for the Promotion of Science/Grant-in-Aid for Young Scientists (B)3,500,000Yen
Study of Algorithms and Applications of Approximate Algebra2000-04 -- 2003-03Tateaki SASAKIJapan 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 Practicability2000 -- 2004-03AKIHIRA MasafumiJapan 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-11University of TsukubaFaculty of Pure and Applied SciencesResearch Associate
2007-04 -- 2011-09University of TsukubaGraduate School of Pure and Applied SciencesResearch Associate
2004-04 -- 2007-03University of TsukubaGraduate School of Pure and Applied SciencesResearch Associate
1999-10 -- 2004-03University of TsukubaInstitute of MathematicsResearch Associate
Academic background
1995-04 -- 1999-09University of Tsukuba Doctral Program in Mathematics Mathematics
1991-04 -- 1995-03University of Tsukuba First Cluster of Colleges College of Natural Sciences
Degree
2010-03Ph.D in ScienceUniversity of Tsukuba
1997-03Master of ScienceUniversity 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
Books
  • 計算機代数の基礎理論
    長坂耕作; 岩根秀直; 北本卓也; 讃岐 勝; 照井章; 鍋島克輔
    計算機代数の基礎理論/共立出版, 2019-03
  • Symbolic-Numeric Algorithms for Univariate Polynomials
    照井 章
    2010-03
  • Drawing Implicit Algebraic Functions on the Real Plane
    照井 章
    1997-03
Conference, etc.
  • 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
  • 包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題および経路計画問題の解法と実装
    照井 章
    『数理アルゴリズムにおける不確実性に対する統計的アプローチの展開』研究集会/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
  • more...
Intellectural property rights
  • A device for measuring inside of caves with a laser probe device
    森田純; 照井章; 小副川健; 清水健一; 岡本弘仁; 末久高平
Teaching
2024-04 -- 2024-08Research in Information Mathematics VAUniversity of Tsukuba.
2024-04 -- 2024-08Research in Information Mathematics IIIAUniversity of Tsukuba.
2024-10 -- 2025-02Research in Information Mathematics IVBUniversity of Tsukuba.
2024-10 -- 2025-02Research in Mathematics of Information IIAUniversity of Tsukuba.
2024-10 -- 2025-02Research in Mathematics of Information IAUniversity of Tsukuba.
2024-10 -- 2025-02Research in Information Mathematics VAUniversity of Tsukuba.
2024-04 -- 2024-08Research in Mathematics of Information IIBUniversity of Tsukuba.
2024-10 -- 2025-02Research in Mathematics of Information IVBUniversity of Tsukuba.
2024-04 -- 2024-08Seminar on MathematicsUniversity of Tsukuba.
2024-10 -- 2025-02Seminar on MathematicsUniversity of Tsukuba.
more...
Other educational activities
2023-04 -- (current)筑波大学ピアノ愛好会：顧問教員筑波大学ピアノ愛好会
2023-04 -- (current)項目反応理論に関する調査・研究筑波大学数理物質系数学域
2023-04 -- (current)筑波大学エクステンションプログラム「数学学び直し講座」筑波大学数理物質系数学域
2024-07 -- 2024-08女子中高生夏の学校2024NPO法人女子中高生理工系キャリアパスプロジェクト
2024-06 -- 2024-06附属高等学校大学訪問筑波大学
2024-06 -- 2024-08茨城県高校生公開講座オンライン
2023-07 -- 2023-08女子中高生夏の学校2023NPO法人女子中高生理工系キャリアパスプロジェクト
2022-09 -- 2022-09栃木県数学専門研修（高等学校）栃木県教育委員会
2022-07 -- 2022-08女子中高生夏の学校2022NPO法人女子中高生理工系キャリアパスプロジェクト
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
  • ロボットは数学の入試問題をどうやって解くのか？
    照井 章
    平成２９年度千葉県教育研究会数学部会総会・春季研究大会/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 COMPUTATIONSDirector
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-03The 18th Homecoming Day Organizing CommitteeMember
2013-04 -- 2015-03Sports Day Steering CommitteeMember
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-12-24)