publications

差分

このページの2つのバージョン間の差分を表示します。

この比較画面へのリンク

両方とも前のリビジョン 前のリビジョン
次のリビジョン
前のリビジョン
publications [2018/04/19 09:38] – [2015] ateruipublications [2024/03/17 09:54] (現在) – [2023] aterui
行 13: 行 13:
  
 ===== 論文(査読つき) ===== ===== 論文(査読つき) =====
-  * Y. Wada, T. Matsuzaki, A. Terui, N.H. Arai. An automated deduction and its implementation for solving problem of sequence at university entrance examination. Proceedings of the 5th International Congress on Mathematical Software (ICMS 2016). Lecture Notes in Computer Science **9725**, Springer, 2016, 82--89. [doi:[[doi>10.1007/978-3-319-42432-3_11]]] +  * M. Yoshizawa, A. Terui, M. Mikawa. Inverse kinematics and path planning of manipulator using real quantifier elimination based on Comprehensive Gröbner Systems. Proceedings of the 24th International Workshop on Computer Algebra in Scientific Computing: CASC 2023, Lecture Notes in Computer Science **14139**, Springer, 2023, 393–419. doi:[[doi>10.1007/978-3-031-41724-5_21]] arXiv:[[doi>10.48550/arXiv.2305.12451]] 
-  * K. Ohara, S. Tajima, A. Terui. Developing Linear Algebra Packages on Risa/Asir for Eigenproblems (Extended abstract). Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014). Lecture Notes in Computer Science **8592**, Springer, 2014, 321--324. [doi:[[doi>10.1007/978-3-662-44199-2_50]]] +  * 照井章. コロナ禍の計算機演習 : 数学科における数式処理を用いた計算機実習の遠隔授業による取り組み. 数式処理, **28** (2), 53–79, 2022. http://www.jssac.org/Editor/Suushiki/V28/V282.html 
-  * S. Tajima, K. Ohara, A. Terui. An Extension and Efficient Calculation of the Horner's Rule for Matrices (Extended abstract). Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014). Lecture Notes in Computer Science **8592**, Springer, 2014, 346--351. [doi:[[doi>10.1007/978-3-662-44199-2_54]]] +  * B. Chi, A. Terui. The GPGCD Algorithm with the Bézout Matrix. Proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing: CASC 2020, Lecture Notes in Computer Science **12291**, Springer, 2020, 170–187. doi:[[doi>10.1007/978-3-030-60026-6_10]] 
-  * A. Terui. GPGCD: An iterative method for calculating approximate GCD of univariate polynomials. Theor. Comput. Sci. 2013, **479**, 127--149.  [doi:[[doi>10.1016/j.tcs.2012.10.023]]] [arXiv:[[arxiv>1207.0630]]] +  * N. Horigome, A. Terui, M. Mikawa. A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases. Proceedings of the 7th International Congress on Mathematical Software (ICMS 2020). Lecture Notes in Computer Science **12097**, Springer, 2020, 3--13. doi:[[doi>10.1007/978-3-030-52200-1_1]] 
-  * A. Terui. "GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials." Proceedings of the 12th International Workshop on Computer Algebra in Scientific Computing: CASC 2010, Lecture Notes in Computer Science, Springer, 6244, 2010, 238–249. [doi: [[doi>10.1007/978-3-642-15274-0_22]]] [arXiv:[[arxiv>1007.1836]]] +  * Y. Wada, T. Matsuzaki, A. Terui, N.H. Arai. An automated deduction and its implementation for solving problem of sequence at university entrance examination. Proceedings of the 5th International Congress on Mathematical Software (ICMS 2016). Lecture Notes in Computer Science **9725**, Springer, 2016, 82--89. doi:[[doi>10.1007/978-3-319-42432-3_11]] 
-  * A. Terui. "GPGCD, an Iterative Method for Calculating Approximate GCD of Univariate Polynomials, with the Complex Coefficients." Proceedings of the Joint Conference of ASCM 2009 and MACIS 2009, COE Lecture Note Vol. 22. Faculty of Mathematics, Kyushu University, 2009, 212--221. [arXiv:[[arxiv>1007.1834]]] http://hdl.handle.net/2324/16844 +  * K. Ohara, S. Tajima, A. Terui. Developing Linear Algebra Packages on Risa/Asir for Eigenproblems (Extended abstract). Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014). Lecture Notes in Computer Science **8592**, Springer, 2014, 321--324. doi:[[doi>10.1007/978-3-662-44199-2_50]] 
-  * T. Sasaki and A. Terui. "Computing Clustered Close-Roots of Univariate Polynomials." Proceedings of The 3rd International Workshop on Symbolic-Numeric Computation (SNC 2009). ACM, 2009, 177--184. [doi:[[doi>10.1145/1577190.1577217]]] +  * S. Tajima, K. Ohara, A. Terui. An Extension and Efficient Calculation of the Horner's Rule for Matrices (Extended abstract). Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014). Lecture Notes in Computer Science **8592**, Springer, 2014, 346--351. doi:[[doi>10.1007/978-3-662-44199-2_54]] 
-  * A. Terui. "An Iterative Method for Calculating Approximate GCD of Univariate Polynomials." Proceedings of 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009). ACM, 2009, 351--358. [doi:[[doi>10.1145/1576702.1576750]]] http://hdl.handle.net/2241/103423+  * A. Terui. GPGCD: An iterative method for calculating approximate GCD of univariate polynomials. Theor. Comput. Sci. 2013, **479**, 127--149.  doi:[[doi>10.1016/j.tcs.2012.10.023]] arXiv:[[arxiv>1207.0630]] 
 +  * A. Terui. "GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials." Proceedings of the 12th International Workshop on Computer Algebra in Scientific Computing: CASC 2010, Lecture Notes in Computer Science, Springer, 6244, 2010, 238–249. doi:[[doi>10.1007/978-3-642-15274-0_22]] arXiv:[[arxiv>1007.1836]] 
 +  * A. Terui. "GPGCD, an Iterative Method for Calculating Approximate GCD of Univariate Polynomials, with the Complex Coefficients." Proceedings of the Joint Conference of ASCM 2009 and MACIS 2009, COE Lecture Note Vol. 22. Faculty of Mathematics, Kyushu University, 2009, 212--221. arXiv:[[arxiv>1007.1834]] http://hdl.handle.net/2324/16844 
 +  * T. Sasaki and A. Terui. "Computing Clustered Close-Roots of Univariate Polynomials." Proceedings of The 3rd International Workshop on Symbolic-Numeric Computation (SNC 2009). ACM, 2009, 177--184. doi:[[doi>10.1145/1577190.1577217]] 
 +  * A. Terui. "An Iterative Method for Calculating Approximate GCD of Univariate Polynomials." Proceedings of 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009). ACM, 2009, 351--358. doi:[[doi>10.1145/1576702.1576750]] http://hdl.handle.net/2241/103423
   * J. Morita and A. Terui. Words, tilings and combinatorial spectra. Hiroshima Math. J. 2009, **39** (1), 37--60. http://projecteuclid.org/euclid.hmj/1237392379   * J. Morita and A. Terui. Words, tilings and combinatorial spectra. Hiroshima Math. J. 2009, **39** (1), 37--60. http://projecteuclid.org/euclid.hmj/1237392379
