2025-01-29: 様相論理のノートに新しい記事『様相論理のフレーム定義可能性』を載せました。
2024-12-18: 「証明論シンポジウム2024」 にて発表を行いました。スライドは こちら
2024-12-04: 新しい記事 Hybrid Logic を書きました。
西村 祐輝 (Nishimura Yuki)
東京科学大学 博士後期課程2年 （鹿島研究室）
数理論理学を勉強しています。より詳しくはこちらのページをご覧ください。