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
numeric computation
symbolic-numeric computation
Research projects
近似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-10 -- (current)University of Tsukuba Research Core for Mathematical Sciences Member
2017-04 -- (current)Center for Artificial Intelligence Research, University of Tsukuba
2016-04 -- 2017-09University of Tsukuba Mathematical Sciences Research Group, Center for Integrated Research in Fundamental Science and Engineering Faculty Member
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
Articles
Books
  • 計算機代数の基礎理論
    長坂耕作; 岩根秀直; 北本卓也; 讃岐 勝; 照井章; 鍋島克輔
    計算機代数の基礎理論, 共立出版, 2019-03
  • Symbolic-Numeric Algorithms for Univariate Polynomials
    照井 章
    2010-03
  • Drawing Implicit Algebraic Functions on the Real Plane
    照井 章
    1997-03
Conference, etc.
  • 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
  • 行列の最小多項式候補と拡張Horner法を用いた逆行列計算について
    田島 慎一; 小原功任; 照井章
    日本数式処理学会合同分科会/2016-01-23--2016-01-24
  • 限量子消去におけるWhite-Boxアルゴリズムの拡張と実装
    照井 章
    RIMS研究集会 "数式処理とその周辺分野の研究"/2015-12-02--2015-12-04
  • 最小消去多項式を用いた一般固有ベクトル空間の基底計算
    田島 慎一; 小原功任 ; 照井章
    日本数学会代数学分科会/2015-09-13--2015-09-16
  • 行列の固有ベクトル計算のさらなる効率化について
    田島慎一; 小原功任; 照井 章
    RIMS共同研究 "数式処理研究の新たな発展"/2015-08-19--2015-08-21
  • Towards simplified construction of subresultant matrix of multiple univariate polynomials
    照井 章
    Dagstuhl Seminar 15251: Sparse modelling and multi-exponential analysis/2015-06-14--2015-06-19
  • 複数個の1変数多項式に対する簡約された部分終結式行列の構成について
    照井 章
    日本数式処理学会第24回大会/2015-06-05--2015-06-07
  • Developing Linear Algebra Packages on Risa/Asir for Eigenproblems
    Shinichi Tajima; Katsuyoshi Ohara; Terui Akira
    The 4th International Congress on Mathematical Software (ICMS 2014)/2014-08-05--2014-08-09
  • An Extension and Efficient Calculation of the Horner’s Rule for Matrices
    Shinichi Tajima; Katsuyoshi Ohara; Terui Akira
    The 4th International Congress on Mathematical Software (ICMS 2014)/2014-08-05--2014-08-09
  • An extension and efficient calculation of the Horner's rule for matrices
    Tajima Shinichi; A. Terui
    International Congress on Mathematical Software/2014-08-05--2014-08-09
  • Calculating eigenvectors of matrices using candidates for minimal annihilating polynomials II
    田島 慎一; 照井章
    Developments in Computer Algebra Research and Collaboration with Industry/2013-08-21--2013-08-23
  • Calculating approximate GCD of univariate polynomials with "approximate'' syzygies
    照井 章
    The 22nd Annual Meeting, Japan Society for Symbolic and Algebraic Computation/2013-06-07--2013-06-09
  • 数式処理における近似最大公約子(GCD)計算の最近の動向
    照井 章
    日本数式処理学会東北地区合同分科会/2013-01-26--2013-01-27
  • 数式処理における近似最大公約子(GCD)計算の最近の動向
    照井章
    日本数式処理学会東北地区合同分科会/2013-01-26--2013-01-27
  • Syzygyの近似計算による1変数多項式の近似 GCD の計算
    照井章
    RIMS研究集会 “Computer Algebra—The Algorithms, Implementations and the Next Generation”/2012-12-25--2012-12-27
  • 近似GCD算法GPGCDの最近の進展
    照井章
    RIMS共同研究 “数式処理研究の新たな発展”/2012-07-04--2012-07-06
  • 行列の最小消去多項式候補を利用した固有ベクトル計算
    照井章; 田島慎一
    日本数学会2012年度年会, 函数論セッション/2012-03-26
  • 半正定値計画法による1変数多項式の近似GCDの計算
    照井章
    RIMS共同研究 “数式処理研究の新たな発展”/2011-07-06--2011-07-08
