西ドイツの元首都ボンでTrimester Program: Prospect of Formal Mathematicsに参加してきました。🇩🇪

発表はYouTubeにあげられています：https://www.youtube.com/watch?v=9AlqFnc8QTY

発表資料はこちらから：https://drive.google.com/file/d/12Rm13_UGlXTOCy2NRpWQd1GS5miCF28x/view?usp=sharing