2026-09-25: 大岡山ロジックセミナーにて発表を行います。スライドはこちら
2026-09-08: Conference のページを更新しました。
2026-07-27: 論文 Complexity of the SAT problem for the Hybrid Logic が公開されました。
西村 祐輝 (NISHIMURA Yuki)
東京科学大学 情報理工学院 情報工学系 助教
博士（理学）
数理論理学を勉強しています。より詳しくはこちらのページをご覧ください。