-  * A. Terui. Recursive Polynomial Remainder Sequence and its Subresultants. J. Algebra. 2008, **320**, 633--659. [doi:[[doi>10.1016/j.jalgebra.2007.12.023]]] [arXiv:[[arxiv>0806.0495]]] +  * A. Terui. Recursive Polynomial Remainder Sequence and its Subresultants. J. Algebra. 2008, **320**, 633--659. doi:[[doi>10.1016/j.jalgebra.2007.12.023]] arXiv:[[arxiv>0806.0495]] 
-  * A. Terui. "Recursive Polynomial Remainder Sequence and the Nested Subresultants." Proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing (CASC 2005), Lecture Notes in Computer Science 3718. Springer, 2005, 445--456. [doi:[[doi>10.1007/11555964_38]]] [arXiv:[[arxiv>0806.0488]]] +  * A. Terui. "Recursive Polynomial Remainder Sequence and the Nested Subresultants." Proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing (CASC 2005), Lecture Notes in Computer Science 3718. Springer, 2005, 445--456. doi:[[doi>10.1007/11555964_38]] arXiv:[[arxiv>0806.0488]] 
-  * A. Terui. "Subresultants in Recursive Polynomial Remainder Sequence." Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing CASC 2003. Technische Universität Munchen, Germany, 2003, 363--375. [arXiv:[[arxiv>0806.0478]]] +  * A. Terui. "Subresultants in Recursive Polynomial Remainder Sequence." Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing CASC 2003. Technische Universität Munchen, Germany, 2003, 363--375. arXiv:[[arxiv>0806.0478]] 
-  * A. Terui and T. Sasaki. Durand-Kerner method for the real roots. Japan J. Indust. Appl. Math. 2002, **19** (1), 19--38. [doi:[[doi>10.1007/BF03167446]]]+  * A. Terui and T. Sasaki. Durand-Kerner method for the real roots. Japan J. Indust. Appl. Math. 2002, **19** (1), 19--38. doi:[[doi>10.1007/BF03167446]]
   * A. Terui and T. Sasaki. "Approximate zero-points" of real univariate polynomial with large error terms. IPSJ J. 2000, **41** (4), 974--989. http://hdl.handle.net/2241/00134886 http://id.nii.ac.jp/1001/00012339/ http://ci.nii.ac.jp/naid/110002725305/en/   * A. Terui and T. Sasaki. "Approximate zero-points" of real univariate polynomial with large error terms. IPSJ J. 2000, **41** (4), 974--989. http://hdl.handle.net/2241/00134886 http://id.nii.ac.jp/1001/00012339/ http://ci.nii.ac.jp/naid/110002725305/en/
 ===== 論文(査読なし) ===== ===== 論文(査読なし) =====
