発表タイトル Introduction to Anisotropic Media Lightning Talk (No.15) - Introduction to Anisotropic Media VRChat International Science Community · 2026年10月24日
発表タイトル 36 LeanLinkとLeanAssistによるMathematicaとLeanのブリッジ LeanLinkとLeanAssistによるMathematicaとLeanのブリッジ 「計算と自然」集会 · 2026年11月7日