Terui Akira 照井章

… Alternative Names

TERUI Akira 照井章

Less

Researcher Number	80323260
Other IDs	https://orcid.org/0000-0003-0846-3643
External Links
Affiliation (Current)	2024: 筑波大学, 数理物質系, 准教授
Affiliation (based on the past Project Information) *help	2020 – 2022: 筑波大学, 数理物質系, 准教授 2015 – 2018: 筑波大学, 数理物質系, 准教授 2007 – 2009: University of Tsukuba, 大学院・数理物質科学研究科, 助教 2006: University of Tsukuba, Graduate School of Pure and Applied Sciences, Instructor, 大学院数理物質科学研究科, 助手 2004 – 2005: 筑波大学, 大学院・数理物質科学研究科, 助手 2004: 筑波大学, 大学院・数理物質科学研究所, 助手 2000 – 2003: 筑波大学, 数学系, 助手
Review Section/Research Field	Principal Investigator Basic Section 60100:Computational science-related / Computational science / Fundamental theory of informatics / 計算機科学 Except Principal Investigator Fundamental theory of informatics / Mathematical Sciences in Search of New Cooperation / Basic analysis / General mathematics (including Probability theory/Statistical mathematics) / 計算機科学 / Intelligent informatics
Keywords	Principal Investigator 数式処理 / 数式・数値融合計算 / 計算機代数 / 近似GCD / 計算代数 / 代数方程式 / 動作計画 / 包括的グレブナー基底系 / 限量子消去計算 / 限量子消去法 … More / 逆運動学問題 / ロボット工学 / グレブナー基底 / 数理最適化 / アルゴリズム / 応用数学 / 代数曲面 / 数式数値融合計算 / Syzygy / 最大公約子 / Pade近似 / 同時反復公式 / 非線形最適化 / べき級数根 / 勾配射影法 / 数値最適化 / 記号的Newton法 / 近似的代数計算 / Sturm法 / 部分終結式 / 多項式剰余列 / 近似代数 … More Except Principal Investigator 近似代数 / algebraic-numeric computation / algebraic computation / approximate algebra / 近似的代数計算法 / 数式処理システム / 計算機代数 / 数値数式融合計算 / 数値数式融合算法 / 数式処理 / D-加群 / multiplicity / 局所コホモロジー / semi algebraic set / 最小消去多項式 / 多変数留数 / Bernstein-Sato イデアル / ホロノミーD-加群 / 代数解析 / 特異統計 / 機械学習 / Matlis duality / Samuel multiplicity / Grothendieck residue / local Euler obstruction / semi-algebraic set / アルゴリズム / 特異点 / invariant differential operator / Grassmann manifold / Pfaffian / moment condition / support theorem / range characterization / Radon transform / アファイングラスマン多様体 / パフィアン型微分方程式 / フーリエ解析 / 調和解析 / 逆問題 / 積分幾何 / 不変微分作用素 / グラスマン多様体 / パフィアン / モーメント条件 / サポート定理 / 像の特徴付け / ラドン変換 / eight-line arrangement / approximate Grobner base / extended Hensel construction / approximate factorization / approximate GCD / 数学公式データベース / 数式処理の教育への応用 / 近似代数の応用 / 最小根間距離 / 近接根分離 / 近似無平方分解 / Hensel構成 / 浮動小数Groebner基底 / Groebner基底 / 記号的Newton法 / 直線アレンジメント / 浮動小数Grobner基底 / 拡張Hensel構成 / 近似因数分解 / 近似GCD / Combinatorics / Experimental design / Bayesian method / Bootstrap / Risk / Maximum likelihood estimator / Testing hypothesis / Interval estimation / 効率 / 量子推定 / マックスミン計画 / 検定 / 最適計画 / 直交表 / 飽和型直交配列 / 多重比較法 / 逐次標本抽出計画 / 量子ガウス状態 / 被覆確率 / 完備十分統計量 / 枢軸法 / 区間予測 / 最大推定量 / ミニマックス / ベイズ解 / p値 / 回帰係数 / ラテン方格 / 識別アルゴリズム / 符号理論 / グラフ理論 / 離散数学 / 配置の理論 / 実験的計画法 / 組合せ理論 / 実験計画 / ベイズ法 / ブートストラップ / リスク / 最尤推定量 / 仮説検定 / 区間推定 / formula manipulation / computer algebra system / computer algebra / 誤差解析 / 代数的算法の誤差解析 / 代数的算法 / 誤差解析と安定化 / 代数的計算 / 大規模一般化固有地問題 / 拡張ヘンゼル級数 / 近似代数システム / 製係数多項式の近似因数分解 / 特異点とHensel級数 / 多変数代数関数の級数展開 / 連立代数方程式とDixon終結式 / 近似代数計算システム / 多変数代数関数の特異点での展開 / 数式文章編集システム / 多変数代数方程式の解法 / 大規模固有地問題 / 近似グレブナー基底 / 浮動小数グレブナー基底 / 数値解析 / アルゴリズム理論 / 可換2部モノイド / 必勝戦略 / 逆形ルール / 逆形商 / 可換モノイド / 種数 / 逆形 / 不偏ゲーム Less

