照井章 Terui Akira

研究者番号	80323260
その他のID	https://orcid.org/0000-0003-0846-3643
外部サイト
所属 (現在)	2024年度: 筑波大学, 数理物質系, 准教授
所属 (過去の研究課題情報に基づく) *注記	2020年度 – 2022年度: 筑波大学, 数理物質系, 准教授 2015年度 – 2018年度: 筑波大学, 数理物質系, 准教授 2007年度 – 2009年度: 筑波大学, 大学院・数理物質科学研究科, 助教 2006年度: 筑波大学, 大学院数理物質科学研究科, 助手 2004年度 – 2005年度: 筑波大学, 大学院・数理物質科学研究科, 助手 2004年度: 筑波大学, 大学院・数理物質科学研究所, 助手 2000年度 – 2003年度: 筑波大学, 数学系, 助手
審査区分/研究分野	研究代表者小区分60100:計算科学関連 / 計算科学 / 情報学基礎 / 計算機科学研究代表者以外情報学基礎 / 連携探索型数理科学 / 基礎解析学 / 数学一般(含確率論・統計数学) / 計算機科学 / 知能情報学
キーワード	研究代表者数式処理 / 数式・数値融合計算 / 計算機代数 / 近似GCD / 計算代数 / 代数方程式 / 動作計画 / 包括的グレブナー基底系 / 限量子消去計算 / 限量子消去法 … もっと見る / 逆運動学問題 / ロボット工学 / グレブナー基底 / 数理最適化 / アルゴリズム / 応用数学 / 代数曲面 / 数式数値融合計算 / Syzygy / 最大公約子 / Pade近似 / 同時反復公式 / 非線形最適化 / べき級数根 / 勾配射影法 / 数値最適化 / 記号的Newton法 / 近似的代数計算 / Sturm法 / 部分終結式 / 多項式剰余列 / 近似代数 … もっと見る研究代表者以外近似代数 / 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部モノイド / 必勝戦略 / 逆形ルール / 逆形商 / 可換モノイド / 種数 / 逆形 / 不偏ゲーム隠す

数式・数値融合計算によるロバストなロボット動作計画プラットフォームの構築と応用研究代表者
- 研究代表者
  
  照井章
- 研究期間 (年度)
  2020 – 2022
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60100:計算科学関連
- 研究機関
  筑波大学
近似Syzygyによる代数曲面の融合計算の研究研究代表者
- 研究代表者
  
  照井章
- 研究期間 (年度)
  2016 – 2018
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算科学
- 研究機関
  筑波大学
機械学習モデルの特異統計構造と計算代数解析アルゴリズム
- 研究代表者
  
  田島慎一
- 研究期間 (年度)
  2015 – 2017
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  連携探索型数理科学
- 研究機関
  筑波大学
近似代数の算法と応用の研究
- 研究代表者
  
  佐々木建昭
- 研究期間 (年度)
  2007 – 2009
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  筑波大学
多変数代数方程式のべき級数根解法の研究研究代表者
- 研究代表者
  
  照井章
- 研究期間 (年度)
  2007 – 2009
- 研究種目
  
  若手研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  筑波大学
逆形不偏ゲームの分類と戦略の研究
- 研究代表者
  
  坂井公
- 研究期間 (年度)
  2005 – 2008
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  知能情報学
- 研究機関
  筑波大学
グラスマン多様体上の調和解析とラドン変換および逆問題解析への応用
- 研究代表者
  
  筧知之
- 研究期間 (年度)
  2004 – 2006
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  基礎解析学
- 研究機関
  筑波大学
近似代数の算法と応用の研究
- 研究代表者
  
  佐々木建昭
- 研究期間 (年度)
  2003 – 2006
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  筑波大学
近似的代数計算を用いた代数方程式の数値解法の研究研究代表者
- 研究代表者
  
  照井章
- 研究期間 (年度)
  2002 – 2003
- 研究種目
  
  若手研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  筑波大学
近似代数の算法と応用の研究
- 研究代表者
  
  佐々木建昭
- 研究期間 (年度)
  2000 – 2002
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  筑波大学
統計的領域推定における精確な推定方式の開発と実用化の試み
- 研究代表者
  
  赤平昌文
- 研究期間 (年度)
  2000 – 2003
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  筑波大学

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

1. 加古富志雄 (90152610)

共同の研究課題数: 3件

共同の研究成果数: 0件
2. 佐々木建昭 (80087436)

共同の研究課題数: 3件

共同の研究成果数: 4件
3. 甲斐博 (10274341)

共同の研究課題数: 3件

共同の研究成果数: 0件
4. 福井哲夫 (70218890)

共同の研究課題数: 3件

共同の研究成果数: 0件
5. 野田松太郎 (10036402)

共同の研究課題数: 2件

共同の研究成果数: 0件
6. 田島慎一 (70155076)

共同の研究課題数: 2件

共同の研究成果数: 12件
7. 小原功任 (00313635)

共同の研究課題数: 2件

共同の研究成果数: 12件
8. 坂井公 (20241797)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 増田哲也 (70202314)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 櫻井鉄也 (60187086)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 赤平昌文 (70017424)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 白倉暉弘 (30033913)

共同の研究課題数: 1件

共同の研究成果数: 0件
13. 青嶋誠 (90246679)

共同の研究課題数: 1件

共同の研究成果数: 0件
14. 今野良彦 (00205577)

共同の研究課題数: 1件

共同の研究成果数: 0件
15. 田栗正章 (10009607)

共同の研究課題数: 1件

共同の研究成果数: 0件
16. 筧知之 (70231248)

共同の研究課題数: 1件

共同の研究成果数: 0件
17. 平良和昭 (90016163)

共同の研究課題数: 1件

共同の研究成果数: 0件
18. 竹内潔 (70281160)

共同の研究課題数: 1件

共同の研究成果数: 0件
19. 木下保 (90301077)

共同の研究課題数: 1件

共同の研究成果数: 0件
20. 守屋克洋 (50322011)

共同の研究課題数: 1件

共同の研究成果数: 0件
21. 長谷川誠 (80303171)

共同の研究課題数: 1件

共同の研究成果数: 0件
22. 高橋邦彦 (50323259)

共同の研究課題数: 1件

共同の研究成果数: 0件
23. 景山三平 (70033892)

共同の研究課題数: 1件

共同の研究成果数: 0件
24. 渋田敬史 (40648200)

共同の研究課題数: 1件

共同の研究成果数: 0件
25. 池泊明

共同の研究課題数: 1件

共同の研究成果数: 2件
26. 河合伸一

共同の研究課題数: 1件

共同の研究成果数: 0件
27. 庄野宏

共同の研究課題数: 1件

共同の研究成果数: 0件

照井 章 Terui Akira

研究課題

研究成果

共同研究者

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

近似Syzygyによる代数曲面の融合計算の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

多変数代数方程式のべき級数根解法の研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

逆形不偏ゲームの分類と戦略の研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

グラスマン多様体上の調和解析とラドン変換および逆問題解析への応用

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

著者名/発表者名

総ページ数

出版者

ISBN

データソース

[雑誌論文] Computer-assisted proofs of "Kariya's theorem" with computer algebra2023

著者名/発表者名

雑誌名

データソース

照井章 Terui Akira