照井章 (Akira Terui) - マイポータル

基本情報

所属: 筑波大学数理物質系准教授
: (兼任)人工知能科学センター

学位: 博士（理学）(2010年3月筑波大学)
修士（理学）(1997年3月筑波大学)

ORCID ID: https://orcid.org/0000-0003-0846-3643
J-GLOBAL ID: 200901044780941214
researchmap会員ID: 1000267873

外部リンク: https://www.math.tsukuba.ac.jp/~terui/

専門は計算機代数・数式処理。数式・数値融合計算の理論と応用、数式処理による自動推論。計算機代数と数値計算やAIの間を行ったり来たりしています。

研究キーワード

研究分野

経歴

2011年12月 - 現在

筑波大学数理物質系, 准教授
2011年10月 - 2011年11月

筑波大学数理物質系, 助教
2007年4月 - 2011年9月

筑波大学数理物質科学研究科, 助教
2004年4月 - 2007年3月

筑波大学数理物質科学研究科, 助手
1999年10月 - 2004年3月

筑波大学数学系, 助手

論文

28

Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems

Mizuki Yoshizawa, Akira Terui, Masahiko Mikawa

Computer Algebra in Scientific Computing, Lecture Notes in Computer Science 14139 393-419 2023年8月24日査読有り責任著者
コロナ禍の計算機演習 : 数学科における数式処理を用いた計算機実習の遠隔授業による取り組み—特集論文 With/After COVID-19における数式処理の可能性

照井章

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 28(2) 53-79 2022年7月査読有り筆頭著者責任著者
The GPGCD Algorithm with the Bézout Matrix

Boming Chi, Akira Terui

Computer Algebra in Scientific Computing: Proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020 170-187 2020年10月査読有り最終著者
A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases

Noriyuki Horigome, Akira Terui, Masahiko Mikawa

Mathematical Software – ICMS 2020 – 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings 3-13 2020年7月査読有り責任著者
An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination

Yumi Wada, Takuya Matsuzaki, Akira Terui, Noriko H. Arai

Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings 82-89 2016年査読有り
An Extension and Efficient Calculation of the Horner's Rule for Matrices

Shinichi Tajima, Katsuyoshi Ohara, Akira Terui

Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings 8592 346-351 2014年査読有り
Developing Linear Algebra Packages on Risa/Asir for Eigenproblems

Katsuyoshi Ohara, Shinichi Tajima, Akira Terui

Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings 8592 321-324 2014年査読有り
GPGCD: An iterative method for calculating approximate GCD of univariate polynomials

Akira Terui

Theor. Comput. Sci. 479 127-149 2013年査読有り
GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials

Akira Terui

Computer Algebra in Scientific Computing (Proc. CASC 2010), Lecture Notes in Computer Science 6244 238-249 2010年9月査読有り
GPGCD, an Iterative Method for Calculating Approximate GCD of Univariate Polynomials, with the Complex Coefficients

Akira Terui

The Joint Conference of ASCM 2009 and MACIS 2009 212-221 2009年12月査読有り
Computing Clustered Close-Roots of Univariate Polynomials

Tateaki Sasaki, Akira Terui

Proceedings of The 3rd International Workshop on Symbolic-Numeric Computation (SNC 2009) 177-184 2009年8月査読有り
An Iterative Method for Calculating Approximate GCD of Univariate Polynomials

Akira Terui

Proceedings of 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009) 351-358 2009年7月査読有り
Words, tilings and combinatorial spectra

Jun Morita, Akira Terui

Hiroshima Mathematical Journal 39(1) 2009年3月1日査読有り
Recursive Polynomial Remainder Sequence and its Subresultants

Akira Terui

Journal of Algebra 320(2) 633-659 2008年6月査読有り
Recursive Polynomial Remainder Sequence and the Nested Subresultants

Akira Terui

Computer Algebra in Scientific Computing (Proc. CASC 2005), Lecture Notes in Computer Science 3718, Springer 3718 445-456 2005年9月査読有り
Subresultants in Recursive Polynomial Remainder Sequence

