『灼熱のホモトピー型理論入門 - spm_kouen.pdf』2026/1/18 1:30:00 https://event.phys.s.u-tokyo.ac.jp/physlab2024/pdfs/article/spm_kouen.pdf