理工総研における当該プロジェクト研究の成果を国内外の当該分野の研究者に広く発信するために、International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)を開催した。ReCAP 2022は国内外の精度保証付き数値計算の研究者が集まるワークショップであり、理工総研における当該プロジェクトの成果を発信する場として最適である。また、コロナ禍で滞っていた国内外の研究者との議論を促進することで、人的交流および問題共有を行い、研究を加速する意図があり、それを新しいオンライン手法で実現した。以下に公開した開催趣旨を示す。
This workshop aims to strongly encourage mutual interaction among researchers in the fields of Reliable Computing and Computer-Assisted Proofs. Especially with the global expansion of Covid-19, many discussion forums have shrunk or gone online, reducing the number of interactive discussions with people outside of immediate research groups. As a result, it is more complex than ever to build trusting relationships with researchers with whom we have not previously interacted and form new communities. By using easy-to-use chat tools and the latest digital meeting devices, we can achieve a feeling similar to that of face-to-face meetings and at the same time achieve discussion efficiency higher than face-to-face meetings. The ReCAP workshop will bring back opportunities for interaction that were once commonplace.