Development and Application of Robust Motion Planning Platform of Robots with Symbolic-Numeric ComputationPrincipal Investigator
- Principal Investigator
  
  Terui Akira
- Project Period (FY)
  2020 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60100:Computational science-related
- Research Institution
  University of Tsukuba
Calculation of blending surfaces with approximate SyzygiesPrincipal Investigator
- Principal Investigator
  
  Terui Akira
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Computational science
- Research Institution
  University of Tsukuba
Singular statistics and computational algebraic analysis of machine learning models
- Principal Investigator
  
  Tajima Shinichi
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Mathematical Sciences in Search of New Cooperation
- Research Institution
  University of Tsukuba
Study of Algorithms and Applications of Approximate Algebra
- Principal Investigator
  
  SASAKI Tateaki
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  University of Tsukuba
Study on Calculating Power-series Roots of Multivariate Algebraic EquationsPrincipal Investigator
- Principal Investigator
  
  TERUI Akira
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  University of Tsukuba
A Study on Classification and Strategy of Misere Impartial Games
- Principal Investigator
  
  SAKAI Ko
- Project Period (FY)
  2005 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  University of Tsukuba
Harmonic analysis on Grassmann manifolds and its applications to Radon transforms and inverse problems
- Principal Investigator
  
  KAKEHI Tomoyuki
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Basic analysis
- Research Institution
  University of Tsukuba
Study of Algorithms and Applications of Approximate Algebra
- Principal Investigator
  
  SASAKI Tateaki
- Project Period (FY)
  2003 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  University of Tsukuba
近似的代数計算を用いた代数方程式の数値解法の研究Principal Investigator
- Principal Investigator
  
  照井章
- Project Period (FY)
  2002 – 2003
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  計算機科学
- Research Institution
  University of Tsukuba
Study of Algorithms and Applications of Approximate Algebra
- Principal Investigator
  
  SASAKI Tateaki
- Project Period (FY)
  2000 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  University of Tsukuba
Developments of Accurate Estimation Procedures in the Statistical Region Estimation and Attempt of Practicability
- Principal Investigator
  
  AKIHIRA Masafumi
- Project Period (FY)
  2000 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  University of Tsukuba

[Book] 計算機代数の基礎理論2019
- Author(s)
  長坂耕作、岩根秀直、北本卓也、讃岐勝、照井章、鍋島克輔
- Total Pages
  248
- Publisher
  共立出版
- ISBN
  9784320113732
- Data Source
  KAKENHI-PROJECT-16K05035
[Journal Article] Computer-assisted proofs of "Kariya's theorem" with computer algebra2023
- Author(s)
  Ayane Ito, Takefumi Kasai, Akira Terui
- Journal Title
  
  arXiv:2304.07491
  
  Volume: -
- Open Access
- Data Source
  KAKENHI-PROJECT-20K11845
[Journal Article] Groebner基底を用いた「刈屋の定理」の証明2022
- Author(s)
  伊藤綾音，照井章
- Journal Title
  
  数式処理
  
  Volume: 28-2 Pages: 111-114
- Data Source
  KAKENHI-PROJECT-20K11845
[Journal Article] 包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題の解法と実装2022
- Author(s)
  大瀧脩人，照井章，三河正彦
- Journal Title
  
  数式処理
  
  Volume: 28
- Data Source
  KAKENHI-PROJECT-20K11845
[Journal Article] Wu’s Methodを用いた「刈屋の定理」の証明2022
- Author(s)
  葛西剛史，照井章
- Journal Title
  
  数式処理
  
  Volume: 28-2 Pages: 115-118
