Terui Akira

Affiliation
Faculty 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
=7(58,L$7L0$7+O768.8%$O$&O-3\
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 of for the Promotion of Science/Grant-in-Aid for Scientific Research(C)4,290,000Yen
近似Syzygyによる代数曲面の融合計算の研究2016-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/奨学寄付金1,000,000Yen
Study on Calculating Power-series Roots of Multivariate Algebraic Equations2007-04 -- 2009-03Akira TeruiJapan Society of for the Promotion of Science/Grant-in-Aid for Young Scientists (B)3,380,000Yen
Researches on classification and strategies of impartial games2005-04 -- 2008-03Ko SakaiJapan Society of for the Promotion of Science/Grant-in-Aid for Scientific Research(C)
Researches on algorithms and applications of approximate algebra2003-04 -- 2007-03Tateaki SasakiJapan Society of for the Promotion of Science/Grant-in-Aid for Scientific Research (B)
近似的代数計算を用いた代数方程式の数値解法の研究2002-04 -- 2004-03Akira TeruiJapan Society of for the Promotion of Science/Grant-in-Aid for Young Scientists (B)3,500,000Yen
Researches on algorithms and applications of approximate algebra2000-04 -- 2003-03Tateaki SasakiJapan 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-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.
  • 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
  • 一般固有空間とJordan鎖の厳密で効率的な計算 (2)
    田島 慎一; 小原 功任; 照井 章
    日本数学会2022年度秋季合同分科会/2022-09-13--2022-09-16
  • 一般固有空間とJordan鎖の厳密で効率的な計算 (1)
    田島 慎一; 小原 功任; 照井 章
    日本数学会2022年度秋季合同分科会/2022-09-13--2022-09-16
  • 非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法
    葛西剛史; 照井 章; 三河正彦
    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
  • コロナ禍の計算機演習：数学科におけるオンライン授業による計算機実習
    照井 章
    日本数式処理学会第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
  • more...
Intellectural property rights
  • A device for measuring inside of caves with a laser probe device
    森田純; 照井章; 小副川健; 清水健一; 岡本弘仁; 末久高平
Teaching
2022-04 -- 2022-08Seminar on Information MathematicsUniversity of Tsukuba.
2022-10 -- 2023-02Seminar on Information MathematicsUniversity of Tsukuba.
2022-04 -- 2022-08Research in Information Mathematics VAUniversity of Tsukuba.
2022-04 -- 2022-08Research in Mathematics of Information IIBUniversity of Tsukuba.
2022-10 -- 2023-02Research in Information Mathematics IIAUniversity of Tsukuba.
2022-04 -- 2022-08Research in Information Mathematics IVAUniversity of Tsukuba.
2022-10 -- 2023-02Research in Information Mathematics IIBUniversity of Tsukuba.
2022-10 -- 2023-02Research in Mathematics of Information IAUniversity of Tsukuba.
2022-10 -- 2023-02Research in Information Mathematics VBUniversity of Tsukuba.
2022-10 -- 2023-02Research in Information Mathematics IAUniversity of Tsukuba.
more...
Other educational activities
2021-11 -- 2021-11非常勤講師金沢大学
2021-11 -- 2021-11中高連携数学学力向上推進事業「課題別サミットⅠ（オンライン）」岩手県教育委員会
2021-09 -- 2021-09栃木県数学専門研修（高等学校）栃木県教育委員会
2021-07 -- 2021-08女子中高生夏の学校2021NPO法人女子中高生理工系キャリアパスプロジェクト
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
more...
Talks
  • 高校数学の数列問題を解く自動推論アルゴリズム
    照井 章
    金沢数理データサイエンス研究会/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
2021-11 -- (current)国際会議 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) プログラム委員会/委員
2016-11 -- 2018-12Kyoto UniversityRIMS 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 COMPUTATIONSExecutive Committee/Member
more...
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学生担当教員会議委員
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: 2022-09-13)