2024-11-21: Paper のページを更新しました。
2024-10-12: 「数学基礎論若手の会2024」 にて発表を行いました。
2024-10-01: 大学統合に伴い、所属が「東京科学大学」になりました。
西村 祐輝 (Nishimura Yuki)
東京科学大学 博士後期課程2年 （鹿島研究室）
数理論理学を勉強しています。より詳しくはこちらのページをご覧ください。