2025-09-02: 18th Asian Logic Conferenceにて発表を行います。スライドは こちら
2025-07-03: ウェブサイト移行のお知らせ
2025-07-03: Logic Colloquium 2025にて発表を行いました。 スライドはこちら
西村 祐輝 (Nishimura Yuki)
東京科学大学 博士後期課程3年 （鹿島研究室）
数理論理学を勉強しています。より詳しくはこちらのページをご覧ください。