- Data Source
  KAKENHI-PROJECT-20K11845
[Journal Article] 包括的グレブナー基底系計算に基づく限量子消去アルゴリズムを用いたロボットの逆運動学問題の解法と実装2022
- Author(s)
  大瀧脩人，照井章，三河正彦
- Journal Title
  
  数式処理
  
  Volume: 28-1 Pages: 35-38
- Data Source
  KAKENHI-PROJECT-20K11845
[Journal Article] グレブナー基底計算を用いたロボットの逆運動学問題の解法と実装2021
- Author(s)
  堀込紀行，照井章，三河正彦
- Journal Title
  
  数式処理
  
  Volume: 27
- Data Source
  KAKENHI-PROJECT-20K11845
[Journal Article] A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Groebner Bases2020
- Author(s)
  Horigome Noriyuki、Terui Akira、Mikawa Masahiko
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 12097 Pages: 3-13
- DOI
  10.1007/978-3-030-52200-1_1
- ISBN
  9783030521998, 9783030522001
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K11845
[Journal Article] 数式処理と画像処理を用いたロボットアーム制御系の実装2020
- Author(s)
  照井章，堀込紀行，越川竜士，大瀧修人，三河正彦
- Journal Title
  
  数式処理
  
  Volume: 26 Pages: 34-37
- Data Source
  KAKENHI-PROJECT-20K11845
[Journal Article] Bezoutの終結式行列を用いたGPGCD法による1変数多項式の近似GCDの計算2019
- Author(s)
  池泊明，照井章
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2104 Pages: 8-13
- Open Access
- Data Source
  KAKENHI-PROJECT-16K05035
[Journal Article] 行列の最小多項式候補と拡張Horner法を用いた逆行列計算についてII2017
- Author(s)
  田島慎一, 小原功任, 照井章
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 2019
- Open Access
- Data Source
  KAKENHI-PROJECT-15KT0102
[Journal Article] 大学入試における数列の問題を解くための自動推論とその実装について2017
- Author(s)
  和田優未，松崎拓也，照井章，新井紀子
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2022 Pages: 100-111
- Open Access
- Data Source
  KAKENHI-PROJECT-16K05035
[Journal Article] 行列の最小多項式候補と拡張Horner法を用いた逆行列計算について II2017
- Author(s)
  田島慎一，小原功任，照井章
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2019 Pages: 28-38
- Open Access
- Data Source
  KAKENHI-PROJECT-16K05035
[Journal Article] 行列の最小多項式候補と拡張Horner法を用いた逆行列計算について2017
- Author(s)
  田島慎一, 小原功任, 照井章
- Journal Title
  
  数式処理
  
  Volume: 23
- Data Source
  KAKENHI-PROJECT-15KT0102
[Journal Article] 論理式簡単化アルゴリズムWhite-Boxアルゴリズムの拡張と実装2017
- Author(s)
  國廣尭之，岩根秀直，和田優未，照井章
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2054 Pages: 77-95
- Open Access
- Data Source
  KAKENHI-PROJECT-16K05035
[Journal Article] An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination2016
- Author(s)
  Yumi Wada, Takuya Matsuzaki, Akira Terui, Noriko H. Arai
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 9725 Pages: 82-89
- DOI
  10.1007/978-3-319-42432-3_11
- NAID
  40021224237
- ISBN
  9783319424316, 9783319424323
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K05035
[Journal Article] Computing clustered close-roots of univariate polynomials2009
- Author(s)
  Tateaki Sasaki, Akira Terui
- Journal Title
  
  Proc.of SNC' 09(Symbolic-Numeric Computation)
  
  Pages: 177-184
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300001
[Journal Article] The presupposed 1st primitive polynomials over a finite field(有限体上の予想される第一原始多項式について)2009
- Author(s)
  太刀川弘幸, 照井章
- Journal Title
  
  数理解析研究所講究録1652 "Computer Algebra-Design of Algorithms, Implementations and Applications"(京都大学数理解析研究所)
  
  Pages: 146-154
- Data Source
  KAKENHI-PROJECT-19700004
[Journal Article] Words, filings and combinatorial spectra2009
- Author(s)
  Jun Morita and Akira Terui
- Journal Title
  
  Hiroshima Mathematical Journal 39
  
  Pages: 37-60
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700004
[Journal Article] An Iterative Method for Calculating Approximate GCD of Univariate Polynomials2009
- Author(s)
  照井章