行 32: 行 36:
  
 ===== 国際会議:口頭発表 ===== ===== 国際会議:口頭発表 =====
 +  * M. Yoshizawa, A. Terui, M. Mikawa. Inverse kinematics and path planning of manipulator using real quantifier elimination based on Comprehensive Gröbner Systems. The 25th International Workshop on Computer Algebra in Scientific Computing (CASC 2023), Havana, Cuba, September 1, 2023.
 +  * B. Chi, A. Terui. The GPGCD Algorithm with the Bézout Matrix for Multiple Univariate Polynomials. The 24th International Workshop on Computer Algebra in Scientific Computing (CASC 2022), Gebze, Turkey (Online), August 25, 2022.
 +  * S. Otaki, A. Terui, M. Mikawa. A design and an implementation of an inverse kinematics computation in robotics using real quantifier elimination based on comprehensive Gröbner systems. The 23rd International Workshop on Computer Algebra in Scientific Computing (CASC 2021), Sochi, Russia (Online), September 13, 2021.
 +  * B. Chi, A. Terui. The GPGCD Algorithm with the Bézout Matrix. The 22nd International Workshop on Computer Algebra in Scientific Computing (CASC 2020), Linz, Austria (Online), September 17, 2020.
 +  * R. Koshikawa, A. Terui, M. Mikawa. Solving System of Nonlinear Equations with the Genetic Algorithm and Newton’s Method. The 7th International Congress on Mathematical Software (ICMS 2020), Braunschweig, Germany (Online), July 17, 2020. doi:[[doi>10.5446/47899]]
 +  * N. Horigome, A. Terui, M. Mikawa. A Design and an Implementation of an Inverse Kinematics Computation in Robotics Using Gröbner Bases. The 7th International Congress on Mathematical Software (ICMS 2020), Braunschweig, Germany (Online), July 13, 2020. doi:[[doi>10.5446/47898]]
   * Y. Wada, T. Matsuzaki, A. Terui, N.H. Arai. An automated deduction and its implementation for solving problem of sequence at university entrance examination. The 5th International Congress on Mathematical Software (ICMS 2016), Berlin, Germany, July 11, 2016.   * Y. Wada, T. Matsuzaki, A. Terui, N.H. Arai. An automated deduction and its implementation for solving problem of sequence at university entrance examination. The 5th International Congress on Mathematical Software (ICMS 2016), Berlin, Germany, July 11, 2016.