Akira Terui

Proceedings of The 6th International Workshop on Computer Algebra in Scientific Computing: CASC 2003, Institute for Informatics, Technische Universitat Munchen, Garching, Germanay 363-375 2003年9月査読有り
Durand-Kerner Method for the Real Roots

Akira Terui, Tateaki Sasaki

Japan Journal of Industrial and Applied Mathematics 19(1) 19-38 2002年2月査読有り
"Approximate Zero-points" of Real Univariate Polynomial with Large Error Terms

Akira Terui, Tateaki Sasaki

IPSJ Journal (情報処理学会論文誌) 41(4) 974-989 2000年4月査読有り

MISC

Bezout行列に基づく近似GCD計算アルゴリズムGPGCDの複数多項式への拡張—日本数式処理学会第31回大会報告

池泊明, 照井章

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 29(1) 25-28 2023年1月
Grobner基底を用いた「刈屋の定理」の証明—2021年度合同分科会報告

伊藤綾音, 照井章

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 28(2) 111-114 2022年7月
Wu's Methodを用いた「刈屋の定理」の証明—2021年度合同分科会報告

葛西剛史, 照井章

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 28(2) 115-118 2022年7月
最小消去多項式を用いた一般固有ベクトル空間の構成—日本数式処理学会第30回大会報告

田島慎一, 小原功任, 照井章

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 28(1) 32-35 2022年4月
包括的グレブナー基底系計算に基づく限量子消去アルゴリズムを用いたロボットの逆運動学問題の解法と実装—日本数式処理学会第30回大会報告

大瀧脩人, 照井章, 三河正彦

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 28(1) 36-39 2022年4月
グレブナー基底計算を用いたロボットの逆運動学問題の解法と実装

堀込紀行, 照井章, 三河正彦

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 27(2) 9-12 2021年8月責任著者
「夏学2020オンライン」参加報告

照井章, 藤村雅代

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 27(1) 65-68 2021年1月
数式処理と画像処理を用いたロボットアーム制御系の実装 (分科会報告 2019年度理論分科会&システム分科会合同研究会報告)

照井章, 堀込紀行, 越川竜士, 大瀧脩人, 三河正彦

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 26(2) 34-37 2020年8月責任著者
Bezoutの終結式行列を用いたGPGCD法による1変数多項式の近似GCDの計算(2)

池泊明, 照井章

数理解析研究所講究録 (2159) 75-85 2020年6月
Bezoutの終結式行列を用いたGPGCD法による1変数多項式の近似GCDの計算 (Computer Algebra : Theory and its Applications)

池泊明, 照井章

数理解析研究所講究録 (2104) 8-13 2019年2月
Fast Algorithm for Calculating the Minimal Annihilating Polynomials of Matrices via Pseudo Annihilating Polynomials

Shinichi Tajima, Katsuyoshi Ohara, Akira Terui

2018年1月26日
論理式簡単化アルゴリズムWhite-Boxの拡張と実装 (数式処理とその周辺分野の研究)

國廣尭之, 岩根秀直, 和田優未, 照井章

数理解析研究所講究録 2054(2054) 77-95 2017年10月
大学入試における数列の問題を解くための自動推論とその実装について (2015年度合同分科会報告)

和田優未, 松崎拓也, 照井章, 新井紀子

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 23(2) 13-27 2017年5月
行列の最小多項式候補と拡張Horner法を用いた逆行列計算について (2015年度合同分科会報告)

田島慎一, 小原功任, 照井章

数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 23(2) 28-37 2017年5月
行列の最小多項式候補と拡張Horner法を用いた逆行列計算について(2) (数式処理の新たな発展 : その最新研究と基礎理論の再構成)

田島慎一, 小原功任, 照井章

数理解析研究所講究録 (2019) 28-38 2017年4月
大学入試における数列の問題を解くための自動推論とその実装について (数学ソフトウェアとその効果的教育利用に関する研究)