- Journal Title
  
  Proceedings of 2009 International Symposium on Symbolic and Algebraic Computation(ISSAC 2009)
  
  Pages: 351-358
- NAID
  120007131521
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700004
[Journal Article] 制約つき最適化に基づく1変数多項式の近似GCDの反復算法.2009
- Author(s)
  照井章
- Journal Title
  
  第38回数値解析シンポジウム講演予稿集
  
  Pages: 95-98
- NAID
  120007131520
- URL
  http://hdl.handle.net/2241/103425
- Data Source
  KAKENHI-PROJECT-19700004
[Journal Article] An Iterative Method for Calculating Approximate GCD of Univariate Polynomials.2009
- Author(s)
  A. Terui
- Journal Title
  
  Proceedings of 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009). ACM
  
  Pages: 351-358
- NAID
  120007131521
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700004
[Journal Article] GPGCD, an Iterative Method for Calculating Approximate GCD of Univariate Polynomials, with the Complex Coefficients2009
- Author(s)
  照井章
- Journal Title
  
  Proceedings of the Joint Conference of ASCM 2009 and MACIS 2009, COE Lecture Note, (Faculty of Mathematics, Kyushu University) 22
  
  Pages: 212-221
- NAID
  110009491248
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700004
[Journal Article] Computing clustered close-roots of univariate polynomials2009
- Author(s)
  T. Sasaki, A. Terui
- Journal Title
  
  SNC' 09
  
  Pages: 177-184
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300001
[Journal Article] Computing Clustered Close-Roots of Univariate Polynomials2009
- Author(s)
  Tateaki Sasaki, Akira Terui
- Journal Title
  
  Proceedings of The 3rd International Workshop on Symbolic-Numeric Computation(SNC 2009)
  
  Pages: 177-184
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700004
[Journal Article] GPGCD, an Iterative Method for Calculating Approximate GCD of Univariate Polynomials, with the Complex Coefficients.2009
- Author(s)
  A. Terui
- Journal Title
  
  Proceedings of the Joint Conference of ASCM 2009 and MACIS 2009, COE Lecture Note. (Faculty of Mathematics, Kyushu University) Vol.22
  
  Pages: 212-221
- NAID
  110009491248
- URL
  http://hdl.handle.net/2324/16844
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700004
[Journal Article] 制約つき最適化に基づく1変数多項式の近似GCDの反復算法2009
- Author(s)
  照井章
- Journal Title
  
  第38回数値解析シンポジウム講演予稿集
  
  Pages: 95-98
- NAID
  120007131520
- Data Source
  KAKENHI-PROJECT-19700004
[Journal Article] Recursive polynomial remainder sequence and its subresultants2008
- Author(s)
  Akira Terui
- Journal Title
  
  J. Algebra (In press)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300001
[Journal Article] Recursive polynomial remainder sequence and its subresultants2008
- Author(s)
  Akira Terui
- Journal Title
  
  Journal of Algebra 320
  
  Pages: 633-659
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700004
[Journal Article] 任意の収束次数をもつ記号的Newton法の同時反復公式.2007
- Author(s)
  照井章
- Journal Title
  
  数理解析研究所講究録"数式処理研究の新たな発展". (京都大学数理解析研究所) 1572
  
  Pages: 82-93
- URL
  http://hdl.handle.net/2433/81304
- Data Source
  KAKENHI-PROJECT-19700004
[Journal Article] 1変数多項式の再帰的な多項式剰余列と入れ子部分終結式2006
- Author(s)
  照井章
- Journal Title
  
  数理解析研究所講究録 1514号
  
  Pages: 87-91
- Data Source
  KAKENHI-PROJECT-15300002
[Journal Article] Recursive polynomial remainder sequence and the nested subresultants2005
- Author(s)
  A.Terui
- Journal Title
  
  Lec. Notes Comp. Sci. Vol. 3718
  
  Pages: 445-456
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300002
[Journal Article] Recursive polynomial remainder sequence and the nested subresultants2005
- Author(s)
  A.Terui
- Journal Title
  
  Lec.Nores Comp.Sci. Vol.3718
  
  Pages: 445-456
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300002
[Journal Article] 1変数代数方程式の一つの近接根クラスタに含まれる近接根の計算2005
- Author(s)
  照井章, 佐々木建昭
- Journal Title
  
  数理解析研究所講究録 No.1456
  
  Pages: 27-34
