What's New

2024-04-11: 新しい記事を書きました。 様相論理のブックガイド

2024-03-26: 新しい記事を書きました。 様相論理における非反射的フレームクラスの定義不可能性

I am

自己紹介

西村 祐輝 (Nishimura Yuki)

東京工業大学 博士後期課程1年 （鹿島研究室）

数理論理学を勉強しています。より詳しくはこちらのページをご覧ください。

略歴

• 2017年： 愛知県立旭丘高等学校 卒業
• 2021年： 東京大学教養学部 卒業
• 2023年： 東京工業大学情報理工学院修士課程 修了
• 現在： 東京工業大学情報理工学院博士後期課程

連絡先

• e-mail: nishimura.y.as [at] m.titech.ac.jp
• X (Twitter): @w_v_logic