-  * A. Terui. Towards simplified construction of subresultant matrix of multiple univariate polynomials. [[http://www.dagstuhl.de/no_cache/en/program/calendar/semhp/?semnr=15251|Dagstuhl Seminar 15251: Sparse modelling and multi-exponential analysis]]. [[http://www.dagstuhl.de/en/about-dagstuhl/|Schloss Dagstuhl]], June 18, 2015. [doi:[[doi>10.4230/DagRep.5.6.48]]]]+  * A. Terui. Towards simplified construction of subresultant matrix of multiple univariate polynomials. [[http://www.dagstuhl.de/no_cache/en/program/calendar/semhp/?semnr=15251|Dagstuhl Seminar 15251: Sparse modelling and multi-exponential analysis]]. [[http://www.dagstuhl.de/en/about-dagstuhl/|Schloss Dagstuhl]], June 18, 2015. doi:[[doi>10.4230/DagRep.5.6.48]]
   * K. Ohara, S. Tajima, A. Terui. Developing Linear Algebra Packages on Risa/Asir for Eigenproblems. The 4th International Congress on Mathematical Software (ICMS 2014). Seoul, Korea, August 9,  2014.   * K. Ohara, S. Tajima, A. Terui. Developing Linear Algebra Packages on Risa/Asir for Eigenproblems. The 4th International Congress on Mathematical Software (ICMS 2014). Seoul, Korea, August 9,  2014.
   * S. Tajima, K. Ohara, A. Terui. An Extension and Efficient Calculation of the Horner's Rule for Matrices. The 4th International Congress on Mathematical Software (ICMS 2014). Seoul, Korea, August 9,  2014.   * S. Tajima, K. Ohara, A. Terui. An Extension and Efficient Calculation of the Horner's Rule for Matrices. The 4th International Congress on Mathematical Software (ICMS 2014). Seoul, Korea, August 9,  2014.
行 46: 行 56:
   * A. Terui and T. Sasaki. "Approximate Zero-points" of Real Univariate Polynomial with Large Error Terms.  The 4th International IMACS Conference on Applications of Computer Algebra (IMACS-ACA 1998), Prague, Czech Republic, August 10, 1998.   * A. Terui and T. Sasaki. "Approximate Zero-points" of Real Univariate Polynomial with Large Error Terms.  The 4th International IMACS Conference on Applications of Computer Algebra (IMACS-ACA 1998), Prague, Czech Republic, August 10, 1998.
 ===== 国際会議:ポスター発表 ===== ===== 国際会議:ポスター発表 =====
 +  * B. Chi and A. Terui. The GPGCD Algorithm with the Bezout Matrix. The 44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019), Beijing, Chine, July 15–18, 2019.
   * A. Terui. Calculating Approximate GCD of Multiple Univariate Polynomials using Approximate Syzygies. The 38th International Symposium on Symbolic and Algebraic Computation (ISSAC 2013), Boston, USA, June 26–29, 2013.   * A. Terui. Calculating Approximate GCD of Multiple Univariate Polynomials using Approximate Syzygies. The 38th International Symposium on Symbolic and Algebraic Computation (ISSAC 2013), Boston, USA, June 26–29, 2013.
   * A. Terui. GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials (Poster presentation). The 2010 International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), Munich, Germany, July 25--28, 2010.   * A. Terui. GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials (Poster presentation). The 2010 International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), Munich, Germany, July 25--28, 2010.