- Data Source
  KAKENHI-PROJECT-15300002
[Journal Article] 再帰的な部分終結式と1変数代数方程式の実根の個数の計算2004
- Author(s)
  照井章
- Journal Title
  
  数理解析研究所講究録 1395
  
  Pages: 97-103
- Data Source
  KAKENHI-PROJECT-15300002
[Journal Article] Subresultants in recursive polynomial remainder sequence2003
- Author(s)
  A.Terui
- Journal Title
  
  Proc.of CASC2003
  
  Pages: 363-375
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300002
[Journal Article] Subresultants in recursive polynomial remainder sequence2003
- Author(s)
  A.Terui
- Journal Title
  
  Proc. of CASC2003 (Passau, Germany)
  
  Pages: 363-375
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300002
[Presentation] 非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法の拡張2023
- Author(s)
  金泉拓真，照井章，三河正彦
- Organizer
  Risa/Asir Conference 2023
- Data Source
  KAKENHI-PROJECT-20K11845
[Presentation] Groebner基底を用いた「刈屋の定理」の証明2022
- Author(s)
  伊藤綾音，照井章
- Organizer
  日本数式処理学会2021年度合同分科会
- Data Source
  KAKENHI-PROJECT-20K11845
[Presentation] 積雪寒冷地における遠隔操作移動ロボットを利用した取り組み2022
- Author(s)
  三河正彦, 照井章, 藤澤誠
- Organizer
  第13回日本ロボット学会北海道ロボット技術研究専門委員会学術講演会 (RSJ-HRT 2022)
- Data Source
  KAKENHI-PROJECT-20K11845
[Presentation] CGS-QE アルゴリズムの応用について2022
- Author(s)
  伊藤綾音,照井章,三河正彦
- Organizer
  Risa/Asir Conference 2022
- Data Source
  KAKENHI-PROJECT-20K11845
[Presentation] Wu’s Methodを用いた「刈屋の定理」の証明2022
- Author(s)
  葛西剛史，照井章
- Organizer
  日本数式処理学会2021年度合同分科会
- Data Source
  KAKENHI-PROJECT-20K11845
[Presentation] 非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法2022
- Author(s)
  葛西剛史,照井章,三河正彦
- Organizer
  Risa/Asir Conference 2022
- Data Source
  KAKENHI-PROJECT-20K11845
[Presentation] LEGO 3D CGモデルのジョイントを考慮したURDF変換ツール2021
- Author(s)
  三河正彦，照井章
- Organizer
  ROSConJP 2021
- Data Source
  KAKENHI-PROJECT-20K11845
[Presentation] 包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題の解法と実装2021
- Author(s)
  大瀧脩人，照井章，三河正彦
- Organizer
  日本数式処理学会第30回大会
- Data Source
  KAKENHI-PROJECT-20K11845
[Presentation] A design and an implementation of an inverse kinematics computation in robotics using real quantifier elimination based on comprehensive Groebner systems2021
- Author(s)
  S. Otaki, A. Terui, M. Mikawa
