2026-10-23: 第61回MLG数理論理学研究集会にて発表を行います。スライドはこちら
2026-10-17: 数学基礎論若手の会2026にて発表を行いました。
2026-10-01: 新しい論文をarXivで公開しました。こちらから読めます。
西村 祐輝 (NISHIMURA Yuki)
東京科学大学 情報理工学院 情報工学系 助教
博士（理学）
数理論理学を勉強しています。より詳しくはこちらのページをご覧ください。