照井 章
テルイ アキラ (Akira Terui)
更新日: 05/20
基本情報
- 所属
- 筑波大学 数理物質系 准教授
- (兼任)人工知能科学センター
- 学位
-
博士（理学）(2010年3月 筑波大学)修士（理学）(1997年3月 筑波大学)
- ORCID iD
https://orcid.org/0000-0003-0846-3643- J-GLOBAL ID
- 200901044780941214
- researchmap会員ID
- 1000267873
- 外部リンク
専門は計算機代数・数式処理。数式・数値融合計算の理論と応用、数式処理による自動推論。計算機代数と数値計算やAIの間を行ったり来たりしています。
経歴
5-
2011年12月 - 現在
-
2011年10月 - 2011年11月
-
2007年4月 - 2011年9月
-
2004年4月 - 2007年3月
-
1999年10月 - 2004年3月
論文
76-
Lecture Notes in Computer Science 16235 312-335 2025年11月 査読有り責任著者
-
Lecture Notes in Computer Science 16235 336-359 2025年11月 査読有り責任著者
-
数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 31(1) 16-19 2025年
-
Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024) 105-112 2024年7月 査読有り責任著者
-
Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024) 84-91 2024年7月 査読有り責任著者
-
Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024) 57-62 2024年7月 査読有り責任著者
-
Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024) 21-27 2024年7月 査読有り責任著者
-
156Computer Algebra in Scientific Computing, Lecture Notes in Computer Science 14139 393-419 2023年8月24日 査読有り責任著者 -
数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 29(1) 25-28 2023年1月
-
数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 28(2) 111-114 2022年7月
-
数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 28(2) 115-118 2022年7月
-
数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 28(2) 53-79 2022年7月 査読有り筆頭著者責任著者
-
数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 28(1) 32-35 2022年4月
-
数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 28(1) 36-39 2022年4月
-
数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 27(2) 9-12 2021年8月 責任著者
-
Computer Algebra in Scientific Computing: Proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020 170-187 2020年10月 査読有り最終著者
-
数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 26(2) 34-37 2020年8月 責任著者
-
Mathematical Software – ICMS 2020 – 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings 3-13 2020年7月 査読有り責任著者
-
数理解析研究所講究録 (2159) 75-85 2020年6月
-
ACM Communications in Computer Algebra 53(3) 99-102 2019年9月1日
MISC
7-
数学通信 / 日本数学会 編 30(3) 5-12 2025年11月 招待有り
-
数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 31(2) 57-61 2025年
-
数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 30(1) 72-77 2024年1月 筆頭著者最終著者責任著者
-
数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 27(1) 65-68 2021年1月
-
数理解析研究所講究録 (2022) 100-111 2017年4月
-
数式処理 10(3) 38-44 2004年10月10日
-
数式処理 7(2) 41-46 1999年3月1日
書籍等出版物
1-
共立出版 2019年3月 (ISBN: 9784320113732)
講演・口頭発表等
44-
Computer Algebra - Foundations and Applications 2025年11月17日 京都大学数理解析研究所
-
第43回日本ロボット学会学術講演会 2025年9月2日 日本ロボット学会 招待有り
-
理科大計算機代数セミナー 2025年6月26日 東京理科大学理学部応用数学科 招待有り
-
日本数式処理学会第34回大会 2025年6月6日 日本数式処理学会
-
Risa/Asir Conference 2025 2025年3月25日 金沢大学理工研究域数物科学系応用数理講座
-
Risa/Asir Conference 2025 2025年3月25日 金沢大学理工研究域数物科学系応用数理講座
-
『数理アルゴリズムにおける不確実性に対する統計的アプローチの展開』研究集会 2025年1月27日 統計数理研究所共同利用研究一般研究２「数理アルゴリズムにおける不確実性に対する統計的アプローチの展開」
-
Computer Algebra - Foundations and Applications 2024年12月18日 京都大学数理解析研究所
-
Computer Algebra - Foundations and Applications 2024年12月18日 京都大学数理解析研究所
-
Computer Algebra - Foundations and Applications 2024年12月18日 京都大学数理解析研究所
-
幾何構造と可積分系セミナー 2024年11月5日 北海道大学大学院理学研究院数学部門 招待有り
-
数学界・経団連 第11回 数理活用産学連携イニシアティブ 2024年10月2日 日本経済団体連合会、東北大学数理科学連携研究センター 招待有り
-
The 26th International Workshop on Computer Algebra in Scientific Computing: CASC 2024 2024年9月2日
-
The 10th International Symposium on Symbolic Computation in Software Science — Work in Progress Workshop 2024年8月28日
-
The 10th International Symposium on Symbolic Computation in Software Science — Work in Progress Workshop 2024年8月28日
-
The 10th International Symposium on Symbolic Computation in Software Science — Work in Progress Workshop 2024年8月28日
-
The 10th International Symposium on Symbolic Computation in Software Science — Work in Progress Workshop 2024年8月28日
-
愛知県立明和高等学校 令和6年度SSH事業「数学 夏の学校」 2024年7月30日 愛知県立明和高等学校 招待有り
-
日本数式処理学会第33回大会 2024年6月14日 日本数式処理学会
-
Risa/Asir Conference 2024 2024年3月26日 金沢大学理工研究域数物科学系応用数理講座
所属学協会
5-
2004年 - 現在
-
2000年 - 現在
-
1998年 - 現在
-
1998年 - 現在
主要な共同研究・競争的資金等の研究課題
14-
公益財団法人JKA 機械振興補助事業 研究補助 2024年4月 - 2025年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2020年4月 - 2023年3月
学歴
2-
1995年4月 - 1999年9月
-
1991年4月 - 1995年3月
社会貢献活動
1