Intellectural property rights
  • A device for measuring inside of caves with a laser probe device
    森田純; 照井章; 小副川健; 清水健一; 岡本弘仁; 末久高平
Teaching
2019-04 -- 2019-08Research in Information Mathematics VBUniversity of Tsukuba.
2019-10 -- 2020-02Seminar on Special Research on Mathematics IIIBUniversity of Tsukuba.
2019-10 -- 2020-02Research in Mathematical Science IBUniversity of Tsukuba.
2019-04 -- 2019-08Research in Information Mathematics IVBUniversity of Tsukuba.
2019-10 -- 2020-02Research in Information Mathematics IIAUniversity of Tsukuba.
2019-04 -- 2019-08Special Research on Mathematics IIIAUniversity of Tsukuba.
2019-10 -- 2020-02Research in Information Mathematics IIIAUniversity of Tsukuba.
2019-10 -- 2020-02Research in Information Mathematics IVAUniversity of Tsukuba.
2019-10 -- 2020-02Research in Information Mathematics IAUniversity of Tsukuba.
2019-04 -- 2019-08Seminar on Special Research on Mathematics IIIAUniversity of Tsukuba.
Other educational activities
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 講座『数学入門セミナー』講師茨城県立並木中等教育学校
2010-02 -- 2010-02Campus visit, University of Tsukuba Junior High SchoolUniversity of Tsukuba.
2009-03 -- 2009-03Campus visit, Usa Senior High School, Oita prefectureUniversity of Tsukuba.
Talks
  • ロボットは数学の大学入試問題をどうやって解くか?
    照井 章
    一関第一高等学校平成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
  • 最適化問題としての数式・数値融合計算
    照井 章
    ワークショップ "Intersection of Pure Mathematics and Applied Mathematics VIII: Special"/2015-02-20--2015-02-20
Professional activities
2018-07 -- (current)JAPAN SOCIETY OF SYMBOLIC AND ALGEBRAIC COMPUTATIONS"Bulletin of Japan Society of Symbolic and Algebraic Computations" Editorial Committee/Chair
2016-11 -- 2018-12Kyoto UniversityRIMS Symposium "Computer Algebra – Theory and its Applications"/Organizer
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
2016-06 -- 2018-06JAPAN SOCIETY OF SYMBOLIC AND ALGEBRAIC COMPUTATIONSDirector
2016-04 -- (current)JAPAN SOCIETY OF SYMBOLIC AND ALGEBRAIC COMPUTATIONSRepresentative member
2014-11 -- 2016-12Kyoto UniversityRIMS研究集会 "数式処理とその周辺分野の研究" 研究提案者, 副代表者
2014-07 -- 2016-06JAPAN SOCIETY OF SYMBOLIC AND ALGEBRAIC COMPUTATIONSProgram committee for annual meetings / member
2012-06 -- 2016-06JAPAN SOCIETY OF SYMBOLIC AND ALGEBRAIC COMPUTATIONSJournal “Communications of the Japan Society for Symbolic and Algebraic Computation” Editorial board / Member
2014-12 -- 2015-06JAPAN SOCIETY OF SYMBOLIC AND ALGEBRAIC COMPUTATIONSOrganizing committee chair for the 24th annual meeting of JSSAC
University Management
2018-04 -- (current)教育研究科広報委員会委員
2018-04 -- (current)教育研究科入試委員会委員
2013-04 -- (current)数理物質系情報環境委員会委員
2016-04 -- 2017-03学生担当教員会議委員
2016-04 -- 2017-03数学類運営委員会委員
2015-06 -- 2016-03The 18th Homecoming Day Organizing CommitteeMember
2013-04 -- 2015-03Sports Day Steering CommitteeMember
2011-05 -- 2013-04General Foundation Subjects "Information Literacy" Course Organizing CommitteeMember
Other activities
2009 -- (current)GPGCD: an approximate polynomial GCD library https://github.com/atelieraterui/gpgcd

(Last updated: 2019-06-20)