2026-01-16: 博士論文発表会を行います。詳細は こちら
2025-12-23: RIMS共同研究（公開型）「証明論と計算論の新地平」にて発表を行いました。スライドは こちら
2025-12-20: 第60回 MLG数理論理学研究集会にて発表を行いました。スライドは こちら
西村 祐輝 (Nishimura Yuki)
東京科学大学 博士後期課程3年 （鹿島研究室）
数理論理学を勉強しています。より詳しくはこちらのページをご覧ください。