差分

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

--- publications [2018/01/04 09:46] – [2017] aterui
+++ publications [2020/07/14 09:21] – adding ICMS 2020 paper aterui
@@ 行 13: / 行 13: @@
 ===== 論文（査読つき） =====
+  * 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 4th 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]]]
   * 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]]]
   * 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]]]
@@ 行 59: / 行 60: @@
   * 照井章. 大学入試の数列問題を解く自動推論アルゴリズム. [[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
-  * 田島慎一, 小原功任, 照井章. 行列の最小多項式候補と拡張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日.
   * 和田優未, 松崎拓也, 照井章, 新井紀子. 大学入試における数列の問題を解くための自動推論とその実装について. [[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日.
 ==== 2015 ====
-  * 國廣尭之, 岩根秀直, 和田優未, 照井章. 限量子消去におけるWhite-Boxアルゴリズムの拡張と実装. [[http://air.s.kanazawa-u.ac.jp/~ohara/rims15.html|RIMS研究集会 "数式処理とその周辺分野の研究"]], 京都大学北部総合教育研究棟 益川ホール, 2015年12月3日.
+  * 國廣尭之, 岩根秀直, 和田優未, 照井章. 限量子消去における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
   * 小原功任, 田島慎一, 照井章. 最小消去多項式を用いた一般固有ベクトル空間の基底計算. [[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