和田優未, 松崎拓也, 照井章, 新井紀子

数理解析研究所講究録 (2022) 100-111 2017年4月
複数個の1変数多項式に対する簡約された部分終結式行列の構成について (第24回日本数式処理学会大会報告)

照井章

数式処理 22(2) 18-21 2016年5月
行列Horner法の並列化による行列の固有ベクトル計算の効率化について (数式処理研究の新たな発展)

田島慎一, 小原功任, 照井章

数理解析研究所講究録 1976 81-90 2015年12月
行列の最小消去多項式候補を利用した固有ベクトル計算IV (数式処理とその周辺分野の研究)

田島慎一, 照井章

数理解析研究所講究録 1955 188-197 2015年7月
Towards Calculating Approximate GCD of Univariate Polynomials with Semidefinite Programming (数式処理研究の新たな発展 : RIMS共同研究報告集)

照井章

数理解析研究所講究録 1930 39-50 2015年1月

もっとみる

書籍等出版物

計算機代数の基礎理論

長坂耕作, 岩根秀直, 北本卓也, 讃岐勝, 照井章, 鍋島克輔 (担当:共著)

共立出版 2019年3月 (ISBN: 9784320113732)

講演・口頭発表等

10

Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems

Mizuki Yoshizawa, Akira Terui, Masahiko Mikawa

The 25th International Workshop on Computer Algebra in Scientific Computing 2023年9月1日
包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題および経路計画問題の解法と実装

吉澤瑞輝, 照井章, 三河正彦

日本数式処理学会第32回大会 2023年6月10日日本数式処理学会
非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法の拡張

金泉拓真, 照井章, 三河正彦

Risa/Asir Conference 2023 2023年3月27日金沢大学理工研究域数物科学系応用数理講座
一般固有空間とJordan鎖の厳密で効率的な計算 (2)

田島慎一, 小原功任, 照井章

日本数学会2022年度秋季総合分科会 2022年9月13日日本数学会
一般固有空間とJordan鎖の厳密で効率的な計算 (1)

田島慎一, 小原功任, 照井章

日本数学会2022年度秋季合同分科会 2022年9月13日日本数学会
The GPGCD Algorithm with the Bézout Matrix for Multiple Univariate Polynomials

Boming Chi, Akira Terui

The 24th International Workshop on Computer Algebra in Scientific Computing (CASC 2022) 2022年8月25日
A design and an implementation of an inverse kinematics computation in robotics using real quantifier elimination based on comprehensive Gröbner systems

Shuto Otaki, Akira Terui, Masahiko Mikawa

The 23rd International Workshop on Computer Algebra in Scientific Computing (CASC 2021) 2021年9月13日
LEGO 3D CGモデルのジョイントを考慮したURDF変換ツール

三河正彦, 照井章

ROSConJP 2021 2021年9月16日一般社団法人 ROSCon JP
包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題の解法と実装

大瀧脩人, 照井章, 三河正彦

日本数式処理学会第30回大会 2021年6月5日日本数式処理学会
最小消去多項式を用いた一般固有ベクトル空間の構成

田島慎一, 小原功任, 照井章

日本数式処理学会第30回大会 2021年6月5日日本数式処理学会
コロナ禍の計算機演習：数学科におけるオンライン授業による計算機実習

照井章

日本数式処理学会第15期第1回教育分科会 2021年2月23日
数式処理と画像処理を用いたロボットアーム制御系の実装

照井章

『統計的データ解析による数理アルゴリズムの展開』研究集会 2021年1月15日
数式処理によるロボットの運動計画：概要と課題

照井章

第7回筑波大学RCMSサロン「ロボティクスの数理」 2020年12月11日招待有り
数式処理によるロボットマニピュレータの動作計画

照井章

第2回筑波大学産学連携シンポジウム 2020年11月13日
グレブナー基底計算を用いたロボットの逆運動学問題の解法と実装

堀込紀行, 照井章, 三河正彦

