活动总结报告（一般公募项目） 第12号 线上交流（代替）
数理领域内的科学计算最尖端研究培训
新泻大学理学部刘研究室报告
在2021年2月15日至2月22日期间，根据JST樱花科技项目的安排，在新泻大学理学部刘研究室举办了包括来自中国科技大学、中国大学院大学 、台湾国立成功大学等大学的大学生、研究生、研究人员等共25人进行的线上交流活动。
本次项目的主题为《Lecture on verified computing》，邀请到了早稻田大学田中一成讲师、芝浦工业大学尾崎克久教授、明星大学的山中脩也准教授、九州大学/早稻田大学的中尾充宏名誉教授，对关于区间演算、线性系统、偏微分方程式等附带精度保证的数值计算相关的基础知识和该领域最先进的研究成果进行了介绍。
本次项目的日程概要如下：
| 15日（全天） | 迎新培训 |
|---|---|
| 理学部长前野贡教授和国际交流主任M.Satish-Kumar教授致辞 | |
| 田中讲师负责的附带精度保证的数值计算入门课程和演练 | |
| 16日（下午） | 尾崎教授负责的利用无误差转换实现数值计算方法的课程和演练 |
| 17日（全天） | 刘准教授负责的偏微方程式的数值计算方法和精确误差评估的课程和演练 |
| 18日（下午） | 山中准教授负责的对数值积分的精确计算方法课程和演练 |
| 19日（下午） | 中尾名誉教授所作演讲《挑战偏微分问题的附带精度保证的数值计算以及尚未解决的问题》 |
| 22日（上午） | 参与者进行成果发表会 |
附带精度保证的数值计算是计算器援用证明中的重要工具。然而从现状来看，中国和台湾地区从事附带精度保证的数值计算的研究者人数仍然偏少。通过本次安排的一系列入门讲座和演讲会，我们让更多中国和台湾地区的学生了解到了附带精度保证的数值计算，我们相信今后有更多的年轻的研究人员来到日本，与日本方面的研究人员进行联合研究，共同收获新的研究成果。从我们在活动之后开展的问卷调查中，参加者们也确实表达了“认识到了附带精度保证的数值计算的新方法的创新之处和实用之处，希望能够将其运用到今后的研究当中”的感想意见。此外，我们还计划选拔出本次交流中的成绩优秀人员，在2021年度的樱花科技项目活动中邀请访问日本、开展面对面形式的交流。
通过本次研究交流的机会，很好地实现了计算数学领域学生研究交流的目的。希望能够藉此为契机，进一步深化交流和研究的发展。最后容我借此机会，向助力促成本次事业的樱花科技项目和相关人士表达我的感谢。
