| 両方とも前のリビジョン 前のリビジョン | 次のリビジョン両方とも次のリビジョン |
| publications [2018/04/19 09:38] – [2015] aterui | publications [2019/03/30 21:29] – [2016] aterui |
|---|
| * 照井章. 大学入試の数列問題を解く自動推論アルゴリズム. [[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 |
| * 田島慎一, 小原功任, 照井章. 行列の最小多項式候補と拡張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日. |