You are here

Terui Akira

face
Affiliation
Faculty of Pure and Applied Sciences
Official title
Associate Professor
Sex
Male
Birth date
1971-09
KAKEN ID
80323260
URL
Email
 
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 Tsukuba Faculty of Pure and Applied Sciences Associate Professor
2011-10 -- 2011-11University of Tsukuba Faculty of Pure and Applied Sciences Research Associate
2007-04 -- 2011-09University of Tsukuba Graduate School of Pure and Applied Sciences Research Associate
2004-04 -- 2007-03University of Tsukuba Graduate School of Pure and Applied Sciences Research Associate
1999-10 -- 2004-03University of Tsukuba Institute of Mathematics Research Associate
Academic background
1995-04 -- 1999-09University of Tsukuba Doctral Program in Mathematics MathematicsUnfinished
1991-04 -- 1995-03University of Tsukuba First Cluster of Colleges College of Natural SciencesGraduated
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.
  • 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-02Special Research on Mathematics IIIBUniversity of Tsukuba.
2021-04 -- 2021-08Research in Information Mathematics IIAUniversity of Tsukuba.
2021-10 -- 2022-02Research in Information Mathematics IAUniversity of Tsukuba.
2021-04 -- 2021-08Research in Information Mathematics IIIAUniversity of Tsukuba.
2021-10 -- 2022-02Special Research on Mathematics IBUniversity of Tsukuba.
2021-04 -- 2021-08Research in Information Mathematics IAUniversity of Tsukuba.
2021-04 -- 2021-08Research in Information Mathematics IIBUniversity of Tsukuba.
2021-10 -- 2022-02Seminar on Special Research on Mathematics IIIBUniversity of Tsukuba.
2021-04 -- 2021-08Special Research on Mathematics IIAUniversity of Tsukuba.
2021-10 -- 2022-02Research in Information Mathematics IIIAUniversity 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未来を創る科学技術人材育成プログラム 筑波大学GFESTUniversity 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
  • ロボットは数学の入試問題をどうやって解くのか?
    照井 章
    平成29年度千葉県教育研究会数学部会総会・春季研究大会/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 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
2016-06 -- 2018-06JAPAN 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)