日本数式処理学会第29回大会 2020年10月31日
LEGO3DモデルのURDFへの変換ツールとGröbner基底に基づくマニピュレータの逆運動学解法の可視化

三河正彦, 照井章, 堀込紀行

第38回日本ロボット学会学術講演会 2020年10月10日
The GPGCD Algorithm with the Bézout Matix

池泊明, 照井章

ワークショップ「GCD and related topics, GCDART 2020」 2020年9月22日
The GPGCD Algorithm with the Bézout Matrix

Boming Chi, Akira Terui

The 22nd International Workshop on Computer Algebra in Scientific Computing (CASC 2020) 2020年9月17日
Solving System of Nonlinear Equations with the Genetic Algorithm and Newton’s Method

Ryuji Koshikawa, Akira Terui, Masahiko Mikawa

The 7th International Congress on Mathematical Software (ICMS 2020) 2020年7月16日
A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases

Noriyuki Horigome, Akira Terui, Masahiko Mikawa

The 7th International Congress on Mathematical Software (ICMS 2020) 2020年7月13日

所属学協会

2004年 - 現在

日本数学会
2000年 - 現在

Association for Computing Machinery
1998年 - 現在

日本数式処理学会
1998年 - 現在

情報処理学会
日本応用数理学会

共同研究・競争的資金等の研究課題

数式・数値融合計算によるロバストなロボット動作計画プラットフォームの構築と応用

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 2020年4月 - 2023年3月

照井章
近似Syzygyによる代数曲面の融合計算の研究

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 2016年4月 - 2019年3月

照井章
機械学習モデルの特異統計構造と計算代数解析アルゴリズム

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 2015年7月 - 2018年3月

田島慎一, 小原功任, 照井章, 渋田敬史, 長谷川誠
多変数代数方程式のべき級数根解法の研究

日本学術振興会科学研究費助成事業若手研究(B) 若手研究(B) 2007年 - 2009年

照井章
近似代数の算法と応用の研究

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 2007年 - 2009年

佐々木建昭, 櫻井鉄也, 照井章, 甲斐博, 加古富志雄, 福井哲夫
逆形不偏ゲームの分類と戦略の研究

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 2005年 - 2008年

坂井公, 増田哲也, 照井章
グラスマン多様体上の調和解析とラドン変換および逆問題解析への応用

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 2004年 - 2006年

筧知之, 平良和昭, 竹内潔, 木下保, 守屋克洋, 照井章
近似代数の算法と応用の研究

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 2003年 - 2006年

佐々木建昭, 照井章, 甲斐博, 野田松太郎, 加古富士雄, 福井哲夫
近似的代数計算を用いた代数方程式の数値解法の研究

日本学術振興会科学研究費助成事業若手研究(B) 若手研究(B) 2002年 - 2003年

照井章
統計的領域推定における精確な推定方式の開発と実用化の試み

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 2000年 - 2003年

赤平昌文, 白倉暉弘, 照井章, 青嶋誠, 今野良彦, 田栗正章, 高橋邦彦, 河合伸一, 景山三平, 庄野宏
近似代数の算法と応用の研究

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 2000年 - 2002年

佐々木建昭, 甲斐博, 野田松太郎, 照井章, 福井哲夫, 加古富士雄

産業財産権

特開2012-150060 空洞計測装置及びレーザプローブ装置

森田純, 照井章, 小副川健, 清水健一, 岡本弘仁, 末久高平

社会貢献活動

ロボットは数学の大学入試問題をどうやって解くか？

講師

愛知県立明和高等学校愛知県立明和高等学校令和3年度SSH事業「数学夏の学校」ウィルあいち（愛知県女性総合センター） 2022年8月2日 - 2022年8月2日

照井章

基本情報

研究キーワード

研究分野

経歴

論文

MISC

書籍等出版物

講演・口頭発表等

所属学協会

共同研究・競争的資金等の研究課題

産業財産権

社会貢献活動

メニュー

共著者の一覧