行 51: 行 62:
   * T. Sasaki, K. Shihara, A. Terui, Y. Ozaki, F. Kako.  Approximate Algebraic Computation: Practice and Problems.  The 1997 International Symposium on Symbolic and Algebraic Computation (ISSAC 1997), Maui, Hawaii, USA, July 21--23, 1997.  ACM SIGSAM Bulletin. 1997, **31** (3), 32.  [doi:[[doi>10.1145/271130.271184]]]   * T. Sasaki, K. Shihara, A. Terui, Y. Ozaki, F. Kako.  Approximate Algebraic Computation: Practice and Problems.  The 1997 International Symposium on Symbolic and Algebraic Computation (ISSAC 1997), Maui, Hawaii, USA, July 21--23, 1997.  ACM SIGSAM Bulletin. 1997, **31** (3), 32.  [doi:[[doi>10.1145/271130.271184]]]
 ===== 国内口頭発表 ===== ===== 国内口頭発表 =====
 +==== 2024 ====
 +  * 田島慎一,小原功任,照井章.最小消去多項式を用いたJordan細胞の構造の効率的な計算.[[http://www.jssac.org/Joint/Conf/jssac_joint_2023_revised.html|日本数式処理学会2023年度合同分科会]],オンライン,2024年1月27日.
 +
 +==== 2023 ====
 +  * 吉澤瑞輝,照井 章,三河正彦.包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題および経路計画問題の解法と実装.[[http://www.jssac.org/Conference/Tai/jssac2023.html|日本数式処理学会第32回大会]],順天堂大学,2023年6月10日.
 +  * 金泉拓真,照井章,三河正彦.非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法の拡張.[[http://air.s.kanazawa-u.ac.jp/~ohara/risacon23.html|Risa/Asir Conference 2023]], 石川県政記念しいのき迎賓館,2023年3月27日.
 +  * 照井章.非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法.『数理アルゴリズムにおける不確実性に対する統計的アプローチの展開』研究集会,統計数理研究所,2023年1月11日.
 +
 +==== 2022 ====
 +  * 田島慎一,小原功任,照井章.一般固有空間とJordan鎖の厳密で効率的な計算 (2). [[https://www.mathsoc.jp/activity/meeting/hokudai22sept/|日本数学会2022年度秋季合同分科会]],北海道大学,2022年9月13日.
 +  * 田島慎一,小原功任,照井章.一般固有空間とJordan鎖の厳密で効率的な計算 (1). [[https://www.mathsoc.jp/activity/meeting/hokudai22sept/|日本数学会2022年度秋季合同分科会]],北海道大学,2022年9月13日.
 +  * 池泊明,照井章.Bezout行列に基づく近似GCD計算アルゴリズムGPGCDの複数多項式への拡張.[[http://www.jssac.org/Conference/Tai/jssac2022.html|日本数式処理学会第31回大会]],山陽小野田市立山口東京理科大学,2022年6月18日.
 +  * 葛西剛史,照井章,三河正彦.非線形連立方程式の求解による小惑星探査機ローバーの位置決定問題の解法.[[http://air.s.kanazawa-u.ac.jp/~ohara/risacon22.html|Risa/Asir Conference 2022]],石川県政記念しいのき迎賓館/オンライン,2022年3月21日.
 +  * 伊藤綾音,照井章,三河正彦.CGS-QE アルゴリズムの応用について.[[http://air.s.kanazawa-u.ac.jp/~ohara/risacon22.html|Risa/Asir Conference 2022]],石川県政記念しいのき迎賓館/オンライン,2022年3月20日.
 +  * 三河正彦,照井章,藤澤誠.積雪寒冷地における遠隔操作移動ロボットを利用した取り組み.第13回日本ロボット学会北海道ロボット技術研究専門委員会学術講演会 (RSJ-HRT 2022),オンライン,2022年3月6日.
 +  * 葛西剛史,照井章.Wu’s Methodを用いた「刈屋の定理」の証明.[[http://www.jssac.org/Joint/Conf/jssac_joint_2021.html|日本数式処理学会2021年度合同分科会]],オンライン,2022年1月29日.数式処理,Vol. 28, No. 2, 115–118, 2022.
 +  * 伊藤綾音,照井章.Gröbner基底を用いた「刈屋の定理」の証明.[[http://www.jssac.org/Joint/Conf/jssac_joint_2021.html|日本数式処理学会2021年度合同分科会]],オンライン,2022年1月29日.数式処理,Vol. 28, No. 2, 111–114, 2022.
 +  * 照井章.包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題の解法と実装.『統計的データ解析による数理アルゴリズムの展開』研究集会,統計数理研究所,2022年1月14日.
 +==== 2021 ====
 +  * 三河正彦,照井章.LEGO 3D CGモデルのジョイントを考慮したURDF変換ツール.[[https://roscon.jp/|ROSConJP 2021]], 国際ファッションセンター, 2021年9月16日.
 +  * 大瀧脩人,照井章,三河正彦.包括的グレブナー基底系計算に基づく限量子消去を用いたロボットの逆運動学問題の解法と実装.[[http://www.jssac.org/Conference/Tai/jssac2021.html|日本数式処理学会第30回大会]],東海大学(オンライン),2021年6月5日.数式処理, Vol. 28, No. 1, 36–39, 2022.
 +  * 田島慎一,小原功任,照井章.最小消去多項式を用いた一般固有ベクトル空間の構成.[[http://www.jssac.org/Conference/Tai/jssac2021.html|日本数式処理学会第30回大会]],東海大学(オンライン),2021年6月5日.数式処理, Vol. 28, No. 1, 32–35, 2022.
 +  * 照井章.コロナ禍の計算機演習:数学科におけるオンライン授業による計算機実習.[[http://www.jssac.org/Education/Conf/edu202102_announce.html|日本数式処理学会第15期第1回教育分科会]],神戸大学(オンライン),2021年2月23日.
 +  * 照井章.数式処理と画像処理を用いたロボットアーム制御系の実装.『統計的データ解析による数理アルゴリズムの展開』研究集会,統計数理研究所(オンライン),2021年1月15日.
 +
 +==== 2020 ====
 +  * 照井章.数式処理によるロボットの運動計画:概要と課題.[[http://rcms.math.tsukuba.ac.jp/events/rcms-salon-7|第7回筑波大学RCMSサロン「ロボティクスの数理」]],筑波大学(オンライン),2020年12月11日.
 +  * 照井章.数式処理によるロボットマニピュレータの動作計画.[[https://www.sanrenhonbu.tsukuba.ac.jp/sanrensinpo2020/|第2回筑波大学産学連携シンポジウム]],筑波大学(オンライン),2020年11月13日.
 +  * 堀込紀行,照井章,三河正彦.グレブナー基底計算を用いたロボットの逆運動学問題の解法と実装.[[http://www.jssac.org/Conference/Tai/jssac2020.html|日本数式処理学会第29回大会]],甲南大学(オンライン),2020年11月1日.数式処理, Vol. 27, No. 2, 9–12, 2021.
 +  * 三河正彦,照井章,堀込紀行.LEGO3DモデルのURDFへの変換ツールとGröbner基底に基づくマニピュレータの逆運動学解法の可視化.[[https://ac.rsj-web.org/2020/|第38回日本ロボット学会学術講演会]],オンライン,2020年10月10日.
 +  * 池泊明,照井章.The GPGCD Algorithm with the Bézout Matix. [[https://wwwmain.h.kobe-u.ac.jp/~nagasaka/research/gcdart20/|ワークショップ「GCD and related topics, GCDART 2020」]],神戸大学(オンライン),2020年9月22日.
 +  * S. Saito, M. Mikawa, A. Terui, M. Fujisawa. Relative Distance Estimation Among Rovers Using Evolutionary Algorithm for Exploration System Consisting of Multiple Small Rovers. [[https://www.hayabusa.isas.jaxa.jp/kawalab/astro/2020/|The 30th Workshop on Astrodynamics and Flight Mechanics]]. 2020年7月20日.
 +
 +==== 2019 ====
 +  * 池泊明,照井章.Bezoutの終結式行列を用いたGPGCD法による1変数多項式の近似GCDの計算 II.[[http://www.nda.ac.jp/cc/masayo/19/rims19.html|RIMS共同研究(公開型) "Computer Algebra --- Theory and Applications"]], 京都大学数理解析研究所,2019年12月17日.
 +  * 照井章.算数・数学の文章問題の読み取りから図の対応づけに関する能力のリーディングスキルテスト(項目反応理論)による分析.『統計的データ解析による数理アルゴリズムの展開』研究集会,統計数理研究所,2019年11月28日.
 +  * 照井章,堀込紀行,越川竜士,大瀧修人,三河正彦.数式処理と画像処理を用いたロボットアーム制御系の実装.[[http://www.jssac.org/Theory/Conf/thsys2019.html|日本数式処理学会2019年度理論分科会&システム分科会合同研究会]],九州大学伊都キャンパス,2019年10月20日.数式処理, Vol. 26, No. 2, 34–37, 2020.
 +
 +==== 2018 ====
 +  * 田島慎一,小原功任,照井章.最小消去多項式候補を用いた逆行列の計算.[[https://sites.google.com/a/math.tsukuba.ac.jp/rimsca18/|RIMS共同研究(公開型) "Computer Algebra --- Theory and Applications"]], 京都大学数理解析研究所,2018年12月17日.
 +  * 照井章.数式処理における最適化と統計的データ解析の応用.『統計的データ解析による数理アルゴリズムの展開』研究集会,統計数理研究所,2018年12月11日.
 +  * 照井章.数式・数値融合計算による混合代数曲面の計算に向けて.[[https://wwwmain.h.kobe-u.ac.jp/~nagasaka/research/gcdart18/|ワークショップ「GCD and related topics」]],愛媛県松山市,2018年9月11日.
 +
 ==== 2017 ==== ==== 2017 ====
   * 池泊明,照井章.Bezoutの終結式行列を用いたGPGCD法による1変数多項式の近似GCDの計算.[[https://sites.google.com/a/math.tsukuba.ac.jp/rimsca17/|RIMS共同研究(公開型)"Computer Algebra – Theory and Applications"]], 京都大学数理解析研究所,2017年12月20日.   * 池泊明,照井章.Bezoutの終結式行列を用いたGPGCD法による1変数多項式の近似GCDの計算.[[https://sites.google.com/a/math.tsukuba.ac.jp/rimsca17/|RIMS共同研究(公開型)"Computer Algebra – Theory and Applications"]], 京都大学数理解析研究所,2017年12月20日.
行 58: 行 112:
 ==== 2016 ==== ==== 2016 ====
   * 照井章. 大学入試の数列問題を解く自動推論アルゴリズム. [[http://www.pas.tsukuba.ac.jp/~CiRfSE/|筑波大学数理物質融合科学センター]] [[http://sites.math.tsukuba.ac.jp/inverse-problem/renkei-salon/renkei-salon-6|第6回数理連携サロン]], 筑波大学, 2016年12月5日.   * 照井章. 大学入試の数列問題を解く自動推論アルゴリズム. [[http://www.pas.tsukuba.ac.jp/~CiRfSE/|筑波大学数理物質融合科学センター]] [[http://sites.math.tsukuba.ac.jp/inverse-problem/renkei-salon/renkei-salon-6|第6回数理連携サロン]], 筑波大学, 2016年12月5日.
-  * 和田優未, 松崎拓也, 照井章, 新井紀子. 大学入試における数列の問題を解くための自動推論とその実装について. [[https://sites.google.com/site/rimsmse/|RIMS研究集会 "数学ソフトウェアとその効果的教育利用に関する研究"]], 京都大学数理解析研究所, 2016年9月29日. 数理解析研究所講究録 **2022** "数学ソフトウェアとその効果的教育利用に関する研究", 100--111, 京都大学数理解析研究所, 2017年4月. http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/2022.html +  * 和田優未, 松崎拓也, 照井章, 新井紀子. 大学入試における数列の問題を解くための自動推論とその実装について. [[https://sites.google.com/site/rimsmse/|RIMS研究集会 "数学ソフトウェアとその効果的教育利用に関する研究"]], 京都大学数理解析研究所, 2016年9月29日. 数理解析研究所講究録 **2022** "数学ソフトウェアとその効果的教育利用に関する研究", 100--111, 京都大学数理解析研究所, 2017年4月. http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/2022.html https://hdl.handle.net/2433/231770 
-  * 田島慎一, 小原功任, 照井章. 行列の最小多項式候補と拡張Horner法を用いた逆行列計算について II. [[http://wwwmain.h.kobe-u.ac.jp/~nagasaka/research/rimsdca16/|RIMS共同研究 "数式処理の新たな発展"]], 京都大学数理解析研究所, 2016年9月7日. 数理解析研究所講究録 **2019** "数式処理の新たな発展---その最新研究と基礎理論の再構成---", 28--38, 京都大学数理解析研究所, 2017年4月. http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/2019.html+  * 田島慎一, 小原功任, 照井章. 行列の最小多項式候補と拡張Horner法を用いた逆行列計算について II. [[http://wwwmain.h.kobe-u.ac.jp/~nagasaka/research/rimsdca16/|RIMS共同研究 "数式処理の新たな発展"]], 京都大学数理解析研究所, 2016年9月7日. 数理解析研究所講究録 **2019** "数式処理の新たな発展---その最新研究と基礎理論の再構成---", 28--38, 京都大学数理解析研究所, 2017年4月. http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/2019.html https://hdl.handle.net/2433/231722
   * 田島慎一, 小原功任, 照井章. 行列の最小多項式候補と拡張Horner法を用いた逆行列計算について. [[http://www.jssac.org/Joint/Conf/joint2015.html|日本数式処理学会2015年度合同分科会]], 名古屋大学, 2016年1月24日.   * 田島慎一, 小原功任, 照井章. 行列の最小多項式候補と拡張Horner法を用いた逆行列計算について. [[http://www.jssac.org/Joint/Conf/joint2015.html|日本数式処理学会2015年度合同分科会]], 名古屋大学, 2016年1月24日.
   * 和田優未, 松崎拓也, 照井章, 新井紀子. 大学入試における数列の問題を解くための自動推論とその実装について. [[http://www.jssac.org/Joint/Conf/joint2015.html|日本数式処理学会2015年度合同分科会]], 名古屋大学, 2016年1月24日.   * 和田優未, 松崎拓也, 照井章, 新井紀子. 大学入試における数列の問題を解くための自動推論とその実装について. [[http://www.jssac.org/Joint/Conf/joint2015.html|日本数式処理学会2015年度合同分科会]], 名古屋大学, 2016年1月24日.
   * 照井章. 計算数学で大学入試に挑む (逆問題研究推進室 成果報告). [[http://www.pas.tsukuba.ac.jp/~CiRfSE/index.html|筑波大学数理物質融合科学センター]] [[http://hep.px.tsukuba.ac.jp/cgi-bin/CiRfSE/2015/ws.pl?content=top|第2回CiRfSEワークショップ]], 筑波大学, 2016年1月19日.   * 照井章. 計算数学で大学入試に挑む (逆問題研究推進室 成果報告). [[http://www.pas.tsukuba.ac.jp/~CiRfSE/index.html|筑波大学数理物質融合科学センター]] [[http://hep.px.tsukuba.ac.jp/cgi-bin/CiRfSE/2015/ws.pl?content=top|第2回CiRfSEワークショップ]], 筑波大学, 2016年1月19日.
 ==== 2015 ==== ==== 2015 ====
-  * 國廣尭之, 岩根秀直, 和田優未, 照井章. 限量子消去におけるWhite-Boxアルゴリズムの拡張と実装. [[http://air.s.kanazawa-u.ac.jp/~ohara/rims15.html|RIMS研究集会 "数式処理とその周辺分野の研究"]], 京都大学北部総合教育研究棟 益川ホール, 2015年12月3日. 数理解析研究所講究録 **2054** "数式処理研究の新たな発展", 77--95, 京都大学数理解析研究所, 2017年10月. http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/2054.html+  * 國廣尭之, 岩根秀直, 和田優未, 照井章. 限量子消去におけるWhite-Boxアルゴリズムの拡張と実装. [[http://air.s.kanazawa-u.ac.jp/~ohara/rims15.html|RIMS研究集会 "数式処理とその周辺分野の研究"]], 京都大学北部総合教育研究棟 益川ホール, 2015年12月3日. 数理解析研究所講究録 **2054** "数式処理研究の新たな発展", 77--95, 京都大学数理解析研究所, 2017年10月. http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/2054.html https://hdl.handle.net/2433/237149
   * 小原功任, 田島慎一, 照井章. 最小消去多項式を用いた一般固有ベクトル空間の基底計算. [[http://mathsoc.jp/meeting/kyoto-sangyo15sept/|日本数学会2015年度秋季総合分科会]], 代数学セッション, 京都産業大学, 2015年9月13日.   * 小原功任, 田島慎一, 照井章. 最小消去多項式を用いた一般固有ベクトル空間の基底計算. [[http://mathsoc.jp/meeting/kyoto-sangyo15sept/|日本数学会2015年度秋季総合分科会]], 代数学セッション, 京都産業大学, 2015年9月13日.
   * 田島慎一, 小原功任,照井章. 行列の固有ベクトル計算のさらなる効率化について. [[http://www-math.ias.tokushima-u.ac.jp/~nabesima/RIMSCA15/RIMSCA15.html|RIMS共同研究 "数式処理研究の新たな発展"]], 京都大学数理解析研究所, 2015年8月21日. 数理解析研究所講究録 **1976** "数式処理研究の新たな発展", 81--90, 京都大学数理解析研究所, 2015年12月. http://hdl.handle.net/2433/224371   * 田島慎一, 小原功任,照井章. 行列の固有ベクトル計算のさらなる効率化について. [[http://www-math.ias.tokushima-u.ac.jp/~nabesima/RIMSCA15/RIMSCA15.html|RIMS共同研究 "数式処理研究の新たな発展"]], 京都大学数理解析研究所, 2015年8月21日. 数理解析研究所講究録 **1976** "数式処理研究の新たな発展", 81--90, 京都大学数理解析研究所, 2015年12月. http://hdl.handle.net/2433/224371
行 78: 行 132:
   * 照井章. Syzygyの近似計算による1変数多項式の近似GCDの計算. 日本数式処理学会第22回大会. 防衛大学校, 2013年6月8日.   * 照井章. Syzygyの近似計算による1変数多項式の近似GCDの計算. 日本数式処理学会第22回大会. 防衛大学校, 2013年6月8日.
   * 田島慎一, 小原功任, 照井章. 行列多項式に対する記号計算の拡張Horner 法による効率化. 日本数学会2013年度年会, 代数学分科会. 京都大学, 2013年3月21日.    * 田島慎一, 小原功任, 照井章. 行列多項式に対する記号計算の拡張Horner 法による効率化. 日本数学会2013年度年会, 代数学分科会. 京都大学, 2013年3月21日. 
-  * 田島慎一, 小原功任, 照井章. 行列 Horner 法の並列化の実装について. Risa/Asir Conference 2013 + 第5回六甲博多計算代数会議, 神戸大学瀧川記念学術交流会館, 2013年3月18日.+  * 田島慎一, 小原功任, 照井章. 行列 Horner 法の並列化の実装について. [[http://www.math.kobe-u.ac.jp/RisaCon/index-2013.html|Risa/Asir Conference 2013 + 第5回六甲博多計算代数会議]], 神戸大学瀧川記念学術交流会館, 2013年3月18日.
   * 照井章. 数式処理における近似最大公約子(GCD)計算の最近の動向. 日本数式処理学会東北地区合同分科会, 仙台青葉カルチャーセンター, 2013年1月26日.   * 照井章. 数式処理における近似最大公約子(GCD)計算の最近の動向. 日本数式処理学会東北地区合同分科会, 仙台青葉カルチャーセンター, 2013年1月26日.
 ==== 2012 ==== ==== 2012 ====
  • publications.1524098315.txt.gz
  • 最終更新: 2022/08/24 22:38
  • (外部編集)