- Organizer
  The 23rd International Workshop on Computer Algebra in Scientific Computing (CASC 2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11845
[Presentation] グレブナー基底計算を用いたロボットの逆運動学問題の解法と実装2020
- Author(s)
  堀込紀行，照井章，三河正彦
- Organizer
  日本数式処理学会第29回大会
- Data Source
  KAKENHI-PROJECT-20K11845
[Presentation] LEGO3DモデルのURDFへの変換ツールとGroebner基底に基づくマニピュレータの逆運動学解法の可視化2020
- Author(s)
  三河正彦，照井章，堀込紀行
- Organizer
  第38回日本ロボット学会学術講演会
- Data Source
  KAKENHI-PROJECT-20K11845
[Presentation] Solving System of Nonlinear Equations with the Genetic Algorithm and Newton’s Method2020
- Author(s)
  Ryuji Koshikawa, Akira Terui, Masahiko Mikawa
- Organizer
  The 7th International Congress on Mathematical Software (ICMS 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11845
[Presentation] Relative Distance Estimation Among Rovers Using Evolutionary Algorithm for Exploration System Consisting of Multiple Small Rovers2020
- Author(s)
  S. Saito, M. Mikawa, A. Terui, M. Fujisawa
- Organizer
  The 30th Workshop on Astrodynamics and Flight Mechanics
- Data Source
  KAKENHI-PROJECT-20K11845
[Presentation] A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Groebner Bases2020
- Author(s)
  Noriyuki Horigome, Akira Terui, Masahiko Mikawa
- Organizer
  The 7th International Congress on Mathematical Software (ICMS 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11845
[Presentation] 最小消去多項式候補を用いた逆行列の計算2018
- Author(s)
  田島慎一, 小原功任, 照井章
- Organizer
  RIMS共同研究「Computer Algebra-Theory and its Applications」
- Data Source
  KAKENHI-PROJECT-16K05035
[Presentation] Bezoutの終結式行列を用いたGPGCD法による1変数多項式の近似GCDの計算2017
- Author(s)
  池泊明，照井章
- Organizer
  RIMS共同研究（公開型）"Computer Algebra - Theory and Applications"
- Data Source
  KAKENHI-PROJECT-16K05035
[Presentation] 行列Horner法の並列化による行列の固有ベクトル計算の効率化について2017
- Author(s)
  田島慎一, 小原功任, 照井章
- Organizer
  日本数学会2017年度年会代数学分科会
- Place of Presentation
  首都大学東京, 東京都八王子市
- Year and Date
  2017-03-24
- Data Source
  KAKENHI-PROJECT-16K05035
[Presentation] 行列の最小多項式候補と拡張Horner法を用いた逆行列計算について2017
- Author(s)
  田島慎一, 小原功任, 照井章
- Organizer
  日本数学会, 代数学分科会
- Place of Presentation
  首都大学東京, 東京都八王子市
- Year and Date
  2017-03-24
- Data Source
  KAKENHI-PROJECT-15KT0102
[Presentation] 行列の最小多項式候補と拡張Horner法を用いた逆行列計算について2017
- Author(s)
  田島慎一, 小原功任, 照井章
- Organizer
  日本数学会2017年度年会代数学分科会
- Place of Presentation
  首都大学東京, 東京都八王子市
- Year and Date
  2017-03-24
- Data Source
  KAKENHI-PROJECT-16K05035
[Presentation] 行列Horner法の並列化による行列の固有ベクトル計算の効率化について2017
- Author(s)
  田島慎一, 小原功任, 照井章
- Organizer
  日本数学会, 代数学分科会
- Place of Presentation
  首都大学東京, 東京都八王子市
- Year and Date
  2017-03-24
- Data Source
  KAKENHI-PROJECT-15KT0102
[Presentation] An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination2016
- Author(s)
  Yumi Wada, Takuya Matsuzaki, Akira Terui, Noriko H. Arai
- Organizer
  The 5th International Congress on Mathematical Software (ICMS 2016)
- Place of Presentation
  Zuse Institute Berlin (ZIB), Berlin, Germany
- Year and Date
  2016-07-11
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05035
[Presentation] 行列の最小多項式候補と拡張Horner法を用いた逆行列計算について II2016
- Author(s)
  照井章, 小原功任, 田島慎一
- Organizer
  数式処理の新たな発展
- Place of Presentation
  京都大学数理解析研究所, 京都府京都市
- Year and Date
  2016-09-07
- Data Source
  KAKENHI-PROJECT-15KT0102
[Presentation] 行列の最小多項式候補と拡張Horner法を用いた逆行列計算について II2016
- Author(s)
  田島慎一, 小原功任, 照井章
- Organizer
  RIMS共同研究 "数式処理の新たな発展"
- Place of Presentation
  京都大学数理解析研究所, 京都府京都市
- Year and Date
  2016-09-07
- Data Source
  KAKENHI-PROJECT-16K05035
[Presentation] 大学入試における数列の問題を解くための自動推論とその実装について2016
- Author(s)
  和田優未, 松崎拓也, 照井章, 新井紀子
- Organizer
  RIMS研究集会 "数学ソフトウェアとその効果的教育利用に関する研究"
- Place of Presentation
  京都大学数理解析研究所, 京都府京都市
- Year and Date
  2016-09-28
- Data Source
  KAKENHI-PROJECT-16K05035
[Presentation] 固有ベクトル計算のさらなる並列化について2015
- Author(s)
  田島慎一, 小原功任, 照井章
- Organizer
  数式処理研究の新たな発展
- Place of Presentation
  京都大学数理解析研究所, 京都府京都市
- Year and Date
  2015-08-19
- Data Source
  KAKENHI-PROJECT-15KT0102
[Presentation] 最小消去多項式を用いた一般固有ベクトル空間の基底計算2015
- Author(s)
  田島慎一, 小原功任, 照井章
- Organizer
  日本数学会代数学分科会
- Place of Presentation
  京都産業大学, 京都府京都市
- Year and Date
  2015-09-13
- Data Source
  KAKENHI-PROJECT-15KT0102
[Presentation] An Iterative Method for Calculating Approximate GCD of Univariate Polynomials2009
- Author(s)
  照井章
- Organizer
  2009 International Symposium on Symbolic and Algebraic Computation(ISSAC 2009)
- Place of Presentation
  韓国高等科学院(ソウル, 大韓民国)
- Year and Date
  2009-07-31
- Data Source
  KAKENHI-PROJECT-19700004
[Presentation] GPGCD, an Iterative Method for Calculating Approximate GCD of Univariate Polynomials, with the Complex Coefficients2009
- Author(s)
  照井章
- Organizer
  The Joint Conference of ASCM 2009 and MACIS 2009
- Place of Presentation
  JALリゾートシーホークホテル福岡(福岡市)
- Year and Date
  2009-12-14
- Data Source
  KAKENHI-PROJECT-19700004
[Presentation] An Iterative Method for Calculating Approximate GCD of Univariate Polynomials (poster presentation).2009
- Author(s)
  A. Terui
- Organizer
  The 11th International Workshop on Computer Algebra in Scientific Computing (CASC 2009)
- Place of Presentation
  Kobe, Japan
- Data Source
  KAKENHI-PROJECT-19700004
[Presentation] Computing clustered close-roots of univariate polynomials2009
- Author(s)
  Tateaki Sasaki, Akira Terui
- Organizer
  2009 Intern'l Workshop on Symbolic-Numeric Computation
- Place of Presentation
  Coop-Inn Kyoto(京都)
- Year and Date
  2009-08-05
- Data Source
  KAKENHI-PROJECT-19300001
[Presentation] 制約つき最適化に基づく1変数多項式の近似GCDの反復算法2009
- Author(s)
  照井章
- Organizer
  第38回数値解析シンポジウム(NAS2009)
- Place of Presentation
  熱川ハイツ(静岡県賀茂郡東伊豆町)
- Year and Date
  2009-06-17
- Data Source
  KAKENHI-PROJECT-19700004
[Presentation] 制約つき最適化に基づく1変数多項式の近似GCDの反復算法.2009
- Author(s)
  照井章
- Organizer
  第38回数値解析シンポジウム(NAS2009)
- Place of Presentation
  熱川ハイツ
- Year and Date
  2009-06-17
- Data Source
  KAKENHI-PROJECT-19700004
[Presentation] 近似GCD算法GPGCDの複素係数多項式への拡張.2009
- Author(s)
  照井章
- Organizer
  研究集会"Computer Algebra ? Design of Algorithms, Implementations and Applications"
- Place of Presentation
  京都大学数理解析研究所
- Year and Date
  2009-11-05
- Data Source
  KAKENHI-PROJECT-19700004
[Presentation] An Iterative Method for Calculating Approximate GCD of Univariate Polynomials.2009
- Author(s)
  A. Terui
- Organizer
  The 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009)
- Place of Presentation
  Seoul, Republic of Korea
- Year and Date
  2009-07-31
- Data Source
  KAKENHI-PROJECT-19700004
[Presentation] GPGCD, an Iterative Method for Calculating Approximate GCD of Univariate Polynomials, with the Complex Coefficients.2009
- Author(s)
  A. Terui
- Organizer
  The Joint Conference of ASCM 2009 and MACIS 2009
- Place of Presentation
  Fukuoka, Japan
- Year and Date
  2009-12-14
- Data Source
  KAKENHI-PROJECT-19700004
[Presentation] 制約つき最適化に基づく1変数多項式の近似GCDの反復算法.2009
- Author(s)
  照井章
- Organizer
  第18回日本数式処理学会大会
- Place of Presentation
  龍谷大学瀬田キャンパス
- Year and Date
  2009-06-12
- Data Source
  KAKENHI-PROJECT-19700004
[Presentation] 制約つき最適化に基づく1変数多項式の近似GCDの反復算法2009
- Author(s)
  照井章
- Organizer
  第18回日本数式処理学会大会
- Place of Presentation
  龍谷大学瀬田キャンパス
- Year and Date
  2009-06-12
- Data Source
  KAKENHI-PROJECT-19700004
[Presentation] 近似GCD算法GPGCDの複素係数多項式への拡張2009
- Author(s)
  照井章
- Organizer
  研究集会"Computer Algebra-Design of Algorithms, Implementations and Applications"
- Place of Presentation
  京都大学数理解析研究所
- Year and Date
  2009-11-05
- Data Source
  KAKENHI-PROJECT-19700004
[Presentation] Computing Clustered Close-Roots of Univariate Polynomials2009
- Author(s)
  Tateaki Sasaki, Akira Terui
- Organizer
  The 3rd International Workshop on Symbolic-Numeric Computation(SNC 2009)
- Place of Presentation
  コープイン京都(京都市)
- Year and Date
  2009-08-05
- Data Source
  KAKENHI-PROJECT-19700004
[Presentation] 任意の収束次数をもつ記号的Newton法の同時反復公式.2007
- Author(s)
  照井章
- Organizer
  共同研究"数式処理研究の新たな発展"
- Place of Presentation
  京都大学数理解析研究所
- Year and Date
  2007-07-05
- Data Source
  KAKENHI-PROJECT-19700004
[Presentation] 任意の収束次数をつ記号的Newton法の同時反復公式2007
- Author(s)
  照井章
- Organizer
  RIMS共同研究「数式処理研究の新たなる発展
- Place of Presentation
  京都大学数理解析研究所
- Year and Date
  2007-07-05
- Data Source
  KAKENHI-PROJECT-19700004
[Presentation] The presupposed 1st primitive polynomial over a finite field (有限体上の予想される第一原始多項式について)2007
- Author(s)
  太刀川弘幸・照井章
- Organizer
  "研究集会"Computer Algebra-Design of Algorithms, Implementations and Applications 2007
- Place of Presentation
  京都大学数理解析研究所
- Year and Date
  2007-11-09
- Data Source
  KAKENHI-PROJECT-19700004

1. KAKO Fujio (90152610)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
2. SASAKI Tateaki (80087436)

# of Collaborated Projects: 3 results

# of Collaborated Products: 4 results
3. KAI Hiroshi (10274341)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
4. FUKUI Tetsuo (70218890)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
5. NODA Matu-tarou (10036402)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. Tajima Shinichi (70155076)

# of Collaborated Projects: 2 results

# of Collaborated Products: 12 results
7. 小原功任 (00313635)

# of Collaborated Projects: 2 results

# of Collaborated Products: 12 results
8. SAKAI Ko (20241797)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. MASUDA Tetsuya (70202314)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. SAKURAI Tetsuya (60187086)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. AKIHIRA Masafumi (70017424)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. SHIRAKURA Teruhiro (30033913)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. AOSHIMA Makoto (90246679)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. KONNO Yoshihiko (00205577)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. TAGURI Masaaki (10009607)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. KAKEHI Tomoyuki (70231248)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. TAIRA Kazuaki (90016163)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. TAKEUCHI Kiyoshi (70281160)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. KINOSHITA Tamotsu (90301077)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. MORIYA Katsuhiro (50322011)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. Hasegawa Makoto (80303171)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. 高橋邦彦 (50323259)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. 景山三平 (70033892)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. 渋田敬史 (40648200)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. CHI Boming

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
26. 河合伸一

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. 庄野宏

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Terui Akira 照井 章

TERUI Akira 照井 章

Research Projects

Research Products

Co-Researchers

Development and Application of Robust Motion Planning Platform of Robots with Symbolic-Numeric ComputationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Calculation of blending surfaces with approximate SyzygiesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Singular statistics and computational algebraic analysis of machine learning models

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study of Algorithms and Applications of Approximate Algebra

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study on Calculating Power-series Roots of Multivariate Algebraic EquationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study on Classification and Strategy of Misere Impartial Games

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Harmonic analysis on Grassmann manifolds and its applications to Radon transforms and inverse problems

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study of Algorithms and Applications of Approximate Algebra

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

近似的代数計算を用いた代数方程式の数値解法の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study of Algorithms and Applications of Approximate Algebra

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Developments of Accurate Estimation Procedures in the Statistical Region Estimation and Attempt of Practicability

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] 計算機代数の基礎理論2019

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Journal Article] Computer-assisted proofs of "Kariya's theorem" with computer algebra2023

Author(s)

Journal Title

Terui Akira 照井章

TERUI Akira 照井章