若手による数理論理研究集会2023
https://sites.google.com/view/xbmyl3svm2zgtsfmnyeq94xp43